#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
void insertionsort(unsigned char *a, size_t n, size_t size,
                   int (*cmp)(const void *, const void *)) {
  unsigned char *ai, *s, *t, *u, tmp;
  size_t i;
  for (ai = a + size; --n >= 1; ai += size)
    for (t = ai; t > a; t -= size) {
      u = t - size;
      if (cmp(u, t) <= 0)
        break;
      {
        s = t;
        i = size;
        do {
          tmp = *u;
          *u++ = *s;
          *s++ = tmp;
        } while (--i);
        u -= size;
      };
    }
}


x86 assembly (clang, -O0):
<insertionsort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
cmp    $0x1,%rax
jb     121a <insertionsort+0x11a>
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x8(%rbp),%rax
jbe    1204 <insertionsort+0x104>
mov    -0x38(%rbp),%rax
xor    %ecx,%ecx
sub    -0x18(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   *%rax
cmp    $0x0,%eax
jg     117d <insertionsort+0x7d>
jmp    1204 <insertionsort+0x104>
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x40(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x41(%rbp)
mov    -0x30(%rbp),%rax
mov    (%rax),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
mov    -0x41(%rbp),%cl
mov    -0x30(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
mov    %cl,(%rax)
mov    -0x50(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x50(%rbp)
cmp    $0x0,%rax
jne    118d <insertionsort+0x8d>
mov    -0x18(%rbp),%rdx
mov    -0x40(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rdx
mov    -0x38(%rbp),%rax
xor    %ecx,%ecx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    1142 <insertionsort+0x42>
jmp    1209 <insertionsort+0x109>
mov    -0x18(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1124 <insertionsort+0x24>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<insertionsort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %rcx,0x60(%rsp)
mov    %rdi,0x10(%rsp)
add    $0xffffffffffffffff,%rsi
je     139e <insertionsort+0x29e>
mov    %rdx,%r9
neg    %r9
lea    -0x20(%rdx),%rax
mov    %rax,0x48(%rsp)
mov    %rax,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %rdx,%rax
and    $0xffffffffffffffe0,%rax
mov    %rax,0x8(%rsp)
mov    %rcx,%rax
mov    %rcx,0x40(%rsp)
and    $0xfffffffffffffffe,%rcx
mov    %rcx,0x20(%rsp)
mov    %edx,%eax
and    $0x1f,%eax
mov    %rax,0x18(%rsp)
mov    %rdx,%rax
and    $0xfffffffffffffff8,%rax
mov    %rax,0x50(%rsp)
mov    %edx,%eax
and    $0x7,%eax
mov    %rax,0x58(%rsp)
mov    0x10(%rsp),%r12
lea    0x30(%r12),%r14
jmp    11ac <insertionsort+0xac>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x30(%rsp),%r14
add    %rdx,%r14
mov    0x38(%rsp),%rsi
add    $0xffffffffffffffff,%rsi
mov    0x28(%rsp),%r12
je     139e <insertionsort+0x29e>
mov    %rsi,0x38(%rsp)
lea    (%r12,%rdx,1),%rax
mov    %r14,0x30(%rsp)
mov    %rax,%r15
mov    %rax,0x28(%rsp)
cmp    0x10(%rsp),%rax
ja     11dd <insertionsort+0xdd>
jmp    1190 <insertionsort+0x90>
nopl   0x0(%rax,%rax,1)
add    %r9,%r14
add    %r9,%r12
cmp    0x10(%rsp),%r15
jbe    1190 <insertionsort+0x90>
mov    %r15,%r13
add    %r9,%r15
mov    %r15,%rdi
mov    %r13,%rsi
mov    %rdx,%rbx
mov    %r9,%rbp
call   *0x60(%rsp)
mov    %rbp,%r9
mov    %rbx,%rdx
test   %eax,%eax
jle    1190 <insertionsort+0x90>
cmp    $0x8,%rdx
jae    1220 <insertionsort+0x120>
mov    %r13,%rcx
mov    %r15,%r8
mov    %rdx,%rdi
jmp    1370 <insertionsort+0x270>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x20,%rdx
jae    1230 <insertionsort+0x130>
xor    %ebp,%ebp
jmp    1302 <insertionsort+0x202>
nopl   (%rax)
cmpq   $0x20,0x48(%rsp)
jae    123c <insertionsort+0x13c>
xor    %eax,%eax
jmp    12b8 <insertionsort+0x1b8>
mov    0x20(%rsp),%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x30(%r14,%rax,1),%xmm0
movups -0x20(%r14,%rax,1),%xmm1
movups 0x0(%r13,%rax,1),%xmm2
movups 0x10(%r13,%rax,1),%xmm3
movups %xmm2,-0x30(%r14,%rax,1)
movups %xmm3,-0x20(%r14,%rax,1)
movups %xmm0,0x0(%r13,%rax,1)
movups %xmm1,0x10(%r13,%rax,1)
movups -0x10(%r14,%rax,1),%xmm0
movups (%r14,%rax,1),%xmm1
movups 0x20(%r13,%rax,1),%xmm2
movups 0x30(%r13,%rax,1),%xmm3
movups %xmm2,-0x10(%r14,%rax,1)
movups %xmm3,(%r14,%rax,1)
movups %xmm0,0x20(%r13,%rax,1)
movups %xmm1,0x30(%r13,%rax,1)
add    $0x40,%rax
add    $0xfffffffffffffffe,%rcx
jne    1250 <insertionsort+0x150>
testb  $0x1,0x40(%rsp)
je     12ed <insertionsort+0x1ed>
movups (%r15,%rax,1),%xmm0
movups 0x10(%r15,%rax,1),%xmm1
movups 0x0(%r13,%rax,1),%xmm2
movups 0x10(%r13,%rax,1),%xmm3
movups %xmm2,(%r15,%rax,1)
movups %xmm3,0x10(%r15,%rax,1)
movups %xmm0,0x0(%r13,%rax,1)
movups %xmm1,0x10(%r13,%rax,1)
cmp    %rdx,0x8(%rsp)
je     11d0 <insertionsort+0xd0>
mov    0x8(%rsp),%rbp
test   $0x18,%dl
je     134d <insertionsort+0x24d>
mov    0x50(%rsp),%rax
lea    (%rax,%r13,1),%rcx
lea    (%r15,%rax,1),%r8
lea    (%r12,%rbp,1),%rsi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsi),%rdi
mov    0x0(%r13,%rbp,1),%rbx
mov    %rbx,(%rsi)
mov    %rdi,0x0(%r13,%rbp,1)
add    $0x8,%rbp
add    $0x8,%rsi
cmp    %rbp,%rax
jne    1320 <insertionsort+0x220>
mov    0x58(%rsp),%rdi
cmp    %rdx,%rax
je     11d0 <insertionsort+0xd0>
jmp    1370 <insertionsort+0x270>
mov    0x8(%rsp),%rax
lea    (%r15,%rax,1),%r8
add    %rax,%r13
mov    %r13,%rcx
mov    0x18(%rsp),%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%r8,%rsi,1),%ebx
movzbl (%rcx,%rsi,1),%eax
mov    %al,(%r8,%rsi,1)
mov    %bl,(%rcx,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%rdi
jne    1380 <insertionsort+0x280>
jmp    11d0 <insertionsort+0xd0>
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @insertionsort(i8* %0, i64 %1, i64 %2, i32 (i8*, i8*)* %3) {
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i32 (i8*, i8*)*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i8
%14 = alloca i64
store i8* %0, i8** %5
store i64 %1, i64* %6
store i64 %2, i64* %7
store i32 (i8*, i8*)* %3, i32 (i8*, i8*)** %8
%15 = load i8*, i8** %5
%16 = load i64, i64* %7
%17 = getelementptr inbounds i8, i8* %15, i64 %16
store i8* %17, i8** %9
br label %18
18: ; preds = %67, %4
%19 = load i64, i64* %6
%20 = add i64 %19, -1
store i64 %20, i64* %6
%21 = icmp uge i64 %20, 1
br i1 %21, label %22, label %71
22: ; preds = %18
%23 = load i8*, i8** %9
store i8* %23, i8** %11
br label %24
24: ; preds = %61, %22
%25 = load i8*, i8** %11
%26 = load i8*, i8** %5
%27 = icmp ugt i8* %25, %26
br i1 %27, label %28, label %66
28: ; preds = %24
%29 = load i8*, i8** %11
%30 = load i64, i64* %7
%31 = sub i64 0, %30
%32 = getelementptr inbounds i8, i8* %29, i64 %31
store i8* %32, i8** %12
%33 = load i32 (i8*, i8*)*, i32 (i8*, i8*)** %8
%34 = load i8*, i8** %12
%35 = load i8*, i8** %11
%36 = call i32 %33(i8* %34, i8* %35)
%37 = icmp sle i32 %36, 0
br i1 %37, label %38, label %39
38: ; preds = %28
br label %66
39: ; preds = %28
%40 = load i8*, i8** %11
store i8* %40, i8** %10
%41 = load i64, i64* %7
store i64 %41, i64* %14
br label %42
42: ; preds = %52, %39
%43 = load i8*, i8** %12
%44 = load i8, i8* %43
store i8 %44, i8* %13
%45 = load i8*, i8** %10
%46 = load i8, i8* %45
%47 = load i8*, i8** %12
%48 = getelementptr inbounds i8, i8* %47, i32 1
store i8* %48, i8** %12
store i8 %46, i8* %47
%49 = load i8, i8* %13
%50 = load i8*, i8** %10
%51 = getelementptr inbounds i8, i8* %50, i32 1
store i8* %51, i8** %10
store i8 %49, i8* %50
br label %52
52: ; preds = %42
%53 = load i64, i64* %14
%54 = add i64 %53, -1
store i64 %54, i64* %14
%55 = icmp ne i64 %54, 0
br i1 %55, label %42, label %56
56: ; preds = %52
%57 = load i64, i64* %7
%58 = load i8*, i8** %12
%59 = sub i64 0, %57
%60 = getelementptr inbounds i8, i8* %58, i64 %59
store i8* %60, i8** %12
br label %61
61: ; preds = %56
%62 = load i64, i64* %7
%63 = load i8*, i8** %11
%64 = sub i64 0, %62
%65 = getelementptr inbounds i8, i8* %63, i64 %64
store i8* %65, i8** %11
br label %24
66: ; preds = %38, %24
br label %67
67: ; preds = %66
%68 = load i64, i64* %7
%69 = load i8*, i8** %9
%70 = getelementptr inbounds i8, i8* %69, i64 %68
store i8* %70, i8** %9
br label %18
71: ; preds = %18
ret void
}

LLVM IR (-O2):
define void @insertionsort(i8* %0, i64 %1, i64 %2, i32 (i8*, i8*)* nocapture %3) {
%5 = add i64 %1, -1
%6 = icmp eq i64 %5, 0
br i1 %6, label %137, label %7
7: ; preds = %4
%8 = sub i64 0, %2
%9 = add i64 %2, -32
%10 = lshr i64 %9, 5
%11 = add nuw nsw i64 %10, 1
%12 = icmp ult i64 %2, 8
%13 = icmp ult i64 %2, 32
%14 = and i64 %2, -32
%15 = and i64 %11, 1
%16 = icmp ult i64 %9, 32
%17 = and i64 %11, 1152921504606846974
%18 = icmp eq i64 %15, 0
%19 = icmp eq i64 %14, %2
%20 = and i64 %2, 31
%21 = and i64 %2, 24
%22 = icmp eq i64 %21, 0
%23 = and i64 %2, -8
%24 = and i64 %2, 7
%25 = icmp eq i64 %23, %2
br label %26
26: ; preds = %7, %134
%27 = phi i64 [ %5, %7 ], [ %135, %134 ]
%28 = phi i8* [ %0, %7 ], [ %29, %134 ]
%29 = getelementptr inbounds i8, i8* %28, i64 %2
%30 = icmp ugt i8* %29, %0
br i1 %30, label %33, label %134
31: ; preds = %124, %119, %99
%32 = icmp ugt i8* %35, %0
br i1 %32, label %33, label %134
33: ; preds = %26, %31
%34 = phi i8* [ %35, %31 ], [ %29, %26 ]
%35 = getelementptr inbounds i8, i8* %34, i64 %8
%36 = tail call i32 %3(i8* %35, i8* %34)
%37 = icmp slt i32 %36, 1
br i1 %37, label %134, label %38
38: ; preds = %33
br i1 %12, label %120, label %39
39: ; preds = %38
br i1 %13, label %103, label %40
40: ; preds = %39
br i1 %16, label %80, label %41
41: ; preds = %40, %41
%42 = phi i64 [ %77, %41 ], [ 0, %40 ]
%43 = phi i64 [ %78, %41 ], [ 0, %40 ]
%44 = getelementptr i8, i8* %34, i64 %42
%45 = getelementptr i8, i8* %35, i64 %42
%46 = bitcast i8* %45 to <16 x i8>*
%47 = load <16 x i8>, <16 x i8>* %46
%48 = getelementptr i8, i8* %45, i64 16
%49 = bitcast i8* %48 to <16 x i8>*
%50 = load <16 x i8>, <16 x i8>* %49
%51 = bitcast i8* %44 to <16 x i8>*
%52 = load <16 x i8>, <16 x i8>* %51
%53 = getelementptr i8, i8* %44, i64 16
%54 = bitcast i8* %53 to <16 x i8>*
%55 = load <16 x i8>, <16 x i8>* %54
%56 = bitcast i8* %45 to <16 x i8>*
store <16 x i8> %52, <16 x i8>* %56
%57 = bitcast i8* %48 to <16 x i8>*
store <16 x i8> %55, <16 x i8>* %57
%58 = bitcast i8* %44 to <16 x i8>*
store <16 x i8> %47, <16 x i8>* %58
%59 = bitcast i8* %53 to <16 x i8>*
store <16 x i8> %50, <16 x i8>* %59
%60 = or i64 %42, 32
%61 = getelementptr i8, i8* %34, i64 %60
%62 = getelementptr i8, i8* %35, i64 %60
%63 = bitcast i8* %62 to <16 x i8>*
%64 = load <16 x i8>, <16 x i8>* %63
%65 = getelementptr i8, i8* %62, i64 16
%66 = bitcast i8* %65 to <16 x i8>*
%67 = load <16 x i8>, <16 x i8>* %66
%68 = bitcast i8* %61 to <16 x i8>*
%69 = load <16 x i8>, <16 x i8>* %68
%70 = getelementptr i8, i8* %61, i64 16
%71 = bitcast i8* %70 to <16 x i8>*
%72 = load <16 x i8>, <16 x i8>* %71
%73 = bitcast i8* %62 to <16 x i8>*
store <16 x i8> %69, <16 x i8>* %73
%74 = bitcast i8* %65 to <16 x i8>*
store <16 x i8> %72, <16 x i8>* %74
%75 = bitcast i8* %61 to <16 x i8>*
store <16 x i8> %64, <16 x i8>* %75
%76 = bitcast i8* %70 to <16 x i8>*
store <16 x i8> %67, <16 x i8>* %76
%77 = add nuw i64 %42, 64
%78 = add i64 %43, 2
%79 = icmp eq i64 %78, %17
br i1 %79, label %80, label %41
80: ; preds = %41, %40
%81 = phi i64 [ 0, %40 ], [ %77, %41 ]
br i1 %18, label %99, label %82
82: ; preds = %80
%83 = getelementptr i8, i8* %34, i64 %81
%84 = getelementptr i8, i8* %35, i64 %81
%85 = bitcast i8* %84 to <16 x i8>*
%86 = load <16 x i8>, <16 x i8>* %85
%87 = getelementptr i8, i8* %84, i64 16
%88 = bitcast i8* %87 to <16 x i8>*
%89 = load <16 x i8>, <16 x i8>* %88
%90 = bitcast i8* %83 to <16 x i8>*
%91 = load <16 x i8>, <16 x i8>* %90
%92 = getelementptr i8, i8* %83, i64 16
%93 = bitcast i8* %92 to <16 x i8>*
%94 = load <16 x i8>, <16 x i8>* %93
%95 = bitcast i8* %84 to <16 x i8>*
store <16 x i8> %91, <16 x i8>* %95
%96 = bitcast i8* %87 to <16 x i8>*
store <16 x i8> %94, <16 x i8>* %96
%97 = bitcast i8* %83 to <16 x i8>*
store <16 x i8> %86, <16 x i8>* %97
%98 = bitcast i8* %92 to <16 x i8>*
store <16 x i8> %89, <16 x i8>* %98
br label %99
99: ; preds = %80, %82
br i1 %19, label %31, label %100
100: ; preds = %99
%101 = getelementptr i8, i8* %35, i64 %14
%102 = getelementptr i8, i8* %34, i64 %14
br i1 %22, label %120, label %103
103: ; preds = %39, %100
%104 = phi i64 [ %14, %100 ], [ 0, %39 ]
%105 = getelementptr i8, i8* %34, i64 %23
%106 = getelementptr i8, i8* %35, i64 %23
br label %107
107: ; preds = %107, %103
%108 = phi i64 [ %104, %103 ], [ %117, %107 ]
%109 = getelementptr i8, i8* %34, i64 %108
%110 = getelementptr i8, i8* %35, i64 %108
%111 = bitcast i8* %110 to <8 x i8>*
%112 = load <8 x i8>, <8 x i8>* %111
%113 = bitcast i8* %109 to <8 x i8>*
%114 = load <8 x i8>, <8 x i8>* %113
%115 = bitcast i8* %110 to <8 x i8>*
store <8 x i8> %114, <8 x i8>* %115
%116 = bitcast i8* %109 to <8 x i8>*
store <8 x i8> %112, <8 x i8>* %116
%117 = add nuw i64 %108, 8
%118 = icmp eq i64 %117, %23
br i1 %118, label %119, label %107
119: ; preds = %107
br i1 %25, label %31, label %120
120: ; preds = %38, %100, %119
%121 = phi i8* [ %34, %38 ], [ %102, %100 ], [ %105, %119 ]
%122 = phi i8* [ %35, %38 ], [ %101, %100 ], [ %106, %119 ]
%123 = phi i64 [ %2, %38 ], [ %20, %100 ], [ %24, %119 ]
br label %124
124: ; preds = %120, %124
%125 = phi i8* [ %131, %124 ], [ %121, %120 ]
%126 = phi i8* [ %130, %124 ], [ %122, %120 ]
%127 = phi i64 [ %132, %124 ], [ %123, %120 ]
%128 = load i8, i8* %126
%129 = load i8, i8* %125
%130 = getelementptr inbounds i8, i8* %126, i64 1
store i8 %129, i8* %126
%131 = getelementptr inbounds i8, i8* %125, i64 1
store i8 %128, i8* %125
%132 = add i64 %127, -1
%133 = icmp eq i64 %132, 0
br i1 %133, label %31, label %124
134: ; preds = %33, %31, %26
%135 = add i64 %27, -1
%136 = icmp eq i64 %135, 0
br i1 %136, label %137, label %26
137: ; preds = %134, %4
ret void
}