#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 */
typedef scalar_t__ uint32_t;

/* Variables and functions */
size_t intersection_uint32(const uint32_t *A, const size_t lenA,
                           const uint32_t *B, const size_t lenB,
                           uint32_t *out) {
  const uint32_t *initout = out;
  if (lenA == 0 || lenB == 0)
    return 0;
  const uint32_t *endA = A + lenA;
  const uint32_t *endB = B + lenB;
  while (1) {
    while (*A < *B) {
    SKIP_FIRST_COMPARE:
      if (++A == endA)
        return (out - initout);
    }
    while (*A > *B) {
      if (++B == endB)
        return (out - initout);
    }
    if (*A == *B) {
      *out++ = *A;
      if (++A == endA || ++B == endB)
        return (out - initout);
    } else {
      goto SKIP_FIRST_COMPARE;
    }
  }
  return (out - initout);
}


x86 assembly (clang, -O0):
<intersection_uint32>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1136 <intersection_uint32+0x36>
cmpq   $0x0,-0x28(%rbp)
jne    1143 <intersection_uint32+0x43>
movq   $0x0,-0x8(%rbp)
jmp    1286 <intersection_uint32+0x186>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
jmp    116e <intersection_uint32+0x6e>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
jge    11ba <intersection_uint32+0xba>
jmp    1187 <intersection_uint32+0x87>
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
cmp    -0x40(%rbp),%rax
jne    11b5 <intersection_uint32+0xb5>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    1286 <intersection_uint32+0x186>
jmp    116e <intersection_uint32+0x6e>
jmp    11bf <intersection_uint32+0xbf>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
jle    1206 <intersection_uint32+0x106>
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
cmp    -0x48(%rbp),%rax
jne    1201 <intersection_uint32+0x101>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    1286 <intersection_uint32+0x186>
jmp    11bf <intersection_uint32+0xbf>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    -0x20(%rbp),%rcx
cmp    (%rcx),%rax
jne    127c <intersection_uint32+0x17c>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x30(%rbp)
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x10(%rbp)
cmp    -0x40(%rbp),%rax
je     125f <intersection_uint32+0x15f>
mov    -0x20(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x20(%rbp)
cmp    -0x48(%rbp),%rax
jne    1277 <intersection_uint32+0x177>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
sub    %rcx,%rax
sar    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    1286 <intersection_uint32+0x186>
jmp    1281 <intersection_uint32+0x181>
jmp    1187 <intersection_uint32+0x87>
jmp    1169 <intersection_uint32+0x69>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<intersection_uint32>:
xor    %eax,%eax
test   %rsi,%rsi
je     1177 <intersection_uint32+0x77>
test   %rcx,%rcx
je     1177 <intersection_uint32+0x77>
lea    (%rdi,%rsi,8),%r9
lea    (%rdx,%rcx,8),%r10
mov    %r8,%rax
mov    (%rdx),%rsi
jmp    112e <intersection_uint32+0x2e>
nopl   0x0(%rax)
cmp    %rsi,%rcx
je     1157 <intersection_uint32+0x57>
add    $0x8,%rdi
cmp    %r9,%rdi
je     1170 <intersection_uint32+0x70>
mov    (%rdi),%rcx
cmp    %rsi,%rcx
jl     1125 <intersection_uint32+0x25>
cmp    %rsi,%rcx
jle    1120 <intersection_uint32+0x20>
add    $0x8,%rdx
nop
cmp    %r10,%rdx
je     1170 <intersection_uint32+0x70>
mov    (%rdx),%rsi
add    $0x8,%rdx
cmp    %rsi,%rcx
jg     1140 <intersection_uint32+0x40>
add    $0xfffffffffffffff8,%rdx
jmp    1120 <intersection_uint32+0x20>
mov    %rcx,(%rax)
add    $0x8,%rax
add    $0x8,%rdi
cmp    %r9,%rdi
je     1170 <intersection_uint32+0x70>
add    $0x8,%rdx
cmp    %r10,%rdx
jne    1117 <intersection_uint32+0x17>
sub    %r8,%rax
sar    $0x3,%rax
ret

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

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