void insertionSort(long list[], long start, long end) {
  for (long x = start + 1; x <= end; x++) {
    long val = list[x];
    long j = x - 1;
    while (j >= 0 && val < list[j]) {
      list[j + 1] = list[j];
      j--;
    }
    list[j + 1] = val;
  }
}


x86 assembly (clang, -O0):
<insertionSort>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jg     11c8 <insertionSort+0xc8>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %rax,-0x30(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x30(%rbp)
mov    %al,-0x31(%rbp)
jl     116c <insertionSort+0x6c>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
setl   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    117c <insertionSort+0x7c>
jmp    11a6 <insertionSort+0xa6>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rdx,0x8(%rax,%rcx,8)
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    1146 <insertionSort+0x46>
mov    -0x28(%rbp),%rdx
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rdx,0x8(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    111c <insertionSort+0x1c>
pop    %rbp
ret

x86 assembly (clang, -O2):
<insertionSort>:
cmp    %rdx,%rsi
jl     1123 <insertionSort+0x23>
ret
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%rsi
mov    %rsi,%rax
mov    %rcx,(%rdi,%rax,8)
mov    %r8,%rsi
cmp    %rdx,%r8
je     1105 <insertionSort+0x5>
lea    0x1(%rsi),%r8
mov    0x8(%rdi,%rsi,8),%rcx
mov    %r8,%rax
test   %rsi,%rsi
js     1117 <insertionSort+0x17>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rdi,%rsi,8),%rax
cmp    %rax,%rcx
jge    1110 <insertionSort+0x10>
mov    %rax,0x8(%rdi,%rsi,8)
lea    -0x1(%rsi),%rax
test   %rsi,%rsi
mov    %rax,%rsi
jg     1140 <insertionSort+0x40>
mov    $0xffffffffffffffff,%rsi
jmp    1110 <insertionSort+0x10>

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

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