#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 findkth(int *A, int n, int *B, int m, int k) {
  int i;
  int target = m + n;
  if (n < m)
    return findkth(B, m, A, n, k);
  if (target < k)
    return 0;
  if (m == 0)
    return A[n - k - 1];
  if (target == k)
    return A[n - 1] > B[m - 1] ? A[n - 1] : B[m - 1];
  if (k == 1)
    return A[0] < B[0] ? A[0] : B[0];
  int tb = (m > k / 2) ? (k / 2) : (m);
  int ta = k - tb;
  if (A[ta - 1] > B[tb - 1]) {
    return findkth(A, n, tb == m ? NULL : &B[tb], m - tb, ta);
  } else if (A[ta - 1] < B[tb - 1]) {
    return findkth(&A[ta], n - ta, B, m, tb);
  } else {
    return A[ta - 1];
  }
  return 0;
}


x86 assembly (clang, -O0):
<findkth>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    -0x24(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    115e <findkth+0x4e>
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    136d <findkth+0x25d>
mov    -0x30(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1176 <findkth+0x66>
movl   $0x0,-0x4(%rbp)
jmp    136d <findkth+0x25d>
cmpl   $0x0,-0x24(%rbp)
jne    119b <findkth+0x8b>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    -0x28(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    136d <findkth+0x25d>
mov    -0x30(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    1203 <findkth+0xf3>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x24(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    11e5 <findkth+0xd5>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
jmp    11f8 <findkth+0xe8>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    136d <findkth+0x25d>
cmpl   $0x1,-0x28(%rbp)
jne    1241 <findkth+0x131>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%eax
jge    122d <findkth+0x11d>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x40(%rbp)
jmp    1236 <findkth+0x126>
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    136d <findkth+0x25d>
mov    -0x24(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
cmp    %ecx,%eax
jle    1272 <findkth+0x162>
mov    -0x28(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x48(%rbp)
jmp    1278 <findkth+0x168>
mov    -0x24(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jle    1307 <findkth+0x1f7>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    12d2 <findkth+0x1c2>
xor    %eax,%eax
mov    %rax,-0x60(%rbp)
jmp    12e5 <findkth+0x1d5>
mov    -0x20(%rbp),%rax
movslq -0x34(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x60(%rbp)
mov    -0x4c(%rbp),%esi
mov    -0x58(%rbp),%rdi
mov    -0x60(%rbp),%rdx
mov    -0x24(%rbp),%ecx
sub    -0x34(%rbp),%ecx
mov    -0x38(%rbp),%r8d
call   1030 <findkth@plt>
mov    %eax,-0x4(%rbp)
jmp    136d <findkth+0x25d>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
mov    -0x34(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    135a <findkth+0x24a>
mov    -0x10(%rbp),%rdi
movslq -0x38(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x14(%rbp),%esi
sub    -0x38(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x24(%rbp),%ecx
mov    -0x34(%rbp),%r8d
call   1030 <findkth@plt>
mov    %eax,-0x4(%rbp)
jmp    136d <findkth+0x25d>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findkth>:
push   %r14
push   %rbx
xor    %r9d,%r9d
mov    %rdx,%r11
mov    %ecx,%r10d
nopl   0x0(%rax)
mov    %r10d,%ecx
mov    %r11,%rdx
mov    %esi,%r10d
mov    %rdi,%r11
mov    %rdx,%rdi
mov    %ecx,%esi
cmp    %ecx,%r10d
jl     1110 <findkth+0x10>
cs nopw 0x0(%rax,%rax,1)
lea    (%rcx,%r10,1),%eax
cmp    %r8d,%eax
jl     11a7 <findkth+0xa7>
test   %ecx,%ecx
je     11ab <findkth+0xab>
cmp    %r8d,%eax
je     11ba <findkth+0xba>
cmp    $0x1,%r8d
je     11d0 <findkth+0xd0>
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,%r14
mov    -0x4(%r11,%r14,4),%eax
movslq %ebx,%rdi
cmp    -0x4(%rdx,%rdi,4),%eax
jle    1193 <findkth+0x93>
cmp    %ecx,%esi
lea    (%rdx,%rdi,4),%rdx
cmovge %r9,%rdx
sub    %edi,%ecx
cmp    %ecx,%r10d
jge    1130 <findkth+0x30>
mov    %rdx,%rdi
mov    %ecx,%esi
mov    %r11,%rdx
mov    %r10d,%ecx
jmp    1106 <findkth+0x6>
jge    11da <findkth+0xda>
lea    (%r11,%r14,4),%rdi
sub    %r14d,%r10d
mov    %r10d,%esi
mov    %ebx,%r8d
jmp    1106 <findkth+0x6>
xor    %eax,%eax
jmp    11da <findkth+0xda>
not    %r8d
add    %r8d,%r10d
movslq %r10d,%rax
mov    (%r11,%rax,4),%eax
jmp    11da <findkth+0xda>
movslq %r10d,%rax
mov    -0x4(%r11,%rax,4),%esi
movslq %ecx,%rax
mov    -0x4(%rdx,%rax,4),%eax
cmp    %eax,%esi
cmovg  %esi,%eax
jmp    11da <findkth+0xda>
mov    (%r11),%ecx
mov    (%rdx),%eax
cmp    %eax,%ecx
cmovl  %ecx,%eax
pop    %rbx
pop    %r14
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
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = 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
%16 = load i32, i32* %10
%17 = load i32, i32* %8
%18 = add nsw i32 %16, %17
store i32 %18, i32* %13
%19 = load i32, i32* %8
%20 = load i32, i32* %10
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %29
22: ; preds = %5
%23 = load i32*, i32** %9
%24 = load i32, i32* %10
%25 = load i32*, i32** %7
%26 = load i32, i32* %8
%27 = load i32, i32* %11
%28 = call i32 @findkth(i32* %23, i32 %24, i32* %25, i32 %26, i32 %27)
store i32 %28, i32* %6
br label %181
29: ; preds = %5
%30 = load i32, i32* %13
%31 = load i32, i32* %11
%32 = icmp slt i32 %30, %31
br i1 %32, label %33, label %34
33: ; preds = %29
store i32 0, i32* %6
br label %181
34: ; preds = %29
%35 = load i32, i32* %10
%36 = icmp eq i32 %35, 0
br i1 %36, label %37, label %46
37: ; preds = %34
%38 = load i32*, i32** %7
%39 = load i32, i32* %8
%40 = load i32, i32* %11
%41 = sub nsw i32 %39, %40
%42 = sub nsw i32 %41, 1
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %38, i64 %43
%45 = load i32, i32* %44
store i32 %45, i32* %6
br label %181
46: ; preds = %34
%47 = load i32, i32* %13
%48 = load i32, i32* %11
%49 = icmp eq i32 %47, %48
br i1 %49, label %50, label %80
50: ; preds = %46
%51 = load i32*, i32** %7
%52 = load i32, i32* %8
%53 = sub nsw i32 %52, 1
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %51, i64 %54
%56 = load i32, i32* %55
%57 = load i32*, i32** %9
%58 = load i32, i32* %10
%59 = sub nsw i32 %58, 1
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %57, i64 %60
%62 = load i32, i32* %61
%63 = icmp sgt i32 %56, %62
br i1 %63, label %64, label %71
64: ; preds = %50
%65 = load i32*, i32** %7
%66 = load i32, i32* %8
%67 = sub nsw i32 %66, 1
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %65, i64 %68
%70 = load i32, i32* %69
br label %78
71: ; preds = %50
%72 = load i32*, i32** %9
%73 = load i32, i32* %10
%74 = sub nsw i32 %73, 1
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %72, i64 %75
%77 = load i32, i32* %76
br label %78
78: ; preds = %71, %64
%79 = phi i32 [ %70, %64 ], [ %77, %71 ]
store i32 %79, i32* %6
br label %181
80: ; preds = %46
%81 = load i32, i32* %11
%82 = icmp eq i32 %81, 1
br i1 %82, label %83, label %101
83: ; preds = %80
%84 = load i32*, i32** %7
%85 = getelementptr inbounds i32, i32* %84, i64 0
%86 = load i32, i32* %85
%87 = load i32*, i32** %9
%88 = getelementptr inbounds i32, i32* %87, i64 0
%89 = load i32, i32* %88
%90 = icmp slt i32 %86, %89
br i1 %90, label %91, label %95
91: ; preds = %83
%92 = load i32*, i32** %7
%93 = getelementptr inbounds i32, i32* %92, i64 0
%94 = load i32, i32* %93
br label %99
95: ; preds = %83
%96 = load i32*, i32** %9
%97 = getelementptr inbounds i32, i32* %96, i64 0
%98 = load i32, i32* %97
br label %99
99: ; preds = %95, %91
%100 = phi i32 [ %94, %91 ], [ %98, %95 ]
store i32 %100, i32* %6
br label %181
101: ; preds = %80
%102 = load i32, i32* %10
%103 = load i32, i32* %11
%104 = sdiv i32 %103, 2
%105 = icmp sgt i32 %102, %104
br i1 %105, label %106, label %109
106: ; preds = %101
%107 = load i32, i32* %11
%108 = sdiv i32 %107, 2
br label %111
109: ; preds = %101
%110 = load i32, i32* %10
br label %111
111: ; preds = %109, %106
%112 = phi i32 [ %108, %106 ], [ %110, %109 ]
store i32 %112, i32* %14
%113 = load i32, i32* %11
%114 = load i32, i32* %14
%115 = sub nsw i32 %113, %114
store i32 %115, i32* %15
%116 = load i32*, i32** %7
%117 = load i32, i32* %15
%118 = sub nsw i32 %117, 1
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %116, i64 %119
%121 = load i32, i32* %120
%122 = load i32*, i32** %9
%123 = load i32, i32* %14
%124 = sub nsw i32 %123, 1
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %122, i64 %125
%127 = load i32, i32* %126
%128 = icmp sgt i32 %121, %127
br i1 %128, label %129, label %148
129: ; preds = %111
%130 = load i32*, i32** %7
%131 = load i32, i32* %8
%132 = load i32, i32* %14
%133 = load i32, i32* %10
%134 = icmp eq i32 %132, %133
br i1 %134, label %135, label %136
135: ; preds = %129
br label %141
136: ; preds = %129
%137 = load i32*, i32** %9
%138 = load i32, i32* %14
%139 = sext i32 %138 to i64
%140 = getelementptr inbounds i32, i32* %137, i64 %139
br label %141
141: ; preds = %136, %135
%142 = phi i32* [ null, %135 ], [ %140, %136 ]
%143 = load i32, i32* %10
%144 = load i32, i32* %14
%145 = sub nsw i32 %143, %144
%146 = load i32, i32* %15
%147 = call i32 @findkth(i32* %130, i32 %131, i32* %142, i32 %145, i32 %146)
store i32 %147, i32* %6
br label %181
148: ; preds = %111
%149 = load i32*, i32** %7
%150 = load i32, i32* %15
%151 = sub nsw i32 %150, 1
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i32, i32* %149, i64 %152
%154 = load i32, i32* %153
%155 = load i32*, i32** %9
%156 = load i32, i32* %14
%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
%161 = icmp slt i32 %154, %160
br i1 %161, label %162, label %174
162: ; preds = %148
%163 = load i32*, i32** %7
%164 = load i32, i32* %15
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds i32, i32* %163, i64 %165
%167 = load i32, i32* %8
%168 = load i32, i32* %15
%169 = sub nsw i32 %167, %168
%170 = load i32*, i32** %9
%171 = load i32, i32* %10
%172 = load i32, i32* %14
%173 = call i32 @findkth(i32* %166, i32 %169, i32* %170, i32 %171, i32 %172)
store i32 %173, i32* %6
br label %181
174: ; preds = %148
%175 = load i32*, i32** %7
%176 = load i32, i32* %15
%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
store i32 %180, i32* %6
br label %181
181: ; preds = %174, %162, %141, %99, %78, %37, %33, %22
%182 = load i32, i32* %6
ret i32 %182
}

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