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


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0x4(%rbp)
movl   $0x3,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x4(%rbp),%ecx
shl    $0x1,%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
jg     146a <test+0x35a>
mov    -0x8(%rbp),%eax
add    $0x3,%eax
cmp    $0x0,%eax
jge    1165 <test+0x55>
mov    -0x8(%rbp),%ecx
add    $0x3,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
jmp    117c <test+0x6c>
mov    -0x8(%rbp),%eax
add    $0x3,%eax
add    $0x2,%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1268 <test+0x158>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
cmp    $0x0,%eax
jge    11bd <test+0xad>
mov    -0x8(%rbp),%ecx
add    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
jmp    11d4 <test+0xc4>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
add    $0x2,%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1202 <test+0xf2>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    120b <test+0xfb>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x2c(%rbp),%ecx
cmp    %ecx,%eax
jg     1255 <test+0x145>
mov    -0x8(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    $0x1,%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
sub    -0x14(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11da <test+0xca>
jmp    125a <test+0x14a>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1182 <test+0x72>
mov    -0x8(%rbp),%ecx
sub    -0x4(%rbp),%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
jle    1288 <test+0x178>
mov    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1291 <test+0x181>
mov    -0x8(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    12d2 <test+0x1c2>
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x2,%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x38(%rbp)
jmp    12e3 <test+0x1d3>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x38(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x38(%rbp),%ecx
cmp    %ecx,%eax
jg     1325 <test+0x215>
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
sub    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1297 <test+0x187>
mov    -0x8(%rbp),%eax
add    $0x3,%eax
cmp    $0x0,%eax
jge    1354 <test+0x244>
mov    -0x8(%rbp),%ecx
add    $0x3,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x3c(%rbp)
jmp    136b <test+0x25b>
mov    -0x8(%rbp),%eax
add    $0x3,%eax
add    $0x2,%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1457 <test+0x347>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
cmp    $0x0,%eax
jge    13ac <test+0x29c>
mov    -0x8(%rbp),%ecx
add    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x40(%rbp)
jmp    13c3 <test+0x2b3>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
add    $0x2,%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13f1 <test+0x2e1>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    13fa <test+0x2ea>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x48(%rbp),%ecx
cmp    %ecx,%eax
jg     1444 <test+0x334>
mov    -0x8(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    $0x3,%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
sub    -0x14(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    13c9 <test+0x2b9>
jmp    1449 <test+0x339>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1371 <test+0x261>
jmp    145c <test+0x34c>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1122 <test+0x12>
mov    -0x4(%rbp),%eax
shl    $0x1,%eax
sub    $0x2,%eax
cmp    $0x3,%eax
jle    148d <test+0x37d>
mov    -0x4(%rbp),%eax
shl    $0x1,%eax
sub    $0x2,%eax
mov    %eax,-0x4c(%rbp)
jmp    149a <test+0x38a>
mov    $0x3,%eax
mov    %eax,-0x4c(%rbp)
jmp    149a <test+0x38a>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    -0x4(%rbp),%ecx
shl    $0x1,%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1584 <test+0x474>
mov    -0x8(%rbp),%ecx
sub    -0x4(%rbp),%ecx
mov    $0x1,%eax
cmp    %ecx,%eax
jle    14d4 <test+0x3c4>
mov    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    14dd <test+0x3cd>
mov    -0x8(%rbp),%eax
sub    -0x4(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    151e <test+0x40e>
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x2,%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x58(%rbp)
jmp    152f <test+0x41f>
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x58(%rbp)
mov    -0x54(%rbp),%eax
mov    -0x58(%rbp),%ecx
cmp    %ecx,%eax
jg     1571 <test+0x461>
mov    -0x8(%rbp),%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    $0x2,%edi
call   1030 <hash@plt>
mov    -0x8(%rbp),%edi
sub    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%edi
call   1030 <hash@plt>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    14e3 <test+0x3d3>
jmp    1576 <test+0x466>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    14a0 <test+0x390>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
lea    (%rdi,%rdi,1),%eax
mov    %rax,0x18(%rsp)
mov    %rdi,0x8(%rsp)
cmp    $0x3,%edi
jge    11d6 <test+0xc6>
mov    0x18(%rsp),%rax
cmp    $0x6,%eax
mov    $0x5,%r15d
cmovge %eax,%r15d
lea    -0x2(%r15),%r12d
cmp    %eax,%r12d
jge    11c7 <test+0xb7>
sub    0x8(%rsp),%r15d
add    $0xfffffffe,%r15d
mov    $0x1,%r13d
jmp    116f <test+0x5f>
add    $0x1,%r12d
add    $0x1,%r15d
cmp    0x18(%rsp),%r12d
je     11c7 <test+0xb7>
cmp    $0x2,%r15d
mov    $0x1,%eax
cmovge %r15d,%eax
mov    %r12d,%ebx
sub    0x8(%rsp),%ebx
test   %ebx,%ebx
cmovle %r13d,%ebx
lea    -0x1(%r12),%r14d
shr    %r14d
cmp    %r14d,%ebx
ja     1160 <test+0x50>
mov    %r12d,%ebp
sub    %eax,%ebp
nopl   0x0(%rax,%rax,1)
mov    $0x2,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
lea    0x1(%rbx),%eax
add    $0xffffffff,%ebp
cmp    %r14d,%ebx
mov    %eax,%ebx
jb     11a0 <test+0x90>
jmp    1160 <test+0x50>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x18(%rsp),%rax
add    $0xfffffffd,%eax
cmp    $0x4,%eax
mov    $0x3,%edx
cmovl  %edx,%eax
mov    %eax,0x2c(%rsp)
mov    $0x3,%ecx
sub    0x8(%rsp),%ecx
mov    $0x5,%esi
jmp    1222 <test+0x112>
nopl   (%rax)
mov    0x20(%rsp),%rdx
lea    0x1(%rdx),%eax
mov    0x30(%rsp),%esi
add    $0x1,%esi
mov    0x34(%rsp),%ecx
add    $0x1,%ecx
cmp    0x2c(%rsp),%edx
mov    %eax,%edx
je     1134 <test+0x24>
mov    %esi,%eax
shr    %eax
mov    %edx,%edi
sub    %eax,%edi
mov    %edi,0x10(%rsp)
cmp    $0x2,%ecx
mov    $0x1,%edi
cmovge %ecx,%edi
lea    0x4(%rdx),%r15d
shr    %r15d
cmp    0x8(%rsp),%r15d
mov    %rdx,0x20(%rsp)
mov    %ecx,0x34(%rsp)
mov    %esi,0x30(%rsp)
jle    1260 <test+0x150>
lea    -0x1(%rdx),%r13d
jmp    12e9 <test+0x1d9>
nopl   (%rax)
mov    %edi,0x28(%rsp)
lea    0x2(%rdx),%eax
shr    %eax
mov    %eax,0x14(%rsp)
lea    -0x1(%rdx),%r13d
mov    %r15d,%r12d
jmp    128f <test+0x17f>
cs nopw 0x0(%rax,%rax,1)
lea    0x1(%r12),%eax
cmp    0x8(%rsp),%r12d
mov    %eax,%r12d
jge    12e0 <test+0x1d0>
lea    -0x1(%r12),%r14d
cmp    %r13d,%r14d
cmovae %r13d,%r14d
cmp    %r14d,0x14(%rsp)
jg     1280 <test+0x170>
mov    0x10(%rsp),%ebp
mov    0x14(%rsp),%eax
mov    %eax,%ebx
nopl   0x0(%rax)
mov    $0x1,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %r12d,%edi
call   1030 <hash@plt>
lea    0x1(%rbx),%eax
add    $0xffffffff,%ebp
cmp    %r14d,%ebx
mov    %eax,%ebx
jb     12b0 <test+0x1a0>
jmp    1280 <test+0x170>
nop
mov    0x20(%rsp),%rdx
mov    0x28(%rsp),%edi
mov    %edx,%ebx
sub    0x8(%rsp),%ebx
test   %ebx,%ebx
mov    $0x1,%eax
cmovle %eax,%ebx
mov    %r13d,%r14d
shr    %r14d
cmp    %r14d,%ebx
ja     1335 <test+0x225>
mov    %edx,%ebp
sub    %edi,%ebp
nopl   0x0(%rax,%rax,1)
mov    $0x2,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
lea    0x1(%rbx),%eax
add    $0xffffffff,%ebp
cmp    %r14d,%ebx
mov    %eax,%ebx
jb     1310 <test+0x200>
cmp    0x8(%rsp),%r15d
jg     1200 <test+0xf0>
mov    0x20(%rsp),%rax
lea    0x2(%rax),%r14d
shr    %r14d
jmp    1362 <test+0x252>
xchg   %ax,%ax
lea    0x1(%r15),%eax
cmp    0x8(%rsp),%r15d
mov    %eax,%r15d
jge    1200 <test+0xf0>
lea    -0x1(%r15),%r12d
cmp    %r13d,%r12d
cmovae %r13d,%r12d
cmp    %r12d,%r14d
jg     1350 <test+0x240>
mov    0x10(%rsp),%ebx
mov    %r14d,%ebp
nopl   0x0(%rax)
mov    $0x3,%edi
call   1030 <hash@plt>
mov    %ebp,%edi
call   1030 <hash@plt>
mov    %ebx,%edi
call   1030 <hash@plt>
mov    %r15d,%edi
call   1030 <hash@plt>
lea    0x1(%rbp),%eax
add    $0xffffffff,%ebx
cmp    %r12d,%ebp
mov    %eax,%ebp
jb     1380 <test+0x270>
jmp    1350 <test+0x240>

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
%8 = alloca i32
store i32 %0, i32* %2
store i32 3, i32* %3
br label %9
9: ; preds = %214, %1
%10 = load i32, i32* %3
%11 = load i32, i32* %2
%12 = mul nsw i32 2, %11
%13 = sub nsw i32 %12, 3
%14 = icmp sle i32 %10, %13
br i1 %14, label %15, label %217
15: ; preds = %9
%16 = load i32, i32* %3
%17 = add nsw i32 %16, 3
%18 = icmp slt i32 %17, 0
br i1 %18, label %19, label %25
19: ; preds = %15
%20 = load i32, i32* %3
%21 = add nsw i32 %20, 3
%22 = sub nsw i32 0, %21
%23 = sdiv i32 %22, 2
%24 = sub nsw i32 0, %23
br label %31
25: ; preds = %15
%26 = load i32, i32* %3
%27 = add nsw i32 %26, 3
%28 = add nsw i32 %27, 2
%29 = sub nsw i32 %28, 1
%30 = sdiv i32 %29, 2
br label %31
31: ; preds = %25, %19
%32 = phi i32 [ %24, %19 ], [ %30, %25 ]
store i32 %32, i32* %4
br label %33
33: ; preds = %88, %31
%34 = load i32, i32* %4
%35 = load i32, i32* %2
%36 = icmp sle i32 %34, %35
br i1 %36, label %37, label %91
37: ; preds = %33
%38 = load i32, i32* %3
%39 = add nsw i32 %38, 1
%40 = icmp slt i32 %39, 0
br i1 %40, label %41, label %47
41: ; preds = %37
%42 = load i32, i32* %3
%43 = add nsw i32 %42, 1
%44 = sub nsw i32 0, %43
%45 = sdiv i32 %44, 2
%46 = sub nsw i32 0, %45
br label %53
47: ; preds = %37
%48 = load i32, i32* %3
%49 = add nsw i32 %48, 1
%50 = add nsw i32 %49, 2
%51 = sub nsw i32 %50, 1
%52 = sdiv i32 %51, 2
br label %53
53: ; preds = %47, %41
%54 = phi i32 [ %46, %41 ], [ %52, %47 ]
store i32 %54, i32* %6
br label %55
55: ; preds = %84, %53
%56 = load i32, i32* %6
%57 = load i32, i32* %4
%58 = sub nsw i32 %57, 1
%59 = load i32, i32* %3
%60 = sub nsw i32 %59, 1
%61 = icmp slt i32 %58, %60
br i1 %61, label %62, label %65
62: ; preds = %55
%63 = load i32, i32* %4
%64 = sub nsw i32 %63, 1
br label %68
65: ; preds = %55
%66 = load i32, i32* %3
%67 = sub nsw i32 %66, 1
br label %68
68: ; preds = %65, %62
%69 = phi i32 [ %64, %62 ], [ %67, %65 ]
%70 = icmp sle i32 %56, %69
br i1 %70, label %71, label %87
71: ; preds = %68
%72 = load i32, i32* %3
%73 = load i32, i32* %6
%74 = sub nsw i32 %72, %73
store i32 %74, i32* %7
%75 = call i32 @hash(i32 1)
%76 = load i32, i32* %6
%77 = call i32 @hash(i32 %76)
%78 = load i32, i32* %3
%79 = load i32, i32* %6
%80 = sub nsw i32 %78, %79
%81 = call i32 @hash(i32 %80)
%82 = load i32, i32* %4
%83 = call i32 @hash(i32 %82)
br label %84
84: ; preds = %71
%85 = load i32, i32* %6
%86 = add nsw i32 %85, 1
store i32 %86, i32* %6
br label %55
87: ; preds = %68
br label %88
88: ; preds = %87
%89 = load i32, i32* %4
%90 = add nsw i32 %89, 1
store i32 %90, i32* %4
br label %33
91: ; preds = %33
%92 = load i32, i32* %3
%93 = load i32, i32* %2
%94 = sub nsw i32 %92, %93
%95 = icmp sgt i32 1, %94
br i1 %95, label %96, label %97
96: ; preds = %91
br label %101
97: ; preds = %91
%98 = load i32, i32* %3
%99 = load i32, i32* %2
%100 = sub nsw i32 %98, %99
br label %101
101: ; preds = %97, %96
%102 = phi i32 [ 1, %96 ], [ %100, %97 ]
store i32 %102, i32* %4
br label %103
103: ; preds = %134, %101
%104 = load i32, i32* %4
%105 = load i32, i32* %3
%106 = sub nsw i32 %105, 1
%107 = icmp slt i32 %106, 0
br i1 %107, label %108, label %116
108: ; preds = %103
%109 = load i32, i32* %3
%110 = sub nsw i32 %109, 1
%111 = sub nsw i32 0, %110
%112 = add nsw i32 %111, 2
%113 = sub nsw i32 %112, 1
%114 = sdiv i32 %113, 2
%115 = sub nsw i32 0, %114
br label %120
116: ; preds = %103
%117 = load i32, i32* %3
%118 = sub nsw i32 %117, 1
%119 = sdiv i32 %118, 2
br label %120
120: ; preds = %116, %108
%121 = phi i32 [ %115, %108 ], [ %119, %116 ]
%122 = icmp sle i32 %104, %121
br i1 %122, label %123, label %137
123: ; preds = %120
%124 = load i32, i32* %3
%125 = load i32, i32* %4
%126 = sub nsw i32 %124, %125
store i32 %126, i32* %6
%127 = call i32 @hash(i32 2)
%128 = load i32, i32* %3
%129 = load i32, i32* %4
%130 = sub nsw i32 %128, %129
%131 = call i32 @hash(i32 %130)
%132 = load i32, i32* %4
%133 = call i32 @hash(i32 %132)
br label %134
134: ; preds = %123
%135 = load i32, i32* %4
%136 = add nsw i32 %135, 1
store i32 %136, i32* %4
br label %103
137: ; preds = %120
%138 = load i32, i32* %3
%139 = add nsw i32 %138, 3
%140 = icmp slt i32 %139, 0
br i1 %140, label %141, label %147
141: ; preds = %137
%142 = load i32, i32* %3
%143 = add nsw i32 %142, 3
%144 = sub nsw i32 0, %143
%145 = sdiv i32 %144, 2
%146 = sub nsw i32 0, %145
br label %153
147: ; preds = %137
%148 = load i32, i32* %3
%149 = add nsw i32 %148, 3
%150 = add nsw i32 %149, 2
%151 = sub nsw i32 %150, 1
%152 = sdiv i32 %151, 2
br label %153
153: ; preds = %147, %141
%154 = phi i32 [ %146, %141 ], [ %152, %147 ]
store i32 %154, i32* %4
br label %155
155: ; preds = %210, %153
%156 = load i32, i32* %4
%157 = load i32, i32* %2
%158 = icmp sle i32 %156, %157
br i1 %158, label %159, label %213
159: ; preds = %155
%160 = load i32, i32* %3
%161 = add nsw i32 %160, 1
%162 = icmp slt i32 %161, 0
br i1 %162, label %163, label %169
163: ; preds = %159
%164 = load i32, i32* %3
%165 = add nsw i32 %164, 1
%166 = sub nsw i32 0, %165
%167 = sdiv i32 %166, 2
%168 = sub nsw i32 0, %167
br label %175
169: ; preds = %159
%170 = load i32, i32* %3
%171 = add nsw i32 %170, 1
%172 = add nsw i32 %171, 2
%173 = sub nsw i32 %172, 1
%174 = sdiv i32 %173, 2
br label %175
175: ; preds = %169, %163
%176 = phi i32 [ %168, %163 ], [ %174, %169 ]
store i32 %176, i32* %6
br label %177
177: ; preds = %206, %175
%178 = load i32, i32* %6
%179 = load i32, i32* %4
%180 = sub nsw i32 %179, 1
%181 = load i32, i32* %3
%182 = sub nsw i32 %181, 1
%183 = icmp slt i32 %180, %182
br i1 %183, label %184, label %187
184: ; preds = %177
%185 = load i32, i32* %4
%186 = sub nsw i32 %185, 1
br label %190
187: ; preds = %177
%188 = load i32, i32* %3
%189 = sub nsw i32 %188, 1
br label %190
190: ; preds = %187, %184
%191 = phi i32 [ %186, %184 ], [ %189, %187 ]
%192 = icmp sle i32 %178, %191
br i1 %192, label %193, label %209
193: ; preds = %190
%194 = load i32, i32* %3
%195 = load i32, i32* %6
%196 = sub nsw i32 %194, %195
store i32 %196, i32* %7
%197 = call i32 @hash(i32 3)
%198 = load i32, i32* %6
%199 = call i32 @hash(i32 %198)
%200 = load i32, i32* %3
%201 = load i32, i32* %6
%202 = sub nsw i32 %200, %201
%203 = call i32 @hash(i32 %202)
%204 = load i32, i32* %4
%205 = call i32 @hash(i32 %204)
br label %206
206: ; preds = %193
%207 = load i32, i32* %6
%208 = add nsw i32 %207, 1
store i32 %208, i32* %6
br label %177
209: ; preds = %190
br label %210
210: ; preds = %209
%211 = load i32, i32* %4
%212 = add nsw i32 %211, 1
store i32 %212, i32* %4
br label %155
213: ; preds = %155
br label %214
214: ; preds = %213
%215 = load i32, i32* %3
%216 = add nsw i32 %215, 1
store i32 %216, i32* %3
br label %9
217: ; preds = %9
%218 = load i32, i32* %2
%219 = mul nsw i32 2, %218
%220 = sub nsw i32 %219, 2
%221 = icmp sgt i32 %220, 3
br i1 %221, label %222, label %226
222: ; preds = %217
%223 = load i32, i32* %2
%224 = mul nsw i32 2, %223
%225 = sub nsw i32 %224, 2
br label %227
226: ; preds = %217
br label %227
227: ; preds = %226, %222
%228 = phi i32 [ %225, %222 ], [ 3, %226 ]
store i32 %228, i32* %3
br label %229
229: ; preds = %282, %227
%230 = load i32, i32* %3
%231 = load i32, i32* %2
%232 = mul nsw i32 2, %231
%233 = sub nsw i32 %232, 1
%234 = icmp sle i32 %230, %233
br i1 %234, label %235, label %285
235: ; preds = %229
%236 = load i32, i32* %3
%237 = load i32, i32* %2
%238 = sub nsw i32 %236, %237
%239 = icmp sgt i32 1, %238
br i1 %239, label %240, label %241
240: ; preds = %235
br label %245
241: ; preds = %235
%242 = load i32, i32* %3
%243 = load i32, i32* %2
%244 = sub nsw i32 %242, %243
br label %245
245: ; preds = %241, %240
%246 = phi i32 [ 1, %240 ], [ %244, %241 ]
store i32 %246, i32* %4
br label %247
247: ; preds = %278, %245
%248 = load i32, i32* %4
%249 = load i32, i32* %3
%250 = sub nsw i32 %249, 1
%251 = icmp slt i32 %250, 0
br i1 %251, label %252, label %260
252: ; preds = %247
%253 = load i32, i32* %3
%254 = sub nsw i32 %253, 1
%255 = sub nsw i32 0, %254
%256 = add nsw i32 %255, 2
%257 = sub nsw i32 %256, 1
%258 = sdiv i32 %257, 2
%259 = sub nsw i32 0, %258
br label %264
260: ; preds = %247
%261 = load i32, i32* %3
%262 = sub nsw i32 %261, 1
%263 = sdiv i32 %262, 2
br label %264
264: ; preds = %260, %252
%265 = phi i32 [ %259, %252 ], [ %263, %260 ]
%266 = icmp sle i32 %248, %265
br i1 %266, label %267, label %281
267: ; preds = %264
%268 = load i32, i32* %3
%269 = load i32, i32* %4
%270 = sub nsw i32 %268, %269
store i32 %270, i32* %6
%271 = call i32 @hash(i32 2)
%272 = load i32, i32* %3
%273 = load i32, i32* %4
%274 = sub nsw i32 %272, %273
%275 = call i32 @hash(i32 %274)
%276 = load i32, i32* %4
%277 = call i32 @hash(i32 %276)
br label %278
278: ; preds = %267
%279 = load i32, i32* %4
%280 = add nsw i32 %279, 1
store i32 %280, i32* %4
br label %247
281: ; preds = %264
br label %282
282: ; preds = %281
%283 = load i32, i32* %3
%284 = add nsw i32 %283, 1
store i32 %284, i32* %3
br label %229
285: ; preds = %229
ret void
}

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