Short Evaluation: Direct Code Generation
3
/
5
55/69
E
j
and
M
i
E
i
E
i
.true
E
i
.false
E
j
.true
:=
L
i
E
j
.false
newlab:
e
L
i
:
E
k
E
k
.true
E
k
.false
E
i
®
E
j
and
M
i
E
k
{
M
i
.
lab
:=
GenerateNewLab
;
E
j
.
true
:=
M
i
.
lab
;
E
j
.
false
:=
E
i
.
false
E
k
.
true
:=
E
i
.
true
;
E
k
.
false
:=
E
i
.
false
}
Illustration: