void sortxy(float *x, float *y, int n) {
  int top, n1;
  float x0, y0;
  if (n < 2)
    return;
  top = n / 2;
  n1 = n - 1;
  while (1) {
    if (top > 0) {
      top--;
      x0 = x[top];
      y0 = y[top];
    } else {
      x0 = x[n1];
      y0 = y[n1];
      x[n1] = x[0];
      y[n1] = y[0];
      n1--;
      if (!n1) {
        x[0] = x0;
        y[0] = y0;
        return;
      }
    }
    {
      int parent, child;
      parent = top;
      child = top * 2 + 1;
      while (child <= n1) {
        if (child < n1 && x[child] < x[child + 1])
          child++;
        if (x0 < x[child]) {
          x[parent] = x[child];
          y[parent] = y[child];
          parent = child;
          child += (parent + 1);
        } else
          break;
      }
      x[parent] = x0;
      y[parent] = y0;
    }
  }
}


x86 assembly (clang, -O0):
<sortxy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x2,-0x14(%rbp)
jge    111e <sortxy+0x1e>
jmp    12ea <sortxy+0x1ea>
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x18(%rbp)
jle    1171 <sortxy+0x71>
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
jmp    11f6 <sortxy+0xf6>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    11f1 <sortxy+0xf1>
movss  -0x20(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movss  %xmm0,(%rax)
movss  -0x24(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  %xmm0,(%rax)
jmp    12ea <sortxy+0x1ea>
jmp    11f6 <sortxy+0xf6>
mov    -0x18(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     12c1 <sortxy+0x1c1>
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1251 <sortxy+0x151>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    1251 <sortxy+0x151>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movss  -0x20(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    12b7 <sortxy+0x1b7>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x2c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    12bc <sortxy+0x1bc>
jmp    12c1 <sortxy+0x1c1>
jmp    1208 <sortxy+0x108>
movss  -0x20(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x24(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    1135 <sortxy+0x35>
pop    %rbp
ret

x86 assembly (clang, -O2):
<sortxy>:
cmp    $0x2,%edx
jl     1205 <sortxy+0x105>
push   %rbx
mov    %edx,%r8d
shr    %r8d
add    $0xffffffff,%edx
jmp    1130 <sortxy+0x30>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r9d,%r10d
movslq %r10d,%rax
movss  %xmm0,(%rdi,%rax,4)
movss  %xmm1,(%rsi,%rax,4)
test   %r8d,%r8d
jle    1150 <sortxy+0x50>
add    $0xffffffff,%r8d
movss  (%rdi,%r8,4),%xmm0
movss  (%rsi,%r8,4),%xmm1
jmp    117b <sortxy+0x7b>
nopw   0x0(%rax,%rax,1)
movslq %edx,%rdx
movss  (%rdi,%rdx,4),%xmm0
movss  (%rsi,%rdx,4),%xmm1
movss  (%rdi),%xmm2
movss  %xmm2,(%rdi,%rdx,4)
movss  (%rsi),%xmm2
movss  %xmm2,(%rsi,%rdx,4)
xor    %r8d,%r8d
add    $0xffffffff,%edx
je     11fc <sortxy+0xfc>
lea    (%r8,%r8,1),%eax
add    $0x1,%eax
mov    %r8d,%r10d
cmp    %edx,%eax
jg     1123 <sortxy+0x23>
lea    (%r8,%r8,1),%ecx
mov    %r8d,%r9d
movslq %eax,%r11
cmp    %edx,%eax
jge    11c0 <sortxy+0xc0>
add    $0x2,%ecx
movslq %ecx,%rbx
movss  (%rdi,%rbx,4),%xmm2
ucomiss (%rdi,%r11,4),%xmm2
mov    %eax,%r10d
jbe    11c3 <sortxy+0xc3>
mov    %rbx,%r11
mov    %ecx,%r10d
jmp    11c3 <sortxy+0xc3>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %eax,%r10d
movss  (%rdi,%r11,4),%xmm2
ucomiss %xmm0,%xmm2
jbe    1120 <sortxy+0x20>
movslq %r9d,%rax
movss  %xmm2,(%rdi,%rax,4)
movss  (%rsi,%r11,4),%xmm2
movss  %xmm2,(%rsi,%rax,4)
lea    (%r10,%r10,1),%ecx
lea    (%r10,%r10,1),%eax
add    $0x1,%eax
mov    %r10d,%r9d
cmp    %edx,%eax
jle    1190 <sortxy+0x90>
jmp    1123 <sortxy+0x23>
movss  %xmm0,(%rdi)
movss  %xmm1,(%rsi)
pop    %rbx
ret

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

LLVM IR (-O2):
define void @sortxy(float* nocapture %0, float* nocapture %1, i32 %2) {
%4 = icmp slt i32 %2, 2
br i1 %4, label %73, label %5
5: ; preds = %3
%6 = lshr i32 %2, 1
%7 = add nsw i32 %2, -1
br label %8
8: ; preds = %68, %5
%9 = phi i32 [ %6, %5 ], [ %31, %68 ]
%10 = phi i32 [ %7, %5 ], [ %32, %68 ]
%11 = icmp sgt i32 %9, 0
br i1 %11, label %12, label %19
12: ; preds = %8
%13 = add nsw i32 %9, -1
%14 = zext i32 %13 to i64
%15 = getelementptr inbounds float, float* %0, i64 %14
%16 = load float, float* %15
%17 = getelementptr inbounds float, float* %1, i64 %14
%18 = load float, float* %17
br label %30
19: ; preds = %8
%20 = sext i32 %10 to i64
%21 = getelementptr inbounds float, float* %0, i64 %20
%22 = load float, float* %21
%23 = getelementptr inbounds float, float* %1, i64 %20
%24 = load float, float* %23
%25 = load float, float* %0
store float %25, float* %21
%26 = load float, float* %1
store float %26, float* %23
%27 = add nsw i32 %10, -1
%28 = icmp eq i32 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %19
store float %22, float* %0
store float %24, float* %1
br label %73
30: ; preds = %19, %12
%31 = phi i32 [ %13, %12 ], [ 0, %19 ]
%32 = phi i32 [ %10, %12 ], [ %27, %19 ]
%33 = phi float [ %16, %12 ], [ %22, %19 ]
%34 = phi float [ %18, %12 ], [ %24, %19 ]
%35 = shl nuw i32 %31, 1
%36 = or i32 %35, 1
%37 = icmp sgt i32 %36, %32
br i1 %37, label %68, label %38
38: ; preds = %30, %59
%39 = phi i32 [ %66, %59 ], [ %36, %30 ]
%40 = phi i32 [ %65, %59 ], [ %35, %30 ]
%41 = phi i32 [ %55, %59 ], [ %31, %30 ]
%42 = icmp slt i32 %39, %32
%43 = sext i32 %39 to i64
br i1 %42, label %44, label %53
44: ; preds = %38
%45 = getelementptr inbounds float, float* %0, i64 %43
%46 = load float, float* %45
%47 = add i32 %40, 2
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds float, float* %0, i64 %48
%50 = load float, float* %49
%51 = fcmp olt float %46, %50
br i1 %51, label %52, label %53
52: ; preds = %44
br label %53
53: ; preds = %38, %52, %44
%54 = phi i64 [ %48, %52 ], [ %43, %44 ], [ %43, %38 ]
%55 = phi i32 [ %47, %52 ], [ %39, %44 ], [ %39, %38 ]
%56 = getelementptr inbounds float, float* %0, i64 %54
%57 = load float, float* %56
%58 = fcmp olt float %33, %57
br i1 %58, label %59, label %68
59: ; preds = %53
%60 = sext i32 %41 to i64
%61 = getelementptr inbounds float, float* %0, i64 %60
store float %57, float* %61
%62 = getelementptr inbounds float, float* %1, i64 %54
%63 = load float, float* %62
%64 = getelementptr inbounds float, float* %1, i64 %60
store float %63, float* %64
%65 = shl i32 %55, 1
%66 = or i32 %65, 1
%67 = icmp sgt i32 %66, %32
br i1 %67, label %68, label %38
68: ; preds = %59, %53, %30
%69 = phi i32 [ %31, %30 ], [ %41, %53 ], [ %55, %59 ]
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds float, float* %0, i64 %70
store float %33, float* %71
%72 = getelementptr inbounds float, float* %1, i64 %70
store float %34, float* %72
br label %8
73: ; preds = %3, %29
ret void
}