int findkth(int *A, int m, int *B, int n, int k) {
  if (m < n)
    return findkth(B, n, A, m, k);
  if (n == 0)
    return A[k - 1];
  if (k == 1)
    return ((A[0]) < (B[0]) ? (A[0]) : (B[0]));
  if (((A[0]) < (B[0]) ? (A[0]) : (B[0])) == A[0])
    return findkth(&(A[1]), (m - 1), B, n, --k);
  else
    return findkth(A, m, &(B[1]), (n - 1), --k);
}


x86 assembly (clang, -O0):
<findkth>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%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    1155 <findkth+0x45>
mov    -0x20(%rbp),%rdi
mov    -0x24(%rbp),%esi
mov    -0x10(%rbp),%rdx
mov    -0x14(%rbp),%ecx
mov    -0x28(%rbp),%r8d
call   1030 <findkth@plt>
mov    %eax,-0x4(%rbp)
jmp    1244 <findkth+0x134>
cmpl   $0x0,-0x24(%rbp)
jne    1177 <findkth+0x67>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    1244 <findkth+0x134>
cmpl   $0x1,-0x28(%rbp)
jne    11b5 <findkth+0xa5>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jge    11a1 <findkth+0x91>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
jmp    11aa <findkth+0x9a>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1244 <findkth+0x134>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jge    11d5 <findkth+0xc5>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
jmp    11de <findkth+0xce>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jne    121b <findkth+0x10b>
mov    -0x10(%rbp),%rdi
add    $0x4,%rdi
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
mov    -0x20(%rbp),%rdx
mov    -0x24(%rbp),%ecx
mov    -0x28(%rbp),%r8d
add    $0xffffffff,%r8d
mov    %r8d,-0x28(%rbp)
call   1030 <findkth@plt>
mov    %eax,-0x4(%rbp)
jmp    1244 <findkth+0x134>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x20(%rbp),%rdx
add    $0x4,%rdx
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x28(%rbp),%r8d
add    $0xffffffff,%r8d
mov    %r8d,-0x28(%rbp)
call   1030 <findkth@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findkth>:
mov    %rdx,%r9
mov    %ecx,%r10d
cs nopw 0x0(%rax,%rax,1)
mov    %r10d,%eax
mov    %r9,%r11
mov    %esi,%r10d
mov    %rdi,%r9
mov    %r11,%rdi
mov    %eax,%esi
cmp    %eax,%r10d
jl     1110 <findkth+0x10>
xor    %esi,%esi
mov    %r11,%rdx
nopl   0x0(%rax,%rax,1)
mov    %eax,%ecx
add    %esi,%ecx
je     118a <findkth+0x8a>
lea    (%r8,%rsi,1),%edi
add    $0xffffffff,%edi
test   %edi,%edi
je     1197 <findkth+0x97>
mov    (%r9),%edi
cmp    (%rdx),%edi
jle    1170 <findkth+0x70>
add    $0x4,%rdx
mov    %esi,%ecx
add    $0xffffffff,%esi
add    %eax,%ecx
add    $0xffffffff,%ecx
cmp    %ecx,%r10d
jge    1130 <findkth+0x30>
add    %esi,%r8d
add    %esi,%eax
mov    %rdx,%rdi
mov    %eax,%esi
mov    %r9,%rdx
mov    %r10d,%ecx
jmp    1100 <findkth>
nopl   (%rax)
add    $0x4,%r9
add    $0xffffffff,%r10d
add    %esi,%r8d
add    $0xffffffff,%r8d
mov    %r9,%rdi
mov    %r10d,%esi
jmp    1100 <findkth>
not    %eax
add    %eax,%r8d
movslq %r8d,%rax
mov    (%r9,%rax,4),%eax
ret
add    $0xffffffff,%r8d
mov    (%r9),%ecx
mov    (%r11,%r8,4),%eax
cmp    %eax,%ecx
cmovl  %ecx,%eax
ret

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

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