void shellSort2(int a[], int n) {
  int j, gap;
  for (gap = n / 2; gap > 0; gap /= 2) {
    for (j = gap; j < n; j++) {
      if (a[j] < a[j - gap]) {
        int temp = a[j];
        int k = j - gap;
        while (k >= 0 && a[k] > temp) {
          a[k + gap] = a[k];
          k -= gap;
        }
        a[k + gap] = temp;
      }
    }
  }
}


x86 assembly (clang, -O0):
<shellSort2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    1209 <shellSort2+0x109>
mov    -0x14(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11f1 <shellSort2+0xf1>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0x10(%rbp),%edx
sub    -0x14(%rbp),%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11de <shellSort2+0xde>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x1d(%rbp)
jl     1190 <shellSort2+0x90>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x18(%rbp),%eax
setg   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    11a0 <shellSort2+0xa0>
jmp    11cb <shellSort2+0xcb>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x14(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
jmp    116d <shellSort2+0x6d>
mov    -0x18(%rbp),%edx
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11e3 <shellSort2+0xe3>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1129 <shellSort2+0x29>
jmp    11f6 <shellSort2+0xf6>
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x14(%rbp)
jmp    1119 <shellSort2+0x19>
pop    %rbp
ret

x86 assembly (clang, -O2):
<shellSort2>:
push   %rbp
push   %rbx
cmp    $0x2,%esi
jl     1168 <shellSort2+0x68>
movslq %esi,%r9
mov    %esi,%ecx
jmp    1116 <shellSort2+0x16>
xchg   %ax,%ax
cmp    $0x4,%r8d
jl     1168 <shellSort2+0x68>
mov    %ecx,%r8d
shr    $0x1f,%ecx
add    %r8d,%ecx
sar    %ecx
cmp    %esi,%ecx
jge    1110 <shellSort2+0x10>
movslq %ecx,%r10
mov    %r10,%r11
jmp    1141 <shellSort2+0x41>
nopl   (%rax)
add    %ecx,%edx
movslq %edx,%rdx
mov    %eax,(%rdi,%rdx,4)
add    $0x1,%r11
cmp    %r9,%r11
je     1110 <shellSort2+0x10>
mov    (%rdi,%r11,4),%eax
mov    %r11,%rdx
sub    %r10,%rdx
cmp    (%rdi,%rdx,4),%eax
jge    1138 <shellSort2+0x38>
mov    %edx,%ebx
mov    (%rdi,%rbx,4),%ebx
cmp    %eax,%ebx
jle    1130 <shellSort2+0x30>
lea    (%rcx,%rdx,1),%ebp
movslq %ebp,%rbp
mov    %ebx,(%rdi,%rbp,4)
sub    %ecx,%edx
jns    1150 <shellSort2+0x50>
jmp    1130 <shellSort2+0x30>
pop    %rbx
pop    %rbp
ret

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

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