#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 */
typedef size_t int32_t;

/* Variables and functions */
scalar_t__ ab_ok(double, int);
int krelated(int32_t *gt_types, int32_t *ibs, int32_t *n, int32_t *hets,
             int32_t n_samples, double *ab) {
  int32_t j, k;
  int n_used = 0;
  int32_t gtj, gtk;
  int is_het = 0;
  int ab_missing = 1;
  for (j = 0; j < n_samples; j++) {
    if (ab[j] >= 0) {
      ab_missing = 0;
      break;
    }
  }
  hets[n_samples - 1] +=
      (gt_types[n_samples - 1] == 1 && ab_ok(ab[n_samples - 1], ab_missing));
  for (j = 0; j < n_samples - 1; j++) {
    if (gt_types[j] == 3) {
      continue;
    }
    gtj = gt_types[j];
    is_het = (gtj == 1);
    if (is_het && !ab_ok(ab[j], ab_missing)) {
      continue;
    }
    hets[j] += is_het;
    n_used++;
    for (k = j + 1; k < n_samples; k++) {
      if (gt_types[k] == 3) {
        continue;
      }
      gtk = gt_types[k];
      n[j * n_samples + k]++;
      if (is_het) {
        ibs[k * n_samples + j] += (gtk == 1 && ab_ok(ab[k], ab_missing));
      } else {
        ibs[j * n_samples + k] += ((gtk != gtj) && ((gtk + gtj == 2)));
      }
      n[k * n_samples + j] += (gtk == gtj);
    }
  }
  return n_used;
}


