static bool trace_tuple(compile_t* c, LLVMValueRef ctx, LLVMValueRef value,
ast_t* type)
{
// Invoke the trace function directly. Do not trace the address of the tuple.
const char* type_name = genname_type(type);
const char* trace_name = genname_tracetuple(type_name);
LLVMValueRef trace_fn = LLVMGetNamedFunction(c->module, trace_name);
// There will be no trace function if the tuple doesn't need tracing.
if(trace_fn == NULL)
return false;
LLVMValueRef args[2];
args[0] = ctx;
args[1] = value;
LLVMBuildCall(c->builder, trace_fn, args, 2, "");
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;
}
