void _brx(float *x, int m) {
  int n, n1, m1, i, ipair, ibr, j, jbr, jbri, k, ia1, ia2, ia3, nh;
  int b;
  float xt;
  n = 1 << m;
  m1 = m / 2;
  n1 = 1 << m1;
  ia1 = n1 / 2;
  ia2 = n / n1;
  ia3 = ia1 + ia2;
  nh = n / 2;
  b = (m - m1 - m1) * n1;
  for (ipair = 0; ipair <= b; ipair += n1) {
    ibr = 0;
    xt = x[ipair + ia1];
    x[ipair + ia1] = x[ipair + ia2];
    x[ipair + ia2] = xt;
    for (i = 1 + ipair; i < ia1 + ipair; i++) {
      k = nh;
      if (k <= ibr)
        do {
          ibr -= k;
          k = k / 2;
        } while (k <= ibr);
      ibr += k;
      xt = x[ibr + i + ia1];
      x[ibr + i + ia1] = x[ibr + i + ia2];
      x[ibr + i + ia2] = xt;
      jbr = 0;
      if (m < 4)
        continue;
      for (j = ibr + ipair; j < ibr + i; j++) {
        jbri = jbr + i;
        xt = x[jbri];
        x[jbri] = x[j];
        x[j] = xt;
        xt = x[jbri + ia1];
        x[jbri + ia1] = x[j + ia2];
        x[j + ia2] = xt;
        xt = x[jbri + ia2];
        x[jbri + ia2] = x[j + ia1];
        x[j + ia1] = xt;
        xt = x[jbri + ia3];
        x[jbri + ia3] = x[j + ia3];
        x[j + ia3] = xt;
        k = nh;
        if (k <= jbr)
          do {
            jbr -= k;
            k = k / 2;
          } while (k <= jbr);
        jbr += k;
      }
    }
  }
}


