#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 scalar_t__ int32_t;
typedef scalar_t__ char32_t;

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ memset(scalar_t__ *, int /*<<< orphan*/, scalar_t__);
double fc_jaro0(int32_t *matched1, const char32_t *seq1, int32_t len1,
                const char32_t *seq2, int32_t len2) {
  assert((len1 >= 0 && len1 <= 4096) && (len2 >= 0 && len2 <= 4096));
  memset(matched1, 0, (len1 + len2) * sizeof *matched1);
  int32_t window = (((len1) > (len2) ? (len1) : (len2)) >> 1) - 1;
  if (window < 0)
    window = 0;
  int32_t matches = 0;
  int32_t *matched2 = &matched1[len1];
  for (int32_t i = 0; i < len1; i++) {
    int32_t bot = i - window;
    if (bot < 0)
      bot = 0;
    int32_t top = i + window + 1;
    if (top > len2)
      top = len2;
    for (int32_t j = bot; j < top; j++) {
      if (!matched2[j] && seq1[i] == seq2[j]) {
        matched1[i] = matched2[j] = 1;
        matches++;
        break;
      }
    }
  }
  if (!matches)
    return 0.;
  int32_t transpos = 0, k = 0;
  for (int32_t i = 0; i < len1; i++) {
    if (matched1[i]) {
      int32_t j;
      for (j = k; j < len2; j++) {
        if (matched2[j]) {
          k = j + 1;
          break;
        }
      }
      if (seq1[i] != seq2[j])
        transpos++;
    }
  }
  transpos >>= 1;
  return 1. - (1. / 3. *
               (matches / (double)len1 + matches / (double)len2 +
                (matches - transpos) / (double)matches));
}


