Branching: If-Then
<if-then>
if
<cond>
then
<stat
1
>
// evaluation of
cond
// to c.val
(not , c.val, , c.val)
(goto, c.val, , L1
)
// code of
stat
1
(lab , L1
, ,
)
Rule:
Semantic action:
58/69