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