x86 assembly (clang, -O0):
<fc_jaro0>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x20(%rbp)
mov    %al,-0x89(%rbp)
jl     1198 <fc_jaro0+0x78>
xor    %eax,%eax
cmpq   $0x1000,-0x20(%rbp)
mov    %al,-0x89(%rbp)
jg     1198 <fc_jaro0+0x78>
xor    %eax,%eax
cmpq   $0x0,-0x30(%rbp)
mov    %al,-0x8a(%rbp)
jl     118c <fc_jaro0+0x6c>
cmpq   $0x1000,-0x30(%rbp)
setle  %al
mov    %al,-0x8a(%rbp)
mov    -0x8a(%rbp),%al
mov    %al,-0x89(%rbp)
mov    -0x89(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x10(%rbp),%rdi
mov    -0x20(%rbp),%rdx
add    -0x30(%rbp),%rdx
shl    $0x3,%rdx
xor    %esi,%esi
call   1030 <memset@plt>
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
jle    11dd <fc_jaro0+0xbd>
mov    -0x20(%rbp),%rax
mov    %rax,-0x98(%rbp)
jmp    11e8 <fc_jaro0+0xc8>
mov    -0x30(%rbp),%rax
mov    %rax,-0x98(%rbp)
mov    -0x98(%rbp),%rax
sar    $0x1,%rax
sub    $0x1,%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jge    120e <fc_jaro0+0xee>
movq   $0x0,-0x38(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1328 <fc_jaro0+0x208>
mov    -0x50(%rbp),%rax
sub    -0x38(%rbp),%rax
mov    %rax,-0x58(%rbp)
cmpq   $0x0,-0x58(%rbp)
jge    125e <fc_jaro0+0x13e>
movq   $0x0,-0x58(%rbp)
mov    -0x50(%rbp),%rax
add    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    -0x30(%rbp),%rax
jle    1284 <fc_jaro0+0x164>
mov    -0x30(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x60(%rbp),%rax
jge    1312 <fc_jaro0+0x1f2>
mov    -0x48(%rbp),%rax
mov    -0x68(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
jne    12fc <fc_jaro0+0x1dc>
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%rcx
mov    -0x68(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jne    12fc <fc_jaro0+0x1dc>
mov    -0x48(%rbp),%rax
mov    -0x68(%rbp),%rcx
movq   $0x1,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
movq   $0x1,(%rax,%rcx,8)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1312 <fc_jaro0+0x1f2>
jmp    1301 <fc_jaro0+0x1e1>
mov    -0x68(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x68(%rbp)
jmp    128c <fc_jaro0+0x16c>
jmp    1317 <fc_jaro0+0x1f7>
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1231 <fc_jaro0+0x111>
cmpq   $0x0,-0x40(%rbp)
jne    1340 <fc_jaro0+0x220>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    148b <fc_jaro0+0x36b>
movq   $0x0,-0x70(%rbp)
movq   $0x0,-0x78(%rbp)
movq   $0x0,-0x80(%rbp)
mov    -0x80(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1423 <fc_jaro0+0x303>
mov    -0x10(%rbp),%rax
mov    -0x80(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     140d <fc_jaro0+0x2ed>
mov    -0x78(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    -0x88(%rbp),%rax
cmp    -0x30(%rbp),%rax
jge    13db <fc_jaro0+0x2bb>
mov    -0x48(%rbp),%rax
mov    -0x88(%rbp),%rcx
cmpq   $0x0,(%rax,%rcx,8)
je     13bf <fc_jaro0+0x29f>
mov    -0x88(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x78(%rbp)
jmp    13db <fc_jaro0+0x2bb>
jmp    13c4 <fc_jaro0+0x2a4>
mov    -0x88(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x88(%rbp)
jmp    1384 <fc_jaro0+0x264>
mov    -0x18(%rbp),%rax
mov    -0x80(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%rcx
mov    -0x88(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
je     1408 <fc_jaro0+0x2e8>
mov    -0x70(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x70(%rbp)
jmp    140d <fc_jaro0+0x2ed>
jmp    1412 <fc_jaro0+0x2f2>
mov    -0x80(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x80(%rbp)
jmp    1358 <fc_jaro0+0x238>
mov    -0x70(%rbp),%rax
sar    $0x1,%rax
mov    %rax,-0x70(%rbp)
cvtsi2sdq -0x40(%rbp),%xmm0
cvtsi2sdq -0x20(%rbp),%xmm1
divsd  %xmm1,%xmm0
cvtsi2sdq -0x40(%rbp),%xmm1
cvtsi2sdq -0x30(%rbp),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
mov    -0x40(%rbp),%rax
sub    -0x70(%rbp),%rax
cvtsi2sd %rax,%xmm1
cvtsi2sdq -0x40(%rbp),%xmm2
divsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  0xb8a(%rip),%xmm1
mulsd  %xmm1,%xmm0
movsd  0xb86(%rip),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fc_jaro0>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8,%r15
mov    %rcx,%r12
mov    %rdx,%r14
mov    %rsi,%rbx
mov    %rdi,%r13
cmp    $0x1001,%rdx
setb   %al
cmp    $0x1001,%r8
setb   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    (%r15,%r14,1),%rdx
shl    $0x3,%rdx
mov    %r13,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
cmp    %r15,%r14
mov    %r15,%r11
cmovg  %r14,%r11
sar    %r11
test   %r11,%r11
mov    $0x1,%r10d
cmovle %r10,%r11
test   %r14,%r14
jle    1265 <fc_jaro0+0x145>
lea    0x0(,%r14,8),%rcx
add    %r13,%rcx
sub    %r11,%r10
xor    %r9d,%r9d
xor    %eax,%eax
xor    %r8d,%r8d
jmp    11b9 <fc_jaro0+0x99>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rax
cmp    %r14,%rax
je     1201 <fc_jaro0+0xe1>
mov    %r10,%rsi
add    %rax,%rsi
cmovs  %r9,%rsi
lea    (%rax,%r11,1),%rdi
cmp    %r15,%rdi
cmovg  %r15,%rdi
jmp    11d4 <fc_jaro0+0xb4>
add    $0x1,%rsi
cmp    %rdi,%rsi
jge    11b0 <fc_jaro0+0x90>
cmpq   $0x0,(%rcx,%rsi,8)
jne    11d0 <fc_jaro0+0xb0>
mov    (%rbx,%rax,8),%rdx
cmp    (%r12,%rsi,8),%rdx
jne    11d0 <fc_jaro0+0xb0>
movq   $0x1,(%rcx,%rsi,8)
movq   $0x1,0x0(%r13,%rax,8)
add    $0x1,%r8
jmp    11b0 <fc_jaro0+0x90>
test   %r8,%r8
je     1265 <fc_jaro0+0x145>
test   %r14,%r14
jle    126b <fc_jaro0+0x14b>
xor    %esi,%esi
xor    %r10d,%r10d
xor    %r9d,%r9d
jmp    1233 <fc_jaro0+0x113>
lea    0x1(%rax),%r10
mov    (%rbx,%rsi,8),%rdx
xor    %edi,%edi
cmp    (%r12,%rax,8),%rdx
setne  %dil
add    %rdi,%r9
add    $0x1,%rsi
cmp    %r14,%rsi
je     126e <fc_jaro0+0x14e>
cmpq   $0x0,0x0(%r13,%rsi,8)
je     122a <fc_jaro0+0x10a>
mov    %r10,%rax
cmp    %r15,%r10
jge    1219 <fc_jaro0+0xf9>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmpq   $0x0,(%rcx,%rax,8)
jne    1215 <fc_jaro0+0xf5>
add    $0x1,%rax
cmp    %rax,%r15
jne    1250 <fc_jaro0+0x130>
mov    %r15,%rax
jmp    1219 <fc_jaro0+0xf9>
xorpd  %xmm0,%xmm0
jmp    12b0 <fc_jaro0+0x190>
xor    %r9d,%r9d
cvtsi2sd %r8,%xmm1
cvtsi2sd %r14,%xmm2
sar    %r9
sub    %r9,%r8
cvtsi2sd %r8,%xmm0
movapd %xmm1,%xmm3
divsd  %xmm1,%xmm0
cvtsi2sd %r15,%xmm4
divsd  %xmm2,%xmm1
divsd  %xmm4,%xmm3
addsd  %xmm1,%xmm3
addsd  %xmm3,%xmm0
mulsd  0xd58(%rip),%xmm0
addsd  0xd58(%rip),%xmm0
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

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

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