static bool make_trace(compile_t* c, gentype_t* g)
{
// Do nothing if we have no fields.
if(g->field_count == 0)
return true;
if(g->underlying == TK_CLASS)
{
// Special case the array trace function.
AST_GET_CHILDREN(g->ast, pkg, id);
const char* package = ast_name(pkg);
const char* name = ast_name(id);
if((package == c->str_builtin) && (name == c->str_Array))
{
genprim_array_trace(c, g);
return true;
}
}
// Create a trace function.
const char* trace_name = genname_trace(g->type_name);
LLVMValueRef trace_fn = codegen_addfun(c, trace_name, c->trace_type);
codegen_startfun(c, trace_fn, false);
LLVMSetFunctionCallConv(trace_fn, LLVMCCallConv);
LLVMValueRef ctx = LLVMGetParam(trace_fn, 0);
LLVMValueRef arg = LLVMGetParam(trace_fn, 1);
LLVMValueRef object = LLVMBuildBitCast(c->builder, arg, g->structure_ptr,
"object");
// If we don't ever trace anything, delete this function.
int extra = 0;
// Non-structs have a type descriptor.
if(g->underlying != TK_STRUCT)
extra++;
// Actors have a pad.
if(g->underlying == TK_ACTOR)
extra++;
bool need_trace = trace_fields(c, g, ctx, object, extra);
LLVMBuildRetVoid(c->builder);
codegen_finishfun(c);
if(!need_trace)
LLVMDeleteFunction(trace_fn);
return true;
}
static bool make_trace(compile_t* c, gentype_t* g)
{
// Do nothing if we have no fields.
if(g->field_count == 0)
return true;
if(g->underlying == TK_CLASS)
{
// Special case the array trace function.
AST_GET_CHILDREN(g->ast, pkg, id);
const char* package = ast_name(pkg);
const char* name = ast_name(id);
if((package == c->str_1) && (name == c->str_Array))
{
genprim_array_trace(c, g);
return true;
}
}
// Create a trace function.
const char* trace_name = genname_trace(g->type_name);
LLVMValueRef trace_fn = codegen_addfun(c, trace_name, c->trace_type);
codegen_startfun(c, trace_fn, false);
LLVMSetFunctionCallConv(trace_fn, LLVMCCallConv);
LLVMValueRef arg = LLVMGetParam(trace_fn, 0);
LLVMValueRef object = LLVMBuildBitCast(c->builder, arg, g->structure_ptr,
"object");
// If we don't ever trace anything, delete this function.
bool need_trace;
if(g->underlying == TK_TUPLETYPE)
{
// Create another function that traces the tuple members.
const char* trace_tuple_name = genname_tracetuple(g->type_name);
LLVMTypeRef trace_tuple_type = LLVMFunctionType(c->void_type,
&g->primitive, 1, false);
LLVMValueRef trace_tuple_fn = codegen_addfun(c, trace_tuple_name,
trace_tuple_type);
codegen_startfun(c, trace_tuple_fn, false);
LLVMSetFunctionCallConv(trace_tuple_fn, LLVMCCallConv);
LLVMValueRef arg = LLVMGetParam(trace_tuple_fn, 0);
need_trace = trace_elements(c, g, arg);
LLVMBuildRetVoid(c->builder);
codegen_finishfun(c);
if(need_trace)
{
// Get the tuple primitive.
LLVMValueRef tuple_ptr = LLVMBuildStructGEP(c->builder, object, 1, "");
LLVMValueRef tuple = LLVMBuildLoad(c->builder, tuple_ptr, "");
// Call the tuple trace function with the unboxed primitive type.
LLVMBuildCall(c->builder, trace_tuple_fn, &tuple, 1, "");
} else {
LLVMDeleteFunction(trace_tuple_fn);
}
} else {
int extra = 1;
// Actors have a pad.
if(g->underlying == TK_ACTOR)
extra++;
need_trace = trace_fields(c, g, object, extra);
}
LLVMBuildRetVoid(c->builder);
codegen_finishfun(c);
if(!need_trace)
LLVMDeleteFunction(trace_fn);
return true;
}
