void update_tail(int *tail, int a, int b) {
  if (tail[a] == -1) {
    if (tail[b] == -1) {
      tail[a] = b;
      tail[b] = a;
    } else {
      tail[a] = tail[b];
      tail[tail[b]] = a;
    }
  } else if (tail[b] == -1) {
    tail[tail[a]] = b;
    tail[b] = tail[a];
  } else {
    tail[tail[a]] = tail[b];
    tail[tail[b]] = tail[a];
  }
}


x86 assembly (clang, -O0):
<update_tail>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
jne    1184 <update_tail+0x84>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
jne    1153 <update_tail+0x53>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    117f <update_tail+0x7f>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x10(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1208 <update_tail+0x108>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
jne    11c7 <update_tail+0xc7>
mov    -0x10(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1203 <update_tail+0x103>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x10(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1208 <update_tail+0x108>
pop    %rbp
ret

x86 assembly (clang, -O2):
<update_tail>:
movslq %esi,%rax
movslq (%rdi,%rax,4),%rsi
movslq %edx,%rcx
mov    (%rdi,%rcx,4),%edx
cmp    $0xffffffffffffffff,%rsi
je     1126 <update_tail+0x26>
cmp    $0xffffffff,%edx
je     1136 <update_tail+0x36>
mov    %edx,(%rdi,%rsi,4)
mov    (%rdi,%rax,4),%eax
movslq (%rdi,%rcx,4),%rcx
mov    %eax,(%rdi,%rcx,4)
ret
cmp    $0xffffffff,%edx
je     1140 <update_tail+0x40>
mov    %edx,(%rdi,%rax,4)
movslq (%rdi,%rcx,4),%rcx
mov    %eax,(%rdi,%rcx,4)
ret
mov    %ecx,(%rdi,%rsi,4)
mov    (%rdi,%rax,4),%eax
mov    %eax,(%rdi,%rcx,4)
ret
mov    %ecx,(%rdi,%rax,4)
mov    %eax,(%rdi,%rcx,4)
ret

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

LLVM IR (-O2):
define void @update_tail(i32* nocapture %0, i32 %1, i32 %2) {
%4 = sext i32 %1 to i64
%5 = getelementptr inbounds i32, i32* %0, i64 %4
%6 = load i32, i32* %5
%7 = icmp eq i32 %6, -1
%8 = sext i32 %2 to i64
%9 = getelementptr inbounds i32, i32* %0, i64 %8
%10 = load i32, i32* %9
%11 = icmp eq i32 %10, -1
br i1 %7, label %12, label %18
12: ; preds = %3
br i1 %11, label %13, label %14
13: ; preds = %12
store i32 %2, i32* %5
store i32 %1, i32* %9
br label %28
14: ; preds = %12
store i32 %10, i32* %5
%15 = load i32, i32* %9
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %0, i64 %16
store i32 %1, i32* %17
br label %28
18: ; preds = %3
%19 = sext i32 %6 to i64
%20 = getelementptr inbounds i32, i32* %0, i64 %19
br i1 %11, label %21, label %23
21: ; preds = %18
store i32 %2, i32* %20
%22 = load i32, i32* %5
store i32 %22, i32* %9
br label %28
23: ; preds = %18
store i32 %10, i32* %20
%24 = load i32, i32* %5
%25 = load i32, i32* %9
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %0, i64 %26
store i32 %24, i32* %27
br label %28
28: ; preds = %21, %23, %13, %14
ret void
}