void bitrv1(int n, double *a) {
  int j0, k0, j1, k1, l, m, i, j, k;
  double x;
  l = n >> 2;
  m = 1;
  while (m < l) {
    l >>= 1;
    m <<= 1;
  }
  if (m == l) {
    j0 = 0;
    for (k0 = 0; k0 < m; k0++) {
      k = k0;
      for (j = j0; j < j0 + k0; j++) {
        x = a[j];
        a[j] = a[k];
        a[k] = x;
        j1 = j + m;
        k1 = k + 2 * m;
        x = a[j1];
        a[j1] = a[k1];
        a[k1] = x;
        j1 += m;
        k1 -= m;
        x = a[j1];
        a[j1] = a[k1];
        a[k1] = x;
        j1 += m;
        k1 += 2 * m;
        x = a[j1];
        a[j1] = a[k1];
        a[k1] = x;
        for (i = n >> 1; i > (k ^= i); i >>= 1)
          ;
      }
      j1 = j0 + k0 + m;
      k1 = j1 + m;
      x = a[j1];
      a[j1] = a[k1];
      a[k1] = x;
      for (i = n >> 1; i > (j0 ^= i); i >>= 1)
        ;
    }
  } else {
    j0 = 0;
    for (k0 = 1; k0 < m; k0++) {
      for (i = n >> 1; i > (j0 ^= i); i >>= 1)
        ;
      k = k0;
      for (j = j0; j < j0 + k0; j++) {
        x = a[j];
        a[j] = a[k];
        a[k] = x;
        j1 = j + m;
        k1 = k + m;
        x = a[j1];
        a[j1] = a[k1];
        a[k1] = x;
        for (i = n >> 1; i > (k ^= i); i >>= 1)
          ;
      }
    }
  }
}


x86 assembly (clang, -O0):
<bitrv1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x2,%eax
mov    %eax,-0x24(%rbp)
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    113e <bitrv1+0x3e>
mov    -0x24(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    111b <bitrv1+0x1b>
mov    -0x28(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    1397 <bitrv1+0x297>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1392 <bitrv1+0x292>
mov    -0x18(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
cmp    %ecx,%eax
jge    12fc <bitrv1+0x1fc>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x28(%rbp),%ecx
shl    $0x1,%ecx
add    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x1,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
xor    -0x34(%rbp),%ecx
mov    %ecx,-0x34(%rbp)
cmp    %ecx,%eax
jle    12e9 <bitrv1+0x1e9>
jmp    12db <bitrv1+0x1db>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12c2 <bitrv1+0x1c2>
jmp    12ee <bitrv1+0x1ee>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1170 <bitrv1+0x70>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
xor    -0x14(%rbp),%ecx
mov    %ecx,-0x14(%rbp)
cmp    %ecx,%eax
jle    137f <bitrv1+0x27f>
jmp    1371 <bitrv1+0x271>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1358 <bitrv1+0x258>
jmp    1384 <bitrv1+0x284>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1158 <bitrv1+0x58>
jmp    14e7 <bitrv1+0x3e7>
movl   $0x0,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    14e2 <bitrv1+0x3e2>
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
xor    -0x14(%rbp),%ecx
mov    %ecx,-0x14(%rbp)
cmp    %ecx,%eax
jle    13e1 <bitrv1+0x2e1>
jmp    13d3 <bitrv1+0x2d3>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13ba <bitrv1+0x2ba>
mov    -0x18(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
cmp    %ecx,%eax
jge    14cf <bitrv1+0x3cf>
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x34(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
xor    -0x34(%rbp),%ecx
mov    %ecx,-0x34(%rbp)
cmp    %ecx,%eax
jle    14bc <bitrv1+0x3bc>
jmp    14ae <bitrv1+0x3ae>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1495 <bitrv1+0x395>
jmp    14c1 <bitrv1+0x3c1>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    13ed <bitrv1+0x2ed>
jmp    14d4 <bitrv1+0x3d4>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    13a5 <bitrv1+0x2a5>
jmp    14e7 <bitrv1+0x3e7>
pop    %rbp
ret

x86 assembly (clang, -O2):
<bitrv1>:
push   %rbp
push   %r14
push   %rbx
mov    %edi,%r10d
sar    $0x2,%r10d
cmp    $0x8,%edi
jl     113e <bitrv1+0x3e>
mov    $0x1,%r11d
cs nopw 0x0(%rax,%rax,1)
mov    %r10d,%eax
sar    %r10d
add    %r11d,%r11d
cmp    %r10d,%r11d
jl     1120 <bitrv1+0x20>
jne    125a <bitrv1+0x15a>
cmp    $0x2,%eax
jge    114e <bitrv1+0x4e>
jmp    1310 <bitrv1+0x210>
cmp    $0x1,%r10d
mov    $0x1,%r10d
jne    1310 <bitrv1+0x210>
mov    %r10d,%r14d
add    %r10d,%r10d
xor    %r8d,%r8d
xor    %edx,%edx
nopl   0x0(%rax)
lea    (%r8,%rdx,1),%r9d
test   %r8d,%r8d
je     1215 <bitrv1+0x115>
movslq %edx,%rax
movslq %r9d,%r11
mov    %r8d,%ebx
cs nopw 0x0(%rax,%rax,1)
movsd  (%rsi,%rax,8),%xmm0
movslq %ebx,%rbp
movsd  (%rsi,%rbp,8),%xmm1
movsd  %xmm1,(%rsi,%rax,8)
movsd  %xmm0,(%rsi,%rbp,8)
lea    (%rax,%r14,1),%rcx
add    %r10d,%ebp
movsd  (%rsi,%rcx,8),%xmm0
movslq %ebp,%rbp
movsd  (%rsi,%rbp,8),%xmm1
movsd  %xmm1,(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rbp,8)
add    %r14,%rcx
sub    %r14d,%ebp
movsd  (%rsi,%rcx,8),%xmm0
movslq %ebp,%rbp
movsd  (%rsi,%rbp,8),%xmm1
movsd  %xmm1,(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rbp,8)
add    %r14,%rcx
add    %r10d,%ebp
movsd  (%rsi,%rcx,8),%xmm0
movslq %ebp,%rbp
movsd  (%rsi,%rbp,8),%xmm1
movsd  %xmm1,(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rbp,8)
mov    %edi,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
sar    %ebp
xor    %ebp,%ebx
cmp    %ebx,%ebp
jg     1200 <bitrv1+0x100>
add    $0x1,%rax
cmp    %r11,%rax
jl     1180 <bitrv1+0x80>
add    %r14d,%r9d
movslq %r9d,%rax
add    %r14d,%r9d
movsd  (%rsi,%rax,8),%xmm0
movslq %r9d,%rcx
movsd  (%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rax,8)
movsd  %xmm0,(%rsi,%rcx,8)
mov    %edi,%eax
nopw   0x0(%rax,%rax,1)
sar    %eax
xor    %eax,%edx
cmp    %edx,%eax
jg     1240 <bitrv1+0x140>
add    $0x1,%r8d
cmp    %r14d,%r8d
jne    1160 <bitrv1+0x60>
jmp    1310 <bitrv1+0x210>
cmp    $0x2,%r11d
jl     1310 <bitrv1+0x210>
sar    %edi
mov    %r11d,%r9d
xor    %edx,%edx
mov    $0x1,%r8d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %edi,%ecx
mov    %edi,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %ecx,%edx
sar    %eax
cmp    %edx,%ecx
mov    %eax,%ecx
jg     1290 <bitrv1+0x190>
lea    (%rdx,%r8,1),%eax
movslq %edx,%rbx
movslq %eax,%r10
mov    %r8d,%ecx
nopw   0x0(%rax,%rax,1)
movsd  (%rsi,%rbx,8),%xmm0
movslq %ecx,%rax
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,(%rsi,%rbx,8)
movsd  %xmm0,(%rsi,%rax,8)
lea    (%rbx,%r9,1),%rbp
add    %r11d,%eax
movsd  (%rsi,%rbp,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,(%rsi,%rbp,8)
movsd  %xmm0,(%rsi,%rax,8)
mov    %edi,%eax
mov    %edi,%ebp
nopl   0x0(%rax,%rax,1)
xor    %eax,%ecx
sar    %ebp
cmp    %ecx,%eax
mov    %ebp,%eax
jg     12f0 <bitrv1+0x1f0>
add    $0x1,%rbx
cmp    %r10,%rbx
jl     12b0 <bitrv1+0x1b0>
add    $0x1,%r8d
cmp    %r11d,%r8d
jne    1280 <bitrv1+0x180>
pop    %rbx
pop    %r14
pop    %rbp
ret

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

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