x86 assembly (clang, -O0):
<krelated>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x5c(%rbp)
movl   $0x1,-0x60(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1197 <krelated+0x87>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1181 <krelated+0x71>
movl   $0x0,-0x60(%rbp)
jmp    1197 <krelated+0x87>
jmp    1186 <krelated+0x76>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    114d <krelated+0x3d>
mov    -0x8(%rbp),%rcx
mov    -0x28(%rbp),%rdx
sub    $0x1,%rdx
xor    %eax,%eax
cmpq   $0x1,(%rcx,%rdx,8)
mov    %al,-0x61(%rbp)
jne    11d6 <krelated+0xc6>
mov    -0x30(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    $0x1,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x60(%rbp),%edi
call   1030 <ab_ok@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    $0x1,%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x28(%rbp),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
jae    13f2 <krelated+0x2e2>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
cmpq   $0x3,(%rax,%rcx,8)
jne    122a <krelated+0x11a>
jmp    13e1 <krelated+0x2d1>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x50(%rbp)
cmpq   $0x1,-0x50(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x5c(%rbp)
cmpl   $0x0,-0x5c(%rbp)
je     1278 <krelated+0x168>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x60(%rbp),%edi
call   1030 <ab_ok@plt>
cmp    $0x0,%rax
jne    1278 <krelated+0x168>
jmp    13e1 <krelated+0x2d1>
movslq -0x5c(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    13dc <krelated+0x2cc>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
cmpq   $0x3,(%rax,%rcx,8)
jne    12c7 <krelated+0x1b7>
jmp    13cb <krelated+0x2bb>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x58(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
add    $0x1,%rdx
mov    %rdx,(%rax,%rcx,8)
cmpl   $0x0,-0x5c(%rbp)
je     1356 <krelated+0x246>
xor    %eax,%eax
cmpq   $0x1,-0x58(%rbp)
mov    %al,-0x62(%rbp)
jne    132d <krelated+0x21d>
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x60(%rbp),%edi
call   1030 <ab_ok@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x62(%rbp)
mov    -0x62(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    -0x10(%rbp),%rax
mov    -0x40(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    -0x38(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
jmp    139f <krelated+0x28f>
mov    -0x58(%rbp),%rcx
xor    %eax,%eax
cmp    -0x50(%rbp),%rcx
mov    %al,-0x63(%rbp)
je     137b <krelated+0x26b>
mov    -0x58(%rbp),%rax
add    -0x50(%rbp),%rax
cmp    $0x2,%rax
sete   %al
mov    %al,-0x63(%rbp)
mov    -0x63(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    -0x40(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x58(%rbp),%rax
cmp    -0x50(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%eax
movslq %eax,%rdx
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    -0x38(%rbp),%rcx
add    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    12a1 <krelated+0x191>
jmp    13e1 <krelated+0x2d1>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    11fd <krelated+0xed>
mov    -0x44(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<krelated>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x88,%rsp
mov    %r9,%r15
mov    %rcx,%r13
mov    %rdi,%r14
movl   $0x1,0xc(%rsp)
test   %r8,%r8
je     115f <krelated+0x4f>
xor    %eax,%eax
xorpd  %xmm0,%xmm0
nopl   (%rax)
movsd  (%r15,%rax,8),%xmm1
ucomisd %xmm0,%xmm1
jae    1157 <krelated+0x47>
add    $0x1,%rax
cmp    %rax,%r8
jne    1140 <krelated+0x30>
jmp    115f <krelated+0x4f>
movl   $0x0,0xc(%rsp)
lea    -0x1(%r8),%rbx
xor    %eax,%eax
mov    %rax,0x10(%rsp)
cmpq   $0x1,-0x8(%r14,%r8,8)
mov    %r8,0x28(%rsp)
mov    %rdx,0x20(%rsp)
jne    11a6 <krelated+0x96>
movsd  -0x8(%r15,%r8,8),%xmm0
mov    0xc(%rsp),%edi
mov    %rsi,%rbp
call   1030 <ab_ok@plt>
mov    %rbp,%rsi
mov    0x20(%rsp),%rdx
mov    0x28(%rsp),%r8
xor    %ecx,%ecx
test   %rax,%rax
setne  %cl
jmp    11a8 <krelated+0x98>
xor    %ecx,%ecx
add    %rcx,-0x8(%r13,%r8,8)
test   %rbx,%rbx
je     13da <krelated+0x2ca>
lea    0x1(%r8),%rax
mov    %rax,0x80(%rsp)
lea    0x8(%r14),%rdi
lea    0x8(,%r8,8),%rax
mov    %rax,0x78(%rsp)
lea    0x8(%rdx),%r9
lea    0x8(%r15),%r10
xor    %r11d,%r11d
mov    $0x1,%ebp
xor    %ecx,%ecx
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    %rbx,0x30(%rsp)
mov    %r15,0x60(%rsp)
mov    %r13,0x38(%rsp)
mov    %r14,0x18(%rsp)
jmp    1255 <krelated+0x145>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x60(%rsp),%r15
mov    0x38(%rsp),%r13
mov    0x18(%rsp),%r14
mov    0x30(%rsp),%rbx
mov    0x58(%rsp),%rcx
add    $0x1,%rcx
add    0x80(%rsp),%r11
add    $0x1,%rbp
add    $0x8,%rdi
mov    0x78(%rsp),%rax
add    %rax,%rsi
add    %rax,%r9
add    $0x8,%r10
cmp    %rbx,%rcx
je     13da <krelated+0x2ca>
mov    (%r14,%rcx,8),%r12
cmp    $0x3,%r12
je     1229 <krelated+0x119>
cmp    $0x1,%r12
mov    %rdi,0x50(%rsp)
mov    %r9,0x48(%rsp)
mov    %r11,0x40(%rsp)
jne    12cc <krelated+0x1bc>
movsd  (%r15,%rcx,8),%xmm0
mov    0xc(%rsp),%edi
mov    %rsi,%rbx
mov    %rcx,%r13
mov    %r15,%r14
mov    %r10,%r15
call   1030 <ab_ok@plt>
mov    0x40(%rsp),%r11
mov    %r15,%r10
mov    %r14,%r15
mov    0x18(%rsp),%r14
mov    %r13,%rcx
mov    0x38(%rsp),%r13
mov    0x48(%rsp),%r9
mov    0x50(%rsp),%rdi
mov    %rbx,%rsi
mov    0x30(%rsp),%rbx
mov    0x20(%rsp),%rdx
mov    0x28(%rsp),%r8
test   %rax,%rax
je     1229 <krelated+0x119>
xor    %eax,%eax
cmp    $0x1,%r12
sete   %al
add    %rax,0x0(%r13,%rcx,8)
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x10(%rsp)
lea    0x1(%rcx),%r14
cmp    %r8,%r14
jae    13d0 <krelated+0x2c0>
mov    %rcx,0x58(%rsp)
xor    %r13d,%r13d
mov    %r8,%rbx
mov    %rsi,0x70(%rsp)
mov    %r10,0x68(%rsp)
jmp    135a <krelated+0x24a>
nopl   0x0(%rax,%rax,1)
cmp    %r12,%r15
setne  %al
lea    (%r15,%r12,1),%rcx
cmp    $0x2,%rcx
sete   %cl
and    %al,%cl
movzbl %cl,%eax
add    %rax,0x8(%rsi,%r13,8)
lea    (%r11,%rbx,1),%rax
xor    %ecx,%ecx
cmp    %r12,%r15
sete   %cl
add    %rcx,(%rdx,%rax,8)
add    $0x1,%r14
add    %r8,%rbx
lea    0x1(,%r13,1),%rax
add    %rbp,%rax
add    $0x1,%r13
cmp    %r8,%rax
jae    1210 <krelated+0x100>
mov    (%rdi,%r13,8),%r15
cmp    $0x3,%r15
je     133b <krelated+0x22b>
addq   $0x1,(%r9,%r13,8)
cmp    $0x1,%r12
jne    1310 <krelated+0x200>
cmp    $0x1,%r15
jne    13af <krelated+0x29f>
movsd  (%r10,%r13,8),%xmm0
mov    0xc(%rsp),%edi
call   1030 <ab_ok@plt>
mov    0x40(%rsp),%r11
mov    0x68(%rsp),%r10
mov    0x48(%rsp),%r9
mov    0x50(%rsp),%rdi
mov    0x70(%rsp),%rsi
mov    0x20(%rsp),%rdx
mov    0x28(%rsp),%r8
test   %rax,%rax
setne  %al
jmp    13b1 <krelated+0x2a1>
xor    %eax,%eax
movzbl %al,%ecx
mov    %r14,%rax
imul   %r8,%rax
add    0x58(%rsp),%rax
add    %rcx,(%rsi,%rbx,8)
jmp    132f <krelated+0x21f>
nopl   0x0(%rax)
mov    0x18(%rsp),%r14
jmp    1229 <krelated+0x119>
mov    0x10(%rsp),%rax
add    $0x88,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @krelated(i64* %0, i64* %1, i64* %2, i64* %3, i64 %4, double* %5) {
%7 = alloca i64*
%8 = alloca i64*
%9 = alloca i64*
%10 = alloca i64*
%11 = alloca i64
%12 = alloca double*
%13 = alloca i64
%14 = alloca i64
%15 = alloca i32
%16 = alloca i64
%17 = alloca i64
%18 = alloca i32
%19 = alloca i32
store i64* %0, i64** %7
store i64* %1, i64** %8
store i64* %2, i64** %9
store i64* %3, i64** %10
store i64 %4, i64* %11
store double* %5, double** %12
store i32 0, i32* %15
store i32 0, i32* %18
store i32 1, i32* %19
store i64 0, i64* %13
br label %20
20: ; preds = %32, %6
%21 = load i64, i64* %13
%22 = load i64, i64* %11
%23 = icmp ult i64 %21, %22
br i1 %23, label %24, label %35
24: ; preds = %20
%25 = load double*, double** %12
%26 = load i64, i64* %13
%27 = getelementptr inbounds double, double* %25, i64 %26
%28 = load double, double* %27
%29 = fcmp oge double %28, 0.000000e+00
br i1 %29, label %30, label %31
30: ; preds = %24
store i32 0, i32* %19
br label %35
31: ; preds = %24
br label %32
32: ; preds = %31
%33 = load i64, i64* %13
%34 = add i64 %33, 1
store i64 %34, i64* %13
br label %20
35: ; preds = %30, %20
%36 = load i64*, i64** %7
%37 = load i64, i64* %11
%38 = sub i64 %37, 1
%39 = getelementptr inbounds i64, i64* %36, i64 %38
%40 = load i64, i64* %39
%41 = icmp eq i64 %40, 1
br i1 %41, label %42, label %51
42: ; preds = %35
%43 = load double*, double** %12
%44 = load i64, i64* %11
%45 = sub i64 %44, 1
%46 = getelementptr inbounds double, double* %43, i64 %45
%47 = load double, double* %46
%48 = load i32, i32* %19
%49 = call i64 @ab_ok(double %47, i32 %48)
%50 = icmp ne i64 %49, 0
br label %51
51: ; preds = %42, %35
%52 = phi i1 [ false, %35 ], [ %50, %42 ]
%53 = zext i1 %52 to i32
%54 = sext i32 %53 to i64
%55 = load i64*, i64** %10
%56 = load i64, i64* %11
%57 = sub i64 %56, 1
%58 = getelementptr inbounds i64, i64* %55, i64 %57
%59 = load i64, i64* %58
%60 = add i64 %59, %54
store i64 %60, i64* %58
store i64 0, i64* %13
br label %61
61: ; preds = %196, %51
%62 = load i64, i64* %13
%63 = load i64, i64* %11
%64 = sub i64 %63, 1
%65 = icmp ult i64 %62, %64
br i1 %65, label %66, label %199
66: ; preds = %61
%67 = load i64*, i64** %7
%68 = load i64, i64* %13
%69 = getelementptr inbounds i64, i64* %67, i64 %68
%70 = load i64, i64* %69
%71 = icmp eq i64 %70, 3
br i1 %71, label %72, label %73
72: ; preds = %66
br label %196
73: ; preds = %66
%74 = load i64*, i64** %7
%75 = load i64, i64* %13
%76 = getelementptr inbounds i64, i64* %74, i64 %75
%77 = load i64, i64* %76
store i64 %77, i64* %16
%78 = load i64, i64* %16
%79 = icmp eq i64 %78, 1
%80 = zext i1 %79 to i32
store i32 %80, i32* %18
%81 = load i32, i32* %18
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %92
83: ; preds = %73
%84 = load double*, double** %12
%85 = load i64, i64* %13
%86 = getelementptr inbounds double, double* %84, i64 %85
%87 = load double, double* %86
%88 = load i32, i32* %19
%89 = call i64 @ab_ok(double %87, i32 %88)
%90 = icmp ne i64 %89, 0
br i1 %90, label %92, label %91
91: ; preds = %83
br label %196
92: ; preds = %83, %73
%93 = load i32, i32* %18
%94 = sext i32 %93 to i64
%95 = load i64*, i64** %10
%96 = load i64, i64* %13
%97 = getelementptr inbounds i64, i64* %95, i64 %96
%98 = load i64, i64* %97
%99 = add i64 %98, %94
store i64 %99, i64* %97
%100 = load i32, i32* %15
%101 = add nsw i32 %100, 1
store i32 %101, i32* %15
%102 = load i64, i64* %13
%103 = add i64 %102, 1
store i64 %103, i64* %14
br label %104
104: ; preds = %192, %92
%105 = load i64, i64* %14
%106 = load i64, i64* %11
%107 = icmp ult i64 %105, %106
br i1 %107, label %108, label %195
108: ; preds = %104
%109 = load i64*, i64** %7
%110 = load i64, i64* %14
%111 = getelementptr inbounds i64, i64* %109, i64 %110
%112 = load i64, i64* %111
%113 = icmp eq i64 %112, 3
br i1 %113, label %114, label %115
114: ; preds = %108
br label %192
115: ; preds = %108
%116 = load i64*, i64** %7
%117 = load i64, i64* %14
%118 = getelementptr inbounds i64, i64* %116, i64 %117
%119 = load i64, i64* %118
store i64 %119, i64* %17
%120 = load i64*, i64** %9
%121 = load i64, i64* %13
%122 = load i64, i64* %11
%123 = mul i64 %121, %122
%124 = load i64, i64* %14
%125 = add i64 %123, %124
%126 = getelementptr inbounds i64, i64* %120, i64 %125
%127 = load i64, i64* %126
%128 = add i64 %127, 1
store i64 %128, i64* %126
%129 = load i32, i32* %18
%130 = icmp ne i32 %129, 0
br i1 %130, label %131, label %155
131: ; preds = %115
%132 = load i64, i64* %17
%133 = icmp eq i64 %132, 1
br i1 %133, label %134, label %142
134: ; preds = %131
%135 = load double*, double** %12
%136 = load i64, i64* %14
%137 = getelementptr inbounds double, double* %135, i64 %136
%138 = load double, double* %137
%139 = load i32, i32* %19
%140 = call i64 @ab_ok(double %138, i32 %139)
%141 = icmp ne i64 %140, 0
br label %142
142: ; preds = %134, %131
%143 = phi i1 [ false, %131 ], [ %141, %134 ]
%144 = zext i1 %143 to i32
%145 = sext i32 %144 to i64
%146 = load i64*, i64** %8
%147 = load i64, i64* %14
%148 = load i64, i64* %11
%149 = mul i64 %147, %148
%150 = load i64, i64* %13
%151 = add i64 %149, %150
%152 = getelementptr inbounds i64, i64* %146, i64 %151
%153 = load i64, i64* %152
%154 = add i64 %153, %145
store i64 %154, i64* %152
br label %177
155: ; preds = %115
%156 = load i64, i64* %17
%157 = load i64, i64* %16
%158 = icmp ne i64 %156, %157
br i1 %158, label %159, label %164
159: ; preds = %155
%160 = load i64, i64* %17
%161 = load i64, i64* %16
%162 = add i64 %160, %161
%163 = icmp eq i64 %162, 2
br label %164
164: ; preds = %159, %155
%165 = phi i1 [ false, %155 ], [ %163, %159 ]
%166 = zext i1 %165 to i32
%167 = sext i32 %166 to i64
%168 = load i64*, i64** %8
%169 = load i64, i64* %13
%170 = load i64, i64* %11
%171 = mul i64 %169, %170
%172 = load i64, i64* %14
%173 = add i64 %171, %172
%174 = getelementptr inbounds i64, i64* %168, i64 %173
%175 = load i64, i64* %174
%176 = add i64 %175, %167
store i64 %176, i64* %174
br label %177
177: ; preds = %164, %142
%178 = load i64, i64* %17
%179 = load i64, i64* %16
%180 = icmp eq i64 %178, %179
%181 = zext i1 %180 to i32
%182 = sext i32 %181 to i64
%183 = load i64*, i64** %9
%184 = load i64, i64* %14
%185 = load i64, i64* %11
%186 = mul i64 %184, %185
%187 = load i64, i64* %13
%188 = add i64 %186, %187
%189 = getelementptr inbounds i64, i64* %183, i64 %188
%190 = load i64, i64* %189
%191 = add i64 %190, %182
store i64 %191, i64* %189
br label %192
192: ; preds = %177, %114
%193 = load i64, i64* %14
%194 = add i64 %193, 1
store i64 %194, i64* %14
br label %104
195: ; preds = %104
br label %196
196: ; preds = %195, %91, %72
%197 = load i64, i64* %13
%198 = add i64 %197, 1
store i64 %198, i64* %13
br label %61
199: ; preds = %61
%200 = load i32, i32* %15
ret i32 %200
}

LLVM IR (-O2):
define i32 @krelated(i64* nocapture %0, i64* nocapture %1, i64* nocapture %2, i64* nocapture %3, i64 %4, double* nocapture %5) {
%7 = icmp eq i64 %4, 0
br i1 %7, label %16, label %10
8: ; preds = %10
%9 = icmp eq i64 %15, %4
br i1 %9, label %16, label %10
10: ; preds = %6, %8
%11 = phi i64 [ %15, %8 ], [ 0, %6 ]
%12 = getelementptr inbounds double, double* %5, i64 %11
%13 = load double, double* %12
%14 = fcmp ult double %13, 0.000000e+00
%15 = add nuw i64 %11, 1
br i1 %14, label %8, label %16
16: ; preds = %8, %10, %6
%17 = phi i32 [ 1, %6 ], [ 0, %10 ], [ 1, %8 ]
%18 = add i64 %4, -1
%19 = getelementptr inbounds i64, i64* %0, i64 %18
%20 = load i64, i64* %19
%21 = icmp eq i64 %20, 1
br i1 %21, label %22, label %28
22: ; preds = %16
%23 = getelementptr inbounds double, double* %5, i64 %18
%24 = load double, double* %23
%25 = tail call i64 @ab_ok(double %24, i32 %17)
%26 = icmp ne i64 %25, 0
%27 = zext i1 %26 to i64
br label %28
28: ; preds = %22, %16
%29 = phi i64 [ 0, %16 ], [ %27, %22 ]
%30 = getelementptr inbounds i64, i64* %3, i64 %18
%31 = load i64, i64* %30
%32 = add i64 %31, %29
store i64 %32, i64* %30
%33 = icmp eq i64 %18, 0
br i1 %33, label %107, label %34
34: ; preds = %28, %103
%35 = phi i64 [ %105, %103 ], [ 0, %28 ]
%36 = phi i32 [ %104, %103 ], [ 0, %28 ]
%37 = getelementptr inbounds i64, i64* %0, i64 %35
%38 = load i64, i64* %37
%39 = icmp eq i64 %38, 3
br i1 %39, label %103, label %40
40: ; preds = %34
%41 = icmp eq i64 %38, 1
br i1 %41, label %42, label %47
42: ; preds = %40
%43 = getelementptr inbounds double, double* %5, i64 %35
%44 = load double, double* %43
%45 = tail call i64 @ab_ok(double %44, i32 %17)
%46 = icmp eq i64 %45, 0
br i1 %46, label %103, label %47
47: ; preds = %42, %40
%48 = zext i1 %41 to i64
%49 = getelementptr inbounds i64, i64* %3, i64 %35
%50 = load i64, i64* %49
%51 = add i64 %50, %48
store i64 %51, i64* %49
%52 = add nsw i32 %36, 1
%53 = add nuw i64 %35, 1
%54 = icmp ult i64 %53, %4
br i1 %54, label %55, label %103
55: ; preds = %47
%56 = mul i64 %35, %4
br label %57
57: ; preds = %55, %100
%58 = phi i64 [ %53, %55 ], [ %101, %100 ]
%59 = getelementptr inbounds i64, i64* %0, i64 %58
%60 = load i64, i64* %59
%61 = icmp eq i64 %60, 3
br i1 %61, label %100, label %62
62: ; preds = %57
%63 = add i64 %58, %56
%64 = getelementptr inbounds i64, i64* %2, i64 %63
%65 = load i64, i64* %64
%66 = add i64 %65, 1
store i64 %66, i64* %64
br i1 %41, label %67, label %82
67: ; preds = %62
%68 = icmp eq i64 %60, 1
br i1 %68, label %69, label %74
69: ; preds = %67
%70 = getelementptr inbounds double, double* %5, i64 %58
%71 = load double, double* %70
%72 = tail call i64 @ab_ok(double %71, i32 %17)
%73 = icmp ne i64 %72, 0
br label %74
74: ; preds = %69, %67
%75 = phi i1 [ false, %67 ], [ %73, %69 ]
%76 = zext i1 %75 to i64
%77 = mul i64 %58, %4
%78 = add i64 %77, %35
%79 = getelementptr inbounds i64, i64* %1, i64 %78
%80 = load i64, i64* %79
%81 = add i64 %80, %76
store i64 %81, i64* %79
br label %93
82: ; preds = %62
%83 = icmp ne i64 %60, %38
%84 = add i64 %60, %38
%85 = icmp eq i64 %84, 2
%86 = and i1 %83, %85
%87 = zext i1 %86 to i64
%88 = getelementptr inbounds i64, i64* %1, i64 %63
%89 = load i64, i64* %88
%90 = add i64 %89, %87
store i64 %90, i64* %88
%91 = mul i64 %58, %4
%92 = add i64 %91, %35
br label %93
93: ; preds = %82, %74
%94 = phi i64 [ %92, %82 ], [ %78, %74 ]
%95 = icmp eq i64 %60, %38
%96 = zext i1 %95 to i64
%97 = getelementptr inbounds i64, i64* %2, i64 %94
%98 = load i64, i64* %97
%99 = add i64 %98, %96
store i64 %99, i64* %97
br label %100
100: ; preds = %57, %93
%101 = add nuw i64 %58, 1
%102 = icmp ult i64 %101, %4
br i1 %102, label %57, label %103
103: ; preds = %100, %47, %42, %34
%104 = phi i32 [ %36, %34 ], [ %36, %42 ], [ %52, %47 ], [ %52, %100 ]
%105 = add nuw i64 %35, 1
%106 = icmp eq i64 %105, %18
br i1 %106, label %107, label %34
107: ; preds = %103, %28
%108 = phi i32 [ 0, %28 ], [ %104, %103 ]
ret i32 %108
}