void qcksrtM(float *array, int l, int r, int M) {
  int i, j;
  float x, tmp;
  if (l >= r || l > M || r < M)
    return;
  x = array[(l + r) / 2];
  i = l - 1;
  j = r + 1;
  do {
    do
      i++;
    while (array[i] > x);
    do
      j--;
    while (array[j] < x);
    if (i < j) {
      tmp = array[i];
      array[i] = array[j];
      array[j] = tmp;
    }
  } while (i < j);
  if (j < M)
    qcksrtM(array, j + 1, r, M);
  else
    qcksrtM(array, l, j, M);
}


x86 assembly (clang, -O0):
<qcksrtM>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1149 <qcksrtM+0x39>
mov    -0xc(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1149 <qcksrtM+0x39>
mov    -0x10(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    114e <qcksrtM+0x3e>
jmp    126a <qcksrtM+0x15a>
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%rax
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    118e <qcksrtM+0x7e>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss -0x20(%rbp),%xmm0
ja     118e <qcksrtM+0x7e>
jmp    11b3 <qcksrtM+0xa3>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x20(%rbp),%xmm0
ucomiss %xmm1,%xmm0
ja     11b3 <qcksrtM+0xa3>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1221 <qcksrtM+0x111>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x24(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    1226 <qcksrtM+0x116>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1189 <qcksrtM+0x79>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1258 <qcksrtM+0x148>
mov    -0x8(%rbp),%rdi
mov    -0x1c(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
call   1030 <qcksrtM@plt>
jmp    126a <qcksrtM+0x15a>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x1c(%rbp),%edx
mov    -0x14(%rbp),%ecx
call   1030 <qcksrtM@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<qcksrtM>:
cmp    %ecx,%edx
jl     11bd <qcksrtM+0xbd>
cmp    %ecx,%esi
jg     11bd <qcksrtM+0xbd>
cmp    %edx,%esi
jge    11bd <qcksrtM+0xbd>
lea    0x4(%rdi),%r8
nopl   0x0(%rax)
lea    (%rdx,%rsi,1),%r9d
mov    %r9d,%eax
shr    $0x1f,%eax
add    %r9d,%eax
sar    %eax
cltq
movss  (%rdi,%rax,4),%xmm0
lea    -0x1(%rsi),%r10d
lea    0x1(%rdx),%r9d
xchg   %ax,%ax
movslq %r10d,%rax
lea    (%r8,%rax,4),%r11
nopw   0x0(%rax,%rax,1)
movss  (%r11),%xmm1
add    $0x4,%r11
add    $0x1,%r10d
ucomiss %xmm0,%xmm1
ja     1150 <qcksrtM+0x50>
movslq %r9d,%rax
lea    (%rdi,%rax,4),%rax
nopl   0x0(%rax)
movss  -0x4(%rax),%xmm2
add    $0xfffffffffffffffc,%rax
add    $0xffffffff,%r9d
ucomiss %xmm2,%xmm0
ja     1170 <qcksrtM+0x70>
cmp    %r9d,%r10d
jge    11a0 <qcksrtM+0xa0>
movss  %xmm2,-0x4(%r11)
movss  %xmm1,(%rax)
jmp    1140 <qcksrtM+0x40>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0x1(%r9),%eax
cmp    %ecx,%eax
cmovle %eax,%esi
cmovg  %r9d,%edx
cmp    %ecx,%edx
jl     11bd <qcksrtM+0xbd>
cmp    %ecx,%esi
jg     11bd <qcksrtM+0xbd>
cmp    %edx,%esi
jl     1120 <qcksrtM+0x20>
ret

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

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