Short Evaluation: Direct Code Generation
2
/
5
54/69
M
i
®
e
{
generate
“
M
i
.
lab
:
”
} // Generation of
a new label
E
j
or
M
i
E
i
E
i
.true
E
i
.false
E
j
.true
E
j
.false
:=
L
i
newlab:
e
L
i
:
E
k
E
k
.true
E
k
.false
E
i
®
E
j
or
M
i
E
k
{
M
i
.
lab
:=
GenerateNewLab
;
E
j
.
true
:=
E
i
.
true
;
E
j
.
false
:=
M
i
.
lab
E
k
.
true
:=
E
i
.
true
;
E
k
.
false
:=
E
i
.
false
}
Illustration: