while (<cond>) <block>
  => lbl1: if (!<cond>) goto lbl2;
     <block>
     goto lbl1;
     lbl2:

do <block> while <cond>
  => lbl1: <block>
     if (<cond>) goto lbl1;