íå îïòèìèçèðîâàííûé âàðèàíò
Ïîñëå îïòèìèçàöèè ýòîò êîä áóäåò âûãëÿäåòü òàê:
while(a) // lab_1: if (a) goto lab_4
{
while(b) // lab_2: if (b) goto lab_1 /* îïòèìèçèðîâàíî */
{
/* êîä öèêëà */
} // goto lab_2
} // lab_3: goto lab_1
// lab_4:
Ïîñëå îïòèìèçàöèè ýòîò êîä áóäåò âûãëÿäåòü òàê:
while(a) // lab_1: if (a) goto lab_4
{
while(b) // lab_2: if (b) goto lab_1 /* îïòèìèçèðîâàíî */
{
/* êîä öèêëà */
} // goto lab_2
} // lab_3: goto lab_1
// lab_4: