double findMedianSortedArrays(int *nums1, int nums1Size, int *nums2,
                              int nums2Size) {
  int *high1, *high2;
  int count1 = 0, count2 = 0;
  high1 = nums1 + nums1Size - 1;
  high2 = nums2 + nums2Size - 1;
  while ((nums1Size > count1) && (nums2Size > count2)) {
    if (*nums1 > *nums2) {
      count2++;
      if (nums2 != high2) {
        nums2++;
      }
    } else {
      count1++;
      if (nums1 != high1) {
        nums1++;
      }
    }
    if ((nums1Size > count1) && (nums2Size > count2)) {
      if (*high1 > *high2) {
        count1++;
        if (high1 != nums1) {
          high1--;
        }
      } else {
        count2++;
        if (high2 != nums2) {
          high2--;
        }
      }
    } else if (nums1Size > count1) {
      count1++;
      if (high1 != nums1) {
        high1--;
      }
    } else if (nums2Size > count2) {
      count2++;
      if (high2 != nums2) {
        high2--;
      }
    }
  }
  if (nums1Size - count1 == 1) {
    return *nums1;
  } else if (nums1Size - count1 > 0 && ((nums1Size - count1) & 1) == 0) {
    return (*(nums1 + (nums1Size - count1) / 2 - 1) +
            *(nums1 + (nums1Size - count1) / 2)) /
           2.0;
  } else if (nums1Size - count1 > 0) {
    return *(nums1 + (nums1Size - count1) / 2);
  }
  if (nums2Size - count2 == 1) {
    return *nums2;
  } else if (nums2Size - count2 > 0 && ((nums2Size - count2) & 1) == 0) {
    return (*(nums2 + (nums2Size - count2) / 2 - 1) +
            *(nums2 + (nums2Size - count2) / 2)) /
           2.0;
  } else if (nums2Size - count2 > 0) {
    return *(nums2 + (nums2Size - count2) / 2);
  }
  return (*nums1 + *nums2) / 2.0;
}


