#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*/ hash(int);
void test(int M, int N) {
  int c2, c4, c6;
  int i, j, k;
  if (N >= 3) {
    for (c4 = 2; c4 <= N - 1; c4++) {
      for (c6 = 2; c6 <= N - 1; c6++) {
        {
          hash(1);
          hash(1);
          hash(c4);
          hash(c6);
        };
      }
    }
  }
  if (N >= 3) {
    for (c2 = 3; c2 <= 2 * M; c2++) {
      for (c4 = 2; c4 <= N - 1; c4++) {
        for (c6 = 2; c6 <= N - 1; c6++) {
          if (c2 % 2 == 0) {
            {
              hash(1);
              hash(c2 / 2);
              hash(c4);
              hash(c6);
            };
          }
        }
      }
      for (c4 = 2; c4 <= N - 1; c4++) {
        for (c6 = 2; c6 <= N - 1; c6++) {
          if ((c2 + 1) % 2 == 0) {
            i = (c2 - 1) / 2;
            {
              hash(2);
              hash((c2 - 1) / 2);
              hash(c4);
              hash(c6);
            };
          }
        }
      }
    }
  }
  if (N >= 3) {
    c2 = 2 * M + 1;
    for (c4 = 2; c4 <= N - 1; c4++) {
      for (c6 = 2; c6 <= N - 1; c6++) {
        {
          hash(2);
          hash(M);
          hash(c4);
          hash(c6);
        };
      }
    }
  }
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
cmpl   $0x3,-0x8(%rbp)
jl     11a2 <test+0x92>
movl   $0x2,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     119d <test+0x8d>
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     118a <test+0x7a>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1147 <test+0x37>
jmp    118f <test+0x7f>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    112f <test+0x1f>
jmp    11a2 <test+0x92>
cmpl   $0x3,-0x8(%rbp)
jl     131f <test+0x20f>
movl   $0x3,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x4(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jg     131a <test+0x20a>
movl   $0x2,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     125a <test+0x14a>
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1247 <test+0x137>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1234 <test+0x124>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%edi
call   1030 <hash@plt>
jmp    1239 <test+0x129>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11e3 <test+0xd3>
jmp    124c <test+0x13c>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11cb <test+0xbb>
movl   $0x2,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1307 <test+0x1f7>
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     12f4 <test+0x1e4>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12e1 <test+0x1d1>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%edi
call   1030 <hash@plt>
jmp    12e6 <test+0x1d6>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1279 <test+0x169>
jmp    12f9 <test+0x1e9>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1261 <test+0x151>
jmp    130c <test+0x1fc>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11b3 <test+0xa3>
jmp    131f <test+0x20f>
cmpl   $0x3,-0x8(%rbp)
jl     13ad <test+0x29d>
mov    -0x4(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
movl   $0x2,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     13a8 <test+0x298>
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1395 <test+0x285>
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1354 <test+0x244>
jmp    139a <test+0x28a>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    133c <test+0x22c>
jmp    13ad <test+0x29d>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
cmp    $0x3,%esi
jl     11c0 <test+0xb0>
mov    %esi,%r12d
mov    %edi,%r14d
mov    $0x2,%ebp
nop
mov    $0x2,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x1,%edi
call   1030 <hash@plt>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
add    $0x1,%ebx
cmp    %ebx,%r12d
jne    1140 <test+0x30>
add    $0x1,%ebp
cmp    %r12d,%ebp
jne    1130 <test+0x20>
cmp    $0x2,%r14d
jge    11cf <test+0xbf>
mov    $0x2,%ebp
nopl   (%rax)
mov    $0x2,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x2,%edi
call   1030 <hash@plt>
mov    %r14d,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
add    $0x1,%ebx
cmp    %ebx,%r12d
jne    1190 <test+0x80>
add    $0x1,%ebp
cmp    %r12d,%ebp
jne    1180 <test+0x70>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    (%r14,%r14,1),%eax
cmp    $0x4,%eax
mov    $0x3,%r13d
cmovl  %r13d,%eax
mov    %eax,0x4(%rsp)
jmp    1202 <test+0xf2>
cs nopw 0x0(%rax,%rax,1)
lea    0x1(%r13),%eax
cmp    0x4(%rsp),%r13d
mov    %eax,%r13d
je     1178 <test+0x68>
mov    %r13d,%r15d
shr    %r15d
mov    $0x2,%ebp
jmp    1218 <test+0x108>
nop
add    $0x1,%ebp
cmp    %r12d,%ebp
je     1250 <test+0x140>
mov    $0x2,%ebx
jmp    1228 <test+0x118>
nop
add    $0x1,%ebx
cmp    %ebx,%r12d
je     1210 <test+0x100>
test   $0x1,%r13b
jne    1220 <test+0x110>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
jmp    1220 <test+0x110>
lea    -0x1(%r13),%r15d
shr    %r15d
mov    $0x2,%ebp
jmp    1268 <test+0x158>
xchg   %ax,%ax
add    $0x1,%ebp
cmp    %r12d,%ebp
je     11f0 <test+0xe0>
mov    $0x2,%ebx
jmp    1278 <test+0x168>
nop
add    $0x1,%ebx
cmp    %ebx,%r12d
je     1260 <test+0x150>
test   $0x1,%r13b
je     1270 <test+0x160>
mov    $0x2,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
jmp    1270 <test+0x160>

LLVM IR (-O0):
define void @test(i32 %0, i32 %1) {
%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* %3
store i32 %1, i32* %4
%11 = load i32, i32* %4
%12 = icmp sge i32 %11, 3
br i1 %12, label %13, label %40
13: ; preds = %2
store i32 2, i32* %6
br label %14
14: ; preds = %36, %13
%15 = load i32, i32* %6
%16 = load i32, i32* %4
%17 = sub nsw i32 %16, 1
%18 = icmp sle i32 %15, %17
br i1 %18, label %19, label %39
19: ; preds = %14
store i32 2, i32* %7
br label %20
20: ; preds = %32, %19
%21 = load i32, i32* %7
%22 = load i32, i32* %4
%23 = sub nsw i32 %22, 1
%24 = icmp sle i32 %21, %23
br i1 %24, label %25, label %35
25: ; preds = %20
%26 = call i32 @hash(i32 1)
%27 = call i32 @hash(i32 1)
%28 = load i32, i32* %6
%29 = call i32 @hash(i32 %28)
%30 = load i32, i32* %7
%31 = call i32 @hash(i32 %30)
br label %32
32: ; preds = %25
%33 = load i32, i32* %7
%34 = add nsw i32 %33, 1
store i32 %34, i32* %7
br label %20
35: ; preds = %20
br label %36
36: ; preds = %35
%37 = load i32, i32* %6
%38 = add nsw i32 %37, 1
store i32 %38, i32* %6
br label %14
39: ; preds = %14
br label %40
40: ; preds = %39, %2
%41 = load i32, i32* %4
%42 = icmp sge i32 %41, 3
br i1 %42, label %43, label %125
43: ; preds = %40
store i32 3, i32* %5
br label %44
44: ; preds = %121, %43
%45 = load i32, i32* %5
%46 = load i32, i32* %3
%47 = mul nsw i32 2, %46
%48 = icmp sle i32 %45, %47
br i1 %48, label %49, label %124
49: ; preds = %44
store i32 2, i32* %6
br label %50
50: ; preds = %79, %49
%51 = load i32, i32* %6
%52 = load i32, i32* %4
%53 = sub nsw i32 %52, 1
%54 = icmp sle i32 %51, %53
br i1 %54, label %55, label %82
55: ; preds = %50
store i32 2, i32* %7
br label %56
56: ; preds = %75, %55
%57 = load i32, i32* %7
%58 = load i32, i32* %4
%59 = sub nsw i32 %58, 1
%60 = icmp sle i32 %57, %59
br i1 %60, label %61, label %78
61: ; preds = %56
%62 = load i32, i32* %5
%63 = srem i32 %62, 2
%64 = icmp eq i32 %63, 0
br i1 %64, label %65, label %74
65: ; preds = %61
%66 = call i32 @hash(i32 1)
%67 = load i32, i32* %5
%68 = sdiv i32 %67, 2
%69 = call i32 @hash(i32 %68)
%70 = load i32, i32* %6
%71 = call i32 @hash(i32 %70)
%72 = load i32, i32* %7
%73 = call i32 @hash(i32 %72)
br label %74
74: ; preds = %65, %61
br label %75
75: ; preds = %74
%76 = load i32, i32* %7
%77 = add nsw i32 %76, 1
store i32 %77, i32* %7
br label %56
78: ; preds = %56
br label %79
79: ; preds = %78
%80 = load i32, i32* %6
%81 = add nsw i32 %80, 1
store i32 %81, i32* %6
br label %50
82: ; preds = %50
store i32 2, i32* %6
br label %83
83: ; preds = %117, %82
%84 = load i32, i32* %6
%85 = load i32, i32* %4
%86 = sub nsw i32 %85, 1
%87 = icmp sle i32 %84, %86
br i1 %87, label %88, label %120
88: ; preds = %83
store i32 2, i32* %7
br label %89
89: ; preds = %113, %88
%90 = load i32, i32* %7
%91 = load i32, i32* %4
%92 = sub nsw i32 %91, 1
%93 = icmp sle i32 %90, %92
br i1 %93, label %94, label %116
94: ; preds = %89
%95 = load i32, i32* %5
%96 = add nsw i32 %95, 1
%97 = srem i32 %96, 2
%98 = icmp eq i32 %97, 0
br i1 %98, label %99, label %112
99: ; preds = %94
%100 = load i32, i32* %5
%101 = sub nsw i32 %100, 1
%102 = sdiv i32 %101, 2
store i32 %102, i32* %8
%103 = call i32 @hash(i32 2)
%104 = load i32, i32* %5
%105 = sub nsw i32 %104, 1
%106 = sdiv i32 %105, 2
%107 = call i32 @hash(i32 %106)
%108 = load i32, i32* %6
%109 = call i32 @hash(i32 %108)
%110 = load i32, i32* %7
%111 = call i32 @hash(i32 %110)
br label %112
112: ; preds = %99, %94
br label %113
113: ; preds = %112
%114 = load i32, i32* %7
%115 = add nsw i32 %114, 1
store i32 %115, i32* %7
br label %89
116: ; preds = %89
br label %117
117: ; preds = %116
%118 = load i32, i32* %6
%119 = add nsw i32 %118, 1
store i32 %119, i32* %6
br label %83
120: ; preds = %83
br label %121
121: ; preds = %120
%122 = load i32, i32* %5
%123 = add nsw i32 %122, 1
store i32 %123, i32* %5
br label %44
124: ; preds = %44
br label %125
125: ; preds = %124, %40
%126 = load i32, i32* %4
%127 = icmp sge i32 %126, 3
br i1 %127, label %128, label %159
128: ; preds = %125
%129 = load i32, i32* %3
%130 = mul nsw i32 2, %129
%131 = add nsw i32 %130, 1
store i32 %131, i32* %5
store i32 2, i32* %6
br label %132
132: ; preds = %155, %128
%133 = load i32, i32* %6
%134 = load i32, i32* %4
%135 = sub nsw i32 %134, 1
%136 = icmp sle i32 %133, %135
br i1 %136, label %137, label %158
137: ; preds = %132
store i32 2, i32* %7
br label %138
138: ; preds = %151, %137
%139 = load i32, i32* %7
%140 = load i32, i32* %4
%141 = sub nsw i32 %140, 1
%142 = icmp sle i32 %139, %141
br i1 %142, label %143, label %154
143: ; preds = %138
%144 = call i32 @hash(i32 2)
%145 = load i32, i32* %3
%146 = call i32 @hash(i32 %145)
%147 = load i32, i32* %6
%148 = call i32 @hash(i32 %147)
%149 = load i32, i32* %7
%150 = call i32 @hash(i32 %149)
br label %151
151: ; preds = %143
%152 = load i32, i32* %7
%153 = add nsw i32 %152, 1
store i32 %153, i32* %7
br label %138
154: ; preds = %138
br label %155
155: ; preds = %154
%156 = load i32, i32* %6
%157 = add nsw i32 %156, 1
store i32 %157, i32* %6
br label %132
158: ; preds = %132
br label %159
159: ; preds = %158, %125
ret void
}

LLVM IR (-O2):
define void @test(i32 %0, i32 %1) {
%3 = icmp sgt i32 %1, 2
br i1 %3, label %4, label %79
4: ; preds = %2, %14
%5 = phi i32 [ %15, %14 ], [ 2, %2 ]
br label %6
6: ; preds = %4, %6
%7 = phi i32 [ %12, %6 ], [ 2, %4 ]
%8 = tail call i32 @hash(i32 1)
%9 = tail call i32 @hash(i32 1)
%10 = tail call i32 @hash(i32 %5)
%11 = tail call i32 @hash(i32 %7)
%12 = add nuw nsw i32 %7, 1
%13 = icmp eq i32 %12, %1
br i1 %13, label %14, label %6
14: ; preds = %6
%15 = add nuw nsw i32 %5, 1
%16 = icmp eq i32 %15, %1
br i1 %16, label %17, label %4
17: ; preds = %14
%18 = icmp slt i32 %0, 2
br i1 %18, label %65, label %19
19: ; preds = %17
%20 = shl nuw i32 %0, 1
%21 = call i32 @llvm.smax.i32(i32 %20, i32 3)
br label %22
22: ; preds = %62, %19
%23 = phi i32 [ 3, %19 ], [ %63, %62 ]
%24 = and i32 %23, 1
%25 = icmp eq i32 %24, 0
%26 = lshr i32 %23, 1
br label %32
27: ; preds = %44
%28 = and i32 %23, 1
%29 = icmp eq i32 %28, 0
%30 = add nsw i32 %23, -1
%31 = lshr i32 %30, 1
br label %47
32: ; preds = %44, %22
%33 = phi i32 [ 2, %22 ], [ %45, %44 ]
br label %34
34: ; preds = %32, %41
%35 = phi i32 [ %42, %41 ], [ 2, %32 ]
br i1 %25, label %36, label %41
36: ; preds = %34
%37 = tail call i32 @hash(i32 1)
%38 = tail call i32 @hash(i32 %26)
%39 = tail call i32 @hash(i32 %33)
%40 = tail call i32 @hash(i32 %35)
br label %41
41: ; preds = %34, %36
%42 = add nuw nsw i32 %35, 1
%43 = icmp eq i32 %42, %1
br i1 %43, label %44, label %34
44: ; preds = %41
%45 = add nuw nsw i32 %33, 1
%46 = icmp eq i32 %45, %1
br i1 %46, label %27, label %32
47: ; preds = %59, %27
%48 = phi i32 [ 2, %27 ], [ %60, %59 ]
br label %49
49: ; preds = %47, %56
%50 = phi i32 [ %57, %56 ], [ 2, %47 ]
br i1 %29, label %56, label %51
51: ; preds = %49
%52 = tail call i32 @hash(i32 2)
%53 = tail call i32 @hash(i32 %31)
%54 = tail call i32 @hash(i32 %48)
%55 = tail call i32 @hash(i32 %50)
br label %56
56: ; preds = %49, %51
%57 = add nuw nsw i32 %50, 1
%58 = icmp eq i32 %57, %1
br i1 %58, label %59, label %49
59: ; preds = %56
%60 = add nuw nsw i32 %48, 1
%61 = icmp eq i32 %60, %1
br i1 %61, label %62, label %47
62: ; preds = %59
%63 = add nuw nsw i32 %23, 1
%64 = icmp eq i32 %23, %21
br i1 %64, label %65, label %22
65: ; preds = %62, %17
br label %66
66: ; preds = %65, %76
%67 = phi i32 [ %77, %76 ], [ 2, %65 ]
br label %68
68: ; preds = %66, %68
%69 = phi i32 [ %74, %68 ], [ 2, %66 ]
%70 = tail call i32 @hash(i32 2)
%71 = tail call i32 @hash(i32 %0)
%72 = tail call i32 @hash(i32 %67)
%73 = tail call i32 @hash(i32 %69)
%74 = add nuw nsw i32 %69, 1
%75 = icmp eq i32 %74, %1
br i1 %75, label %76, label %68
76: ; preds = %68
%77 = add nuw nsw i32 %67, 1
%78 = icmp eq i32 %77, %1
br i1 %78, label %79, label %66
79: ; preds = %76, %2
ret void
}