While cyklus
<while-loop>
while    <cond>    do      <stat>
(lab , L1   , ,      )
 // vyhodnocení cond
 // do proměnné c.val 
(not , c.val, , c.val)
(goto, c.val, , L2   )
 // kód stat
(goto,      , , L1   )
(lab ,  L2  , ,      )
Pravidlo:
Sémantická akce:
60/69