#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 T, int N, int h0, int b0, int b1, int g0, int g1, int g2, int g3,
          int g4, int t0, int t1) {
  int c0, c1, c2, c3;
  int i, j;
  if ((h0 + 1) % 2 == 0) {
    if ((16 * (((g1 + t0 - 3) < 0) ? -((-(g1 + t0 - 3) + (16) - 1) / (16))
                                   : (g1 + t0 - 3) / (16)) >=
         -N + g1 + t0 + 1) &&
        (16 * (((N + 15 * g1 + 15 * t0 + 15) < 0)
                   ? -((-(N + 15 * g1 + 15 * t0 + 15) + (16) - 1) / (16))
                   : (N + 15 * g1 + 15 * t0 + 15) / (16)) >=
         16 * g1 + 15 * t0 + 17) &&
        ((((t1 - 1) < 0) ? -((-(t1 - 1) + (32) - 1) / (32))
                         : (t1 - 1) / (32)) <=
         (((g2 + t1 - 3) < 0) ? -((-(g2 + t1 - 3) + (32) - 1) / (32))
                              : (g2 + t1 - 3) / (32))) &&
        (32 * (((t1 - 1) < 0) ? -((-(t1 - 1) + (32) - 1) / (32))
                              : (t1 - 1) / (32)) >=
         -N + g2 + t1 + 1)) {
      for (c0 = ((-16 * (((t0 - 1) < 0) ? -((-(t0 - 1) + (16) - 1) / (16))
                                        : (t0 - 1) / (16)) +
                  t0) > (-16 * (((g1 + t0 - 3) < 0)
                                    ? -((-(g1 + t0 - 3) + (16) - 1) / (16))
                                    : (g1 + t0 - 3) / (16)) +
                         t0)
                     ? (-16 * (((t0 - 1) < 0) ? -((-(t0 - 1) + (16) - 1) / (16))
                                              : (t0 - 1) / (16)) +
                        t0)
                     : (-16 * (((g1 + t0 - 3) < 0)
                                   ? -((-(g1 + t0 - 3) + (16) - 1) / (16))
                                   : (g1 + t0 - 3) / (16)) +
                        t0));
           c0 <= ((32) < (N - g1 - 1) ? (32) : (N - g1 - 1)); c0 += 16) {
        c1 = -32 * (((t1 - 1) < 0) ? -((-(t1 - 1) + (32) - 1) / (32))
                                   : (t1 - 1) / (32)) +
             t1;
        if (c1 <= 32) {
          {
            hash(1);
            hash(c0 + g1 - 1);
            hash(c1 + g2 - 1);
          };
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x38(%rbp),%eax
mov    0x30(%rbp),%eax
mov    0x28(%rbp),%eax
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    %r9d,-0x18(%rbp)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    15b0 <test+0x4a0>
mov    0x10(%rbp),%eax
add    0x30(%rbp),%eax
sub    $0x3,%eax
cmp    $0x0,%eax
jge    1190 <test+0x80>
mov    0x10(%rbp),%ecx
add    0x30(%rbp),%ecx
sub    $0x3,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x10,%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x34(%rbp)
jmp    11a4 <test+0x94>
mov    0x10(%rbp),%eax
add    0x30(%rbp),%eax
sub    $0x3,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
shl    $0x4,%eax
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
add    0x10(%rbp),%ecx
add    0x30(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jl     15ab <test+0x49b>
mov    -0x8(%rbp),%eax
imul   $0xf,0x10(%rbp),%ecx
add    %ecx,%eax
imul   $0xf,0x30(%rbp),%ecx
add    %ecx,%eax
add    $0xf,%eax
cmp    $0x0,%eax
jge    120d <test+0xfd>
mov    -0x8(%rbp),%ecx
imul   $0xf,0x10(%rbp),%eax
add    %eax,%ecx
imul   $0xf,0x30(%rbp),%eax
add    %eax,%ecx
add    $0xf,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x10,%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x38(%rbp)
jmp    122a <test+0x11a>
mov    -0x8(%rbp),%eax
imul   $0xf,0x10(%rbp),%ecx
add    %ecx,%eax
imul   $0xf,0x30(%rbp),%ecx
add    %ecx,%eax
add    $0xf,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
shl    $0x4,%eax
mov    0x10(%rbp),%ecx
shl    $0x4,%ecx
imul   $0xf,0x30(%rbp),%edx
add    %edx,%ecx
add    $0x11,%ecx
cmp    %ecx,%eax
jl     15ab <test+0x49b>
mov    0x38(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    127c <test+0x16c>
mov    0x38(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x20,%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x3c(%rbp)
jmp    128d <test+0x17d>
mov    0x38(%rbp),%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    0x18(%rbp),%eax
add    0x38(%rbp),%eax
sub    $0x3,%eax
cmp    $0x0,%eax
jge    12ce <test+0x1be>
mov    0x18(%rbp),%ecx
add    0x38(%rbp),%ecx
sub    $0x3,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x20,%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
jmp    12e2 <test+0x1d2>
mov    0x18(%rbp),%eax
add    0x38(%rbp),%eax
sub    $0x3,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,-0x44(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x44(%rbp),%ecx
cmp    %ecx,%eax
jg     15ab <test+0x49b>
mov    0x38(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1325 <test+0x215>
mov    0x38(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x20,%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x48(%rbp)
jmp    1336 <test+0x226>
mov    0x38(%rbp),%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
shl    $0x5,%eax
xor    %ecx,%ecx
sub    -0x8(%rbp),%ecx
add    0x18(%rbp),%ecx
add    0x38(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jl     15ab <test+0x49b>
mov    0x30(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1387 <test+0x277>
mov    0x30(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x10,%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x4c(%rbp)
jmp    1398 <test+0x288>
mov    0x30(%rbp),%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
imul   $0xfffffff0,%eax,%eax
add    0x30(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    0x10(%rbp),%eax
add    0x30(%rbp),%eax
sub    $0x3,%eax
cmp    $0x0,%eax
jge    13e2 <test+0x2d2>
mov    0x10(%rbp),%ecx
add    0x30(%rbp),%ecx
sub    $0x3,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x10,%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x54(%rbp)
jmp    13f6 <test+0x2e6>
mov    0x10(%rbp),%eax
add    0x30(%rbp),%eax
sub    $0x3,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x54(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x54(%rbp),%ecx
imul   $0xfffffff0,%ecx,%ecx
add    0x30(%rbp),%ecx
cmp    %ecx,%eax
jle    1467 <test+0x357>
mov    0x30(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1442 <test+0x332>
mov    0x30(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x10,%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x58(%rbp)
jmp    1453 <test+0x343>
mov    0x30(%rbp),%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x58(%rbp)
mov    -0x58(%rbp),%eax
imul   $0xfffffff0,%eax,%eax
add    0x30(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    14c5 <test+0x3b5>
mov    0x10(%rbp),%eax
add    0x30(%rbp),%eax
sub    $0x3,%eax
cmp    $0x0,%eax
jge    14a2 <test+0x392>
mov    0x10(%rbp),%ecx
add    0x30(%rbp),%ecx
sub    $0x3,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x10,%eax
sub    $0x1,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x60(%rbp)
jmp    14b6 <test+0x3a6>
mov    0x10(%rbp),%eax
add    0x30(%rbp),%eax
sub    $0x3,%eax
mov    $0x10,%ecx
cltd
idiv   %ecx
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
imul   $0xfffffff0,%eax,%eax
add    0x30(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x8(%rbp),%ecx
sub    0x10(%rbp),%ecx
sub    $0x1,%ecx
mov    $0x20,%eax
cmp    %ecx,%eax
jge    14f4 <test+0x3e4>
mov    $0x20,%eax
mov    %eax,-0x68(%rbp)
jmp    1500 <test+0x3f0>
mov    -0x8(%rbp),%eax
sub    0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x68(%rbp)
mov    -0x64(%rbp),%eax
mov    -0x68(%rbp),%ecx
cmp    %ecx,%eax
jg     15a6 <test+0x496>
mov    0x38(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1543 <test+0x433>
mov    0x38(%rbp),%ecx
sub    $0x1,%ecx
xor    %eax,%eax
sub    %ecx,%eax
add    $0x20,%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
xor    %eax,%eax
sub    %ecx,%eax
mov    %eax,-0x6c(%rbp)
jmp    1554 <test+0x444>
mov    0x38(%rbp),%eax
sub    $0x1,%eax
mov    $0x20,%ecx
cltd
idiv   %ecx
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
imul   $0xffffffe0,%eax,%eax
add    0x38(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x20,-0x20(%rbp)
jg     1593 <test+0x483>
mov    $0x1,%edi
call   1030 <hash@plt>
mov    -0x1c(%rbp),%edi
add    0x10(%rbp),%edi
sub    $0x1,%edi
call   1030 <hash@plt>
mov    -0x20(%rbp),%edi
add    0x18(%rbp),%edi
sub    $0x1,%edi
call   1030 <hash@plt>
jmp    1598 <test+0x488>
mov    -0x1c(%rbp),%eax
add    $0x10,%eax
mov    %eax,-0x1c(%rbp)
jmp    14cb <test+0x3bb>
jmp    15ab <test+0x49b>
jmp    15b0 <test+0x4a0>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   $0x1,%dl
je     11ad <test+0x9d>
mov    0x50(%rsp),%r9d
mov    0x30(%rsp),%r15d
lea    (%r9,%r15,1),%edx
lea    (%r9,%r15,1),%ebx
add    $0xfffffffd,%ebx
cmp    $0x2,%edx
jg     1155 <test+0x45>
mov    $0x12,%edi
sub    %edx,%edi
mov    $0x21,%ecx
sub    %edx,%ecx
test   %edi,%edi
cmovns %edi,%ecx
sar    $0x4,%ecx
neg    %ecx
jmp    115a <test+0x4a>
mov    %ebx,%ecx
shr    $0x4,%ecx
shl    $0x4,%ecx
mov    %r15d,%edi
sub    %esi,%edi
add    %r9d,%edi
cmp    %edi,%ecx
jle    11ad <test+0x9d>
lea    (%r15,%r15,4),%ecx
lea    (%rcx,%rcx,2),%ecx
add    %esi,%ecx
lea    (%r9,%r9,4),%edi
lea    (%rdi,%rdi,2),%edi
add    %edi,%ecx
cmp    $0xfffffff0,%ecx
jg     1195 <test+0x85>
mov    $0xf,%ebp
sub    %ecx,%ebp
neg    %ecx
test   %ecx,%ecx
cmovs  %ebp,%ecx
sar    $0x4,%ecx
neg    %ecx
jmp    119b <test+0x8b>
add    $0xf,%ecx
shr    $0x4,%ecx
shl    $0x4,%ecx
mov    %r15d,%ebp
shl    $0x4,%ebp
add    %ebp,%edi
add    $0x11,%edi
cmp    %edi,%ecx
jge    11b6 <test+0xa6>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x58(%rsp),%r8d
mov    0x38(%rsp),%r14d
lea    -0x1(%r8),%r12d
test   %r8d,%r8d
jle    11d1 <test+0xc1>
mov    %r12d,%edi
shr    $0x5,%edi
jmp    11eb <test+0xdb>
mov    $0x20,%ecx
sub    %r8d,%ecx
mov    $0x3f,%edi
sub    %r8d,%edi
test   %ecx,%ecx
cmovns %ecx,%edi
sar    $0x5,%edi
neg    %edi
lea    (%r8,%r14,1),%ecx
cmp    $0x2,%ecx
jg     1212 <test+0x102>
mov    $0x22,%eax
sub    %ecx,%eax
mov    $0x41,%ebp
sub    %ecx,%ebp
test   %eax,%eax
cmovns %eax,%ebp
sar    $0x5,%ebp
neg    %ebp
cmp    %ebp,%edi
jle    121e <test+0x10e>
jmp    11ad <test+0x9d>
add    $0xfffffffd,%ecx
shr    $0x5,%ecx
mov    %ecx,%ebp
cmp    %ebp,%edi
jg     11ad <test+0x9d>
test   %r8d,%r8d
jle    122b <test+0x11b>
mov    %r12d,%edi
shr    $0x5,%edi
jmp    1245 <test+0x135>
mov    $0x20,%eax
sub    %r8d,%eax
mov    $0x3f,%edi
sub    %r8d,%edi
test   %eax,%eax
cmovns %eax,%edi
sar    $0x5,%edi
neg    %edi
shl    $0x5,%edi
mov    %r14d,%eax
sub    %esi,%eax
add    %r8d,%eax
cmp    %eax,%edi
jle    11ad <test+0x9d>
lea    -0x1(%r9),%ebp
test   %r9d,%r9d
jle    126a <test+0x15a>
mov    %ebp,%edi
shr    $0x4,%edi
neg    %edi
jmp    1282 <test+0x172>
mov    $0x10,%eax
sub    %r9d,%eax
mov    $0x1f,%edi
sub    %r9d,%edi
test   %eax,%eax
cmovns %eax,%edi
sar    $0x4,%edi
shl    $0x4,%edi
cmp    $0x2,%edx
jg     12a8 <test+0x198>
mov    $0x12,%eax
sub    %edx,%eax
mov    $0x21,%ebx
sub    %edx,%ebx
test   %eax,%eax
cmovns %eax,%ebx
mov    %ebx,%eax
and    $0xfffffff0,%eax
cmp    %eax,%edi
jg     12b3 <test+0x1a3>
jmp    12dd <test+0x1cd>
mov    %ebx,%eax
and    $0xfffffff0,%eax
neg    %eax
cmp    %eax,%edi
jle    12c1 <test+0x1b1>
test   %r9d,%r9d
jle    12c8 <test+0x1b8>
shr    $0x4,%ebp
neg    %ebp
mov    %ebp,%ebx
jmp    12e0 <test+0x1d0>
shr    $0x4,%ebx
neg    %ebx
jmp    12e0 <test+0x1d0>
mov    $0x10,%eax
sub    %r9d,%eax
mov    $0x1f,%ebx
sub    %r9d,%ebx
test   %eax,%eax
cmovns %eax,%ebx
sar    $0x4,%ebx
shl    $0x4,%ebx
add    %r9d,%ebx
mov    %r15d,%ebp
not    %ebp
add    %esi,%ebp
cmp    $0x20,%ebp
mov    $0x20,%eax
cmovge %eax,%ebp
cmp    %ebp,%ebx
jg     11ad <test+0x9d>
add    $0xffffffff,%r14d
test   %r8d,%r8d
jle    1312 <test+0x202>
shr    $0x5,%r12d
neg    %r12d
jmp    1323 <test+0x213>
sub    %r8d,%eax
lea    0x1f(%rax),%r12d
test   %eax,%eax
cmovns %eax,%r12d
sar    $0x5,%r12d
shl    $0x5,%r12d
add    %r8d,%r12d
add    %r12d,%r14d
add    $0xffffffff,%r15d
jmp    134b <test+0x23b>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x10,%ebx
cmp    %ebp,%ebx
jg     11ad <test+0x9d>
cmp    $0x20,%r12d
jg     1340 <test+0x230>
mov    $0x1,%edi
call   1030 <hash@plt>
lea    (%r15,%rbx,1),%edi
call   1030 <hash@plt>
mov    %r14d,%edi
call   1030 <hash@plt>
jmp    1340 <test+0x230>

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

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