x86 assembly (clang, -O0):
<findMedianSortedArrays>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
movl   $0x0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0x3c(%rbp),%ecx
mov    %al,-0x41(%rbp)
jle    116b <findMedianSortedArrays+0x6b>
mov    -0x24(%rbp),%eax
cmp    -0x40(%rbp),%eax
setg   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    117b <findMedianSortedArrays+0x7b>
jmp    12d3 <findMedianSortedArrays+0x1d3>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jle    11b5 <findMedianSortedArrays+0xb5>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x38(%rbp),%rax
je     11b0 <findMedianSortedArrays+0xb0>
mov    -0x20(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x20(%rbp)
jmp    11dd <findMedianSortedArrays+0xdd>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     11d8 <findMedianSortedArrays+0xd8>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    11dd <findMedianSortedArrays+0xdd>
mov    -0x14(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jle    125c <findMedianSortedArrays+0x15c>
mov    -0x24(%rbp),%eax
cmp    -0x40(%rbp),%eax
jle    125c <findMedianSortedArrays+0x15c>
mov    -0x30(%rbp),%rax
mov    (%rax),%eax
mov    -0x38(%rbp),%rcx
cmp    (%rcx),%eax
jle    122f <findMedianSortedArrays+0x12f>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     122a <findMedianSortedArrays+0x12a>
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x30(%rbp)
jmp    1257 <findMedianSortedArrays+0x157>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     1252 <findMedianSortedArrays+0x152>
mov    -0x38(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
jmp    1257 <findMedianSortedArrays+0x157>
jmp    12ce <findMedianSortedArrays+0x1ce>
mov    -0x14(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jle    1290 <findMedianSortedArrays+0x190>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     128b <findMedianSortedArrays+0x18b>
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x30(%rbp)
jmp    12c9 <findMedianSortedArrays+0x1c9>
mov    -0x24(%rbp),%eax
cmp    -0x40(%rbp),%eax
jle    12c4 <findMedianSortedArrays+0x1c4>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     12bf <findMedianSortedArrays+0x1bf>
mov    -0x38(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
jmp    12c4 <findMedianSortedArrays+0x1c4>
jmp    12c9 <findMedianSortedArrays+0x1c9>
jmp    12ce <findMedianSortedArrays+0x1ce>
jmp    114e <findMedianSortedArrays+0x4e>
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
cmp    $0x1,%eax
jne    12f4 <findMedianSortedArrays+0x1f4>
mov    -0x10(%rbp),%rax
cvtsi2sdl (%rax),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14c0 <findMedianSortedArrays+0x3c0>
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
cmp    $0x0,%eax
jle    1372 <findMedianSortedArrays+0x272>
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    1372 <findMedianSortedArrays+0x272>
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x50(%rbp),%rax
movslq %ecx,%rcx
mov    -0x4(%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rcx
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x48(%rbp),%eax
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm0
movsd  0xc9c(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14c0 <findMedianSortedArrays+0x3c0>
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
cmp    $0x0,%eax
jle    13af <findMedianSortedArrays+0x2af>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x14(%rbp),%eax
sub    -0x3c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x58(%rbp),%rax
movslq %ecx,%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14c0 <findMedianSortedArrays+0x3c0>
jmp    13b4 <findMedianSortedArrays+0x2b4>
jmp    13b9 <findMedianSortedArrays+0x2b9>
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
cmp    $0x1,%eax
jne    13da <findMedianSortedArrays+0x2da>
mov    -0x20(%rbp),%rax
cvtsi2sdl (%rax),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14c0 <findMedianSortedArrays+0x3c0>
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
cmp    $0x0,%eax
jle    1458 <findMedianSortedArrays+0x358>
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    1458 <findMedianSortedArrays+0x358>
mov    -0x20(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x68(%rbp),%rax
movslq %ecx,%rcx
mov    -0x4(%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x5c(%rbp),%eax
movslq %edx,%rdx
add    (%rcx,%rdx,4),%eax
cvtsi2sd %eax,%xmm0
movsd  0xbb6(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14c0 <findMedianSortedArrays+0x3c0>
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
cmp    $0x0,%eax
jle    1495 <findMedianSortedArrays+0x395>
mov    -0x20(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x24(%rbp),%eax
sub    -0x40(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x70(%rbp),%rax
movslq %ecx,%rcx
cvtsi2sdl (%rax,%rcx,4),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    14c0 <findMedianSortedArrays+0x3c0>
jmp    149a <findMedianSortedArrays+0x39a>
jmp    149f <findMedianSortedArrays+0x39f>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
add    (%rcx),%eax
cvtsi2sd %eax,%xmm0
movsd  0xb49(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<findMedianSortedArrays>:
xor    %r11d,%r11d
test   %esi,%esi
jle    11c8 <findMedianSortedArrays+0xc8>
test   %ecx,%ecx
jle    11c8 <findMedianSortedArrays+0xc8>
mov    %ecx,%eax
lea    (%rdx,%rax,4),%r9
add    $0xfffffffffffffffc,%r9
mov    %esi,%eax
lea    (%rdi,%rax,4),%r10
add    $0xfffffffffffffffc,%r10
xor    %r8d,%r8d
xor    %r11d,%r11d
nopl   (%rax)
mov    (%rdi),%eax
cmp    (%rdx),%eax
jle    1150 <findMedianSortedArrays+0x50>
add    $0x1,%r8d
xor    %eax,%eax
cmp    %r9,%rdx
setne  %al
lea    (%rdx,%rax,4),%rdx
cmp    %esi,%r11d
jl     1165 <findMedianSortedArrays+0x65>
jmp    1180 <findMedianSortedArrays+0x80>
nopl   (%rax)
add    $0x1,%r11d
xor    %eax,%eax
cmp    %r10,%rdi
setne  %al
lea    (%rdi,%rax,4),%rdi
cmp    %esi,%r11d
jge    1180 <findMedianSortedArrays+0x80>
cmp    %ecx,%r8d
jge    1180 <findMedianSortedArrays+0x80>
mov    (%r10),%eax
cmp    (%r9),%eax
jle    11a5 <findMedianSortedArrays+0xa5>
jmp    1185 <findMedianSortedArrays+0x85>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %esi,%r11d
jge    11a0 <findMedianSortedArrays+0xa0>
add    $0x1,%r11d
xor    %eax,%eax
cmp    %rdi,%r10
setne  %al
shl    $0x2,%rax
sub    %rax,%r10
jmp    11b8 <findMedianSortedArrays+0xb8>
nopw   0x0(%rax,%rax,1)
cmp    %ecx,%r8d
jge    11b8 <findMedianSortedArrays+0xb8>
add    $0x1,%r8d
xor    %eax,%eax
cmp    %rdx,%r9
setne  %al
shl    $0x2,%rax
sub    %rax,%r9
cmp    %esi,%r11d
jge    11cb <findMedianSortedArrays+0xcb>
cmp    %ecx,%r8d
jl     1130 <findMedianSortedArrays+0x30>
jmp    11cb <findMedianSortedArrays+0xcb>
xor    %r8d,%r8d
sub    %r11d,%esi
cmp    $0x1,%esi
jne    11d8 <findMedianSortedArrays+0xd8>
cvtsi2sdl (%rdi),%xmm0
ret
jl     11f7 <findMedianSortedArrays+0xf7>
mov    %esi,%eax
and    $0x1,%eax
jne    11f7 <findMedianSortedArrays+0xf7>
shr    %esi
mov    (%rdi,%rsi,4),%eax
add    -0x4(%rdi,%rsi,4),%eax
cvtsi2sd %eax,%xmm0
mulsd  0xe0a(%rip),%xmm0
ret
test   %esi,%esi
jle    1203 <findMedianSortedArrays+0x103>
shr    %esi
cvtsi2sdl (%rdi,%rsi,4),%xmm0
ret
sub    %r8d,%ecx
cmp    $0x1,%ecx
jne    1210 <findMedianSortedArrays+0x110>
cvtsi2sdl (%rdx),%xmm0
ret
jl     1224 <findMedianSortedArrays+0x124>
mov    %ecx,%eax
and    $0x1,%eax
jne    1224 <findMedianSortedArrays+0x124>
shr    %ecx
mov    (%rdx,%rcx,4),%eax
add    -0x4(%rdx,%rcx,4),%eax
jmp    11ea <findMedianSortedArrays+0xea>
test   %ecx,%ecx
jle    1230 <findMedianSortedArrays+0x130>
shr    %ecx
cvtsi2sdl (%rdx,%rcx,4),%xmm0
ret
mov    (%rdx),%eax
add    (%rdi),%eax
jmp    11ea <findMedianSortedArrays+0xea>

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

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