[
prev
] [
prev-tail
] [
tail
] [
up
]
3.3
Post-checking loop
do
{
blk1;
}
while
(c);
Translates to
L1:
blk1;
if
(c)
goto
L1;
[
prev
] [
prev-tail
] [
front
] [
up
]