x86 assembly (clang, -O0):
<_brx>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0xc(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%ecx
mov    $0x1,%eax
shl    %cl,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%eax
cltd
idivl  -0x14(%rbp)
mov    %eax,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x44(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x18(%rbp),%eax
sub    -0x18(%rbp),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x48(%rbp),%eax
jg     148b <_brx+0x38b>
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x38(%rbp),%ecx
add    -0x20(%rbp),%ecx
cmp    %ecx,%eax
jge    1478 <_brx+0x378>
mov    -0x44(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     1239 <_brx+0x139>
jmp    120f <_brx+0x10f>
mov    -0x34(%rbp),%ecx
mov    -0x24(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    120f <_brx+0x10f>
jmp    1239 <_brx+0x139>
mov    -0x34(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    12b6 <_brx+0x1b6>
jmp    146a <_brx+0x36a>
mov    -0x24(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
cmp    %ecx,%eax
jge    1465 <_brx+0x365>
mov    -0x2c(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4c(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x4c(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     144e <_brx+0x34e>
jmp    1424 <_brx+0x324>
mov    -0x34(%rbp),%ecx
mov    -0x2c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x34(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jle    1424 <_brx+0x324>
jmp    144e <_brx+0x34e>
mov    -0x34(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12bf <_brx+0x1bf>
jmp    146a <_brx+0x36a>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e7 <_brx+0xe7>
jmp    147d <_brx+0x37d>
mov    -0x14(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1179 <_brx+0x79>
pop    %rbp
ret

x86 assembly (clang, -O2):
<_brx>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %esi,%ebp
mov    $0x1,%r9d
mov    %ebp,%ecx
shl    %cl,%r9d
mov    $0x1,%esi
mov    %ebp,%ebx
shr    $0x1f,%ebx
add    %ebp,%ebx
mov    %ebx,%ecx
shr    %ecx
shl    %cl,%esi
mov    %r9d,%eax
cltd
mov    %esi,-0x2c(%rsp)
idiv   %esi
and    $0xfffffffe,%ebx
mov    %ebp,-0x1c(%rsp)
sub    %ebx,%ebp
shl    %cl,%ebp
test   %ebp,%ebp
js     1326 <_brx+0x226>
mov    -0x2c(%rsp),%edx
mov    %edx,%r11d
shr    $0x1f,%r11d
add    %edx,%r11d
sar    %r11d
lea    (%rax,%r11,1),%ecx
mov    %r9d,%r8d
shr    $0x1f,%r8d
add    %r9d,%r8d
sar    %r8d
movslq %eax,%r13
movslq %r11d,%r12
movslq %ecx,%rsi
movslq %edx,%rcx
mov    %rcx,-0x10(%rsp)
mov    %ebp,%ecx
mov    %rcx,-0x18(%rsp)
xor    %ecx,%ecx
jmp    11a5 <_brx+0xa5>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0x28(%rsp),%rcx
add    -0x10(%rsp),%rcx
cmp    -0x18(%rsp),%rcx
jg     1326 <_brx+0x226>
lea    (%rcx,%r12,1),%rdx
mov    %rcx,-0x28(%rsp)
add    %r13,%rcx
movss  (%rdi,%rdx,4),%xmm0
movss  (%rdi,%rcx,4),%xmm1
mov    %rdx,-0x8(%rsp)
movss  %xmm1,(%rdi,%rdx,4)
movss  %xmm0,(%rdi,%rcx,4)
cmpl   $0x4,-0x2c(%rsp)
jl     1190 <_brx+0x90>
mov    -0x28(%rsp),%rcx
lea    0x1(%rcx),%ebx
xor    %r10d,%r10d
jmp    11ed <_brx+0xed>
xchg   %ax,%ax
add    $0x1,%ebx
movslq %ebx,%rcx
cmp    %rcx,-0x8(%rsp)
jle    1190 <_brx+0x90>
cmp    %r10d,%r8d
jle    1200 <_brx+0x100>
mov    %r8d,%ecx
mov    %r10d,%ebp
jmp    1221 <_brx+0x121>
nopw   0x0(%rax,%rax,1)
mov    %r8d,%edx
mov    %r10d,%ebp
cs nopw 0x0(%rax,%rax,1)
sub    %edx,%ebp
mov    %edx,%ecx
shr    $0x1f,%ecx
add    %edx,%ecx
sar    %ecx
mov    %ecx,%edx
cmp    %ebp,%ecx
jle    1210 <_brx+0x110>
lea    (%rcx,%rbp,1),%r10d
lea    (%r10,%rbx,1),%r9d
lea    (%r9,%r11,1),%r14d
lea    (%r9,%rax,1),%r15d
movslq %r14d,%r14
movss  (%rdi,%r14,4),%xmm0
movslq %r15d,%rdx
movss  (%rdi,%rdx,4),%xmm1
movss  %xmm1,(%rdi,%r14,4)
movss  %xmm0,(%rdi,%rdx,4)
cmpl   $0x4,-0x1c(%rsp)
jl     11e0 <_brx+0xe0>
movslq %ebx,%rdx
cmp    %rdx,-0x28(%rsp)
jge    11e0 <_brx+0xe0>
add    -0x28(%rsp),%ebp
add    %ecx,%ebp
movslq %ebp,%r14
movslq %r9d,%r15
xor    %r9d,%r9d
jmp    1286 <_brx+0x186>
nop
mov    %r8d,%ecx
add    %r9d,%ecx
add    $0x1,%r14
mov    %ecx,%r9d
cmp    %r15,%r14
jge    11e0 <_brx+0xe0>
lea    (%r9,%rbx,1),%ecx
movslq %ecx,%rcx
movss  (%rdi,%rcx,4),%xmm0
movss  (%rdi,%r14,4),%xmm1
movss  %xmm1,(%rdi,%rcx,4)
movss  %xmm0,(%rdi,%r14,4)
lea    (%rcx,%r11,1),%edx
movslq %edx,%rdx
movss  (%rdi,%rdx,4),%xmm0
lea    (%r14,%r13,1),%rbp
movss  (%rdi,%rbp,4),%xmm1
movss  %xmm1,(%rdi,%rdx,4)
movss  %xmm0,(%rdi,%rbp,4)
lea    (%rcx,%rax,1),%edx
movslq %edx,%rdx
movss  (%rdi,%rdx,4),%xmm0
lea    (%r14,%r12,1),%rbp
movss  (%rdi,%rbp,4),%xmm1
movss  %xmm1,(%rdi,%rdx,4)
movss  %xmm0,(%rdi,%rbp,4)
add    %esi,%ecx
movslq %ecx,%rcx
movss  (%rdi,%rcx,4),%xmm0
lea    (%r14,%rsi,1),%rdx
movss  (%rdi,%rdx,4),%xmm1
movss  %xmm1,(%rdi,%rcx,4)
movss  %xmm0,(%rdi,%rdx,4)
cmp    %r9d,%r8d
jg     1270 <_brx+0x170>
mov    %r8d,%edx
mov    %r8d,%ecx
nopl   0x0(%rax)
sub    %edx,%r9d
shr    $0x1f,%ecx
add    %edx,%ecx
sar    %ecx
mov    %ecx,%edx
cmp    %r9d,%ecx
jle    1310 <_brx+0x210>
jmp    1273 <_brx+0x173>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @_brx(float* %0, i32 %1) {
%3 = alloca float*
%4 = alloca i32
%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
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca float
store float* %0, float** %3
store i32 %1, i32* %4
%21 = load i32, i32* %4
%22 = shl i32 1, %21
store i32 %22, i32* %5
%23 = load i32, i32* %4
%24 = sdiv i32 %23, 2
store i32 %24, i32* %7
%25 = load i32, i32* %7
%26 = shl i32 1, %25
store i32 %26, i32* %6
%27 = load i32, i32* %6
%28 = sdiv i32 %27, 2
store i32 %28, i32* %15
%29 = load i32, i32* %5
%30 = load i32, i32* %6
%31 = sdiv i32 %29, %30
store i32 %31, i32* %16
%32 = load i32, i32* %15
%33 = load i32, i32* %16
%34 = add nsw i32 %32, %33
store i32 %34, i32* %17
%35 = load i32, i32* %5
%36 = sdiv i32 %35, 2
store i32 %36, i32* %18
%37 = load i32, i32* %4
%38 = load i32, i32* %7
%39 = sub nsw i32 %37, %38
%40 = load i32, i32* %7
%41 = sub nsw i32 %39, %40
%42 = load i32, i32* %6
%43 = mul nsw i32 %41, %42
store i32 %43, i32* %19
store i32 0, i32* %9
br label %44
44: ; preds = %285, %2
%45 = load i32, i32* %9
%46 = load i32, i32* %19
%47 = icmp sle i32 %45, %46
br i1 %47, label %48, label %289
48: ; preds = %44
store i32 0, i32* %10
%49 = load float*, float** %3
%50 = load i32, i32* %9
%51 = load i32, i32* %15
%52 = add nsw i32 %50, %51
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds float, float* %49, i64 %53
%55 = load float, float* %54
store float %55, float* %20
%56 = load float*, float** %3
%57 = load i32, i32* %9
%58 = load i32, i32* %16
%59 = add nsw i32 %57, %58
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds float, float* %56, i64 %60
%62 = load float, float* %61
%63 = load float*, float** %3
%64 = load i32, i32* %9
%65 = load i32, i32* %15
%66 = add nsw i32 %64, %65
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds float, float* %63, i64 %67
store float %62, float* %68
%69 = load float, float* %20
%70 = load float*, float** %3
%71 = load i32, i32* %9
%72 = load i32, i32* %16
%73 = add nsw i32 %71, %72
%74 = sext i32 %73 to i64
%75 = getelementptr inbounds float, float* %70, i64 %74
store float %69, float* %75
%76 = load i32, i32* %9
%77 = add nsw i32 1, %76
store i32 %77, i32* %8
br label %78
78: ; preds = %281, %48
%79 = load i32, i32* %8
%80 = load i32, i32* %15
%81 = load i32, i32* %9
%82 = add nsw i32 %80, %81
%83 = icmp slt i32 %79, %82
br i1 %83, label %84, label %284
84: ; preds = %78
%85 = load i32, i32* %18
store i32 %85, i32* %14
%86 = load i32, i32* %14
%87 = load i32, i32* %10
%88 = icmp sle i32 %86, %87
br i1 %88, label %89, label %101
89: ; preds = %84
br label %90
90: ; preds = %96, %89
%91 = load i32, i32* %14
%92 = load i32, i32* %10
%93 = sub nsw i32 %92, %91
store i32 %93, i32* %10
%94 = load i32, i32* %14
%95 = sdiv i32 %94, 2
store i32 %95, i32* %14
br label %96
96: ; preds = %90
%97 = load i32, i32* %14
%98 = load i32, i32* %10
%99 = icmp sle i32 %97, %98
br i1 %99, label %90, label %100
100: ; preds = %96
br label %101
101: ; preds = %100, %84
%102 = load i32, i32* %14
%103 = load i32, i32* %10
%104 = add nsw i32 %103, %102
store i32 %104, i32* %10
%105 = load float*, float** %3
%106 = load i32, i32* %10
%107 = load i32, i32* %8
%108 = add nsw i32 %106, %107
%109 = load i32, i32* %15
%110 = add nsw i32 %108, %109
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds float, float* %105, i64 %111
%113 = load float, float* %112
store float %113, float* %20
%114 = load float*, float** %3
%115 = load i32, i32* %10
%116 = load i32, i32* %8
%117 = add nsw i32 %115, %116
%118 = load i32, i32* %16
%119 = add nsw i32 %117, %118
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds float, float* %114, i64 %120
%122 = load float, float* %121
%123 = load float*, float** %3
%124 = load i32, i32* %10
%125 = load i32, i32* %8
%126 = add nsw i32 %124, %125
%127 = load i32, i32* %15
%128 = add nsw i32 %126, %127
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds float, float* %123, i64 %129
store float %122, float* %130
%131 = load float, float* %20
%132 = load float*, float** %3
%133 = load i32, i32* %10
%134 = load i32, i32* %8
%135 = add nsw i32 %133, %134
%136 = load i32, i32* %16
%137 = add nsw i32 %135, %136
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds float, float* %132, i64 %138
store float %131, float* %139
store i32 0, i32* %12
%140 = load i32, i32* %4
%141 = icmp slt i32 %140, 4
br i1 %141, label %142, label %143
142: ; preds = %101
br label %281
143: ; preds = %101
%144 = load i32, i32* %10
%145 = load i32, i32* %9
%146 = add nsw i32 %144, %145
store i32 %146, i32* %11
br label %147
147: ; preds = %277, %143
%148 = load i32, i32* %11
%149 = load i32, i32* %10
%150 = load i32, i32* %8
%151 = add nsw i32 %149, %150
%152 = icmp slt i32 %148, %151
br i1 %152, label %153, label %280
153: ; preds = %147
%154 = load i32, i32* %12
%155 = load i32, i32* %8
%156 = add nsw i32 %154, %155
store i32 %156, i32* %13
%157 = load float*, float** %3
%158 = load i32, i32* %13
%159 = sext i32 %158 to i64
%160 = getelementptr inbounds float, float* %157, i64 %159
%161 = load float, float* %160
store float %161, float* %20
%162 = load float*, float** %3
%163 = load i32, i32* %11
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds float, float* %162, i64 %164
%166 = load float, float* %165
%167 = load float*, float** %3
%168 = load i32, i32* %13
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds float, float* %167, i64 %169
store float %166, float* %170
%171 = load float, float* %20
%172 = load float*, float** %3
%173 = load i32, i32* %11
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds float, float* %172, i64 %174
store float %171, float* %175
%176 = load float*, float** %3
%177 = load i32, i32* %13
%178 = load i32, i32* %15
%179 = add nsw i32 %177, %178
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds float, float* %176, i64 %180
%182 = load float, float* %181
store float %182, float* %20
%183 = load float*, float** %3
%184 = load i32, i32* %11
%185 = load i32, i32* %16
%186 = add nsw i32 %184, %185
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds float, float* %183, i64 %187
%189 = load float, float* %188
%190 = load float*, float** %3
%191 = load i32, i32* %13
%192 = load i32, i32* %15
%193 = add nsw i32 %191, %192
%194 = sext i32 %193 to i64
%195 = getelementptr inbounds float, float* %190, i64 %194
store float %189, float* %195
%196 = load float, float* %20
%197 = load float*, float** %3
%198 = load i32, i32* %11
%199 = load i32, i32* %16
%200 = add nsw i32 %198, %199
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds float, float* %197, i64 %201
store float %196, float* %202
%203 = load float*, float** %3
%204 = load i32, i32* %13
%205 = load i32, i32* %16
%206 = add nsw i32 %204, %205
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds float, float* %203, i64 %207
%209 = load float, float* %208
store float %209, float* %20
%210 = load float*, float** %3
%211 = load i32, i32* %11
%212 = load i32, i32* %15
%213 = add nsw i32 %211, %212
%214 = sext i32 %213 to i64
%215 = getelementptr inbounds float, float* %210, i64 %214
%216 = load float, float* %215
%217 = load float*, float** %3
%218 = load i32, i32* %13
%219 = load i32, i32* %16
%220 = add nsw i32 %218, %219
%221 = sext i32 %220 to i64
%222 = getelementptr inbounds float, float* %217, i64 %221
store float %216, float* %222
%223 = load float, float* %20
%224 = load float*, float** %3
%225 = load i32, i32* %11
%226 = load i32, i32* %15
%227 = add nsw i32 %225, %226
%228 = sext i32 %227 to i64
%229 = getelementptr inbounds float, float* %224, i64 %228
store float %223, float* %229
%230 = load float*, float** %3
%231 = load i32, i32* %13
%232 = load i32, i32* %17
%233 = add nsw i32 %231, %232
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds float, float* %230, i64 %234
%236 = load float, float* %235
store float %236, float* %20
%237 = load float*, float** %3
%238 = load i32, i32* %11
%239 = load i32, i32* %17
%240 = add nsw i32 %238, %239
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds float, float* %237, i64 %241
%243 = load float, float* %242
%244 = load float*, float** %3
%245 = load i32, i32* %13
%246 = load i32, i32* %17
%247 = add nsw i32 %245, %246
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds float, float* %244, i64 %248
store float %243, float* %249
%250 = load float, float* %20
%251 = load float*, float** %3
%252 = load i32, i32* %11
%253 = load i32, i32* %17
%254 = add nsw i32 %252, %253
%255 = sext i32 %254 to i64
%256 = getelementptr inbounds float, float* %251, i64 %255
store float %250, float* %256
%257 = load i32, i32* %18
store i32 %257, i32* %14
%258 = load i32, i32* %14
%259 = load i32, i32* %12
%260 = icmp sle i32 %258, %259
br i1 %260, label %261, label %273
261: ; preds = %153
br label %262
262: ; preds = %268, %261
%263 = load i32, i32* %14
%264 = load i32, i32* %12
%265 = sub nsw i32 %264, %263
store i32 %265, i32* %12
%266 = load i32, i32* %14
%267 = sdiv i32 %266, 2
store i32 %267, i32* %14
br label %268
268: ; preds = %262
%269 = load i32, i32* %14
%270 = load i32, i32* %12
%271 = icmp sle i32 %269, %270
br i1 %271, label %262, label %272
272: ; preds = %268
br label %273
273: ; preds = %272, %153
%274 = load i32, i32* %14
%275 = load i32, i32* %12
%276 = add nsw i32 %275, %274
store i32 %276, i32* %12
br label %277
277: ; preds = %273
%278 = load i32, i32* %11
%279 = add nsw i32 %278, 1
store i32 %279, i32* %11
br label %147
280: ; preds = %147
br label %281
281: ; preds = %280, %142
%282 = load i32, i32* %8
%283 = add nsw i32 %282, 1
store i32 %283, i32* %8
br label %78
284: ; preds = %78
br label %285
285: ; preds = %284
%286 = load i32, i32* %6
%287 = load i32, i32* %9
%288 = add nsw i32 %287, %286
store i32 %288, i32* %9
br label %44
289: ; preds = %44
ret void
}

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