Short Evaluation: Direct Code Generation 2/5
54/69
Mi  ®  e {generate “Mi . lab:”} // Generation of   a new label
Ej
or
Mi
Ei
Ei .true
Ei .false
Ej .true
Ej .false := Li
newlab:
e
Li:
Ek
Ek .true
Ek .false
Ei ® Ej or Mi Ek {Mi.lab := GenerateNewLab;
 Ej.true := Ei.true; Ej.false := Mi.lab
 Ek.true := Ei.true; Ek.false := Ei.false }
Illustration: