void heapsort2(int n, float key[], float val[]) {
  int i, j, k;
  float key0;
  float val0;
  for (k = n / 2 - 1; k >= 0; k--) {
    i = k;
    key0 = key[i];
    val0 = val[i];
    j = 2 * i + 1;
    while (j <= n - 1) {
      if (j < n - 1 && key[j] < key[j + 1])
        j++;
      if (key0 >= key[j])
        break;
      key[i] = key[j];
      val[i] = val[j];
      i = j;
      j = 2 * i + 1;
    }
    key[i] = key0;
    val[i] = val0;
  }
  while (n > 0) {
    key0 = key[n - 1];
    key[n - 1] = key[0];
    val0 = val[n - 1];
    val[n - 1] = val[0];
    n--;
    i = 0;
    j = 2 * i + 1;
    while (j <= n - 1) {
      if (j < n - 1 && key[j] < key[j + 1])
        j++;
      if (key0 >= key[j])
        break;
      key[i] = key[j];
      val[i] = val[j];
      i = j;
      j = 2 * i + 1;
    }
    key[i] = key0;
    val[i] = val0;
  }
}


x86 assembly (clang, -O0):
<heapsort2>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
sub    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jl     124c <heapsort2+0x14c>
mov    -0x24(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     121a <heapsort2+0x11a>
mov    -0x20(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11b3 <heapsort2+0xb3>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    11b3 <heapsort2+0xb3>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
movss  -0x28(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jb     11cf <heapsort2+0xcf>
jmp    121a <heapsort2+0x11a>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1160 <heapsort2+0x60>
movss  -0x28(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x2c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1120 <heapsort2+0x20>
jmp    1251 <heapsort2+0x151>
cmpl   $0x0,-0x4(%rbp)
jle    13bc <heapsort2+0x2bc>
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x4(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     1393 <heapsort2+0x293>
mov    -0x20(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    132c <heapsort2+0x22c>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
ucomiss %xmm1,%xmm0
jbe    132c <heapsort2+0x22c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
movss  -0x28(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
ucomiss (%rax,%rcx,4),%xmm0
jb     1348 <heapsort2+0x248>
jmp    1393 <heapsort2+0x293>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12d9 <heapsort2+0x1d9>
movss  -0x28(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x2c(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
jmp    1251 <heapsort2+0x151>
pop    %rbp
ret

x86 assembly (clang, -O2):
<heapsort2>:
push   %r15
push   %r14
push   %rbx
cmp    $0x2,%edi
jl     11d8 <heapsort2+0xd8>
mov    %edi,%r9d
shr    %r9d
lea    -0x1(%rdi),%r10d
jmp    113a <heapsort2+0x3a>
nopw   0x0(%rax,%rax,1)
mov    %r9d,%ecx
movslq %ecx,%rax
movss  %xmm0,(%rsi,%rax,4)
movss  %xmm1,(%rdx,%rax,4)
cmp    $0x1,%r8
jle    11d8 <heapsort2+0xd8>
mov    %r9,%r8
add    $0xffffffffffffffff,%r9
mov    %r9d,%eax
movss  (%rsi,%rax,4),%xmm0
movss  (%rdx,%rax,4),%xmm1
lea    (%r9,%r9,1),%eax
add    $0x1,%eax
cmp    %edi,%eax
jge    1120 <heapsort2+0x20>
lea    (%r9,%r9,1),%ebx
mov    %r9d,%r11d
movslq %eax,%r14
cmp    %r10d,%eax
jge    1190 <heapsort2+0x90>
add    $0x2,%ebx
movslq %ebx,%r15
movss  (%rsi,%r15,4),%xmm2
ucomiss (%rsi,%r14,4),%xmm2
mov    %eax,%ecx
jbe    1192 <heapsort2+0x92>
mov    %r15,%r14
mov    %ebx,%ecx
jmp    1192 <heapsort2+0x92>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %eax,%ecx
movss  (%rsi,%r14,4),%xmm2
ucomiss %xmm2,%xmm0
jae    11d0 <heapsort2+0xd0>
movslq %r11d,%rax
movss  %xmm2,(%rsi,%rax,4)
movss  (%rdx,%r14,4),%xmm2
movss  %xmm2,(%rdx,%rax,4)
lea    (%rcx,%rcx,1),%ebx
lea    (%rcx,%rcx,1),%eax
add    $0x1,%eax
mov    %ecx,%r11d
cmp    %edi,%eax
jl     1160 <heapsort2+0x60>
jmp    1123 <heapsort2+0x23>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r11d,%ecx
jmp    1123 <heapsort2+0x23>
test   %edi,%edi
jle    12a3 <heapsort2+0x1a3>
mov    %edi,%r8d
jmp    1209 <heapsort2+0x109>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %eax,%ecx
movslq %ecx,%rax
movss  %xmm0,(%rsi,%rax,4)
movss  %xmm1,(%rdx,%rax,4)
cmp    $0x1,%r9
jle    12a3 <heapsort2+0x1a3>
mov    %r8,%r9
add    $0xffffffffffffffff,%r8
mov    %r8d,%eax
movss  (%rsi,%rax,4),%xmm0
movss  (%rsi),%xmm1
movss  %xmm1,(%rsi,%rax,4)
movss  (%rdx,%rax,4),%xmm1
movss  (%rdx),%xmm2
movss  %xmm2,(%rdx,%rax,4)
xor    %ecx,%ecx
cmp    $0x3,%r9
jb     11f2 <heapsort2+0xf2>
lea    -0x2(%r9),%r10d
xor    %eax,%eax
mov    $0x1,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movslq %edi,%rbx
cmp    %r10d,%edi
jge    1270 <heapsort2+0x170>
movss  0x4(%rsi,%rbx,4),%xmm2
ucomiss (%rsi,%rbx,4),%xmm2
jbe    1270 <heapsort2+0x170>
lea    0x1(%rbx),%ecx
add    $0x1,%rbx
jmp    1272 <heapsort2+0x172>
nopl   (%rax)
mov    %edi,%ecx
movss  (%rsi,%rbx,4),%xmm2
ucomiss %xmm2,%xmm0
jae    11f0 <heapsort2+0xf0>
cltq
movss  %xmm2,(%rsi,%rax,4)
movss  (%rdx,%rbx,4),%xmm2
movss  %xmm2,(%rdx,%rax,4)
lea    (%rcx,%rcx,1),%edi
add    $0x1,%edi
mov    %ecx,%eax
cmp    %r10d,%edi
jle    1250 <heapsort2+0x150>
jmp    11f2 <heapsort2+0xf2>
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @heapsort2(i32 %0, float* %1, float* %2) {
%4 = alloca i32
%5 = alloca float*
%6 = alloca float*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca float
%11 = alloca float
store i32 %0, i32* %4
store float* %1, float** %5
store float* %2, float** %6
%12 = load i32, i32* %4
%13 = sdiv i32 %12, 2
%14 = sub nsw i32 %13, 1
store i32 %14, i32* %9
br label %15
15: ; preds = %102, %3
%16 = load i32, i32* %9
%17 = icmp sge i32 %16, 0
br i1 %17, label %18, label %105
18: ; preds = %15
%19 = load i32, i32* %9
store i32 %19, i32* %7
%20 = load float*, float** %5
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds float, float* %20, i64 %22
%24 = load float, float* %23
store float %24, float* %10
%25 = load float*, float** %6
%26 = load i32, i32* %7
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds float, float* %25, i64 %27
%29 = load float, float* %28
store float %29, float* %11
%30 = load i32, i32* %7
%31 = mul nsw i32 2, %30
%32 = add nsw i32 %31, 1
store i32 %32, i32* %8
br label %33
33: ; preds = %68, %18
%34 = load i32, i32* %8
%35 = load i32, i32* %4
%36 = sub nsw i32 %35, 1
%37 = icmp sle i32 %34, %36
br i1 %37, label %38, label %91
38: ; preds = %33
%39 = load i32, i32* %8
%40 = load i32, i32* %4
%41 = sub nsw i32 %40, 1
%42 = icmp slt i32 %39, %41
br i1 %42, label %43, label %59
43: ; preds = %38
%44 = load float*, float** %5
%45 = load i32, i32* %8
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds float, float* %44, i64 %46
%48 = load float, float* %47
%49 = load float*, float** %5
%50 = load i32, i32* %8
%51 = add nsw i32 %50, 1
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds float, float* %49, i64 %52
%54 = load float, float* %53
%55 = fcmp olt float %48, %54
br i1 %55, label %56, label %59
56: ; preds = %43
%57 = load i32, i32* %8
%58 = add nsw i32 %57, 1
store i32 %58, i32* %8
br label %59
59: ; preds = %56, %43, %38
%60 = load float, float* %10
%61 = load float*, float** %5
%62 = load i32, i32* %8
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds float, float* %61, i64 %63
%65 = load float, float* %64
%66 = fcmp oge float %60, %65
br i1 %66, label %67, label %68
67: ; preds = %59
br label %91
68: ; preds = %59
%69 = load float*, float** %5
%70 = load i32, i32* %8
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds float, float* %69, i64 %71
%73 = load float, float* %72
%74 = load float*, float** %5
%75 = load i32, i32* %7
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds float, float* %74, i64 %76
store float %73, float* %77
%78 = load float*, float** %6
%79 = load i32, i32* %8
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds float, float* %78, i64 %80
%82 = load float, float* %81
%83 = load float*, float** %6
%84 = load i32, i32* %7
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds float, float* %83, i64 %85
store float %82, float* %86
%87 = load i32, i32* %8
store i32 %87, i32* %7
%88 = load i32, i32* %7
%89 = mul nsw i32 2, %88
%90 = add nsw i32 %89, 1
store i32 %90, i32* %8
br label %33
91: ; preds = %67, %33
%92 = load float, float* %10
%93 = load float*, float** %5
%94 = load i32, i32* %7
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds float, float* %93, i64 %95
store float %92, float* %96
%97 = load float, float* %11
%98 = load float*, float** %6
%99 = load i32, i32* %7
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds float, float* %98, i64 %100
store float %97, float* %101
br label %102
102: ; preds = %91
%103 = load i32, i32* %9
%104 = add nsw i32 %103, -1
store i32 %104, i32* %9
br label %15
105: ; preds = %15
br label %106
106: ; preds = %201, %105
%107 = load i32, i32* %4
%108 = icmp sgt i32 %107, 0
br i1 %108, label %109, label %212
109: ; preds = %106
%110 = load float*, float** %5
%111 = load i32, i32* %4
%112 = sub nsw i32 %111, 1
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds float, float* %110, i64 %113
%115 = load float, float* %114
store float %115, float* %10
%116 = load float*, float** %5
%117 = getelementptr inbounds float, float* %116, i64 0
%118 = load float, float* %117
%119 = load float*, float** %5
%120 = load i32, i32* %4
%121 = sub nsw i32 %120, 1
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds float, float* %119, i64 %122
store float %118, float* %123
%124 = load float*, float** %6
%125 = load i32, i32* %4
%126 = sub nsw i32 %125, 1
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds float, float* %124, i64 %127
%129 = load float, float* %128
store float %129, float* %11
%130 = load float*, float** %6
%131 = getelementptr inbounds float, float* %130, i64 0
%132 = load float, float* %131
%133 = load float*, float** %6
%134 = load i32, i32* %4
%135 = sub nsw i32 %134, 1
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds float, float* %133, i64 %136
store float %132, float* %137
%138 = load i32, i32* %4
%139 = add nsw i32 %138, -1
store i32 %139, i32* %4
store i32 0, i32* %7
%140 = load i32, i32* %7
%141 = mul nsw i32 2, %140
%142 = add nsw i32 %141, 1
store i32 %142, i32* %8
br label %143
143: ; preds = %178, %109
%144 = load i32, i32* %8
%145 = load i32, i32* %4
%146 = sub nsw i32 %145, 1
%147 = icmp sle i32 %144, %146
br i1 %147, label %148, label %201
148: ; preds = %143
%149 = load i32, i32* %8
%150 = load i32, i32* %4
%151 = sub nsw i32 %150, 1
%152 = icmp slt i32 %149, %151
br i1 %152, label %153, label %169
153: ; preds = %148
%154 = load float*, float** %5
%155 = load i32, i32* %8
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds float, float* %154, i64 %156
%158 = load float, float* %157
%159 = load float*, float** %5
%160 = load i32, i32* %8
%161 = add nsw i32 %160, 1
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds float, float* %159, i64 %162
%164 = load float, float* %163
%165 = fcmp olt float %158, %164
br i1 %165, label %166, label %169
166: ; preds = %153
%167 = load i32, i32* %8
%168 = add nsw i32 %167, 1
store i32 %168, i32* %8
br label %169
169: ; preds = %166, %153, %148
%170 = load float, float* %10
%171 = load float*, float** %5
%172 = load i32, i32* %8
%173 = sext i32 %172 to i64
%174 = getelementptr inbounds float, float* %171, i64 %173
%175 = load float, float* %174
%176 = fcmp oge float %170, %175
br i1 %176, label %177, label %178
177: ; preds = %169
br label %201
178: ; preds = %169
%179 = load float*, float** %5
%180 = load i32, i32* %8
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds float, float* %179, i64 %181
%183 = load float, float* %182
%184 = load float*, float** %5
%185 = load i32, i32* %7
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds float, float* %184, i64 %186
store float %183, float* %187
%188 = load float*, float** %6
%189 = load i32, i32* %8
%190 = sext i32 %189 to i64
%191 = getelementptr inbounds float, float* %188, i64 %190
%192 = load float, float* %191
%193 = load float*, float** %6
%194 = load i32, i32* %7
%195 = sext i32 %194 to i64
%196 = getelementptr inbounds float, float* %193, i64 %195
store float %192, float* %196
%197 = load i32, i32* %8
store i32 %197, i32* %7
%198 = load i32, i32* %7
%199 = mul nsw i32 2, %198
%200 = add nsw i32 %199, 1
store i32 %200, i32* %8
br label %143
201: ; preds = %177, %143
%202 = load float, float* %10
%203 = load float*, float** %5
%204 = load i32, i32* %7
%205 = sext i32 %204 to i64
%206 = getelementptr inbounds float, float* %203, i64 %205
store float %202, float* %206
%207 = load float, float* %11
%208 = load float*, float** %6
%209 = load i32, i32* %7
%210 = sext i32 %209 to i64
%211 = getelementptr inbounds float, float* %208, i64 %210
store float %207, float* %211
br label %106
212: ; preds = %106
ret void
}

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