int search(int *bufferm, int m, int *buffern, int n) {
  int *mb = bufferm;
  int *nb = buffern;
  int p;
  int k = 0;
  int nn = 0;
  int mm = 0;
  for (int i = 0; i < ((m) < (n) ? (m) : (n)); i++) {
    if (mb[mm] > nb[nn]) {
      p = nb[nn];
      nn++;
      k++;
    } else {
      p = mb[mm];
      mm++;
      k++;
    }
    if (k == (m + n) / 2)
      return p;
  }
  if (m > n)
    return mb[mm + (m + n) / 2 - k - 1];
  else
    return nb[nn + (m + n) / 2 - k - 1];
}


x86 assembly (clang, -O0):
<search>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    115b <search+0x5b>
mov    -0x14(%rbp),%eax
mov    %eax,-0x54(%rbp)
jmp    1161 <search+0x61>
mov    -0x24(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x54(%rbp),%ecx
cmp    %ecx,%eax
jge    120f <search+0x10f>
mov    -0x30(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x38(%rbp),%rcx
movslq -0x44(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11b0 <search+0xb0>
mov    -0x38(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11d0 <search+0xd0>
mov    -0x30(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x58(%rbp)
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x58(%rbp),%eax
cmp    %ecx,%eax
jne    11fc <search+0xfc>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1280 <search+0x180>
jmp    1201 <search+0x101>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    113e <search+0x3e>
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1250 <search+0x150>
mov    -0x30(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x48(%rbp),%ecx
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x60(%rbp),%rax
add    %edx,%ecx
sub    -0x40(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    1280 <search+0x180>
mov    -0x38(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x14(%rbp),%eax
add    -0x24(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x68(%rbp),%rax
add    %edx,%ecx
sub    -0x40(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<search>:
push   %rbp
push   %r15
push   %r14
push   %rbx
cmp    %ecx,%esi
mov    %ecx,%r8d
cmovl  %esi,%r8d
test   %r8d,%r8d
jle    1165 <search+0x65>
lea    (%rcx,%rsi,1),%eax
mov    %eax,%r11d
shr    $0x1f,%r11d
add    %eax,%r11d
sar    %r11d
add    $0xffffffff,%r11d
xor    %ebx,%ebx
xor    %r10d,%r10d
xor    %r9d,%r9d
mov    %r10d,%eax
mov    (%rdi,%rax,4),%eax
mov    %r9d,%ebp
mov    (%rdx,%rbp,4),%r15d
cmp    %ebx,%r11d
je     118e <search+0x8e>
add    $0x1,%ebx
xor    %r14d,%r14d
xor    %ebp,%ebp
cmp    %r15d,%eax
setg   %r14b
setle  %bpl
add    %ebp,%r10d
add    %r14d,%r9d
cmp    %ebx,%r8d
jne    1130 <search+0x30>
not    %r8d
jmp    1171 <search+0x71>
xor    %r9d,%r9d
mov    $0xffffffff,%r8d
xor    %r10d,%r10d
lea    (%rcx,%rsi,1),%ebp
mov    %ebp,%eax
shr    $0x1f,%eax
add    %ebp,%eax
sar    %eax
add    %r8d,%eax
cmp    %ecx,%esi
jle    1197 <search+0x97>
add    %r10d,%eax
cltq
mov    (%rdi,%rax,4),%eax
jmp    119f <search+0x9f>
cmp    %r15d,%eax
cmovg  %r15d,%eax
jmp    119f <search+0x9f>
add    %r9d,%eax
cltq
mov    (%rdx,%rax,4),%eax
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @search(i32* nocapture %0, i32 %1, i32* nocapture %2, i32 %3) {
%5 = icmp slt i32 %1, %3
%6 = select i1 %5, i32 %1, i32 %3
%7 = icmp sgt i32 %6, 0
br i1 %7, label %8, label %33
8: ; preds = %4
%9 = add nsw i32 %3, %1
%10 = sdiv i32 %9, 2
br label %11
11: ; preds = %8, %24
%12 = phi i32 [ 0, %8 ], [ %22, %24 ]
%13 = phi i32 [ 0, %8 ], [ %27, %24 ]
%14 = phi i32 [ 0, %8 ], [ %29, %24 ]
%15 = zext i32 %13 to i64
%16 = getelementptr inbounds i32, i32* %0, i64 %15
%17 = load i32, i32* %16
%18 = zext i32 %14 to i64
%19 = getelementptr inbounds i32, i32* %2, i64 %18
%20 = load i32, i32* %19
%21 = icmp sgt i32 %17, %20
%22 = add nuw nsw i32 %12, 1
%23 = icmp eq i32 %22, %10
br i1 %23, label %51, label %24
24: ; preds = %11
%25 = xor i1 %21, true
%26 = zext i1 %25 to i32
%27 = add nuw nsw i32 %13, %26
%28 = zext i1 %21 to i32
%29 = add nuw nsw i32 %14, %28
%30 = icmp eq i32 %22, %6
br i1 %30, label %31, label %11
31: ; preds = %24
%32 = xor i32 %6, -1
br label %33
33: ; preds = %31, %4
%34 = phi i32 [ -1, %4 ], [ %32, %31 ]
%35 = phi i32 [ 0, %4 ], [ %29, %31 ]
%36 = phi i32 [ 0, %4 ], [ %27, %31 ]
%37 = icmp sgt i32 %1, %3
%38 = add nsw i32 %3, %1
%39 = sdiv i32 %38, 2
%40 = add i32 %39, %34
br i1 %37, label %41, label %46
41: ; preds = %33
%42 = add i32 %40, %36
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %0, i64 %43
%45 = load i32, i32* %44
br label %53
46: ; preds = %33
%47 = add i32 %40, %35
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %2, i64 %48
%50 = load i32, i32* %49
br label %53
51: ; preds = %11
%52 = select i1 %21, i32 %20, i32 %17
br label %53
53: ; preds = %51, %46, %41
%54 = phi i32 [ %45, %41 ], [ %50, %46 ], [ %52, %51 ]
ret i32 %54
}