#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*/ printf(char *, int, int);
double findMedianSortedArrays(int *nums1, int nums1Size, int *nums2,
                              int nums2Size) {
  int lo, hi;
  if (nums1Size >= nums2Size) {
    int *p = nums1;
    nums1 = nums2;
    nums2 = p;
    int t = nums1Size;
    nums1Size = nums2Size;
    nums2Size = t;
  }
  lo = 0;
  hi = nums1Size - 1;
  int aidx = -1;
  while (lo <= hi) {
    printf("lo: %d, hi: %d\n", lo, hi);
    int i = (lo + hi) / 2;
    int j = (nums1Size + nums2Size + 1) / 2 - i;
    printf("i: %d, j: %d\n", i, j);
    int f1, f2;
    f1 = i - 1 < 0 || j >= nums2Size || nums1[i - 1] <= nums2[j];
    f2 = j - 1 < 0 || i >= nums1Size || nums2[j - 1] <= nums1[i];
    printf("f1: %d, f2: %d\n", f1, f2);
    if (f1 && f2) {
      aidx = i;
      break;
    }
    if (!f1) {
      hi = i - 1;
    } else if (!f2) {
      lo = i + 1;
    }
  }
  if (aidx == -1)
    aidx = lo;
  int i = aidx;
  int j = (1 + nums1Size + nums2Size) / 2 - i;
  int maxL, minR;
  if (i < 1)
    maxL = nums2[j - 1];
  else if (j < 1)
    maxL = nums1[i - 1];
  else
    maxL = ((nums1[i - 1]) > (nums2[j - 1]) ? (nums1[i - 1]) : (nums2[j - 1]));
  if (i >= nums1Size)
    minR = nums2[j];
  else if (j >= nums2Size)
    minR = nums1[i];
  else
    minR = ((nums1[i]) < (nums2[j]) ? (nums1[i]) : (nums2[j]));
  printf("fi: %d, fj: %d\n", i, j);
  printf("maxL: %d, minR: %d\n", maxL, minR);
  if ((nums1Size + nums2Size) & 1) {
    return maxL;
  } else {
    return (maxL + minR) / 2.0;
  }
}


