#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 n) {
  int i, j, k, l, m;
  if (n >= 2) {
    for (l = 2; l <= n; l++) {
      {
        hash(1);
        hash(1);
        hash(n);
        hash(1);
        hash(l);
      };
    }
  }
  for (i = 2; i <= n - 1; i++) {
    for (j = 2; j <= n - 1; j++) {
      for (k = 1; k <= ((j - 1) < (i - 1) ? (j - 1) : (i - 1)); k++) {
        {
          hash(2);
          hash(i);
          hash(j);
          hash(k);
          hash(j);
          hash(i);
        };
      }
    }
    for (k = 1; k <= i - 1; k++) {
      {
        hash(2);
        hash(i);
        hash(n);
        hash(k);
        hash(n);
        hash(i);
      };
    }
    for (l = i + 1; l <= n; l++) {
      {
        hash(1);
        hash(i);
        hash(n);
        hash(i);
        hash(l);
      };
    }
  }
  if (n >= 2) {
    for (j = 2; j <= n; j++) {
      for (k = 1; k <= j - 1; k++) {
        {
          hash(2);
          hash(n);
          hash(j);
          hash(k);
          hash(j);
          hash(n);
        };
      }
    }
  }
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jl     1179 <test+0x69>
movl   $0x2,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1174 <test+0x64>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    $0x1,%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    112c <test+0x1c>
jmp    1179 <test+0x69>
movl   $0x2,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     12fa <test+0x1ea>
movl   $0x2,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1242 <test+0x132>
movl   $0x1,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11d8 <test+0xc8>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11e1 <test+0xd1>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jg     122f <test+0x11f>
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    11b0 <test+0xa0>
jmp    1234 <test+0x124>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1198 <test+0x88>
movl   $0x1,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     129a <test+0x18a>
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1249 <test+0x139>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     12e7 <test+0x1d7>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    -0x8(%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    12a3 <test+0x193>
jmp    12ec <test+0x1dc>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1180 <test+0x70>
cmpl   $0x2,-0x4(%rbp)
jl     1387 <test+0x277>
movl   $0x2,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1382 <test+0x272>
movl   $0x1,-0x10(%rbp)
mov    -0x10(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     136f <test+0x25f>
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0x4(%rbp),%edi
call   1030 <hash@plt>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    131e <test+0x20e>
jmp    1374 <test+0x264>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    130b <test+0x1fb>
jmp    1387 <test+0x277>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
cmp    $0x2,%edi
jl     13a2 <test+0x292>
mov    %edi,%ebp
mov    %edi,%r12d
neg    %r12d
mov    $0x2,%ebx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    $0x1,%edi
call   1030 <hash@plt>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
lea    (%r12,%rbx,1),%eax
add    $0x1,%eax
mov    %ebx,%ecx
add    $0x1,%ecx
mov    %ecx,%ebx
cmp    $0x1,%eax
jne    1140 <test+0x30>
cmp    $0x3,%ebp
jl     1324 <test+0x214>
lea    -0x1(%rbp),%eax
mov    %eax,0xc(%rsp)
mov    $0x2,%r14d
movl   $0x1,0x8(%rsp)
xor    %r13d,%r13d
mov    %rbp,0x18(%rsp)
mov    %r12,0x10(%rsp)
nopw   0x0(%rax,%rax,1)
mov    %r13,0x20(%rsp)
mov    %r14d,%r15d
lea    -0x1(%r15),%ebp
mov    $0x1,%r13d
mov    $0x2,%r12d
jmp    11e3 <test+0xd3>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r12d
add    $0x1,%r13d
cmp    0xc(%rsp),%r13d
je     1260 <test+0x150>
mov    0x8(%rsp),%eax
cmp    %r13d,%eax
mov    %r13d,%r14d
cmovl  %eax,%r14d
lea    -0x1(%r12),%eax
cmp    %ebp,%eax
cmovae %ebp,%eax
test   %eax,%eax
jle    11d0 <test+0xc0>
neg    %r14d
mov    $0x1,%ebx
nopw   0x0(%rax,%rax,1)
mov    $0x2,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %r12d,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
mov    %r12d,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
lea    (%r14,%rbx,1),%eax
add    $0x1,%eax
mov    %ebx,%ecx
add    $0x1,%ecx
mov    %ecx,%ebx
cmp    $0x1,%eax
jne    1210 <test+0x100>
jmp    11d0 <test+0xc0>
nopl   0x0(%rax)
mov    $0x1,%ebx
mov    0x18(%rsp),%rbp
mov    0x10(%rsp),%r12
mov    0x20(%rsp),%r13
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
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>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
lea    (%rbx,%r13,1),%eax
add    $0x1,%eax
mov    %ebx,%ecx
add    $0x1,%ecx
mov    %ecx,%ebx
cmp    $0x2,%eax
jne    1280 <test+0x170>
lea    0x1(%r15),%r14d
mov    %r14d,%ebx
nopl   0x0(%rax)
mov    $0x1,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
lea    (%r12,%rbx,1),%eax
add    $0x1,%eax
mov    %ebx,%ecx
add    $0x1,%ecx
mov    %ecx,%ebx
cmp    $0x1,%eax
jne    12d0 <test+0x1c0>
mov    0x8(%rsp),%eax
add    $0x1,%eax
add    $0xffffffff,%r13d
mov    %eax,0x8(%rsp)
cmp    0xc(%rsp),%eax
jne    11b0 <test+0xa0>
cmp    $0x2,%ebp
jl     13a2 <test+0x292>
mov    $0x2,%r15d
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
mov    $0x2,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
lea    (%r14,%rbx,1),%eax
add    $0x1,%eax
mov    %ebx,%ecx
add    $0x1,%ecx
mov    %ecx,%ebx
cmp    $0x2,%eax
jne    1350 <test+0x240>
lea    0x1(%r15),%eax
add    $0xffffffff,%r14d
cmp    %ebp,%r15d
mov    %eax,%r15d
jne    1340 <test+0x230>
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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