не оптимизированный вариант
После оптимизации этот код будет выглядеть так:
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:
Техника оптимизации под линуха