x86 assembly (clang, -O0):
<findMedianSortedArrays>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jl     115c <findMedianSortedArrays+0x4c>
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movl   $0xffffffff,-0x40(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     12d3 <findMedianSortedArrays+0x1c3>
mov    -0x28(%rbp),%esi
mov    -0x2c(%rbp),%edx
lea    0xe7c(%rip),%rdi
call   1030 <printf@plt>
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x44(%rbp)
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
add    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
sub    -0x44(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%esi
mov    -0x48(%rbp),%edx
lea    0xe52(%rip),%rdi
call   1030 <printf@plt>
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x61(%rbp)
jl     1211 <findMedianSortedArrays+0x101>
mov    -0x48(%rbp),%ecx
mov    $0x1,%al
cmp    -0x24(%rbp),%ecx
mov    %al,-0x61(%rbp)
jge    1211 <findMedianSortedArrays+0x101>
mov    -0x10(%rbp),%rax
mov    -0x44(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x48(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setle  %al
mov    %al,-0x61(%rbp)
mov    -0x61(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x48(%rbp),%ecx
sub    $0x1,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x62(%rbp)
jl     1262 <findMedianSortedArrays+0x152>
mov    -0x44(%rbp),%ecx
mov    $0x1,%al
cmp    -0x14(%rbp),%ecx
mov    %al,-0x62(%rbp)
jge    1262 <findMedianSortedArrays+0x152>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x44(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
setle  %al
mov    %al,-0x62(%rbp)
mov    -0x62(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%esi
mov    -0x50(%rbp),%edx
lea    0xdac(%rip),%rdi
call   1030 <printf@plt>
cmpl   $0x0,-0x4c(%rbp)
je     129e <findMedianSortedArrays+0x18e>
cmpl   $0x0,-0x50(%rbp)
je     129e <findMedianSortedArrays+0x18e>
mov    -0x44(%rbp),%eax
mov    %eax,-0x40(%rbp)
jmp    12d3 <findMedianSortedArrays+0x1c3>
cmpl   $0x0,-0x4c(%rbp)
jne    12b6 <findMedianSortedArrays+0x1a6>
mov    -0x44(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12ce <findMedianSortedArrays+0x1be>
cmpl   $0x0,-0x50(%rbp)
jne    12c9 <findMedianSortedArrays+0x1b9>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12ce <findMedianSortedArrays+0x1be>
jmp    1173 <findMedianSortedArrays+0x63>
cmpl   $0xffffffff,-0x40(%rbp)
jne    12e3 <findMedianSortedArrays+0x1d3>
mov    -0x28(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
add    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
sub    -0x54(%rbp),%eax
mov    %eax,-0x58(%rbp)
cmpl   $0x1,-0x54(%rbp)
jge    1322 <findMedianSortedArrays+0x212>
mov    -0x20(%rbp),%rax
mov    -0x58(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
jmp    13a0 <findMedianSortedArrays+0x290>
cmpl   $0x1,-0x58(%rbp)
jge    1344 <findMedianSortedArrays+0x234>
mov    -0x10(%rbp),%rax
mov    -0x54(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
jmp    139b <findMedianSortedArrays+0x28b>
mov    -0x10(%rbp),%rax
mov    -0x54(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x58(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1382 <findMedianSortedArrays+0x272>
mov    -0x10(%rbp),%rax
mov    -0x54(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x68(%rbp)
jmp    1395 <findMedianSortedArrays+0x285>
mov    -0x20(%rbp),%rax
mov    -0x58(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x68(%rbp)
mov    -0x68(%rbp),%eax
mov    %eax,-0x5c(%rbp)
jmp    13a0 <findMedianSortedArrays+0x290>
mov    -0x54(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     13bf <findMedianSortedArrays+0x2af>
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x60(%rbp)
jmp    1426 <findMedianSortedArrays+0x316>
mov    -0x58(%rbp),%eax
cmp    -0x24(%rbp),%eax
jl     13de <findMedianSortedArrays+0x2ce>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x60(%rbp)
jmp    1421 <findMedianSortedArrays+0x311>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x58(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    140d <findMedianSortedArrays+0x2fd>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x6c(%rbp)
jmp    141b <findMedianSortedArrays+0x30b>
mov    -0x20(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
mov    %eax,-0x60(%rbp)
jmp    1426 <findMedianSortedArrays+0x316>
mov    -0x54(%rbp),%esi
mov    -0x58(%rbp),%edx
lea    0xc03(%rip),%rdi
call   1030 <printf@plt>
mov    -0x5c(%rbp),%esi
mov    -0x60(%rbp),%edx
lea    0xc01(%rip),%rdi
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     146b <findMedianSortedArrays+0x35b>
cvtsi2sdl -0x5c(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    1486 <findMedianSortedArrays+0x376>
mov    -0x5c(%rbp),%eax
add    -0x60(%rbp),%eax
cvtsi2sd %eax,%xmm0
movsd  0xb83(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findMedianSortedArrays>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%rbp
cmp    %ecx,%esi
jge    1137 <findMedianSortedArrays+0x27>
mov    %ecx,%eax
mov    %rax,0x8(%rsp)
mov    %rbp,(%rsp)
mov    %esi,%ecx
mov    %rdi,%rbp
jmp    1142 <findMedianSortedArrays+0x32>
mov    %esi,%eax
mov    %rax,0x8(%rsp)
mov    %rdi,(%rsp)
test   %ecx,%ecx
mov    %rcx,0x18(%rsp)
jle    1269 <findMedianSortedArrays+0x159>
lea    -0x1(%rcx),%ebx
mov    0x8(%rsp),%rax
lea    (%rcx,%rax,1),%edx
add    %ecx,%eax
add    $0x1,%eax
shr    $0x1f,%eax
mov    %rdx,0x10(%rsp)
lea    (%rax,%rdx,1),%r15d
add    $0x1,%r15d
sar    %r15d
xor    %r13d,%r13d
mov    %r15,0x28(%rsp)
jmp    118e <findMedianSortedArrays+0x7e>
nopl   0x0(%rax)
mov    %eax,%r13d
cmp    %ebx,%eax
mov    %r12,%rbp
jg     12a2 <findMedianSortedArrays+0x192>
lea    0xe73(%rip),%rdi
mov    %r13d,%esi
mov    %ebx,%edx
call   1030 <printf@plt>
mov    %rbx,0x30(%rsp)
lea    (%rbx,%r13,1),%r14d
mov    %r14d,%ebx
shr    $0x1f,%ebx
add    %r14d,%ebx
sar    %ebx
mov    %r15d,%r12d
sub    %ebx,%r12d
lea    0xe58(%rip),%rdi
mov    %ebx,%esi
mov    %r12d,%edx
call   1030 <printf@plt>
lea    -0x1(%rbx),%edi
mov    $0x1,%r15b
mov    $0x1,%al
cmp    $0x2,%r14d
jl     11f5 <findMedianSortedArrays+0xe5>
mov    $0x1,%al
cmp    0x8(%rsp),%r12d
jge    11f5 <findMedianSortedArrays+0xe5>
movslq %edi,%rax
mov    0x0(%rbp,%rax,4),%eax
movslq %r12d,%rcx
mov    (%rsp),%rdx
cmp    (%rdx,%rcx,4),%eax
setle  %al
cmp    0x18(%rsp),%ebx
mov    %edi,0x24(%rsp)
jge    121b <findMedianSortedArrays+0x10b>
test   %r12d,%r12d
jle    121b <findMedianSortedArrays+0x10b>
add    $0xffffffff,%r12d
mov    (%rsp),%rcx
mov    (%rcx,%r12,4),%ecx
movslq %ebx,%rdx
cmp    0x0(%rbp,%rdx,4),%ecx
setle  %r15b
mov    %rbp,%r12
movzbl %al,%ebp
movzbl %r15b,%edx
lea    0xdfa(%rip),%rdi
mov    %ebp,%esi
call   1030 <printf@plt>
test   %ebp,%ebp
je     123c <findMedianSortedArrays+0x12c>
test   %r15b,%r15b
jne    128e <findMedianSortedArrays+0x17e>
mov    %r13d,%eax
test   %r15b,%r15b
jne    1249 <findMedianSortedArrays+0x139>
add    $0x1,%ebx
mov    %ebx,%eax
test   %ebp,%ebp
mov    0x28(%rsp),%r15
mov    0x30(%rsp),%rbx
jne    1180 <findMedianSortedArrays+0x70>
mov    0x24(%rsp),%eax
mov    %eax,%ebx
mov    %r13d,%eax
jmp    1180 <findMedianSortedArrays+0x70>
mov    0x8(%rsp),%rax
lea    (%rcx,%rax,1),%edx
add    %ecx,%eax
add    $0x1,%eax
shr    $0x1f,%eax
mov    %rdx,0x10(%rsp)
lea    (%rax,%rdx,1),%r15d
add    $0x1,%r15d
sar    %r15d
xor    %r13d,%r13d
jmp    12a5 <findMedianSortedArrays+0x195>
add    $0x3,%r14d
cmp    $0x1,%r14d
mov    %r12,%rbp
mov    0x28(%rsp),%r15
jbe    12a5 <findMedianSortedArrays+0x195>
jmp    12a8 <findMedianSortedArrays+0x198>
mov    %eax,%r13d
mov    %r13d,%ebx
sub    %ebx,%r15d
test   %ebx,%ebx
jle    12d0 <findMedianSortedArrays+0x1c0>
lea    -0x1(%rbx),%eax
mov    0x0(%rbp,%rax,4),%r12d
test   %r15d,%r15d
jle    12dc <findMedianSortedArrays+0x1cc>
lea    -0x1(%r15),%eax
mov    (%rsp),%rcx
mov    (%rcx,%rax,4),%eax
cmp    %eax,%r12d
cmovle %eax,%r12d
jmp    12dc <findMedianSortedArrays+0x1cc>
movslq %r15d,%rax
mov    (%rsp),%rcx
mov    -0x4(%rcx,%rax,4),%r12d
mov    0x10(%rsp),%r14
mov    0x18(%rsp),%rax
cmp    %eax,%ebx
jge    1309 <findMedianSortedArrays+0x1f9>
movslq %ebx,%rax
mov    0x0(%rbp,%rax,4),%ebp
cmp    0x8(%rsp),%r15d
jge    1313 <findMedianSortedArrays+0x203>
movslq %r15d,%rax
mov    (%rsp),%rcx
mov    (%rcx,%rax,4),%eax
cmp    %eax,%ebp
cmovge %eax,%ebp
jmp    1313 <findMedianSortedArrays+0x203>
movslq %r15d,%rax
mov    (%rsp),%rcx
mov    (%rcx,%rax,4),%ebp
lea    0xd1c(%rip),%rdi
mov    %ebx,%esi
mov    %r15d,%edx
call   1030 <printf@plt>
lea    0xd1b(%rip),%rdi
mov    %r12d,%esi
mov    %ebp,%edx
call   1030 <printf@plt>
test   $0x1,%r14b
je     1342 <findMedianSortedArrays+0x232>
cvtsi2sd %r12d,%xmm0
jmp    1351 <findMedianSortedArrays+0x241>
add    %r12d,%ebp
cvtsi2sd %ebp,%xmm0
mulsd  0xcaf(%rip),%xmm0
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [16 x i8] c"lo: %d, hi: %d\0A\00"
@.str.1 = [14 x i8] c"i: %d, j: %d\0A\00"
@.str.2 = [16 x i8] c"f1: %d, f2: %d\0A\00"
@.str.3 = [16 x i8] c"fi: %d, fj: %d\0A\00"
@.str.4 = [20 x i8] c"maxL: %d, minR: %d\0A\00"
define double @findMedianSortedArrays(i32* nocapture %0, i32 %1, i32* nocapture %2, i32 %3) {
%5 = icmp slt i32 %1, %3
br i1 %5, label %7, label %6
6: ; preds = %4
br label %7
7: ; preds = %6, %4
%8 = phi i32 [ %1, %6 ], [ %3, %4 ]
%9 = phi i32* [ %0, %6 ], [ %2, %4 ]
%10 = phi i32 [ %3, %6 ], [ %1, %4 ]
%11 = phi i32* [ %2, %6 ], [ %0, %4 ]
%12 = icmp slt i32 %10, 1
br i1 %12, label %13, label %17
13: ; preds = %7
%14 = add i32 %10, %8
%15 = add i32 %14, 1
%16 = sdiv i32 %15, 2
br label %71
17: ; preds = %7
%18 = add nsw i32 %10, -1
%19 = add i32 %10, %8
%20 = add i32 %19, 1
%21 = sdiv i32 %20, 2
br label %22
22: ; preds = %17, %62
%23 = phi i32 [ 0, %17 ], [ %66, %62 ]
%24 = phi i32 [ %18, %17 ], [ %65, %62 ]
%25 = tail call i32 @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0), i32 %23, i32 %24)
%26 = add nsw i32 %23, %24
%27 = sdiv i32 %26, 2
%28 = sub nsw i32 %21, %27
%29 = tail call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 %27, i32 %28)
%30 = add nsw i32 %27, -1
%31 = icmp sgt i32 %26, 1
%32 = icmp slt i32 %28, %8
%33 = and i1 %31, %32
br i1 %33, label %34, label %42
34: ; preds = %22
%35 = sext i32 %30 to i64
%36 = getelementptr inbounds i32, i32* %11, i64 %35
%37 = load i32, i32* %36
%38 = sext i32 %28 to i64
%39 = getelementptr inbounds i32, i32* %9, i64 %38
%40 = load i32, i32* %39
%41 = icmp sle i32 %37, %40
br label %42
42: ; preds = %34, %22
%43 = phi i1 [ true, %22 ], [ %41, %34 ]
%44 = zext i1 %43 to i32
%45 = icmp sgt i32 %28, 0
%46 = icmp slt i32 %27, %10
%47 = and i1 %46, %45
br i1 %47, label %48, label %57
48: ; preds = %42
%49 = add nsw i32 %28, -1
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %9, i64 %50
%52 = load i32, i32* %51
%53 = sext i32 %27 to i64
%54 = getelementptr inbounds i32, i32* %11, i64 %53
%55 = load i32, i32* %54
%56 = icmp sle i32 %52, %55
br label %57
57: ; preds = %48, %42
%58 = phi i1 [ true, %42 ], [ %56, %48 ]
%59 = zext i1 %58 to i32
%60 = tail call i32 @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.2, i64 0, i64 0), i32 %44, i32 %59)
%61 = select i1 %43, i1 %58, i1 false
br i1 %61, label %68, label %62
62: ; preds = %57
%63 = add nsw i32 %27, 1
%64 = select i1 %58, i32 %23, i32 %63
%65 = select i1 %43, i32 %24, i32 %30
%66 = select i1 %43, i32 %64, i32 %23
%67 = icmp sgt i32 %66, %65
br i1 %67, label %71, label %22
68: ; preds = %57
%69 = add i32 %26, 3
%70 = icmp ult i32 %69, 2
br i1 %70, label %71, label %75
71: ; preds = %62, %13, %68
%72 = phi i32 [ %23, %68 ], [ 0, %13 ], [ %66, %62 ]
%73 = phi i32 [ %19, %68 ], [ %14, %13 ], [ %19, %62 ]
%74 = phi i32 [ %21, %68 ], [ %16, %13 ], [ %21, %62 ]
br label %75
75: ; preds = %68, %71
%76 = phi i32 [ %73, %71 ], [ %19, %68 ]
%77 = phi i32 [ %74, %71 ], [ %21, %68 ]
%78 = phi i32 [ %72, %71 ], [ %27, %68 ]
%79 = sub nsw i32 %77, %78
%80 = icmp slt i32 %78, 1
br i1 %80, label %81, label %86
81: ; preds = %75
%82 = add nsw i32 %79, -1
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i32, i32* %9, i64 %83
%85 = load i32, i32* %84
br label %99
86: ; preds = %75
%87 = icmp slt i32 %79, 1
%88 = add nsw i32 %78, -1
%89 = zext i32 %88 to i64
%90 = getelementptr inbounds i32, i32* %11, i64 %89
%91 = load i32, i32* %90
br i1 %87, label %99, label %92
92: ; preds = %86
%93 = add nsw i32 %79, -1
%94 = zext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %9, i64 %94
%96 = load i32, i32* %95
%97 = icmp sgt i32 %91, %96
%98 = select i1 %97, i32 %91, i32 %96
br label %99
99: ; preds = %86, %92, %81
%100 = phi i32 [ %85, %81 ], [ %98, %92 ], [ %91, %86 ]
%101 = icmp slt i32 %78, %10
br i1 %101, label %106, label %102
102: ; preds = %99
%103 = sext i32 %79 to i64
%104 = getelementptr inbounds i32, i32* %9, i64 %103
%105 = load i32, i32* %104
br label %117
106: ; preds = %99
%107 = icmp slt i32 %79, %8
%108 = sext i32 %78 to i64
%109 = getelementptr inbounds i32, i32* %11, i64 %108
%110 = load i32, i32* %109
br i1 %107, label %111, label %117
111: ; preds = %106
%112 = sext i32 %79 to i64
%113 = getelementptr inbounds i32, i32* %9, i64 %112
%114 = load i32, i32* %113
%115 = icmp slt i32 %110, %114
%116 = select i1 %115, i32 %110, i32 %114
br label %117
117: ; preds = %106, %111, %102
%118 = phi i32 [ %105, %102 ], [ %116, %111 ], [ %110, %106 ]
%119 = tail call i32 @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.3, i64 0, i64 0), i32 %78, i32 %79)
%120 = tail call i32 @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0), i32 %100, i32 %118)
%121 = and i32 %76, 1
%122 = icmp eq i32 %121, 0
%123 = sitofp i32 %100 to double
%124 = add nsw i32 %118, %100
%125 = sitofp i32 %124 to double
%126 = fmul double %125, 5.000000e-01
%127 = select i1 %122, double %126, double %123
ret double %127
}