Higher Subleq | Error | Output | Subleq | ITR |
void main()
{
int a=1,b=2;
if( a<b ) __out 50;
if( b<a ) __out 51;
}
|
|
2
|
top:top top sqmain
_main:
dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
?+6; sp ?+2; bp 0
bp; sp bp
c1 sp
dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
?+6; sp ?+2; t1 0
dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
?+6; sp ?+2; t2 0
dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
?+6; sp ?+2; t3 0
dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
?+6; sp ?+2; t4 0
t1; t2; bp t1; dec t1; t1 t2
?+23; ?+21; ?+24; t2 Z; Z ?+10; Z ?+8
Z ?+11; Z; 0; dec Z; Z 0; Z
t2; t1; bp t2; c1 t2; t2 t1
?+23; ?+21; ?+24; t1 Z; Z ?+10; Z ?+8
Z ?+11; Z; 0; c1 Z; Z 0; Z
t1; t2; bp t1; dec t1; t1 t2
t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
t2; t1; bp t2; c1 t2; t2 t1
t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
t1; t4 Z; Z t1; Z; t3 t1
Z t1 l1
c2 (-1)
l1:
t1; t2; bp t1; c1 t1; t1 t2
t1; t3; ?+11; t2 Z; Z ?+4; Z; 0 t1; t1 t3
t2; t1; bp t2; dec t2; t2 t1
t2; t4; ?+11; t1 Z; Z ?+4; Z; 0 t2; t2 t4
t1; t4 Z; Z t1; Z; t3 t1
Z t1 l2
c3 (-1)
l2:
?+8; sp ?+4; t4; 0 t4; inc sp
?+8; sp ?+4; t3; 0 t3; inc sp
?+8; sp ?+4; t2; 0 t2; inc sp
?+8; sp ?+4; t1; 0 t1; inc sp
sp; bp sp
?+8; sp ?+4; bp; 0 bp; inc sp
?+8; sp ?+4; ?+7; 0 ?+3; Z Z 0
sqmain:
dec sp; ?+11; sp ?+7; ?+6; sp ?+2; 0
?+6; sp ?+2; ?+2 0 _main; . ?; inc sp
Z Z (-1)
. c1:2 c2:50 c3:51
. t1:0 t2:0 t3:0 t4:0
. inc:-1 Z:0 dec:1 ax:0 bp:0 sp:-sp
|
Root (mg_15_2.hsq:7)
Function:2 [main] (mg_15_2.hsq:1)
Keyword [void] (mg_15_2.hsq:1)
Param-type-list (mg_15_2.hsq:1)
Block (mg_15_2.hsq:2)
Declaration (mg_15_2.hsq:3)
Keyword [int] (mg_15_2.hsq:3)
Declarator [=] (mg_15_2.hsq:3)
Stackvar:1 [a] (mg_15_2.hsq:3)
Const [1] (mg_15_2.hsq:3)
Declarator [=] (mg_15_2.hsq:3)
Stackvar:2 [b] (mg_15_2.hsq:3)
Const [2] (mg_15_2.hsq:3)
Keyword-statement [if] (mg_15_2.hsq:4)
Relational [<] (mg_15_2.hsq:4)
Unary [*] (mg_15_2.hsq:4) a:3
Additive [+] (mg_15_2.hsq:4) a:3
Variable [@bp] (mg_15_2.hsq:4) a:3
Const [1] (mg_15_2.hsq:4) a:3
Unary [*] (mg_15_2.hsq:4) b:3
Additive [+] (mg_15_2.hsq:4) b:3
Variable [@bp] (mg_15_2.hsq:4) b:3
Const [2] (mg_15_2.hsq:4) b:3
OperatorIO [__out] (mg_15_2.hsq:4)
Const [50] (mg_15_2.hsq:4)
Keyword-statement [if] (mg_15_2.hsq:5)
Relational [<] (mg_15_2.hsq:5)
Unary [*] (mg_15_2.hsq:5) b:3
Additive [+] (mg_15_2.hsq:5) b:3
Variable [@bp] (mg_15_2.hsq:5) b:3
Const [2] (mg_15_2.hsq:5) b:3
Unary [*] (mg_15_2.hsq:5) a:3
Additive [+] (mg_15_2.hsq:5) a:3
Variable [@bp] (mg_15_2.hsq:5) a:3
Const [1] (mg_15_2.hsq:5) a:3
OperatorIO [__out] (mg_15_2.hsq:5)
Const [51] (mg_15_2.hsq:5)
|