void QSort2(int a[], int left, int right) {
  if (left < right) {
    int i = left, j = right, pivot = a[left];
    while (i < j) {
      while (i < j && a[j] >= pivot)
        j--;
      if (i < j)
        a[i] = a[j];
      while (i < j && a[i] <= pivot)
        i++;
      if (i < j)
        a[j] = a[i];
    }
    a[i] = pivot;
    QSort2(a, left, i - 1);
    QSort2(a, i + 1, right);
  }
}


x86 assembly (clang, -O0):
<QSort2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    125f <QSort2+0x14f>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    122d <QSort2+0x11d>
jmp    1159 <QSort2+0x49>
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x1d(%rbp)
jge    117e <QSort2+0x6e>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
setge  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    118e <QSort2+0x7e>
jmp    119c <QSort2+0x8c>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1159 <QSort2+0x49>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11be <QSort2+0xae>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11c3 <QSort2+0xb3>
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0x18(%rbp),%ecx
mov    %al,-0x1e(%rbp)
jge    11e8 <QSort2+0xd8>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x1c(%rbp),%eax
setle  %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
test   $0x1,%al
jne    11f8 <QSort2+0xe8>
jmp    1206 <QSort2+0xf6>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11c3 <QSort2+0xb3>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1228 <QSort2+0x118>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1148 <QSort2+0x38>
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
call   1030 <QSort2@plt>
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
call   1030 <QSort2@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<QSort2>:
push   %rbp
push   %r14
push   %rbx
cmp    %edx,%esi
jge    11c8 <QSort2+0xb8>
mov    %edx,%r14d
mov    %rdi,%rbx
jmp    114b <QSort2+0x3b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movslq %ebp,%rcx
mov    %eax,(%rbx,%rcx,4)
lea    -0x1(%rbp),%edx
mov    %rbx,%rdi
call   1030 <QSort2@plt>
add    $0x1,%ebp
mov    %ebp,%esi
cmp    %r14d,%ebp
jge    11c8 <QSort2+0xb8>
movslq %esi,%rcx
mov    (%rbx,%rcx,4),%eax
mov    %esi,%ebp
cmp    %r14d,%ecx
jge    1133 <QSort2+0x23>
mov    %esi,%ebp
mov    %r14d,%ecx
jmp    116a <QSort2+0x5a>
nop
movslq %ecx,%rdx
mov    %edi,(%rbx,%rdx,4)
cmp    %ecx,%ebp
jge    1130 <QSort2+0x20>
movslq %ebp,%rdx
cmp    %ecx,%ebp
jge    1190 <QSort2+0x80>
movslq %ecx,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rbx,%rcx,4),%edi
cmp    %eax,%edi
jl     11a0 <QSort2+0x90>
add    $0xffffffffffffffff,%rcx
cmp    %rdx,%rcx
jg     1180 <QSort2+0x70>
cmp    %ecx,%ebp
jge    1166 <QSort2+0x56>
jmp    11a7 <QSort2+0x97>
cs nopw 0x0(%rax,%rax,1)
mov    %edi,(%rbx,%rdx,4)
cmp    %ecx,%ebp
jge    1166 <QSort2+0x56>
lea    (%rbx,%rdx,4),%rdx
nopl   0x0(%rax,%rax,1)
mov    (%rdx),%edi
cmp    %eax,%edi
jg     1160 <QSort2+0x50>
add    $0x1,%ebp
add    $0x4,%rdx
cmp    %ebp,%ecx
jne    11b0 <QSort2+0xa0>
mov    %ecx,%ebp
jmp    1130 <QSort2+0x20>
pop    %rbx
pop    %r14
pop    %rbp
ret

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

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