int main_test(unsigned int SIZE, int i, int j, int k, int key) {
  int v[SIZE];
  for (j = 1; j < SIZE; j++) {
    key = v[j];
    i = j - 1;
    while ((i >= 0) && (v[i] > key)) {
      if (i < 2)
        v[i + 1] = v[i];
      i = i - 1;
    }
    v[i + 1] = key;
  }
  return 0;
}


x86 assembly (clang, -O0):
<main_test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    %r8d,-0x14(%rbp)
mov    -0x4(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x20(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x28(%rbp)
movl   $0x1,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x4(%rbp),%eax
jae    11ec <main_test+0xec>
mov    -0x30(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x31(%rbp)
jl     118c <main_test+0x8c>
mov    -0x30(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x14(%rbp),%eax
setg   %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    119c <main_test+0x9c>
jmp    11cb <main_test+0xcb>
cmpl   $0x2,-0x8(%rbp)
jge    11bd <main_test+0xbd>
mov    -0x30(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x8(%rbp)
jmp    1169 <main_test+0x69>
mov    -0x30(%rbp),%rax
mov    -0x14(%rbp),%edx
mov    -0x8(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1146 <main_test+0x46>
mov    -0x20(%rbp),%rax
mov    %rax,%rsp
xor    %eax,%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main_test>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,%r8d
mov    %rsp,%rcx
lea    0xf(,%r8,4),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rcx
mov    %rcx,%rsp
cmp    $0x2,%edi
jb     1175 <main_test+0x75>
mov    $0x1,%r9d
jmp    1141 <main_test+0x41>
nopl   0x0(%rax)
xor    %edx,%edx
movslq %edx,%rax
mov    %esi,(%rcx,%rax,4)
add    $0x1,%r9
cmp    %r8,%r9
je     1175 <main_test+0x75>
mov    (%rcx,%r9,4),%esi
mov    %r9,%rdx
jmp    115d <main_test+0x5d>
nopw   0x0(%rax,%rax,1)
lea    0x1(%rdi),%rax
mov    %rdi,%rdx
cmp    $0x1,%rax
jle    1130 <main_test+0x30>
lea    -0x1(%rdx),%rdi
mov    %edi,%eax
mov    (%rcx,%rax,4),%eax
cmp    %esi,%eax
jle    1132 <main_test+0x32>
cmp    $0x2,%rdx
ja     1150 <main_test+0x50>
mov    %eax,(%rcx,%rdx,4)
jmp    1150 <main_test+0x50>
xor    %eax,%eax
mov    %rbp,%rsp
pop    %rbp
ret

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

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