#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 min(int, int);
double findTwo(int *A, int m, int *B, int n, int k) {
  int mo, no;
  if (m < n)
    return findTwo(B, n, A, m, k);
  if (n == 0)
    return (A[k - 1] + A[k]) / 2.0;
  if (k == 1) {
    if ((A[0] < B[0]) && m > 1)
      return (A[0] + min(B[0], A[1])) / 2.0;
    else if (m == 1 || n == 1)
      return (B[0] + A[0]) / 2.0;
    else
      return (B[0] + min(A[0], B[1])) / 2.0;
  }
  no = (k / 2 < n) ? (k / 2) : n;
  mo = k - no;
  if (A[mo - 1] == B[no - 1]) {
    if (n > no)
      return (A[mo - 1] + min(A[mo], B[no])) / 2.0;
    else
      return (A[mo - 1] + A[mo]) / 2.0;
  } else if (A[mo - 1] > B[no - 1])
    return findTwo(A, m, B + no, n - no, k - no);
  else
    return findTwo(A + mo, m - mo, B, n, k - mo);
}


x86 assembly (clang, -O0):
<findTwo>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1167 <findTwo+0x47>
mov    -0x20(%rbp),%rdi
mov    -0x24(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    -0x28(%rbp),%r8d
call   1040 <findTwo@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
cmpl   $0x0,-0x24(%rbp)
jne    11a6 <findTwo+0x86>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x28(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm0
movsd  0xe68(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
cmpl   $0x1,-0x28(%rbp)
jne    127e <findTwo+0x15e>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jge    1208 <findTwo+0xe8>
cmpl   $0x1,-0x14(%rbp)
jle    1208 <findTwo+0xe8>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x34(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%edi
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%esi
call   1030 <min@plt>
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
add    %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  0xe06(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
cmpl   $0x1,-0x14(%rbp)
je     121c <findTwo+0xfc>
cmpl   $0x1,-0x24(%rbp)
jne    1242 <findTwo+0x122>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
add    (%rcx),%eax
cvtsi2sd %eax,%xmm0
movsd  0xdcc(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%edi
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%esi
call   1030 <min@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
add    %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  0xd90(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
mov    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
cmp    -0x24(%rbp),%eax
jge    12a5 <findTwo+0x185>
mov    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x3c(%rbp)
jmp    12ab <findTwo+0x18b>
mov    -0x24(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1370 <findTwo+0x250>
mov    -0x24(%rbp),%eax
cmp    -0x30(%rbp),%eax
jle    133b <findTwo+0x21b>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x20(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <min@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
add    %ecx,%eax
cvtsi2sd %eax,%xmm0
movsd  0xcd3(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
add    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm0
movsd  0xc9e(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x30(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    13c9 <findTwo+0x2a9>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x20(%rbp),%rdx
movslq -0x30(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x24(%rbp),%ecx
sub    -0x30(%rbp),%ecx
mov    -0x28(%rbp),%r8d
sub    -0x30(%rbp),%r8d
call   1040 <findTwo@plt>
movsd  %xmm0,-0x8(%rbp)
jmp    13f7 <findTwo+0x2d7>
mov    -0x10(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x14(%rbp),%esi
sub    -0x2c(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x24(%rbp),%ecx
mov    -0x28(%rbp),%r8d
sub    -0x2c(%rbp),%r8d
call   1040 <findTwo@plt>
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findTwo>:
push   %rbp
push   %r14
push   %rbx
mov    %rdx,%rax
mov    %ecx,%ebp
nopl   0x0(%rax)
mov    %ebp,%ecx
mov    %rax,%rdx
mov    %esi,%ebp
mov    %rdi,%rax
mov    %rdx,%rdi
mov    %ecx,%esi
cmp    %ecx,%ebp
jl     1120 <findTwo+0x10>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
test   %ecx,%ecx
je     119a <findTwo+0x8a>
cmp    $0x1,%r8d
je     11a6 <findTwo+0x96>
mov    %r8d,%esi
shr    $0x1f,%esi
add    %r8d,%esi
sar    %esi
cmp    %ecx,%esi
mov    %ecx,%ebx
cmovl  %esi,%ebx
sub    %ebx,%r8d
movslq %r8d,%r9
mov    -0x4(%rax,%r9,4),%r14d
movslq %ebx,%rdi
cmp    -0x4(%rdx,%rdi,4),%r14d
je     11ba <findTwo+0xaa>
jle    1189 <findTwo+0x79>
lea    (%rdx,%rdi,4),%rdx
sub    %edi,%ecx
cmp    %ecx,%ebp
jge    1140 <findTwo+0x30>
mov    %rdx,%rdi
mov    %ecx,%esi
mov    %rax,%rdx
mov    %ebp,%ecx
jmp    1114 <findTwo+0x4>
lea    (%rax,%r9,4),%rdi
sub    %r9d,%ebp
mov    %ebp,%esi
mov    %ebx,%r8d
jmp    1114 <findTwo+0x4>
movslq %r8d,%rcx
mov    (%rax,%rcx,4),%ebx
add    -0x4(%rax,%rcx,4),%ebx
jmp    11d1 <findTwo+0xc1>
mov    (%rax),%r14d
mov    (%rdx),%ebx
cmp    $0x2,%ebp
jl     11e2 <findTwo+0xd2>
cmp    %ebx,%r14d
jge    11e2 <findTwo+0xd2>
mov    0x4(%rax),%esi
jmp    11c5 <findTwo+0xb5>
mov    (%rax,%r9,4),%ebx
cmp    %ecx,%esi
jge    11ce <findTwo+0xbe>
mov    (%rdx,%rdi,4),%esi
mov    %ebx,%edi
call   1030 <min@plt>
mov    %eax,%ebx
add    %r14d,%ebx
cvtsi2sd %ebx,%xmm0
mulsd  0xe23(%rip),%xmm0
pop    %rbx
pop    %r14
pop    %rbp
ret
cmp    $0x1,%ebp
je     11ce <findTwo+0xbe>
cmp    $0x1,%ecx
je     11ce <findTwo+0xbe>
mov    0x4(%rdx),%esi
mov    %r14d,%edi
call   1030 <min@plt>
add    %eax,%ebx
jmp    11d1 <findTwo+0xc1>

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

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