void insertion_sort_full_array(int array[20]) {
  int i, j, key;
  for (j = 1; j < 20; j++) {
    key = array[j];
    i = j - 1;
    while (i >= 0 && array[i] > key)
      array[i + 1] = array[i--];
    array[i + 1] = key;
  }
}


x86 assembly (clang, -O0):
<insertion_sort_full_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0x10(%rbp)
cmpl   $0x14,-0x10(%rbp)
jge    11ae <insertion_sort_full_array+0xae>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x15(%rbp)
jl     1153 <insertion_sort_full_array+0x53>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setg   %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    1163 <insertion_sort_full_array+0x63>
jmp    118d <insertion_sort_full_array+0x8d>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
mov    %ecx,%edx
add    $0xffffffff,%edx
mov    %edx,-0xc(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1130 <insertion_sort_full_array+0x30>
mov    -0x14(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    110f <insertion_sort_full_array+0xf>
pop    %rbp
ret

x86 assembly (clang, -O2):
<insertion_sort_full_array>:
mov    $0x1,%eax
mov    $0x3,%r8d
jmp    1120 <insertion_sort_full_array+0x20>
nopl   (%rax)
xor    %ecx,%ecx
movslq %ecx,%rcx
mov    %edx,(%rdi,%rcx,4)
add    $0x2,%rax
add    $0x2,%r8
mov    (%rdi,%rax,4),%edx
mov    %rax,%rcx
cs nopw 0x0(%rax,%rax,1)
test   %rcx,%rcx
jle    1150 <insertion_sort_full_array+0x50>
lea    -0x1(%rcx),%rsi
cmp    %edx,-0x4(%rdi,%rcx,4)
mov    %rsi,%rcx
jg     1130 <insertion_sort_full_array+0x30>
add    $0x1,%rsi
jmp    1152 <insertion_sort_full_array+0x52>
nopl   0x0(%rax,%rax,1)
xor    %esi,%esi
movslq %esi,%rcx
mov    %edx,(%rdi,%rcx,4)
cmp    $0x13,%rax
je     1184 <insertion_sort_full_array+0x84>
mov    0x4(%rdi,%rax,4),%edx
mov    %r8,%rsi
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x1(%rsi),%rcx
test   %rcx,%rcx
jle    1110 <insertion_sort_full_array+0x10>
cmp    %edx,-0x8(%rdi,%rsi,4)
mov    %rcx,%rsi
jg     1170 <insertion_sort_full_array+0x70>
jmp    1112 <insertion_sort_full_array+0x12>
ret

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

LLVM IR (-O2):
define void @insertion_sort_full_array(i32* nocapture %0) {
br label %2
2: ; preds = %32, %1
%3 = phi i64 [ 1, %1 ], [ %37, %32 ]
%4 = getelementptr inbounds i32, i32* %0, i64 %3
%5 = load i32, i32* %4
br label %6
6: ; preds = %10, %2
%7 = phi i64 [ %8, %10 ], [ %3, %2 ]
%8 = add nsw i64 %7, -1
%9 = icmp sgt i64 %7, 0
br i1 %9, label %10, label %14
10: ; preds = %6
%11 = getelementptr inbounds i32, i32* %0, i64 %8
%12 = load i32, i32* %11
%13 = icmp sgt i32 %12, %5
br i1 %13, label %6, label %14
14: ; preds = %6, %10
%15 = phi i64 [ 0, %6 ], [ %7, %10 ]
%16 = shl i64 %15, 32
%17 = ashr exact i64 %16, 32
%18 = getelementptr inbounds i32, i32* %0, i64 %17
store i32 %5, i32* %18
%19 = add nuw nsw i64 %3, 1
%20 = icmp eq i64 %19, 20
br i1 %20, label %38, label %21
21: ; preds = %14
%22 = getelementptr inbounds i32, i32* %0, i64 %19
%23 = load i32, i32* %22
br label %24
24: ; preds = %28, %21
%25 = phi i64 [ %26, %28 ], [ %19, %21 ]
%26 = add nsw i64 %25, -1
%27 = icmp sgt i64 %25, 0
br i1 %27, label %28, label %32
28: ; preds = %24
%29 = getelementptr inbounds i32, i32* %0, i64 %26
%30 = load i32, i32* %29
%31 = icmp sgt i32 %30, %23
br i1 %31, label %24, label %32
32: ; preds = %28, %24
%33 = phi i64 [ 0, %24 ], [ %25, %28 ]
%34 = shl i64 %33, 32
%35 = ashr exact i64 %34, 32
%36 = getelementptr inbounds i32, i32* %0, i64 %35
store i32 %23, i32* %36
%37 = add nuw nsw i64 %3, 2
br label %2
38: ; preds = %14
ret void
}