int main() {
  int a = 6;
  int b = 6;
  int c = 6;
  int d = 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) {
        }
      }
    }
  }
  if (!(a == 6 && b == 6 && c == 6 && d == 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   $0x0,-0x8(%rbp)
cmpl   $0x6,-0x8(%rbp)
jge    11b7 <main+0xb7>
movl   $0x0,-0xc(%rbp)
cmpl   $0x6,-0xc(%rbp)
jge    11a4 <main+0xa4>
movl   $0x0,-0x10(%rbp)
cmpl   $0x6,-0x10(%rbp)
jge    1191 <main+0x91>
movl   $0x0,-0x14(%rbp)
cmpl   $0x6,-0x14(%rbp)
jge    117e <main+0x7e>
jmp    1170 <main+0x70>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1161 <main+0x61>
jmp    1183 <main+0x83>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1150 <main+0x50>
jmp    1196 <main+0x96>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113f <main+0x3f>
jmp    11a9 <main+0xa9>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    112e <main+0x2e>
cmpl   $0x6,-0x8(%rbp)
jne    11df <main+0xdf>
cmpl   $0x6,-0xc(%rbp)
jne    11df <main+0xdf>
cmpl   $0x6,-0x10(%rbp)
jne    11df <main+0xdf>
cmpl   $0x6,-0x14(%rbp)
je     11e9 <main+0xe9>
jmp    11e4 <main+0xe4>
jmp    11e4 <main+0xe4>
mov    $0x1,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = 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 0, i32* %2
br label %6
6: ; preds = %34, %0
%7 = load i32, i32* %2
%8 = icmp slt i32 %7, 6
br i1 %8, label %9, label %37
9: ; preds = %6
store i32 0, i32* %3
br label %10
10: ; preds = %30, %9
%11 = load i32, i32* %3
%12 = icmp slt i32 %11, 6
br i1 %12, label %13, label %33
13: ; preds = %10
store i32 0, i32* %4
br label %14
14: ; preds = %26, %13
%15 = load i32, i32* %4
%16 = icmp slt i32 %15, 6
br i1 %16, label %17, label %29
17: ; preds = %14
store i32 0, i32* %5
br label %18
18: ; preds = %22, %17
%19 = load i32, i32* %5
%20 = icmp slt i32 %19, 6
br i1 %20, label %21, label %25
21: ; preds = %18
br label %22
22: ; preds = %21
%23 = load i32, i32* %5
%24 = add nsw i32 %23, 1
store i32 %24, i32* %5
br label %18
25: ; preds = %18
br label %26
26: ; preds = %25
%27 = load i32, i32* %4
%28 = add nsw i32 %27, 1
store i32 %28, i32* %4
br label %14
29: ; preds = %14
br label %30
30: ; preds = %29
%31 = load i32, i32* %3
%32 = add nsw i32 %31, 1
store i32 %32, i32* %3
br label %10
33: ; preds = %10
br label %34
34: ; preds = %33
%35 = load i32, i32* %2
%36 = add nsw i32 %35, 1
store i32 %36, i32* %2
br label %6
37: ; preds = %6
%38 = load i32, i32* %2
%39 = icmp eq i32 %38, 6
br i1 %39, label %40, label %49
40: ; preds = %37
%41 = load i32, i32* %3
%42 = icmp eq i32 %41, 6
br i1 %42, label %43, label %49
43: ; preds = %40
%44 = load i32, i32* %4
%45 = icmp eq i32 %44, 6
br i1 %45, label %46, label %49
46: ; preds = %43
%47 = load i32, i32* %5
%48 = icmp eq i32 %47, 6
br i1 %48, label %51, label %49
49: ; preds = %46, %43, %40, %37
br label %50
50: ; preds = %50, %49
br label %50
51: ; preds = %46
ret i32 1
}

LLVM IR (-O2):
define i32 @main() {
ret i32 1
}