int main() {
  int a = 6;
  int b = 6;
  int c = 6;
  int d = 6;
  int e = 6;
  int f = 6;
  for (a = 0; a < 6; ++a) {
    for (b = 0; b < 6; ++b) {
      for (c = 0; c < 6; ++c) {
        for (d = 0; d < 6; ++d) {
          for (e = 0; e < 6; ++e) {
            for (f = 0; f < 6; ++f) {
            }
          }
        }
      }
    }
  }
  if (!(a == 6 && b == 6 && c == 6 && d == 6 && e == 6 && f == 6)) {
  ERROR:
    goto ERROR;
  }
  return 1;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
movl   $0x6,-0x8(%rbp)
movl   $0x6,-0xc(%rbp)
movl   $0x6,-0x10(%rbp)
movl   $0x6,-0x14(%rbp)
movl   $0x6,-0x18(%rbp)
movl   $0x6,-0x1c(%rbp)
movl   $0x0,-0x8(%rbp)
cmpl   $0x6,-0x8(%rbp)
jge    120d <main+0x10d>
movl   $0x0,-0xc(%rbp)
cmpl   $0x6,-0xc(%rbp)
jge    11fa <main+0xfa>
movl   $0x0,-0x10(%rbp)
cmpl   $0x6,-0x10(%rbp)
jge    11e7 <main+0xe7>
movl   $0x0,-0x14(%rbp)
cmpl   $0x6,-0x14(%rbp)
jge    11d4 <main+0xd4>
movl   $0x0,-0x18(%rbp)
cmpl   $0x6,-0x18(%rbp)
jge    11c1 <main+0xc1>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x6,-0x1c(%rbp)
jge    11ae <main+0xae>
jmp    11a0 <main+0xa0>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1191 <main+0x91>
jmp    11b3 <main+0xb3>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1180 <main+0x80>
jmp    11c6 <main+0xc6>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    116f <main+0x6f>
jmp    11d9 <main+0xd9>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    115e <main+0x5e>
jmp    11ec <main+0xec>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    114d <main+0x4d>
jmp    11ff <main+0xff>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    113c <main+0x3c>
cmpl   $0x6,-0x8(%rbp)
jne    1249 <main+0x149>
cmpl   $0x6,-0xc(%rbp)
jne    1249 <main+0x149>
cmpl   $0x6,-0x10(%rbp)
jne    1249 <main+0x149>
cmpl   $0x6,-0x14(%rbp)
jne    1249 <main+0x149>
cmpl   $0x6,-0x18(%rbp)
jne    1249 <main+0x149>
cmpl   $0x6,-0x1c(%rbp)
je     1253 <main+0x153>
jmp    124e <main+0x14e>
jmp    124e <main+0x14e>
mov    $0x1,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i32 0, i32* %1
store i32 6, i32* %2
store i32 6, i32* %3
store i32 6, i32* %4
store i32 6, i32* %5
store i32 6, i32* %6
store i32 6, i32* %7
store i32 0, i32* %2
br label %8
8: ; preds = %52, %0
%9 = load i32, i32* %2
%10 = icmp slt i32 %9, 6
br i1 %10, label %11, label %55
11: ; preds = %8
store i32 0, i32* %3
br label %12
12: ; preds = %48, %11
%13 = load i32, i32* %3
%14 = icmp slt i32 %13, 6
br i1 %14, label %15, label %51
15: ; preds = %12
store i32 0, i32* %4
br label %16
16: ; preds = %44, %15
%17 = load i32, i32* %4
%18 = icmp slt i32 %17, 6
br i1 %18, label %19, label %47
19: ; preds = %16
store i32 0, i32* %5
br label %20
20: ; preds = %40, %19
%21 = load i32, i32* %5
%22 = icmp slt i32 %21, 6
br i1 %22, label %23, label %43
23: ; preds = %20
store i32 0, i32* %6
br label %24
24: ; preds = %36, %23
%25 = load i32, i32* %6
%26 = icmp slt i32 %25, 6
br i1 %26, label %27, label %39
27: ; preds = %24
store i32 0, i32* %7
br label %28
28: ; preds = %32, %27
%29 = load i32, i32* %7
%30 = icmp slt i32 %29, 6
br i1 %30, label %31, label %35
31: ; preds = %28
br label %32
32: ; preds = %31
%33 = load i32, i32* %7
%34 = add nsw i32 %33, 1
store i32 %34, i32* %7
br label %28
35: ; preds = %28
br label %36
36: ; preds = %35
%37 = load i32, i32* %6
%38 = add nsw i32 %37, 1
store i32 %38, i32* %6
br label %24
39: ; preds = %24
br label %40
40: ; preds = %39
%41 = load i32, i32* %5
%42 = add nsw i32 %41, 1
store i32 %42, i32* %5
br label %20
43: ; preds = %20
br label %44
44: ; preds = %43
%45 = load i32, i32* %4
%46 = add nsw i32 %45, 1
store i32 %46, i32* %4
br label %16
47: ; preds = %16
br label %48
48: ; preds = %47
%49 = load i32, i32* %3
%50 = add nsw i32 %49, 1
store i32 %50, i32* %3
br label %12
51: ; preds = %12
br label %52
52: ; preds = %51
%53 = load i32, i32* %2
%54 = add nsw i32 %53, 1
store i32 %54, i32* %2
br label %8
55: ; preds = %8
%56 = load i32, i32* %2
%57 = icmp eq i32 %56, 6
br i1 %57, label %58, label %73
58: ; preds = %55
%59 = load i32, i32* %3
%60 = icmp eq i32 %59, 6
br i1 %60, label %61, label %73
61: ; preds = %58
%62 = load i32, i32* %4
%63 = icmp eq i32 %62, 6
br i1 %63, label %64, label %73
64: ; preds = %61
%65 = load i32, i32* %5
%66 = icmp eq i32 %65, 6
br i1 %66, label %67, label %73
67: ; preds = %64
%68 = load i32, i32* %6
%69 = icmp eq i32 %68, 6
br i1 %69, label %70, label %73
70: ; preds = %67
%71 = load i32, i32* %7
%72 = icmp eq i32 %71, 6
br i1 %72, label %75, label %73
73: ; preds = %70, %67, %64, %61, %58, %55
br label %74
74: ; preds = %74, %73
br label %74
75: ; preds = %70
ret i32 1
}

LLVM IR (-O2):