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


x86 assembly (clang, -O0):
<bitrv1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x10(%rbp),%rax
movsd  %xmm0,0x8(%rax)
movsd  -0x40(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
movl   $0x2,-0x28(%rbp)
mov    -0x4(%rbp),%eax
sar    $0x2,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x2,-0x24(%rbp)
jle    117b <bitrv1+0x7b>
mov    -0x28(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x24(%rbp),%eax
sar    $0x2,%eax
mov    %eax,-0x24(%rbp)
jmp    115a <bitrv1+0x5a>
cmpl   $0x2,-0x24(%rbp)
jne    15b3 <bitrv1+0x4b3>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
add    -0x38(%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)
movl   $0x0,-0x14(%rbp)
movl   $0x2,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    15ae <bitrv1+0x4ae>
mov    -0x38(%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    121f <bitrv1+0x11f>
jmp    1211 <bitrv1+0x111>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11f8 <bitrv1+0xf8>
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    14f7 <bitrv1+0x3f7>
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    -0x38(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%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),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%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    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x38(%rbp),%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    -0x28(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%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    -0x38(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%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),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%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    -0x38(%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    14e4 <bitrv1+0x3e4>
jmp    14d6 <bitrv1+0x3d6>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    14bd <bitrv1+0x3bd>
jmp    14e9 <bitrv1+0x3e9>
mov    -0x30(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x30(%rbp)
jmp    122b <bitrv1+0x12b>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x38(%rbp),%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    -0x28(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x28(%rbp),%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    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    11e3 <bitrv1+0xe3>
jmp    17f9 <bitrv1+0x6f9>
movl   $0x0,-0x14(%rbp)
movl   $0x2,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    17f4 <bitrv1+0x6f4>
mov    -0x38(%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    15fd <bitrv1+0x4fd>
jmp    15ef <bitrv1+0x4ef>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    15d6 <bitrv1+0x4d6>
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    178d <bitrv1+0x68d>
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    -0x38(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%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    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x38(%rbp),%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    -0x38(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%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    -0x38(%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    177a <bitrv1+0x67a>
jmp    176c <bitrv1+0x66c>
mov    -0x2c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1753 <bitrv1+0x653>
jmp    177f <bitrv1+0x67f>
mov    -0x30(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x30(%rbp)
jmp    1609 <bitrv1+0x509>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x38(%rbp),%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    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
jmp    15c1 <bitrv1+0x4c1>
jmp    17f9 <bitrv1+0x6f9>
pop    %rbp
ret

x86 assembly (clang, -O2):
<bitrv1>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %edi,%r10d
sar    %r10d
movsd  0x8(%rsi),%xmm0
movslq %r10d,%r15
movsd  (%rsi,%r15,8),%xmm1
movsd  %xmm1,0x8(%rsi)
movsd  %xmm0,(%rsi,%r15,8)
mov    $0x2,%ecx
mov    %edi,%eax
mov    %ecx,%r14d
mov    %eax,%edx
sar    $0x2,%eax
lea    (%r14,%r14,1),%ecx
cmp    $0xb,%edx
jg     1130 <bitrv1+0x30>
cmp    $0x2,%eax
jne    132a <bitrv1+0x22a>
mov    %r14d,%eax
or     $0x1,%eax
lea    (%r14,%r10,1),%ecx
cltq
movsd  (%rsi,%rax,8),%xmm0
movslq %ecx,%rcx
movsd  (%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rax,8)
movsd  %xmm0,(%rsi,%rcx,8)
cmp    $0x3,%r14d
jl     1432 <bitrv1+0x332>
sar    $0x2,%edi
mov    %r14d,%r8d
mov    $0x2,%r9d
xor    %r12d,%r12d
cs nopw 0x0(%rax,%rax,1)
mov    %edi,%ecx
mov    %edi,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %ecx,%r12d
sar    %edx
cmp    %r12d,%ecx
mov    %edx,%ecx
jg     11a0 <bitrv1+0xa0>
lea    (%r12,%r9,1),%ecx
movslq %r12d,%r13
movslq %ecx,%r11
mov    %r9d,%ebp
nopl   0x0(%rax)
movsd  (%rsi,%r13,8),%xmm0
movslq %ebp,%rax
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,(%rsi,%r13,8)
movsd  %xmm0,(%rsi,%rax,8)
lea    0x0(%r13,%r8,1),%rbx
lea    (%rax,%r14,1),%edx
movsd  (%rsi,%rbx,8),%xmm0
movslq %edx,%rdx
movsd  (%rsi,%rdx,8),%xmm1
movsd  %xmm1,(%rsi,%rbx,8)
movsd  %xmm0,(%rsi,%rdx,8)
add    %r15,%rbx
add    %r14d,%eax
add    $0x1,%eax
movsd  (%rsi,%rbx,8),%xmm0
movsd  0x8(%rsi,%rdx,8),%xmm1
movsd  %xmm1,(%rsi,%rbx,8)
movsd  %xmm0,0x8(%rsi,%rdx,8)
mov    %rbx,%rcx
sub    %r8,%rcx
sub    %r14d,%eax
movsd  (%rsi,%rcx,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rax,8)
add    %r10d,%eax
movsd  0x8(%rsi,%rcx,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,0x8(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rax,8)
add    $0x1,%ebx
lea    (%r10,%rdx,1),%eax
add    $0x1,%eax
movslq %ebx,%rcx
movsd  (%rsi,%rcx,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rax,8)
sub    %r10d,%ecx
add    %r10d,%edx
movslq %ecx,%rax
movsd  (%rsi,%rax,8),%xmm0
movslq %edx,%rcx
movsd  (%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rax,8)
movsd  %xmm0,(%rsi,%rcx,8)
sub    %r14d,%eax
sub    %r14d,%ecx
cltq
movsd  (%rsi,%rax,8),%xmm0
movslq %ecx,%rcx
movsd  (%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rax,8)
movsd  %xmm0,(%rsi,%rcx,8)
mov    %edi,%ecx
mov    %edi,%edx
nopl   0x0(%rax,%rax,1)
xor    %ecx,%ebp
sar    %edx
cmp    %ebp,%ecx
mov    %edx,%ecx
jg     12c0 <bitrv1+0x1c0>
add    $0x2,%r13
cmp    %r11,%r13
jl     11c0 <bitrv1+0xc0>
lea    (%r11,%r10,1),%eax
movsd  0x8(%rsi,%r11,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,0x8(%rsi,%r11,8)
movsd  %xmm0,(%rsi,%rax,8)
lea    (%r11,%r14,1),%ecx
add    $0x1,%ecx
add    %r14d,%eax
movslq %ecx,%rcx
movsd  (%rsi,%rcx,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,(%rsi,%rcx,8)
movsd  %xmm0,(%rsi,%rax,8)
add    $0x2,%r9d
cmp    %r14d,%r9d
jl     1190 <bitrv1+0x90>
jmp    1432 <bitrv1+0x332>
cmp    $0x3,%r14d
jl     1432 <bitrv1+0x332>
sar    $0x2,%edi
mov    $0x2,%r8d
xor    %r11d,%r11d
mov    %edi,%eax
mov    %edi,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
xor    %eax,%r11d
sar    %ecx
cmp    %r11d,%eax
mov    %ecx,%eax
jg     1350 <bitrv1+0x250>
lea    (%r11,%r8,1),%ecx
movslq %r11d,%rax
movslq %ecx,%r9
mov    %r8d,%ebx
nopl   0x0(%rax)
movsd  (%rsi,%rax,8),%xmm0
movslq %ebx,%rcx
movsd  (%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rax,8)
movsd  %xmm0,(%rsi,%rcx,8)
lea    (%rax,%r15,1),%rdx
movsd  (%rsi,%rdx,8),%xmm0
movsd  0x8(%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rdx,8)
movsd  %xmm0,0x8(%rsi,%rcx,8)
lea    0x1(%rax,%r15,1),%rbp
lea    0x1(%rcx,%r15,1),%r12d
movsd  0x8(%rsi,%rdx,8),%xmm0
movslq %r12d,%r12
movsd  (%rsi,%r12,8),%xmm1
movsd  %xmm1,0x8(%rsi,%rdx,8)
movsd  %xmm0,(%rsi,%r12,8)
sub    %r15,%rbp
add    %r15d,%ecx
movsd  (%rsi,%rbp,8),%xmm0
movslq %ecx,%rcx
movsd  (%rsi,%rcx,8),%xmm1
movsd  %xmm1,(%rsi,%rbp,8)
movsd  %xmm0,(%rsi,%rcx,8)
mov    %edi,%ecx
mov    %edi,%edx
nopw   0x0(%rax,%rax,1)
xor    %ecx,%ebx
sar    %edx
cmp    %ebx,%ecx
mov    %edx,%ecx
jg     13f0 <bitrv1+0x2f0>
add    $0x2,%rax
cmp    %r9,%rax
jl     1370 <bitrv1+0x270>
lea    (%r9,%r10,1),%eax
movsd  0x8(%rsi,%r9,8),%xmm0
cltq
movsd  (%rsi,%rax,8),%xmm1
movsd  %xmm1,0x8(%rsi,%r9,8)
movsd  %xmm0,(%rsi,%rax,8)
add    $0x2,%r8d
cmp    %r14d,%r8d
jl     1340 <bitrv1+0x240>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
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 i32
%15 = alloca double
store i32 %0, i32* %3
store double* %1, double** %4
%16 = load i32, i32* %3
%17 = ashr i32 %16, 1
store i32 %17, i32* %14
%18 = load double*, double** %4
%19 = getelementptr inbounds double, double* %18, i64 1
%20 = load double, double* %19
store double %20, double* %15
%21 = load double*, double** %4
%22 = load i32, i32* %14
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds double, double* %21, i64 %23
%25 = load double, double* %24
%26 = load double*, double** %4
%27 = getelementptr inbounds double, double* %26, i64 1
store double %25, double* %27
%28 = load double, double* %15
%29 = load double*, double** %4
%30 = load i32, i32* %14
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds double, double* %29, i64 %31
store double %28, double* %32
store i32 2, i32* %10
%33 = load i32, i32* %3
%34 = ashr i32 %33, 2
store i32 %34, i32* %9
br label %35
35: ; preds = %41, %2
%36 = load i32, i32* %9
%37 = icmp sgt i32 %36, 2
br i1 %37, label %38, label %44
38: ; preds = %35
%39 = load i32, i32* %10
%40 = shl i32 %39, 1
store i32 %40, i32* %10
br label %41
41: ; preds = %38
%42 = load i32, i32* %9
%43 = ashr i32 %42, 2
store i32 %43, i32* %9
br label %35
44: ; preds = %35
%45 = load i32, i32* %9
%46 = icmp eq i32 %45, 2
br i1 %46, label %47, label %363
47: ; preds = %44
%48 = load i32, i32* %10
%49 = add nsw i32 %48, 1
store i32 %49, i32* %7
%50 = load i32, i32* %10
%51 = load i32, i32* %14
%52 = add nsw i32 %50, %51
store i32 %52, i32* %8
%53 = load double*, double** %4
%54 = load i32, i32* %7
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds double, double* %53, i64 %55
%57 = load double, double* %56
store double %57, double* %15
%58 = load double*, double** %4
%59 = load i32, i32* %8
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds double, double* %58, i64 %60
%62 = load double, double* %61
%63 = load double*, double** %4
%64 = load i32, i32* %7
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds double, double* %63, i64 %65
store double %62, double* %66
%67 = load double, double* %15
%68 = load double*, double** %4
%69 = load i32, i32* %8
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds double, double* %68, i64 %70
store double %67, double* %71
store i32 0, i32* %5
store i32 2, i32* %6
br label %72
72: ; preds = %359, %47
%73 = load i32, i32* %6
%74 = load i32, i32* %10
%75 = icmp slt i32 %73, %74
br i1 %75, label %76, label %362
76: ; preds = %72
%77 = load i32, i32* %14
%78 = ashr i32 %77, 1
store i32 %78, i32* %11
br label %79
79: ; preds = %86, %76
%80 = load i32, i32* %11
%81 = load i32, i32* %11
%82 = load i32, i32* %5
%83 = xor i32 %82, %81
store i32 %83, i32* %5
%84 = icmp sgt i32 %80, %83
br i1 %84, label %85, label %89
85: ; preds = %79
br label %86
86: ; preds = %85
%87 = load i32, i32* %11
%88 = ashr i32 %87, 1
store i32 %88, i32* %11
br label %79
89: ; preds = %79
%90 = load i32, i32* %6
store i32 %90, i32* %13
%91 = load i32, i32* %5
store i32 %91, i32* %12
br label %92
92: ; preds = %303, %89
%93 = load i32, i32* %12
%94 = load i32, i32* %5
%95 = load i32, i32* %6
%96 = add nsw i32 %94, %95
%97 = icmp slt i32 %93, %96
br i1 %97, label %98, label %306
98: ; preds = %92
%99 = load double*, double** %4
%100 = load i32, i32* %12
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds double, double* %99, i64 %101
%103 = load double, double* %102
store double %103, double* %15
%104 = load double*, double** %4
%105 = load i32, i32* %13
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds double, double* %104, i64 %106
%108 = load double, double* %107
%109 = load double*, double** %4
%110 = load i32, i32* %12
%111 = sext i32 %110 to i64
%112 = getelementptr inbounds double, double* %109, i64 %111
store double %108, double* %112
%113 = load double, double* %15
%114 = load double*, double** %4
%115 = load i32, i32* %13
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %114, i64 %116
store double %113, double* %117
%118 = load i32, i32* %12
%119 = load i32, i32* %10
%120 = add nsw i32 %118, %119
store i32 %120, i32* %7
%121 = load i32, i32* %13
%122 = load i32, i32* %10
%123 = add nsw i32 %121, %122
store i32 %123, i32* %8
%124 = load double*, double** %4
%125 = load i32, i32* %7
%126 = sext i32 %125 to i64
%127 = getelementptr inbounds double, double* %124, i64 %126
%128 = load double, double* %127
store double %128, double* %15
%129 = load double*, double** %4
%130 = load i32, i32* %8
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds double, double* %129, i64 %131
%133 = load double, double* %132
%134 = load double*, double** %4
%135 = load i32, i32* %7
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds double, double* %134, i64 %136
store double %133, double* %137
%138 = load double, double* %15
%139 = load double*, double** %4
%140 = load i32, i32* %8
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds double, double* %139, i64 %141
store double %138, double* %142
%143 = load i32, i32* %14
%144 = load i32, i32* %7
%145 = add nsw i32 %144, %143
store i32 %145, i32* %7
%146 = load i32, i32* %8
%147 = add nsw i32 %146, 1
store i32 %147, i32* %8
%148 = load double*, double** %4
%149 = load i32, i32* %7
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds double, double* %148, i64 %150
%152 = load double, double* %151
store double %152, double* %15
%153 = load double*, double** %4
%154 = load i32, i32* %8
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds double, double* %153, i64 %155
%157 = load double, double* %156
%158 = load double*, double** %4
%159 = load i32, i32* %7
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds double, double* %158, i64 %160
store double %157, double* %161
%162 = load double, double* %15
%163 = load double*, double** %4
%164 = load i32, i32* %8
%165 = sext i32 %164 to i64
%166 = getelementptr inbounds double, double* %163, i64 %165
store double %162, double* %166
%167 = load i32, i32* %10
%168 = load i32, i32* %7
%169 = sub nsw i32 %168, %167
store i32 %169, i32* %7
%170 = load i32, i32* %10
%171 = load i32, i32* %8
%172 = sub nsw i32 %171, %170
store i32 %172, i32* %8
%173 = load double*, double** %4
%174 = load i32, i32* %7
%175 = sext i32 %174 to i64
%176 = getelementptr inbounds double, double* %173, i64 %175
%177 = load double, double* %176
store double %177, double* %15
%178 = load double*, double** %4
%179 = load i32, i32* %8
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds double, double* %178, i64 %180
%182 = load double, double* %181
%183 = load double*, double** %4
%184 = load i32, i32* %7
%185 = sext i32 %184 to i64
%186 = getelementptr inbounds double, double* %183, i64 %185
store double %182, double* %186
%187 = load double, double* %15
%188 = load double*, double** %4
%189 = load i32, i32* %8
%190 = sext i32 %189 to i64
%191 = getelementptr inbounds double, double* %188, i64 %190
store double %187, double* %191
%192 = load i32, i32* %7
%193 = add nsw i32 %192, 1
store i32 %193, i32* %7
%194 = load i32, i32* %14
%195 = load i32, i32* %8
%196 = add nsw i32 %195, %194
store i32 %196, i32* %8
%197 = load double*, double** %4
%198 = load i32, i32* %7
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds double, double* %197, i64 %199
%201 = load double, double* %200
store double %201, double* %15
%202 = load double*, double** %4
%203 = load i32, i32* %8
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds double, double* %202, i64 %204
%206 = load double, double* %205
%207 = load double*, double** %4
%208 = load i32, i32* %7
%209 = sext i32 %208 to i64
%210 = getelementptr inbounds double, double* %207, i64 %209
store double %206, double* %210
%211 = load double, double* %15
%212 = load double*, double** %4
%213 = load i32, i32* %8
%214 = sext i32 %213 to i64
%215 = getelementptr inbounds double, double* %212, i64 %214
store double %211, double* %215
%216 = load i32, i32* %10
%217 = load i32, i32* %7
%218 = add nsw i32 %217, %216
store i32 %218, i32* %7
%219 = load i32, i32* %10
%220 = load i32, i32* %8
%221 = add nsw i32 %220, %219
store i32 %221, i32* %8
%222 = load double*, double** %4
%223 = load i32, i32* %7
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds double, double* %222, i64 %224
%226 = load double, double* %225
store double %226, double* %15
%227 = load double*, double** %4
%228 = load i32, i32* %8
%229 = sext i32 %228 to i64
%230 = getelementptr inbounds double, double* %227, i64 %229
%231 = load double, double* %230
%232 = load double*, double** %4
%233 = load i32, i32* %7
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds double, double* %232, i64 %234
store double %231, double* %235
%236 = load double, double* %15
%237 = load double*, double** %4
%238 = load i32, i32* %8
%239 = sext i32 %238 to i64
%240 = getelementptr inbounds double, double* %237, i64 %239
store double %236, double* %240
%241 = load i32, i32* %14
%242 = load i32, i32* %7
%243 = sub nsw i32 %242, %241
store i32 %243, i32* %7
%244 = load i32, i32* %8
%245 = add nsw i32 %244, -1
store i32 %245, i32* %8
%246 = load double*, double** %4
%247 = load i32, i32* %7
%248 = sext i32 %247 to i64
%249 = getelementptr inbounds double, double* %246, i64 %248
%250 = load double, double* %249
store double %250, double* %15
%251 = load double*, double** %4
%252 = load i32, i32* %8
%253 = sext i32 %252 to i64
%254 = getelementptr inbounds double, double* %251, i64 %253
%255 = load double, double* %254
%256 = load double*, double** %4
%257 = load i32, i32* %7
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds double, double* %256, i64 %258
store double %255, double* %259
%260 = load double, double* %15
%261 = load double*, double** %4
%262 = load i32, i32* %8
%263 = sext i32 %262 to i64
%264 = getelementptr inbounds double, double* %261, i64 %263
store double %260, double* %264
%265 = load i32, i32* %10
%266 = load i32, i32* %7
%267 = sub nsw i32 %266, %265
store i32 %267, i32* %7
%268 = load i32, i32* %10
%269 = load i32, i32* %8
%270 = sub nsw i32 %269, %268
store i32 %270, i32* %8
%271 = load double*, double** %4
%272 = load i32, i32* %7
%273 = sext i32 %272 to i64
%274 = getelementptr inbounds double, double* %271, i64 %273
%275 = load double, double* %274
store double %275, double* %15
%276 = load double*, double** %4
%277 = load i32, i32* %8
%278 = sext i32 %277 to i64
%279 = getelementptr inbounds double, double* %276, i64 %278
%280 = load double, double* %279
%281 = load double*, double** %4
%282 = load i32, i32* %7
%283 = sext i32 %282 to i64
%284 = getelementptr inbounds double, double* %281, i64 %283
store double %280, double* %284
%285 = load double, double* %15
%286 = load double*, double** %4
%287 = load i32, i32* %8
%288 = sext i32 %287 to i64
%289 = getelementptr inbounds double, double* %286, i64 %288
store double %285, double* %289
%290 = load i32, i32* %14
%291 = ashr i32 %290, 1
store i32 %291, i32* %11
br label %292
292: ; preds = %299, %98
%293 = load i32, i32* %11
%294 = load i32, i32* %11
%295 = load i32, i32* %13
%296 = xor i32 %295, %294
store i32 %296, i32* %13
%297 = icmp sgt i32 %293, %296
br i1 %297, label %298, label %302
298: ; preds = %292
br label %299
299: ; preds = %298
%300 = load i32, i32* %11
%301 = ashr i32 %300, 1
store i32 %301, i32* %11
br label %292
302: ; preds = %292
br label %303
303: ; preds = %302
%304 = load i32, i32* %12
%305 = add nsw i32 %304, 2
store i32 %305, i32* %12
br label %92
306: ; preds = %92
%307 = load i32, i32* %5
%308 = load i32, i32* %6
%309 = add nsw i32 %307, %308
store i32 %309, i32* %8
%310 = load i32, i32* %8
%311 = add nsw i32 %310, 1
store i32 %311, i32* %7
%312 = load i32, i32* %14
%313 = load i32, i32* %8
%314 = add nsw i32 %313, %312
store i32 %314, i32* %8
%315 = load double*, double** %4
%316 = load i32, i32* %7
%317 = sext i32 %316 to i64
%318 = getelementptr inbounds double, double* %315, i64 %317
%319 = load double, double* %318
store double %319, double* %15
%320 = load double*, double** %4
%321 = load i32, i32* %8
%322 = sext i32 %321 to i64
%323 = getelementptr inbounds double, double* %320, i64 %322
%324 = load double, double* %323
%325 = load double*, double** %4
%326 = load i32, i32* %7
%327 = sext i32 %326 to i64
%328 = getelementptr inbounds double, double* %325, i64 %327
store double %324, double* %328
%329 = load double, double* %15
%330 = load double*, double** %4
%331 = load i32, i32* %8
%332 = sext i32 %331 to i64
%333 = getelementptr inbounds double, double* %330, i64 %332
store double %329, double* %333
%334 = load i32, i32* %10
%335 = load i32, i32* %7
%336 = add nsw i32 %335, %334
store i32 %336, i32* %7
%337 = load i32, i32* %10
%338 = load i32, i32* %8
%339 = add nsw i32 %338, %337
store i32 %339, i32* %8
%340 = load double*, double** %4
%341 = load i32, i32* %7
%342 = sext i32 %341 to i64
%343 = getelementptr inbounds double, double* %340, i64 %342
%344 = load double, double* %343
store double %344, double* %15
%345 = load double*, double** %4
%346 = load i32, i32* %8
%347 = sext i32 %346 to i64
%348 = getelementptr inbounds double, double* %345, i64 %347
%349 = load double, double* %348
%350 = load double*, double** %4
%351 = load i32, i32* %7
%352 = sext i32 %351 to i64
%353 = getelementptr inbounds double, double* %350, i64 %352
store double %349, double* %353
%354 = load double, double* %15
%355 = load double*, double** %4
%356 = load i32, i32* %8
%357 = sext i32 %356 to i64
%358 = getelementptr inbounds double, double* %355, i64 %357
store double %354, double* %358
br label %359
359: ; preds = %306
%360 = load i32, i32* %6
%361 = add nsw i32 %360, 2
store i32 %361, i32* %6
br label %72
362: ; preds = %72
br label %530
363: ; preds = %44
store i32 0, i32* %5
store i32 2, i32* %6
br label %364
364: ; preds = %526, %363
%365 = load i32, i32* %6
%366 = load i32, i32* %10
%367 = icmp slt i32 %365, %366
br i1 %367, label %368, label %529
368: ; preds = %364
%369 = load i32, i32* %14
%370 = ashr i32 %369, 1
store i32 %370, i32* %11
br label %371
371: ; preds = %378, %368
%372 = load i32, i32* %11
%373 = load i32, i32* %11
%374 = load i32, i32* %5
%375 = xor i32 %374, %373
store i32 %375, i32* %5
%376 = icmp sgt i32 %372, %375
br i1 %376, label %377, label %381
377: ; preds = %371
br label %378
378: ; preds = %377
%379 = load i32, i32* %11
%380 = ashr i32 %379, 1
store i32 %380, i32* %11
br label %371
381: ; preds = %371
%382 = load i32, i32* %6
store i32 %382, i32* %13
%383 = load i32, i32* %5
store i32 %383, i32* %12
br label %384
384: ; preds = %495, %381
%385 = load i32, i32* %12
%386 = load i32, i32* %5
%387 = load i32, i32* %6
%388 = add nsw i32 %386, %387
%389 = icmp slt i32 %385, %388
br i1 %389, label %390, label %498
390: ; preds = %384
%391 = load double*, double** %4
%392 = load i32, i32* %12
%393 = sext i32 %392 to i64
%394 = getelementptr inbounds double, double* %391, i64 %393
%395 = load double, double* %394
store double %395, double* %15
%396 = load double*, double** %4
%397 = load i32, i32* %13
%398 = sext i32 %397 to i64
%399 = getelementptr inbounds double, double* %396, i64 %398
%400 = load double, double* %399
%401 = load double*, double** %4
%402 = load i32, i32* %12
%403 = sext i32 %402 to i64
%404 = getelementptr inbounds double, double* %401, i64 %403
store double %400, double* %404
%405 = load double, double* %15
%406 = load double*, double** %4
%407 = load i32, i32* %13
%408 = sext i32 %407 to i64
%409 = getelementptr inbounds double, double* %406, i64 %408
store double %405, double* %409
%410 = load i32, i32* %12
%411 = load i32, i32* %14
%412 = add nsw i32 %410, %411
store i32 %412, i32* %7
%413 = load i32, i32* %13
%414 = add nsw i32 %413, 1
store i32 %414, i32* %8
%415 = load double*, double** %4
%416 = load i32, i32* %7
%417 = sext i32 %416 to i64
%418 = getelementptr inbounds double, double* %415, i64 %417
%419 = load double, double* %418
store double %419, double* %15
%420 = load double*, double** %4
%421 = load i32, i32* %8
%422 = sext i32 %421 to i64
%423 = getelementptr inbounds double, double* %420, i64 %422
%424 = load double, double* %423
%425 = load double*, double** %4
%426 = load i32, i32* %7
%427 = sext i32 %426 to i64
%428 = getelementptr inbounds double, double* %425, i64 %427
store double %424, double* %428
%429 = load double, double* %15
%430 = load double*, double** %4
%431 = load i32, i32* %8
%432 = sext i32 %431 to i64
%433 = getelementptr inbounds double, double* %430, i64 %432
store double %429, double* %433
%434 = load i32, i32* %7
%435 = add nsw i32 %434, 1
store i32 %435, i32* %7
%436 = load i32, i32* %14
%437 = load i32, i32* %8
%438 = add nsw i32 %437, %436
store i32 %438, i32* %8
%439 = load double*, double** %4
%440 = load i32, i32* %7
%441 = sext i32 %440 to i64
%442 = getelementptr inbounds double, double* %439, i64 %441
%443 = load double, double* %442
store double %443, double* %15
%444 = load double*, double** %4
%445 = load i32, i32* %8
%446 = sext i32 %445 to i64
%447 = getelementptr inbounds double, double* %444, i64 %446
%448 = load double, double* %447
%449 = load double*, double** %4
%450 = load i32, i32* %7
%451 = sext i32 %450 to i64
%452 = getelementptr inbounds double, double* %449, i64 %451
store double %448, double* %452
%453 = load double, double* %15
%454 = load double*, double** %4
%455 = load i32, i32* %8
%456 = sext i32 %455 to i64
%457 = getelementptr inbounds double, double* %454, i64 %456
store double %453, double* %457
%458 = load i32, i32* %14
%459 = load i32, i32* %7
%460 = sub nsw i32 %459, %458
store i32 %460, i32* %7
%461 = load i32, i32* %8
%462 = add nsw i32 %461, -1
store i32 %462, i32* %8
%463 = load double*, double** %4
%464 = load i32, i32* %7
%465 = sext i32 %464 to i64
%466 = getelementptr inbounds double, double* %463, i64 %465
%467 = load double, double* %466
store double %467, double* %15
%468 = load double*, double** %4
%469 = load i32, i32* %8
%470 = sext i32 %469 to i64
%471 = getelementptr inbounds double, double* %468, i64 %470
%472 = load double, double* %471
%473 = load double*, double** %4
%474 = load i32, i32* %7
%475 = sext i32 %474 to i64
%476 = getelementptr inbounds double, double* %473, i64 %475
store double %472, double* %476
%477 = load double, double* %15
%478 = load double*, double** %4
%479 = load i32, i32* %8
%480 = sext i32 %479 to i64
%481 = getelementptr inbounds double, double* %478, i64 %480
store double %477, double* %481
%482 = load i32, i32* %14
%483 = ashr i32 %482, 1
store i32 %483, i32* %11
br label %484
484: ; preds = %491, %390
%485 = load i32, i32* %11
%486 = load i32, i32* %11
%487 = load i32, i32* %13
%488 = xor i32 %487, %486
store i32 %488, i32* %13
%489 = icmp sgt i32 %485, %488
br i1 %489, label %490, label %494
490: ; preds = %484
br label %491
491: ; preds = %490
%492 = load i32, i32* %11
%493 = ashr i32 %492, 1
store i32 %493, i32* %11
br label %484
494: ; preds = %484
br label %495
495: ; preds = %494
%496 = load i32, i32* %12
%497 = add nsw i32 %496, 2
store i32 %497, i32* %12
br label %384
498: ; preds = %384
%499 = load i32, i32* %5
%500 = load i32, i32* %6
%501 = add nsw i32 %499, %500
store i32 %501, i32* %8
%502 = load i32, i32* %8
%503 = add nsw i32 %502, 1
store i32 %503, i32* %7
%504 = load i32, i32* %14
%505 = load i32, i32* %8
%506 = add nsw i32 %505, %504
store i32 %506, i32* %8
%507 = load double*, double** %4
%508 = load i32, i32* %7
%509 = sext i32 %508 to i64
%510 = getelementptr inbounds double, double* %507, i64 %509
%511 = load double, double* %510
store double %511, double* %15
%512 = load double*, double** %4
%513 = load i32, i32* %8
%514 = sext i32 %513 to i64
%515 = getelementptr inbounds double, double* %512, i64 %514
%516 = load double, double* %515
%517 = load double*, double** %4
%518 = load i32, i32* %7
%519 = sext i32 %518 to i64
%520 = getelementptr inbounds double, double* %517, i64 %519
store double %516, double* %520
%521 = load double, double* %15
%522 = load double*, double** %4
%523 = load i32, i32* %8
%524 = sext i32 %523 to i64
%525 = getelementptr inbounds double, double* %522, i64 %524
store double %521, double* %525
br label %526
526: ; preds = %498
%527 = load i32, i32* %6
%528 = add nsw i32 %527, 2
store i32 %528, i32* %6
br label %364
529: ; preds = %364
br label %530
530: ; preds = %529, %362
ret void
}

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