Větvení: If-Then-Else
<if-then-else>
if   <cond>  then <stat1> else <stat2>
 // vyhodnocení cond
 // do proměnné c.val 
(not , c.val, , c.val)
(goto, c.val, , L1   )
 // kód stat1
(goto,      , , L2   )
(lab , L1   , ,      )
 // kód stat2
(lab , L2   , ,      )
Pravidlo:
Sémantická akce:
59/69