void genfunc(SNODE *stmt)
/*
* generate a function body.
*/
{ retlab = contlab = breaklab = -1;
funcfloat = 0;
init_muldivval();
stackdepth = 0;
if (stmt->stype == st_line) {
gen_line(stmt);
stmt = stmt->next;
}
gen_codelab(currentfunc); /* name of function */
opt1(stmt); /* push args & also subtracts SP */
#ifdef CPLUSPLUS
if (prm_cplusplus)
scppinit();
#endif
genstmt(stmt);
genreturn(0,1);
}
void genfunc(SYMBOL *funcsp)
/*
* generate a function body and dump the icode
*/
{
IMODE *allocaAP = NULL;
SYMBOL *oldCurrentFunc;
EXPRESSION *funcexp = varNode(en_global, funcsp);
if (total_errors)
return;
// //printf("%s\n", funcsp->name);
contlab = breaklab = - 1;
structret_imode = 0 ;
tempCount = 0;
blockCount = 0;
blockMax = 0;
exitBlock = 0;
oldCurrentFunc = theCurrentFunc;
theCurrentFunc = funcsp;
iexpr_func_init();
/* firstlabel = nextLabel;*/
cseg();
gen_line(funcsp->linedata);
gen_func(funcexp, 1);
/* in C99 inlines can clash if declared 'extern' in multiple modules */
/* in C++ we introduce virtual functions that get coalesced at link time */
if (cparams.prm_cplusplus && funcsp->linkage == lk_inline)
gen_virtual(funcsp, FALSE);
else
{
if (funcsp->storage_class == sc_global)
globaldef(funcsp);
else
localdef(funcsp);
gen_strlab(funcsp); /* name of function */
}
addblock( - 1);
if (funcsp->linkage == lk_interrupt || funcsp->linkage == lk_fault) {
gen_icode(i_pushcontext, 0,0,0);
/* if (funcsp->loadds) */
/* gen_icode(i_loadcontext, 0,0,0); */
}
gen_icode(i_prologue,0,0,0);
gen_label(startlab);
/* if (funcsp->loadds && funcsp->farproc) */
/* gen_icode(i_loadcontext, 0,0,0); */
AllocateLocalContext(NULL, funcsp);
if (funcsp->allocaUsed)
{
EXPRESSION *allocaExp = varNode(en_auto, anonymousVar(sc_auto, &stdpointer));
allocaAP = gen_expr(funcsp, allocaExp, 0, ISZ_ADDR);
gen_icode(i_savestack, 0, allocaAP, 0);
}
/* Generate the icode */
/* LCSE is done while code is generated */
genstmt(funcsp->inlineFunc.stmt->lower, funcsp);
if (funcsp->inlineFunc.stmt->blockTail)
{
gen_icode(i_functailstart, 0, 0, 0);
genstmt(funcsp->inlineFunc.stmt->blockTail, funcsp);
gen_icode(i_functailend, 0, 0, 0);
}
genreturn(0, funcsp, 1, 0, allocaAP);
gen_func(funcexp, 0);
tFree();
InsertParameterThunks(funcsp, blockArray[1]);
optimize(funcsp);
FreeLocalContext(NULL, funcsp);
AllocateStackSpace(funcsp);
FillInPrologue(intermed_head, funcsp);
/* Code gen from icode */
rewrite_icode(); /* Translate to machine code & dump */
if (chosenAssembler->gen->post_function_gen)
chosenAssembler->gen->post_function_gen(funcsp, intermed_head);
if (cparams.prm_cplusplus && funcsp->linkage == lk_inline)
gen_endvirtual(funcsp);
intermed_head = NULL;
dag_rundown();
oFree();
theCurrentFunc = oldCurrentFunc;
if (blockCount > maxBlocks)
maxBlocks = blockCount;
if (tempCount > maxTemps)
maxTemps = tempCount;
}
void genstmt(STATEMENT *stmt, SYMBOL *funcsp)
/*
* genstmt will generate a statement and follow the next pointer
* until the block is generated.
*/
{
while (stmt != 0)
{
switch (stmt->type)
{
case st_varstart:
gen_varstart(stmt->select);
break;
case st_dbgblock:
gen_dbgblock(stmt->label);
break;
case st_tryblock:
/* gen_tryblock(stmt->label); */
break;
case st_block:
genstmt(stmt->lower, funcsp);
genstmt(stmt->blockTail, funcsp);
break;
case st_label:
gen_label((int)stmt->label);
break;
case st_goto:
gen_igoto(i_goto, (int)stmt->label);
break;
case st_asmgoto:
gen_igoto(i_asmgoto, (int)stmt->label);
break;
case st_asmcond:
gen_igoto(i_asmcond, (int)stmt->label);
break;
case st_throw:
/* gen_throw((TYPE *)stmt->lst, stmt->select);*/
break;
/* case st_functailexpr:
gen_icode(i_functailstart, 0, 0, 0);
gen_expr(funcsp, stmt->select, F_NOVALUE, natural_size(stmt->select)); *
gen_icode(i_functailend, 0, 0, 0);
break;
*/
case st_expr:
case st_declare:
gen_expr(funcsp, stmt->select, F_NOVALUE, natural_size(stmt->select));
break;
case st_return:
genreturn(stmt, funcsp, 0, 0, NULL);
break;
case st_line:
gen_line(stmt->lineData);
break;
case st_select:
genselect(stmt, funcsp, TRUE);
break;
case st_notselect:
genselect(stmt, funcsp, FALSE);
break;
case st_switch:
genxswitch(stmt, funcsp);
break;
case st__genword:
gen_genword(stmt, funcsp);
break;
case st_passthrough:
gen_asm(stmt);
break;
case st_datapassthrough:
gen_asmdata(stmt);
break;
default:
diag("unknown statement.");
break;
}
stmt = stmt->next;
}
}
void genstmt(SNODE *stmt)
/*
* genstmt will generate a statement and follow the next pointer
* until the block is generated.
*/
{
while( stmt != 0 )
{
switch( stmt->stype )
{
case st_block:
genstmt(stmt->exp);
break;
case st_label:
gen_label((int)stmt->label);
break;
case st_goto:
gen_code(op_jmp,0,make_label((int)stmt->label),0);
break;
case st_expr:
initstack();
gen_expr(stmt->exp,F_ALL | F_NOVALUE,
natural_size(stmt->exp));
break;
case st_return:
genreturn(stmt,0);
break;
case st_if:
genif(stmt);
break;
case st_while:
genwhile(stmt);
break;
case st_do:
gendo(stmt);
break;
case st_for:
gen_for(stmt);
break;
case st_continue:
gen_code(op_jmp,0,make_label(contlab),0);
break;
case st_break:
gen_code(op_jmp,0,make_label(breaklab),0);
break;
case st_switch:
genxswitch(stmt);
break;
case st_line:
gen_line(stmt);
break;
case st_asm:
if (stmt->exp)
add_peep(stmt->exp);
break;
case st__genword:
gen_code(op_genword,0,make_immed((int)stmt->exp),0);
break;
default:
diag("unknown statement.");
break;
}
stmt = stmt->next;
}
}
IMODE *genstmt(STATEMENT *stmt, SYMBOL *funcsp)
/*
* genstmt will generate a statement and follow the next pointer
* until the block is generated.
*/
{
IMODE *rv = NULL;
while (stmt != 0)
{
STATEMENT *last = stmt;
switch (stmt->type)
{
case st_varstart:
gen_varstart(stmt->select);
break;
case st_dbgblock:
gen_dbgblock(stmt->label);
break;
break;
case st_block:
rv = genstmt(stmt->lower, funcsp);
genstmt(stmt->blockTail, funcsp);
break;
case st_label:
gen_label((int)stmt->label);
break;
case st_goto:
gen_igoto(i_goto, (int)stmt->label);
break;
case st_asmgoto:
gen_igoto(i_asmgoto, (int)stmt->label);
break;
case st_asmcond:
gen_igoto(i_asmcond, (int)stmt->label);
break;
case st_try:
gen_try(funcsp, stmt, stmt->label, stmt->endlabel, stmt->breaklabel, stmt->lower);
break;
case st_catch:
{
STATEMENT *last;
while (stmt && stmt->type == st_catch)
{
gen_catch(funcsp, stmt, stmt->altlabel, stmt->breaklabel, stmt->lower);
last = stmt;
stmt = stmt->next;
}
stmt = last;
gen_label(stmt->breaklabel);
}
break;
case st_expr:
case st_declare:
if (stmt->select)
rv = gen_expr(funcsp, stmt->select, F_NOVALUE, natural_size(stmt->select));
break;
case st_return:
genreturn(stmt, funcsp, 0, 0, NULL);
break;
case st_line:
gen_line(stmt->lineData);
break;
case st_select:
genselect(stmt, funcsp, TRUE);
break;
case st_notselect:
genselect(stmt, funcsp, FALSE);
break;
case st_switch:
genxswitch(stmt, funcsp);
break;
case st__genword:
gen_genword(stmt, funcsp);
break;
case st_passthrough:
gen_asm(stmt);
break;
case st_datapassthrough:
gen_asmdata(stmt);
break;
default:
diag("unknown statement.");
break;
}
if (last->type != st_return && last->destexp)
{
gen_expr(funcsp, last->destexp, F_NOVALUE, ISZ_ADDR);
}
stmt = stmt->next;
}
return rv;
}
