#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
int get_zcorn_sign(int nx, int ny, int nz, const int *actnum,
                   const double *zcorn, int *error) {
  int sign;
  int i, j, k;
  int c1, c2;
  double z1, z2;
  for (sign = 1; sign > -2; sign = sign - 2) {
    *error = 0;
    for (j = 0; j < 2 * ny; ++j) {
      for (i = 0; i < 2 * nx; ++i) {
        for (k = 0; k < 2 * nz - 1; ++k) {
          z1 = sign * zcorn[i + 2 * nx * (j + 2 * ny * (k))];
          z2 = sign * zcorn[i + 2 * nx * (j + 2 * ny * (k + 1))];
          c1 = i / 2 + nx * (j / 2 + ny * (k / 2));
          c2 = i / 2 + nx * (j / 2 + ny * ((k + 1) / 2));
          if (((actnum == NULL) || (actnum[c1] && actnum[c2])) && (z2 < z1)) {
            fprintf(stderr, "\nZCORN should be strictly "
                            "nondecreasing along pillars!\n");
            *error = 1;
            goto end;
          }
        }
      }
    }
  end:
    if (!*error) {
      break;
    }
  }
  if (*error) {
    fprintf(stderr, "Attempt to reverse sign in ZCORN failed.\n"
                    "Grid definition may be broken\n");
  }
  return sign;
}


