void selectSort(int *array, unsigned size) {
  if (size == 1) {
    return;
  }
  unsigned max_index = 0;
  unsigned i = 1;
  for (; i < size; ++i) {
    max_index = (array[i] > array[max_index]) ? i : max_index;
  }
  i = size - 1;
  if (max_index != i) {
    array[i] += array[max_index];
    array[max_index] = array[i] - array[max_index];
    array[i] -= array[max_index];
  }
  selectSort(array, i);
}


x86 assembly (clang, -O0):
<selectSort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x1,-0xc(%rbp)
jne    112e <selectSort+0x1e>
jmp    11f6 <selectSort+0xe6>
movl   $0x0,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    1187 <selectSort+0x77>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x10(%rbp),%edx
cmp    (%rcx,%rdx,4),%eax
jle    116d <selectSort+0x5d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    1173 <selectSort+0x63>
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    113c <selectSort+0x2c>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     11ea <selectSort+0xda>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
mov    (%rax,%rcx,4),%esi
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1030 <selectSort@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<selectSort>:
push   %r14
push   %rbx
cmp    $0x1,%esi
jne    110c <selectSort+0xc>
pop    %rbx
pop    %r14
ret
lea    0x3(%rsi),%r9d
jmp    1129 <selectSort+0x29>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x3,%r9b
cmp    $0x1,%esi
je     1108 <selectSort+0x8>
mov    %esi,%eax
movzbl %r9b,%r9d
and    $0x3,%r9d
mov    %esi,%esi
xor    %r10d,%r10d
cmp    $0x2,%eax
jb     1210 <selectSort+0x110>
lea    -0x1(%rsi),%r8
lea    -0x2(%rsi),%rax
cmp    $0x3,%rax
jae    1160 <selectSort+0x60>
xor    %edx,%edx
mov    $0x1,%ecx
jmp    11c3 <selectSort+0xc3>
nopl   0x0(%rax,%rax,1)
mov    %r8,%r10
and    $0xfffffffffffffffc,%r10
xor    %edx,%edx
mov    $0x1,%ecx
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %edx,%r11d
mov    (%rdi,%rcx,4),%ebx
cmp    (%rdi,%r11,4),%ebx
mov    0x4(%rdi,%rcx,4),%r11d
cmovg  %ecx,%edx
lea    0x1(%rcx),%ebx
cmp    (%rdi,%rdx,4),%r11d
cmovle %edx,%ebx
lea    0x2(%rcx),%eax
mov    0x8(%rdi,%rcx,4),%edx
cmp    (%rdi,%rbx,4),%edx
cmovle %ebx,%eax
lea    0x3(%rcx),%edx
mov    0xc(%rdi,%rcx,4),%ebx
cmp    (%rdi,%rax,4),%ebx
cmovle %eax,%edx
add    $0x4,%rcx
add    $0x4,%r14
cmp    %r10,%r14
jne    1180 <selectSort+0x80>
mov    %edx,%r10d
test   $0x3,%r8b
je     1210 <selectSort+0x110>
mov    %r9,%rax
jmp    11ed <selectSort+0xed>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rcx
mov    %r10d,%edx
add    $0xffffffffffffffff,%rax
je     1210 <selectSort+0x110>
mov    (%rdi,%rcx,4),%r8d
mov    %edx,%ebx
mov    %ecx,%r10d
cmp    (%rdi,%rbx,4),%r8d
jg     11e0 <selectSort+0xe0>
mov    %edx,%r10d
jmp    11e0 <selectSort+0xe0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0xffffffff,%esi
cmp    %esi,%r10d
je     1120 <selectSort+0x20>
mov    %r10d,%eax
mov    %esi,%ecx
mov    (%rdi,%rcx,4),%edx
add    (%rdi,%rax,4),%edx
mov    %edx,(%rdi,%rcx,4)
sub    (%rdi,%rax,4),%edx
mov    %edx,(%rdi,%rax,4)
sub    %edx,(%rdi,%rcx,4)
jmp    1120 <selectSort+0x20>

LLVM IR (-O0):
define void @selectSort(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%7 = load i32, i32* %4
%8 = icmp eq i32 %7, 1
br i1 %8, label %9, label %10
9: ; preds = %2
br label %83
10: ; preds = %2
store i32 0, i32* %5
store i32 1, i32* %6
br label %11
11: ; preds = %33, %10
%12 = load i32, i32* %6
%13 = load i32, i32* %4
%14 = icmp ult i32 %12, %13
br i1 %14, label %15, label %36
15: ; preds = %11
%16 = load i32*, i32** %3
%17 = load i32, i32* %6
%18 = zext i32 %17 to i64
%19 = getelementptr inbounds i32, i32* %16, i64 %18
%20 = load i32, i32* %19
%21 = load i32*, i32** %3
%22 = load i32, i32* %5
%23 = zext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %21, i64 %23
%25 = load i32, i32* %24
%26 = icmp sgt i32 %20, %25
br i1 %26, label %27, label %29
27: ; preds = %15
%28 = load i32, i32* %6
br label %31
29: ; preds = %15
%30 = load i32, i32* %5
br label %31
31: ; preds = %29, %27
%32 = phi i32 [ %28, %27 ], [ %30, %29 ]
store i32 %32, i32* %5
br label %33
33: ; preds = %31
%34 = load i32, i32* %6
%35 = add i32 %34, 1
store i32 %35, i32* %6
br label %11
36: ; preds = %11
%37 = load i32, i32* %4
%38 = sub i32 %37, 1
store i32 %38, i32* %6
%39 = load i32, i32* %5
%40 = load i32, i32* %6
%41 = icmp ne i32 %39, %40
br i1 %41, label %42, label %80
42: ; preds = %36
%43 = load i32*, i32** %3
%44 = load i32, i32* %5
%45 = zext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %43, i64 %45
%47 = load i32, i32* %46
%48 = load i32*, i32** %3
%49 = load i32, i32* %6
%50 = zext i32 %49 to i64
%51 = getelementptr inbounds i32, i32* %48, i64 %50
%52 = load i32, i32* %51
%53 = add nsw i32 %52, %47
store i32 %53, i32* %51
%54 = load i32*, i32** %3
%55 = load i32, i32* %6
%56 = zext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
%58 = load i32, i32* %57
%59 = load i32*, i32** %3
%60 = load i32, i32* %5
%61 = zext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %59, i64 %61
%63 = load i32, i32* %62
%64 = sub nsw i32 %58, %63
%65 = load i32*, i32** %3
%66 = load i32, i32* %5
%67 = zext i32 %66 to i64
%68 = getelementptr inbounds i32, i32* %65, i64 %67
store i32 %64, i32* %68
%69 = load i32*, i32** %3
%70 = load i32, i32* %5
%71 = zext i32 %70 to i64
%72 = getelementptr inbounds i32, i32* %69, i64 %71
%73 = load i32, i32* %72
%74 = load i32*, i32** %3
%75 = load i32, i32* %6
%76 = zext i32 %75 to i64
%77 = getelementptr inbounds i32, i32* %74, i64 %76
%78 = load i32, i32* %77
%79 = sub nsw i32 %78, %73
store i32 %79, i32* %77
br label %80
80: ; preds = %42, %36
%81 = load i32*, i32** %3
%82 = load i32, i32* %6
br label %83
83: ; preds = %80, %9
ret void
}

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