int main() {
  float x, y;
  while (1) {
    while (x < 5) {
      x = x + 0.25;
      y = y + 0.25;
      if (x > 4) {
        break;
      }
    }
    x = 0;
    while (y < 10) {
      x = x + 0.25;
      y = y + 0.25;
      if (y > 9) {
        break;
      }
    }
    y = 0;
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
jmp    1110 <main+0x10>
movss  0xee8(%rip),%xmm0
ucomiss -0x8(%rbp),%xmm0
jbe    117e <main+0x7e>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xedd(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xebf(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0x8(%rbp),%xmm0
movss  0xe99(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    1179 <main+0x79>
jmp    117e <main+0x7e>
jmp    1110 <main+0x10>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  0xe7a(%rip),%xmm0
ucomiss -0xc(%rbp),%xmm0
jbe    11f4 <main+0xf4>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe67(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x8(%rbp)
movss  -0xc(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe49(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
movss  -0xc(%rbp),%xmm0
movss  0xe2b(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    11ef <main+0xef>
jmp    11f4 <main+0xf4>
jmp    1186 <main+0x86>
xorps  %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
jmp    110b <main+0xb>

x86 assembly (clang, -O2):
<main>:
movss  0xef8(%rip),%xmm0
movss  0xef4(%rip),%xmm1
movss  0xef0(%rip),%xmm2
movss  0xeec(%rip),%xmm3
movss  0xee8(%rip),%xmm4
nopl   0x0(%rax,%rax,1)
ucomiss %xmm5,%xmm0
xorps  %xmm6,%xmm6
jbe    115a <main+0x5a>
xorps  %xmm6,%xmm6
nopl   0x0(%rax,%rax,1)
addss  %xmm1,%xmm5
addss  %xmm1,%xmm6
ucomiss %xmm2,%xmm5
ja     1152 <main+0x52>
ucomiss %xmm5,%xmm0
ja     1140 <main+0x40>
xorps  %xmm5,%xmm5
ucomiss %xmm6,%xmm3
jbe    1130 <main+0x30>
xorps  %xmm5,%xmm5
nopl   (%rax)
addss  %xmm1,%xmm5
addss  %xmm1,%xmm6
ucomiss %xmm4,%xmm6
ja     1130 <main+0x30>
ucomiss %xmm6,%xmm3
ja     1160 <main+0x60>
jmp    1130 <main+0x30>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca float
%3 = alloca float
store i32 0, i32* %1
br label %4
4: ; preds = %0, %38
br label %5
5: ; preds = %20, %4
%6 = load float, float* %2
%7 = fcmp olt float %6, 5.000000e+00
br i1 %7, label %8, label %21
8: ; preds = %5
%9 = load float, float* %2
%10 = fpext float %9 to double
%11 = fadd double %10, 2.500000e-01
%12 = fptrunc double %11 to float
store float %12, float* %2
%13 = load float, float* %3
%14 = fpext float %13 to double
%15 = fadd double %14, 2.500000e-01
%16 = fptrunc double %15 to float
store float %16, float* %3
%17 = load float, float* %2
%18 = fcmp ogt float %17, 4.000000e+00
br i1 %18, label %19, label %20
19: ; preds = %8
br label %21
20: ; preds = %8
br label %5
21: ; preds = %19, %5
store float 0.000000e+00, float* %2
br label %22
22: ; preds = %37, %21
%23 = load float, float* %3
%24 = fcmp olt float %23, 1.000000e+01
br i1 %24, label %25, label %38
25: ; preds = %22
%26 = load float, float* %2
%27 = fpext float %26 to double
%28 = fadd double %27, 2.500000e-01
%29 = fptrunc double %28 to float
store float %29, float* %2
%30 = load float, float* %3
%31 = fpext float %30 to double
%32 = fadd double %31, 2.500000e-01
%33 = fptrunc double %32 to float
store float %33, float* %3
%34 = load float, float* %3
%35 = fcmp ogt float %34, 9.000000e+00
br i1 %35, label %36, label %37
36: ; preds = %25
br label %38
37: ; preds = %25
br label %22
38: ; preds = %36, %22
store float 0.000000e+00, float* %3
br label %4
}

LLVM IR (-O2):
define i32 @main() {
br label %1
1: ; preds = %14, %0
%2 = phi float [ undef, %0 ], [ %15, %14 ]
%3 = fcmp olt float %2, 5.000000e+00
br i1 %3, label %4, label %16
4: ; preds = %1, %4
%5 = phi float [ %7, %4 ], [ %2, %1 ]
%6 = phi float [ %8, %4 ], [ 0.000000e+00, %1 ]
%7 = fadd float %5, 2.500000e-01
%8 = fadd float %6, 2.500000e-01
%9 = fcmp ule float %7, 4.000000e+00
%10 = fcmp olt float %7, 5.000000e+00
%11 = and i1 %9, %10
br i1 %11, label %4, label %12
12: ; preds = %4
%13 = fcmp olt float %8, 1.000000e+01
br i1 %13, label %16, label %14
14: ; preds = %18, %12
%15 = phi float [ 0.000000e+00, %12 ], [ %21, %18 ]
br label %1
16: ; preds = %1, %12
%17 = phi float [ %8, %12 ], [ 0.000000e+00, %1 ]
br label %18
18: ; preds = %16, %18
%19 = phi float [ %21, %18 ], [ 0.000000e+00, %16 ]
%20 = phi float [ %22, %18 ], [ %17, %16 ]
%21 = fadd float %19, 2.500000e-01
%22 = fadd float %20, 2.500000e-01
%23 = fcmp ule float %22, 9.000000e+00
%24 = fcmp olt float %22, 1.000000e+01
%25 = and i1 %23, %24
br i1 %25, label %18, label %14
}