#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ abort();
int main(void) {
  int i, j, k, l = 0, f = 0, x = 0;
  int m1 = 4, m2 = -5, m3 = 17;
#pragma acc parallel copy(l)
#pragma acc loop seq collapse(3) reduction(+ : l)
  for (i = -2; i < m1; i++)
    for (j = m2; j < -2; j++) {
      for (k = 13; k < m3; k++) {
        if ((i + 2) * 12 + (j + 5) * 4 + (k - 13) != 9 + f++)
          l++;
      }
    }
  for (i = -2; i < m1; i++)
    for (j = m2; j < -2; j++) {
      for (k = 13; k < m3; k++) {
        if ((i + 2) * 12 + (j + 5) * 4 + (k - 13) != 9 + f++)
          x++;
      }
    }
  if (l != x)
    abort();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x4,-0x20(%rbp)
movl   $0xfffffffb,-0x24(%rbp)
movl   $0x11,-0x28(%rbp)
movl   $0xfffffffe,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11f3 <main+0xe3>
mov    -0x24(%rbp),%eax
mov    %eax,-0xc(%rbp)
cmpl   $0xfffffffe,-0xc(%rbp)
jge    11e0 <main+0xd0>
movl   $0xd,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    11cd <main+0xbd>
mov    -0x8(%rbp),%eax
add    $0x2,%eax
imul   $0xc,%eax,%eax
mov    -0xc(%rbp),%ecx
add    $0x5,%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%ecx
sub    $0xd,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
add    $0x9,%ecx
cmp    %ecx,%eax
je     11ba <main+0xaa>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11bf <main+0xaf>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1173 <main+0x63>
jmp    11d2 <main+0xc2>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1162 <main+0x52>
jmp    11e5 <main+0xd5>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1150 <main+0x40>
movl   $0xfffffffe,-0x8(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    129d <main+0x18d>
mov    -0x24(%rbp),%eax
mov    %eax,-0xc(%rbp)
cmpl   $0xfffffffe,-0xc(%rbp)
jge    128a <main+0x17a>
movl   $0xd,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1277 <main+0x167>
mov    -0x8(%rbp),%eax
add    $0x2,%eax
imul   $0xc,%eax,%eax
mov    -0xc(%rbp),%ecx
add    $0x5,%ecx
shl    $0x2,%ecx
add    %ecx,%eax
mov    -0x10(%rbp),%ecx
sub    $0xd,%ecx
add    %ecx,%eax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
add    $0x9,%ecx
cmp    %ecx,%eax
je     1264 <main+0x154>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1269 <main+0x159>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    121d <main+0x10d>
jmp    127c <main+0x16c>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    120c <main+0xfc>
jmp    128f <main+0x17f>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    11fa <main+0xea>
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     12b0 <main+0x1a0>
mov    $0x0,%al
call   1030 <abort@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
xor    %eax,%eax
ret

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
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %5
store i32 0, i32* %6
store i32 0, i32* %7
store i32 4, i32* %8
store i32 -5, i32* %9
store i32 17, i32* %10
store i32 -2, i32* %2
br label %11
11: ; preds = %52, %0
%12 = load i32, i32* %2
%13 = load i32, i32* %8
%14 = icmp slt i32 %12, %13
br i1 %14, label %15, label %55
15: ; preds = %11
%16 = load i32, i32* %9
store i32 %16, i32* %3
br label %17
17: ; preds = %48, %15
%18 = load i32, i32* %3
%19 = icmp slt i32 %18, -2
br i1 %19, label %20, label %51
20: ; preds = %17
store i32 13, i32* %4
br label %21
21: ; preds = %44, %20
%22 = load i32, i32* %4
%23 = load i32, i32* %10
%24 = icmp slt i32 %22, %23
br i1 %24, label %25, label %47
25: ; preds = %21
%26 = load i32, i32* %2
%27 = add nsw i32 %26, 2
%28 = mul nsw i32 %27, 12
%29 = load i32, i32* %3
%30 = add nsw i32 %29, 5
%31 = mul nsw i32 %30, 4
%32 = add nsw i32 %28, %31
%33 = load i32, i32* %4
%34 = sub nsw i32 %33, 13
%35 = add nsw i32 %32, %34
%36 = load i32, i32* %6
%37 = add nsw i32 %36, 1
store i32 %37, i32* %6
%38 = add nsw i32 9, %36
%39 = icmp ne i32 %35, %38
br i1 %39, label %40, label %43
40: ; preds = %25
%41 = load i32, i32* %5
%42 = add nsw i32 %41, 1
store i32 %42, i32* %5
br label %43
43: ; preds = %40, %25
br label %44
44: ; preds = %43
%45 = load i32, i32* %4
%46 = add nsw i32 %45, 1
store i32 %46, i32* %4
br label %21
47: ; preds = %21
br label %48
48: ; preds = %47
%49 = load i32, i32* %3
%50 = add nsw i32 %49, 1
store i32 %50, i32* %3
br label %17
51: ; preds = %17
br label %52
52: ; preds = %51
%53 = load i32, i32* %2
%54 = add nsw i32 %53, 1
store i32 %54, i32* %2
br label %11
55: ; preds = %11
store i32 -2, i32* %2
br label %56
56: ; preds = %97, %55
%57 = load i32, i32* %2
%58 = load i32, i32* %8
%59 = icmp slt i32 %57, %58
br i1 %59, label %60, label %100
60: ; preds = %56
%61 = load i32, i32* %9
store i32 %61, i32* %3
br label %62
62: ; preds = %93, %60
%63 = load i32, i32* %3
%64 = icmp slt i32 %63, -2
br i1 %64, label %65, label %96
65: ; preds = %62
store i32 13, i32* %4
br label %66
66: ; preds = %89, %65
%67 = load i32, i32* %4
%68 = load i32, i32* %10
%69 = icmp slt i32 %67, %68
br i1 %69, label %70, label %92
70: ; preds = %66
%71 = load i32, i32* %2
%72 = add nsw i32 %71, 2
%73 = mul nsw i32 %72, 12
%74 = load i32, i32* %3
%75 = add nsw i32 %74, 5
%76 = mul nsw i32 %75, 4
%77 = add nsw i32 %73, %76
%78 = load i32, i32* %4
%79 = sub nsw i32 %78, 13
%80 = add nsw i32 %77, %79
%81 = load i32, i32* %6
%82 = add nsw i32 %81, 1
store i32 %82, i32* %6
%83 = add nsw i32 9, %81
%84 = icmp ne i32 %80, %83
br i1 %84, label %85, label %88
85: ; preds = %70
%86 = load i32, i32* %7
%87 = add nsw i32 %86, 1
store i32 %87, i32* %7
br label %88
88: ; preds = %85, %70
br label %89
89: ; preds = %88
%90 = load i32, i32* %4
%91 = add nsw i32 %90, 1
store i32 %91, i32* %4
br label %66
92: ; preds = %66
br label %93
93: ; preds = %92
%94 = load i32, i32* %3
%95 = add nsw i32 %94, 1
store i32 %95, i32* %3
br label %62
96: ; preds = %62
br label %97
97: ; preds = %96
%98 = load i32, i32* %2
%99 = add nsw i32 %98, 1
store i32 %99, i32* %2
br label %56
100: ; preds = %56
%101 = load i32, i32* %5
%102 = load i32, i32* %7
%103 = icmp ne i32 %101, %102
br i1 %103, label %104, label %106
104: ; preds = %100
%105 = call i32 (...) @abort()
unreachable
106: ; preds = %100
ret i32 0
}

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