_wqsort(base, lo, hi, cmp) register int *base;
register int lo;
register int hi;
register int (*cmp)();
{
  int k;
  register int i, j, t;
  register int *p = &k;
  while (hi > lo) {
    i = lo;
    j = hi;
    t = ((i + j) >> 1);
    *p = base[t];
    base[t] = base[i];
    base[i] = *p;
    while (i < j) {
      while (((*cmp)((base + j), p)) <= 0)
        --j;
      base[i] = base[j];
      while ((i < j) && (((*cmp)((base + i), p)) > 0))
        ++i;
      base[j] = base[i];
    }
    base[i] = *p;
    if ((i - lo) < (hi - i)) {
      _wqsort(base, lo, (i - 1), cmp);
      lo = i + 1;
    } else {
      _wqsort(base, (i + 1), hi, cmp);
      hi = i - 1;
    }
  }
}


x86 assembly (clang, -O0):
<_wqsort>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
lea    -0x24(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    12be <_wqsort+0x1ae>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    -0x38(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%rax
mov    (%rax),%edx
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    1251 <_wqsort+0x141>
jmp    119b <_wqsort+0x8b>
mov    -0x20(%rbp),%rcx
mov    -0x10(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x38(%rbp),%rsi
mov    $0x0,%al
call   *%rcx
cmp    $0x0,%eax
jg     11cd <_wqsort+0xbd>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    119b <_wqsort+0x8b>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%ecx
xor    %eax,%eax
cmp    -0x2c(%rbp),%ecx
mov    %al,-0x39(%rbp)
jge    1218 <_wqsort+0x108>
mov    -0x20(%rbp),%rcx
mov    -0x10(%rbp),%rdi
movslq -0x28(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x38(%rbp),%rsi
mov    $0x0,%al
call   *%rcx
cmp    $0x0,%eax
setg   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    1228 <_wqsort+0x118>
jmp    1236 <_wqsort+0x126>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11e3 <_wqsort+0xd3>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    118a <_wqsort+0x7a>
mov    -0x38(%rbp),%rax
mov    (%rax),%edx
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
sub    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    -0x28(%rbp),%ecx
cmp    %ecx,%eax
jge    129a <_wqsort+0x18a>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x28(%rbp),%edx
sub    $0x1,%edx
mov    -0x20(%rbp),%rcx
call   1030 <_wqsort@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12b9 <_wqsort+0x1a9>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
mov    -0x20(%rbp),%rcx
call   1030 <_wqsort@plt>
mov    -0x28(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    112e <_wqsort+0x1e>
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_wqsort>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
cmp    %esi,%edx
jle    12ea <_wqsort+0x1da>
mov    %edx,%ebx
mov    %esi,%ebp
mov    %rdi,%r12
mov    %rcx,0x18(%rsp)
mov    %rdi,0x8(%rsp)
jmp    1163 <_wqsort+0x53>
nopl   0x0(%rax)
lea    0x1(%r15),%esi
mov    %r12,%rdi
mov    %ebx,%edx
mov    %rcx,%rbx
call   1030 <_wqsort@plt>
mov    %rbx,%rcx
add    $0xffffffff,%r15d
mov    %r15d,%ebx
cmp    %ebp,%ebx
jle    12ea <_wqsort+0x1da>
lea    (%rbx,%rbp,1),%eax
sar    %eax
movslq %eax,%rdx
mov    (%r12,%rdx,4),%eax
mov    %eax,0x4(%rsp)
movslq %ebp,%rdi
mov    (%r12,%rdi,4),%esi
mov    %esi,(%r12,%rdx,4)
mov    %eax,(%r12,%rdi,4)
mov    %ebp,%r15d
cmp    %ebx,%edi
jge    12b1 <_wqsort+0x1a1>
mov    %rbx,0x28(%rsp)
mov    %ebx,%r13d
mov    %rbp,0x20(%rsp)
mov    %ebp,%r15d
jmp    11c9 <_wqsort+0xb9>
nop
mov    0x10(%rsp),%r15
sub    %ebx,%r15d
sar    $0x20,%r12
mov    %r12,%r14
mov    0x8(%rsp),%r12
mov    (%r12,%r14,4),%eax
mov    0x18(%rsp),%rcx
mov    %eax,0x4(%rbp)
cmp    %r13d,%r15d
jge    12a0 <_wqsort+0x190>
mov    %r15,0x10(%rsp)
movslq %r13d,%r14
mov    %r13d,%edx
lea    0x1(%r14),%r13d
lea    (%r12,%r14,4),%rbp
shl    $0x20,%r14
movabs $0x100000000,%rax
add    %rax,%r14
movabs $0xffffffff00000000,%r15
ff ff ff
nopw   0x0(%rax,%rax,1)
mov    %edx,%ebx
add    %r15,%r14
mov    %rbp,%rdi
lea    0x4(%rsp),%rsi
xor    %eax,%eax
mov    %rcx,%r12
call   *%rcx
mov    %r12,%rcx
add    $0xffffffff,%r13d
add    $0xfffffffffffffffc,%rbp
lea    -0x1(%rbx),%edx
test   %eax,%eax
jle    1200 <_wqsort+0xf0>
mov    0x4(%rbp),%eax
mov    0x10(%rsp),%r15
movslq %r15d,%rdx
mov    0x8(%rsp),%r12
mov    %eax,(%r12,%rdx,4)
cmp    %r13d,%edx
jge    11bd <_wqsort+0xad>
lea    (%r12,%rdx,4),%r15
sar    $0x20,%r14
mov    %rdx,%r12
shl    $0x20,%r12
movslq %ebx,%rax
sub    %rax,%rdx
xor    %ebx,%ebx
mov    %rdx,0x30(%rsp)
nop
mov    %r15,%rdi
lea    0x4(%rsp),%rsi
xor    %eax,%eax
call   *0x18(%rsp)
test   %eax,%eax
jle    11a0 <_wqsort+0x90>
movabs $0x100000000,%rax
add    %rax,%r12
add    $0xffffffffffffffff,%rbx
add    $0x4,%r15
mov    0x30(%rsp),%rdx
cmp    %rbx,%rdx
jne    1260 <_wqsort+0x150>
mov    %r13d,%r15d
jmp    11af <_wqsort+0x9f>
nopl   (%rax)
mov    0x4(%rsp),%eax
movslq %r15d,%rdi
mov    0x28(%rsp),%rbx
mov    0x20(%rsp),%rbp
mov    %eax,(%r12,%rdi,4)
mov    %r15d,%eax
sub    %ebp,%eax
mov    %ebx,%edx
sub    %r15d,%edx
cmp    %edx,%eax
jge    1140 <_wqsort+0x30>
lea    -0x1(%r15),%edx
mov    %r12,%rdi
mov    %ebp,%esi
mov    %rcx,%rbp
call   1030 <_wqsort@plt>
mov    %rbp,%rcx
add    $0x1,%r15d
mov    %r15d,%ebp
cmp    %ebp,%ebx
jg     1163 <_wqsort+0x53>
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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