void int_list_intersect(int *a, int *b, int *c) {
  while (1) {
    if (*b < 0)
      break;
  Lagainc:
    if (*c < 0)
      break;
  Lagainb:
    if (*b == *c) {
      *a++ = *b++;
      c++;
      continue;
    }
    if (*b < *c) {
      b++;
      if (*b < 0)
        break;
      goto Lagainb;
    }
    if (*c < *b) {
      c++;
      goto Lagainc;
    }
  }
  *a++ = -1;
}


x86 assembly (clang, -O0):
<int_list_intersect>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jge    1122 <int_list_intersect+0x22>
jmp    11e0 <int_list_intersect+0xe0>
jmp    1127 <int_list_intersect+0x27>
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
jge    1139 <int_list_intersect+0x39>
jmp    11e0 <int_list_intersect+0xe0>
jmp    113e <int_list_intersect+0x3e>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jne    1183 <int_list_intersect+0x83>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x8(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    1110 <int_list_intersect+0x10>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    11b8 <int_list_intersect+0xb8>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jge    11b3 <int_list_intersect+0xb3>
jmp    11e0 <int_list_intersect+0xe0>
jmp    113e <int_list_intersect+0x3e>
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    11db <int_list_intersect+0xdb>
mov    -0x18(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    1127 <int_list_intersect+0x27>
jmp    1110 <int_list_intersect+0x10>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
movl   $0xffffffff,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<int_list_intersect>:
mov    (%rsi),%eax
test   %eax,%eax
js     115c <int_list_intersect+0x5c>
mov    (%rdx),%ecx
test   %ecx,%ecx
js     115c <int_list_intersect+0x5c>
add    $0x4,%rsi
cmp    %ecx,%eax
je     1150 <int_list_intersect+0x50>
jge    1130 <int_list_intersect+0x30>
mov    (%rsi),%eax
add    $0x4,%rsi
test   %eax,%eax
jns    1110 <int_list_intersect+0x10>
jmp    115c <int_list_intersect+0x5c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
jle    113f <int_list_intersect+0x3f>
add    $0xfffffffffffffffc,%rsi
mov    0x4(%rdx),%ecx
add    $0x4,%rdx
jmp    1108 <int_list_intersect+0x8>
add    $0xfffffffffffffffc,%rsi
test   %eax,%eax
jns    1108 <int_list_intersect+0x8>
jmp    115c <int_list_intersect+0x5c>
nopl   0x0(%rax)
mov    %ecx,(%rdi)
add    $0x4,%rdi
add    $0x4,%rdx
jmp    1100 <int_list_intersect>
movl   $0xffffffff,(%rdi)
ret

LLVM IR (-O0):
define void @int_list_intersect(i32* %0, i32* %1, i32* %2) {
%4 = alloca i32*
%5 = alloca i32*
%6 = alloca i32*
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
br label %7
7: ; preds = %3, %25, %56
%8 = load i32*, i32** %5
%9 = load i32, i32* %8
%10 = icmp slt i32 %9, 0
br i1 %10, label %11, label %12
11: ; preds = %7
br label %57
12: ; preds = %7
br label %13
13: ; preds = %53, %12
%14 = load i32*, i32** %6
%15 = load i32, i32* %14
%16 = icmp slt i32 %15, 0
br i1 %16, label %17, label %18
17: ; preds = %13
br label %57
18: ; preds = %13
br label %19
19: ; preds = %46, %18
%20 = load i32*, i32** %5
%21 = load i32, i32* %20
%22 = load i32*, i32** %6
%23 = load i32, i32* %22
%24 = icmp eq i32 %21, %23
br i1 %24, label %25, label %33
25: ; preds = %19
%26 = load i32*, i32** %5
%27 = getelementptr inbounds i32, i32* %26, i32 1
store i32* %27, i32** %5
%28 = load i32, i32* %26
%29 = load i32*, i32** %4
%30 = getelementptr inbounds i32, i32* %29, i32 1
store i32* %30, i32** %4
store i32 %28, i32* %29
%31 = load i32*, i32** %6
%32 = getelementptr inbounds i32, i32* %31, i32 1
store i32* %32, i32** %6
br label %7
33: ; preds = %19
%34 = load i32*, i32** %5
%35 = load i32, i32* %34
%36 = load i32*, i32** %6
%37 = load i32, i32* %36
%38 = icmp slt i32 %35, %37
br i1 %38, label %39, label %47
39: ; preds = %33
%40 = load i32*, i32** %5
%41 = getelementptr inbounds i32, i32* %40, i32 1
store i32* %41, i32** %5
%42 = load i32*, i32** %5
%43 = load i32, i32* %42
%44 = icmp slt i32 %43, 0
br i1 %44, label %45, label %46
45: ; preds = %39
br label %57
46: ; preds = %39
br label %19
47: ; preds = %33
%48 = load i32*, i32** %6
%49 = load i32, i32* %48
%50 = load i32*, i32** %5
%51 = load i32, i32* %50
%52 = icmp slt i32 %49, %51
br i1 %52, label %53, label %56
53: ; preds = %47
%54 = load i32*, i32** %6
%55 = getelementptr inbounds i32, i32* %54, i32 1
store i32* %55, i32** %6
br label %13
56: ; preds = %47
br label %7
57: ; preds = %45, %17, %11
%58 = load i32*, i32** %4
%59 = getelementptr inbounds i32, i32* %58, i32 1
store i32* %59, i32** %4
store i32 -1, i32* %58
ret void
}

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