x86 assembly (clang, -O0):
<get_zcorn_sign>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x1,-0x2c(%rbp)
cmpl   $0xfffffffe,-0x2c(%rbp)
jle    1352 <get_zcorn_sign+0x242>
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x8(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jge    1328 <get_zcorn_sign+0x218>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x4(%rbp),%ecx
shl    $0x1,%ecx
cmp    %ecx,%eax
jge    1315 <get_zcorn_sign+0x205>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0xc(%rbp),%ecx
shl    $0x1,%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1302 <get_zcorn_sign+0x1f2>
cvtsi2sdl -0x2c(%rbp),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    -0x4(%rbp),%edx
shl    $0x1,%edx
mov    -0x34(%rbp),%esi
mov    -0x8(%rbp),%edi
shl    $0x1,%edi
imul   -0x38(%rbp),%edi
add    %edi,%esi
imul   %esi,%edx
add    %edx,%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x48(%rbp)
cvtsi2sdl -0x2c(%rbp),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
mov    -0x4(%rbp),%edx
shl    $0x1,%edx
mov    -0x34(%rbp),%esi
mov    -0x8(%rbp),%edi
shl    $0x1,%edi
mov    -0x38(%rbp),%r8d
add    $0x1,%r8d
imul   %r8d,%edi
add    %edi,%esi
imul   %esi,%edx
add    %edx,%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
mov    -0x30(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x5c(%rbp)
mov    -0x4(%rbp),%ecx
mov    -0x34(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,-0x60(%rbp)
mov    -0x8(%rbp),%esi
mov    -0x38(%rbp),%eax
mov    $0x2,%edi
cltd
idiv   %edi
mov    -0x60(%rbp),%edx
mov    %eax,%edi
mov    -0x5c(%rbp),%eax
imul   %edi,%esi
add    %esi,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x54(%rbp)
mov    -0x4(%rbp),%ecx
mov    -0x34(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,-0x58(%rbp)
mov    -0x8(%rbp),%esi
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%edi
cltd
idiv   %edi
mov    -0x58(%rbp),%edx
mov    %eax,%edi
mov    -0x54(%rbp),%eax
imul   %edi,%esi
add    %esi,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x40(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     12b7 <get_zcorn_sign+0x1a7>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12ef <get_zcorn_sign+0x1df>
mov    -0x18(%rbp),%rax
movslq -0x40(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12ef <get_zcorn_sign+0x1df>
movsd  -0x50(%rbp),%xmm1
movsd  -0x48(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    12ef <get_zcorn_sign+0x1df>
mov    0x2d0e(%rip),%rax
mov    (%rax),%edi
lea    0xd25(%rip),%rsi
call   1030 <fprintf@plt>
mov    -0x28(%rbp),%rax
movl   $0x1,(%rax)
jmp    132d <get_zcorn_sign+0x21d>
jmp    12f4 <get_zcorn_sign+0x1e4>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    117f <get_zcorn_sign+0x6f>
jmp    1307 <get_zcorn_sign+0x1f7>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1167 <get_zcorn_sign+0x57>
jmp    131a <get_zcorn_sign+0x20a>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    114f <get_zcorn_sign+0x3f>
jmp    132d <get_zcorn_sign+0x21d>
mov    -0x28(%rbp),%rax
cmpl   $0x0,(%rax)
jne    133f <get_zcorn_sign+0x22f>
jmp    1352 <get_zcorn_sign+0x242>
jmp    1344 <get_zcorn_sign+0x234>
mov    -0x2c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x2c(%rbp)
jmp    1134 <get_zcorn_sign+0x24>
mov    -0x28(%rbp),%rax
cmpl   $0x0,(%rax)
je     1374 <get_zcorn_sign+0x264>
mov    0x2c7a(%rip),%rax
mov    (%rax),%edi
lea    0xcc9(%rip),%rsi
call   1030 <fprintf@plt>
mov    -0x2c(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_zcorn_sign>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %r8,(%rsp)
mov    %rcx,%rbx
mov    %esi,%r13d
mov    %edi,%r12d
lea    0x0(%r13,%r13,1),%r8d
lea    (%r12,%r12,1),%ebp
mov    %rdx,0x28(%rsp)
lea    (%rdx,%rdx,1),%ecx
add    $0xffffffff,%ecx
cmp    $0x2,%ecx
mov    $0x1,%eax
cmovl  %eax,%ecx
cmp    $0x2,%ebp
mov    $0x1,%esi
cmovge %ebp,%esi
cmp    $0x2,%r8d
mov    $0x1,%edi
cmovge %r8d,%edi
mov    %r9,0x18(%rsp)
movl   $0x0,(%r9)
test   %r13d,%r13d
jle    13c5 <get_zcorn_sign+0x2b5>
movslq %r8d,%r8
movslq %ebp,%rax
mov    %edi,%edx
mov    %rdx,0x8(%rsp)
mov    %esi,%edx
mov    %rdx,0x20(%rsp)
mov    %ecx,%r14d
imul   %rax,%r8
shl    $0x3,%rax
mov    %rax,0x10(%rsp)
mov    %r8,0x30(%rsp)
lea    0x0(,%r8,8),%r15
xor    %eax,%eax
xor    %r9d,%r9d
test   %r12d,%r12d
jle    1260 <get_zcorn_sign+0x150>
mov    %r9d,%r11d
shr    %r11d
mov    %rax,%rdi
xor    %r10d,%r10d
jmp    11e3 <get_zcorn_sign+0xd3>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r10
add    $0x8,%rdi
cmp    0x20(%rsp),%r10
je     1260 <get_zcorn_sign+0x150>
cmpl   $0x0,0x28(%rsp)
jle    11d0 <get_zcorn_sign+0xc0>
mov    %r10d,%edx
shr    %edx
lea    (%r15,%rdi,1),%rcx
mov    (%rsp),%rbp
xor    %r8d,%r8d
jmp    120e <get_zcorn_sign+0xfe>
nopl   0x0(%rax)
ucomisd %xmm1,%xmm0
ja     127e <get_zcorn_sign+0x16e>
add    %r15,%rbp
cmp    %r8,%r14
je     11d0 <get_zcorn_sign+0xc0>
mov    %r8,%rsi
add    $0x1,%r8
movsd  0x0(%rbp,%rdi,1),%xmm0
movsd  0x0(%rbp,%rcx,1),%xmm1
test   %rbx,%rbx
je     1200 <get_zcorn_sign+0xf0>
shr    %esi
imul   %r13d,%esi
add    %r11d,%esi
imul   %r12d,%esi
add    %edx,%esi
movslq %esi,%rsi
cmpl   $0x0,(%rbx,%rsi,4)
je     1206 <get_zcorn_sign+0xf6>
mov    %r8d,%esi
shr    %esi
imul   %r13d,%esi
add    %r11d,%esi
imul   %r12d,%esi
add    %edx,%esi
movslq %esi,%rsi
cmpl   $0x0,(%rbx,%rsi,4)
jne    1200 <get_zcorn_sign+0xf0>
jmp    1206 <get_zcorn_sign+0xf6>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r9
add    0x10(%rsp),%rax
cmp    0x8(%rsp),%r9
jne    11ad <get_zcorn_sign+0x9d>
mov    $0x1,%eax
jmp    13c5 <get_zcorn_sign+0x2b5>
mov    0x2d5b(%rip),%rax
mov    (%rax),%edi
lea    0xd72(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x18(%rsp),%rax
movl   $0x0,(%rax)
mov    $0xffffffff,%eax
test   %r13d,%r13d
jle    13c5 <get_zcorn_sign+0x2b5>
mov    (%rsp),%rax
mov    0x30(%rsp),%rcx
lea    (%rax,%rcx,8),%r8
xor    %r9d,%r9d
test   %r12d,%r12d
jle    1370 <get_zcorn_sign+0x260>
mov    %r9d,%r11d
shr    %r11d
mov    (%rsp),%rdi
mov    %r8,%rcx
xor    %r10d,%r10d
jmp    12f3 <get_zcorn_sign+0x1e3>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r10
add    $0x8,%rcx
add    $0x8,%rdi
cmp    0x20(%rsp),%r10
je     1370 <get_zcorn_sign+0x260>
cmpl   $0x0,0x28(%rsp)
jle    12e0 <get_zcorn_sign+0x1d0>
mov    %r10d,%edx
shr    %edx
xor    %ebp,%ebp
xor    %esi,%esi
jmp    131e <get_zcorn_sign+0x20e>
cs nopw 0x0(%rax,%rax,1)
nop
ucomisd %xmm0,%xmm1
ja     1392 <get_zcorn_sign+0x282>
add    %r15,%rbp
cmp    %rsi,%r14
je     12e0 <get_zcorn_sign+0x1d0>
mov    %rsi,%rax
add    $0x1,%rsi
movsd  (%rdi,%rbp,1),%xmm0
movsd  (%rcx,%rbp,1),%xmm1
test   %rbx,%rbx
je     1310 <get_zcorn_sign+0x200>
shr    %eax
imul   %r13d,%eax
add    %r11d,%eax
imul   %r12d,%eax
add    %edx,%eax
cltq
cmpl   $0x0,(%rbx,%rax,4)
je     1316 <get_zcorn_sign+0x206>
mov    %esi,%eax
shr    %eax
imul   %r13d,%eax
add    %r11d,%eax
imul   %r12d,%eax
add    %edx,%eax
cltq
cmpl   $0x0,(%rbx,%rax,4)
jne    1310 <get_zcorn_sign+0x200>
jmp    1316 <get_zcorn_sign+0x206>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%r9
mov    0x10(%rsp),%rax
add    %rax,%r8
add    %rax,(%rsp)
cmp    0x8(%rsp),%r9
jne    12bc <get_zcorn_sign+0x1ac>
mov    $0xffffffff,%eax
jmp    13c5 <get_zcorn_sign+0x2b5>
mov    0x2c47(%rip),%rbx
mov    (%rbx),%edi
lea    0xc5e(%rip),%rsi
call   1030 <fprintf@plt>
mov    0x18(%rsp),%rax
movl   $0x1,(%rax)
mov    (%rbx),%edi
lea    0xc7d(%rip),%rsi
call   1030 <fprintf@plt>
mov    $0xfffffffd,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [56 x i8] c"\0AZCORN should be strictly nondecreasing along pillars!\0A\00"
@.str.1 = [72 x i8] c"Attempt to reverse sign in ZCORN failed.\0AGrid definition may be broken\0A\00"
define i32 @get_zcorn_sign(i32 %0, i32 %1, i32 %2, i32* %3, double* %4, i32* %5) {
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32*
%11 = alloca double*
%12 = alloca i32*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca double
%20 = alloca double
store i32 %0, i32* %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32* %3, i32** %10
store double* %4, double** %11
store i32* %5, i32** %12
store i32 1, i32* %13
br label %21
21: ; preds = %150, %6
%22 = load i32, i32* %13
%23 = icmp sgt i32 %22, -2
br i1 %23, label %24, label %153
24: ; preds = %21
%25 = load i32*, i32** %12
store i32 0, i32* %25
store i32 0, i32* %15
br label %26
26: ; preds = %140, %24
%27 = load i32, i32* %15
%28 = load i32, i32* %8
%29 = mul nsw i32 2, %28
%30 = icmp slt i32 %27, %29
br i1 %30, label %31, label %143
31: ; preds = %26
store i32 0, i32* %14
br label %32
32: ; preds = %136, %31
%33 = load i32, i32* %14
%34 = load i32, i32* %7
%35 = mul nsw i32 2, %34
%36 = icmp slt i32 %33, %35
br i1 %36, label %37, label %139
37: ; preds = %32
store i32 0, i32* %16
br label %38
38: ; preds = %132, %37
%39 = load i32, i32* %16
%40 = load i32, i32* %9
%41 = mul nsw i32 2, %40
%42 = sub nsw i32 %41, 1
%43 = icmp slt i32 %39, %42
br i1 %43, label %44, label %135
44: ; preds = %38
%45 = load i32, i32* %13
%46 = sitofp i32 %45 to double
%47 = load double*, double** %11
%48 = load i32, i32* %14
%49 = load i32, i32* %7
%50 = mul nsw i32 2, %49
%51 = load i32, i32* %15
%52 = load i32, i32* %8
%53 = mul nsw i32 2, %52
%54 = load i32, i32* %16
%55 = mul nsw i32 %53, %54
%56 = add nsw i32 %51, %55
%57 = mul nsw i32 %50, %56
%58 = add nsw i32 %48, %57
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds double, double* %47, i64 %59
%61 = load double, double* %60
%62 = fmul double %46, %61
store double %62, double* %19
%63 = load i32, i32* %13
%64 = sitofp i32 %63 to double
%65 = load double*, double** %11
%66 = load i32, i32* %14
%67 = load i32, i32* %7
%68 = mul nsw i32 2, %67
%69 = load i32, i32* %15
%70 = load i32, i32* %8
%71 = mul nsw i32 2, %70
%72 = load i32, i32* %16
%73 = add nsw i32 %72, 1
%74 = mul nsw i32 %71, %73
%75 = add nsw i32 %69, %74
%76 = mul nsw i32 %68, %75
%77 = add nsw i32 %66, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds double, double* %65, i64 %78
%80 = load double, double* %79
%81 = fmul double %64, %80
store double %81, double* %20
%82 = load i32, i32* %14
%83 = sdiv i32 %82, 2
%84 = load i32, i32* %7
%85 = load i32, i32* %15
%86 = sdiv i32 %85, 2
%87 = load i32, i32* %8
%88 = load i32, i32* %16
%89 = sdiv i32 %88, 2
%90 = mul nsw i32 %87, %89
%91 = add nsw i32 %86, %90
%92 = mul nsw i32 %84, %91
%93 = add nsw i32 %83, %92
store i32 %93, i32* %17
%94 = load i32, i32* %14
%95 = sdiv i32 %94, 2
%96 = load i32, i32* %7
%97 = load i32, i32* %15
%98 = sdiv i32 %97, 2
%99 = load i32, i32* %8
%100 = load i32, i32* %16
%101 = add nsw i32 %100, 1
%102 = sdiv i32 %101, 2
%103 = mul nsw i32 %99, %102
%104 = add nsw i32 %98, %103
%105 = mul nsw i32 %96, %104
%106 = add nsw i32 %95, %105
store i32 %106, i32* %18
%107 = load i32*, i32** %10
%108 = icmp eq i32* %107, null
br i1 %108, label %123, label %109
109: ; preds = %44
%110 = load i32*, i32** %10
%111 = load i32, i32* %17
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i32, i32* %110, i64 %112
%114 = load i32, i32* %113
%115 = icmp ne i32 %114, 0
br i1 %115, label %116, label %131
116: ; preds = %109
%117 = load i32*, i32** %10
%118 = load i32, i32* %18
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
%121 = load i32, i32* %120
%122 = icmp ne i32 %121, 0
br i1 %122, label %123, label %131
123: ; preds = %116, %44
%124 = load double, double* %20
%125 = load double, double* %19
%126 = fcmp olt double %124, %125
br i1 %126, label %127, label %131
127: ; preds = %123
%128 = load i32, i32* @stderr
%129 = call i32 @fprintf(i32 %128, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str, i64 0, i64 0))
%130 = load i32*, i32** %12
store i32 1, i32* %130
br label %144
131: ; preds = %123, %116, %109
br label %132
132: ; preds = %131
%133 = load i32, i32* %16
%134 = add nsw i32 %133, 1
store i32 %134, i32* %16
br label %38
135: ; preds = %38
br label %136
136: ; preds = %135
%137 = load i32, i32* %14
%138 = add nsw i32 %137, 1
store i32 %138, i32* %14
br label %32
139: ; preds = %32
br label %140
140: ; preds = %139
%141 = load i32, i32* %15
%142 = add nsw i32 %141, 1
store i32 %142, i32* %15
br label %26
143: ; preds = %26
br label %144
144: ; preds = %143, %127
%145 = load i32*, i32** %12
%146 = load i32, i32* %145
%147 = icmp ne i32 %146, 0
br i1 %147, label %149, label %148
148: ; preds = %144
br label %153
149: ; preds = %144
br label %150
150: ; preds = %149
%151 = load i32, i32* %13
%152 = sub nsw i32 %151, 2
store i32 %152, i32* %13
br label %21
153: ; preds = %148, %21
%154 = load i32*, i32** %12
%155 = load i32, i32* %154
%156 = icmp ne i32 %155, 0
br i1 %156, label %157, label %160
157: ; preds = %153
%158 = load i32, i32* @stderr
%159 = call i32 @fprintf(i32 %158, i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.1, i64 0, i64 0))
br label %160
160: ; preds = %157, %153
%161 = load i32, i32* %13
ret i32 %161
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [56 x i8] c"\0AZCORN should be strictly nondecreasing along pillars!\0A\00"
@.str.1 = [72 x i8] c"Attempt to reverse sign in ZCORN failed.\0AGrid definition may be broken\0A\00"
define i32 @get_zcorn_sign(i32 %0, i32 %1, i32 %2, i32* %3, double* nocapture %4, i32* nocapture %5) {
%7 = shl i32 %1, 1
%8 = icmp sgt i32 %1, 0
%9 = shl i32 %0, 1
%10 = icmp sgt i32 %0, 0
%11 = shl nsw i32 %2, 1
%12 = add i32 %11, -1
%13 = icmp sgt i32 %2, 0
%14 = icmp eq i32* %3, null
%15 = sext i32 %7 to i64
%16 = sext i32 %9 to i64
%17 = call i32 @llvm.smax.i32(i32 %12, i32 1)
%18 = call i32 @llvm.smax.i32(i32 %9, i32 1)
%19 = call i32 @llvm.smax.i32(i32 %7, i32 1)
store i32 0, i32* %5
br i1 %8, label %20, label %154
20: ; preds = %6
%21 = zext i32 %19 to i64
%22 = zext i32 %18 to i64
%23 = zext i32 %17 to i64
br label %24
24: ; preds = %20, %80
%25 = phi i64 [ 0, %20 ], [ %81, %80 ]
br i1 %10, label %26, label %80
26: ; preds = %24
%27 = trunc i64 %25 to i32
%28 = lshr i32 %27, 1
br label %29
29: ; preds = %26, %77
%30 = phi i64 [ 0, %26 ], [ %78, %77 ]
br i1 %13, label %31, label %77
31: ; preds = %29
%32 = trunc i64 %30 to i32
%33 = lshr i32 %32, 1
br label %34
34: ; preds = %31, %75
%35 = phi i64 [ 0, %31 ], [ %42, %75 ]
%36 = mul nsw i64 %35, %15
%37 = add nsw i64 %36, %25
%38 = mul nsw i64 %37, %16
%39 = add nsw i64 %38, %30
%40 = getelementptr inbounds double, double* %4, i64 %39
%41 = load double, double* %40
%42 = add nuw nsw i64 %35, 1
%43 = mul nsw i64 %42, %15
%44 = add nsw i64 %43, %25
%45 = mul nsw i64 %44, %16
%46 = add nsw i64 %45, %30
%47 = getelementptr inbounds double, double* %4, i64 %46
%48 = load double, double* %47
%49 = trunc i64 %42 to i32
%50 = lshr i32 %49, 1
%51 = mul nsw i32 %50, %1
%52 = add nsw i32 %51, %28
%53 = mul nsw i32 %52, %0
%54 = add nsw i32 %53, %33
br i1 %14, label %73, label %55
55: ; preds = %34
%56 = trunc i64 %35 to i32
%57 = lshr i32 %56, 1
%58 = mul nsw i32 %57, %1
%59 = add nsw i32 %58, %28
%60 = mul nsw i32 %59, %0
%61 = add nsw i32 %60, %33
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i32, i32* %3, i64 %62
%64 = load i32, i32* %63
%65 = icmp eq i32 %64, 0
br i1 %65, label %75, label %66
66: ; preds = %55
%67 = sext i32 %54 to i64
%68 = getelementptr inbounds i32, i32* %3, i64 %67
%69 = load i32, i32* %68
%70 = icmp ne i32 %69, 0
%71 = fcmp olt double %48, %41
%72 = select i1 %70, i1 %71, i1 false
br i1 %72, label %83, label %75
73: ; preds = %34
%74 = fcmp olt double %48, %41
br i1 %74, label %83, label %75
75: ; preds = %55, %66, %73
%76 = icmp eq i64 %42, %23
br i1 %76, label %77, label %34
77: ; preds = %75, %29
%78 = add nuw nsw i64 %30, 1
%79 = icmp eq i64 %78, %22
br i1 %79, label %80, label %29
80: ; preds = %77, %24
%81 = add nuw nsw i64 %25, 1
%82 = icmp eq i64 %81, %21
br i1 %82, label %154, label %24
83: ; preds = %66, %73
%84 = load i32, i32* @stderr
%85 = tail call i32 @fprintf(i32 %84, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %5
br i1 %8, label %86, label %154
86: ; preds = %83
%87 = zext i32 %19 to i64
%88 = zext i32 %18 to i64
%89 = zext i32 %17 to i64
br label %90
90: ; preds = %146, %86
%91 = phi i64 [ 0, %86 ], [ %147, %146 ]
br i1 %10, label %92, label %146
92: ; preds = %90
%93 = trunc i64 %91 to i32
%94 = lshr i32 %93, 1
br label %95
95: ; preds = %143, %92
%96 = phi i64 [ 0, %92 ], [ %144, %143 ]
br i1 %13, label %97, label %143
97: ; preds = %95
%98 = trunc i64 %96 to i32
%99 = lshr i32 %98, 1
br label %100
100: ; preds = %141, %97
%101 = phi i64 [ 0, %97 ], [ %108, %141 ]
%102 = mul nsw i64 %101, %15
%103 = add nsw i64 %102, %91
%104 = mul nsw i64 %103, %16
%105 = add nsw i64 %104, %96
%106 = getelementptr inbounds double, double* %4, i64 %105
%107 = load double, double* %106
%108 = add nuw nsw i64 %101, 1
%109 = mul nsw i64 %108, %15
%110 = add nsw i64 %109, %91
%111 = mul nsw i64 %110, %16
%112 = add nsw i64 %111, %96
%113 = getelementptr inbounds double, double* %4, i64 %112
%114 = load double, double* %113
%115 = trunc i64 %108 to i32
%116 = lshr i32 %115, 1
%117 = mul nsw i32 %116, %1
%118 = add nsw i32 %117, %94
%119 = mul nsw i32 %118, %0
%120 = add nsw i32 %119, %99
br i1 %14, label %139, label %121
121: ; preds = %100
%122 = trunc i64 %101 to i32
%123 = lshr i32 %122, 1
%124 = mul nsw i32 %123, %1
%125 = add nsw i32 %124, %94
%126 = mul nsw i32 %125, %0
%127 = add nsw i32 %126, %99
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i32, i32* %3, i64 %128
%130 = load i32, i32* %129
%131 = icmp eq i32 %130, 0
br i1 %131, label %141, label %132
132: ; preds = %121
%133 = sext i32 %120 to i64
%134 = getelementptr inbounds i32, i32* %3, i64 %133
%135 = load i32, i32* %134
%136 = icmp ne i32 %135, 0
%137 = fcmp ogt double %114, %107
%138 = select i1 %136, i1 %137, i1 false
br i1 %138, label %149, label %141
139: ; preds = %100
%140 = fcmp ogt double %114, %107
br i1 %140, label %149, label %141
141: ; preds = %139, %132, %121
%142 = icmp eq i64 %108, %89
br i1 %142, label %143, label %100
143: ; preds = %141, %95
%144 = add nuw nsw i64 %96, 1
%145 = icmp eq i64 %144, %88
br i1 %145, label %146, label %95
146: ; preds = %143, %90
%147 = add nuw nsw i64 %91, 1
%148 = icmp eq i64 %147, %87
br i1 %148, label %154, label %90
149: ; preds = %139, %132
%150 = load i32, i32* @stderr
%151 = tail call i32 @fprintf(i32 %150, i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %5
%152 = load i32, i32* @stderr
%153 = tail call i32 @fprintf(i32 %152, i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.1, i64 0, i64 0))
br label %154
154: ; preds = %80, %146, %6, %83, %149
%155 = phi i32 [ -3, %149 ], [ 1, %6 ], [ -1, %83 ], [ -1, %146 ], [ 1, %80 ]
ret i32 %155
}