| Line 9... |
Line 9... |
class LoopStack
|
class LoopStack
|
{
|
{
|
public:
|
public:
|
LoopStack(int num, LoopStack * prev)
|
LoopStack(int num, LoopStack * prev)
|
: number(num),
|
: number(num),
|
|
stack_depth(Backend::GetSP()),
|
previous(prev)
|
previous(prev)
|
{};
|
{};
|
|
|
static int Push(LoopStack * & stack);
|
static int Push(LoopStack * & stack);
|
static void Pop(LoopStack * & stack, int val);
|
static void Pop(LoopStack * & stack, int val);
|
static int Get(LoopStack * & stack)
|
static int GetNumber(LoopStack * stack)
|
{ assert(stack); return stack->number; };
|
{ assert(stack); return stack->number; };
|
|
static int GetStackDepth(LoopStack * stack)
|
|
{ assert(stack); return stack->stack_depth; };
|
|
|
private:
|
private:
|
int number;
|
int number;
|
|
int stack_depth;
|
LoopStack * previous;
|
LoopStack * previous;
|
|
|
static int next_number;
|
static int next_number;
|
};
|
};
|
|
|
| Line 248... |
Line 252... |
{
|
{
|
EmitStart(out);
|
EmitStart(out);
|
|
|
if (retval) retval->Emit(out);
|
if (retval) retval->Emit(out);
|
|
|
Backend::branch("return");
|
Backend::ret();
|
|
|
EmitEnd(out);
|
EmitEnd(out);
|
}
|
}
|
//-----------------------------------------------------------------------------
|
//-----------------------------------------------------------------------------
|
void ContStatement::Emit(FILE * out)
|
void ContStatement::Emit(FILE * out)
|
{
|
{
|
EmitStart(out);
|
EmitStart(out);
|
|
|
if (do_break)
|
LoopStack * ls;
|
{
|
const char * ln;
|
Backend::branch("brk", LoopStack::Get(break_stack));
|
|
}
|
if (do_break) { ls = break_stack; ln = "brk"; }
|
else
|
else { ls = loop_stack; ln = "cont"; };
|
|
|
|
const int stack_diff = LoopStack::GetStackDepth(ls) - Backend::GetSP();
|
|
|
|
if (stack_diff < 0)
|
{
|
{
|
Backend::branch("cont", LoopStack::Get(loop_stack));
|
fprintf(stderr, "Jump over initialization\n");
|
|
semantic_errors++;
|
}
|
}
|
|
|
|
if (stack_diff > 0) Backend::pop_jump(stack_diff);
|
|
Backend::branch(ln, LoopStack::GetNumber(ls));
|
|
|
EmitEnd(out);
|
EmitEnd(out);
|
}
|
}
|
//-----------------------------------------------------------------------------
|
//-----------------------------------------------------------------------------
|
void CompoundStatement::Emit(FILE * out)
|
void CompoundStatement::Emit(FILE * out)
|
{
|
{
|
EmitStart(out);
|
EmitStart(out);
|
|
|
|
Name::PushContext();
|
|
|
|
const int autosize = EmitAutovars(out);
|
|
|
if (stat_list) stat_list->Emit(out);
|
if (stat_list) stat_list->Emit(out);
|
|
|
|
Backend::pop(autosize);
|
|
|
|
Name::PopContext();
|
EmitEnd(out);
|
EmitEnd(out);
|
}
|
}
|
//-----------------------------------------------------------------------------
|
//-----------------------------------------------------------------------------
|
int CompoundStatement::EmitAutovars(FILE * out)
|
int CompoundStatement::EmitAutovars(FILE * out)
|
{
|
{
|
| Line 294... |
Line 315... |
return ret;
|
return ret;
|
}
|
}
|
//-----------------------------------------------------------------------------
|
//-----------------------------------------------------------------------------
|
void CompoundStatement::EmitCaseJumps(FILE * out, int size)
|
void CompoundStatement::EmitCaseJumps(FILE * out, int size)
|
{
|
{
|
const int brk = LoopStack::Get(break_stack);
|
const int brk = LoopStack::GetNumber(break_stack);
|
|
|
bool has_default = false;
|
bool has_default = false;
|
|
|
for (StatementList * sl = stat_list; sl; sl = sl->Tail())
|
for (StatementList * sl = stat_list; sl; sl = sl->Tail())
|
{
|
{
|
| Line 324... |
Line 345... |
Backend::label("brk", brk);
|
Backend::label("brk", brk);
|
}
|
}
|
//-----------------------------------------------------------------------------
|
//-----------------------------------------------------------------------------
|
void CaseStatement::Emit(FILE * out)
|
void CaseStatement::Emit(FILE * out)
|
{
|
{
|
const int brk = LoopStack::Get(break_stack);
|
const int brk = LoopStack::GetNumber(break_stack);
|
|
|
EmitStart(out);
|
EmitStart(out);
|
if (case_value)
|
if (case_value)
|
{
|
{
|
if (case_value->IsConstant())
|
if (case_value->IsConstant())
|
