void exchange(int *q1, int *q2, int *q3) {
  void swap(int *pt1, int *pt2);
  if (*q1 < *q2)
    swap(q1, q2);
  if (*q1 < *q3)
    swap(q1, q3);
  if (*q2 < *q3)
    swap(q2, q3);
}


x86 assembly (clang, -O0):
<exchange>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1143 <exchange+0x33>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <swap@plt>
mov    -0x8(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1162 <exchange+0x52>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <swap@plt>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1181 <exchange+0x71>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <swap@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<exchange>:
push   %r15
push   %r14
push   %rbx
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
mov    (%rdi),%eax
cmp    (%rsi),%eax
jge    1131 <exchange+0x21>
mov    %rbx,%rdi
mov    %r15,%rsi
call   1030 <swap@plt>
mov    (%rbx),%eax
mov    (%r14),%ecx
cmp    %ecx,%eax
jge    1146 <exchange+0x36>
mov    %rbx,%rdi
mov    %r14,%rsi
call   1030 <swap@plt>
mov    (%r14),%ecx
cmp    %ecx,(%r15)
jge    115b <exchange+0x4b>
mov    %r15,%rdi
mov    %r14,%rsi
pop    %rbx
pop    %r14
pop    %r15
jmp    1030 <swap@plt>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @exchange(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* %7
%9 = load i32*, i32** %5
%10 = load i32, i32* %9
%11 = icmp slt i32 %8, %10
br i1 %11, label %12, label %15
12: ; preds = %3
%13 = load i32*, i32** %4
%14 = load i32*, i32** %5
br label %15
15: ; preds = %12, %3
%16 = load i32*, i32** %4
%17 = load i32, i32* %16
%18 = load i32*, i32** %6
%19 = load i32, i32* %18
%20 = icmp slt i32 %17, %19
br i1 %20, label %21, label %24
21: ; preds = %15
%22 = load i32*, i32** %4
%23 = load i32*, i32** %6
br label %24
24: ; preds = %21, %15
%25 = load i32*, i32** %5
%26 = load i32, i32* %25
%27 = load i32*, i32** %6
%28 = load i32, i32* %27
%29 = icmp slt i32 %26, %28
br i1 %29, label %30, label %33
30: ; preds = %24
%31 = load i32*, i32** %5
%32 = load i32*, i32** %6
br label %33
33: ; preds = %30, %24
ret void
}

LLVM IR (-O2):
define void @exchange(i32* %0, i32* %1, i32* %2) {
%4 = load i32, i32* %0
%5 = load i32, i32* %1
%6 = icmp slt i32 %4, %5
br i1 %6, label %7, label %9
7: ; preds = %3
tail call void @swap(i32* %0, i32* %1)
%8 = load i32, i32* %0
br label %9
9: ; preds = %7, %3
%10 = phi i32 [ %8, %7 ], [ %4, %3 ]
%11 = load i32, i32* %2
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %15
13: ; preds = %9
tail call void @swap(i32* %0, i32* %2)
%14 = load i32, i32* %2
br label %15
15: ; preds = %13, %9
%16 = phi i32 [ %14, %13 ], [ %11, %9 ]
%17 = load i32, i32* %1
%18 = icmp slt i32 %17, %16
br i1 %18, label %19, label %20
19: ; preds = %15
tail call void @swap(i32* %1, i32* %2)
br label %20
20: ; preds = %19, %15
ret void
}