void revtProbs(double *dmat, int *idim) {
  int i, j, k, pos, cpos;
  double tsum, tmp;
  for (i = 0; i < idim[2]; i++) {
    pos = *idim * *idim * i;
    for (j = 0; j < *idim; j++) {
      cpos = pos + *idim * j;
      for (k = 0, tsum = 0.0; k < *idim; k++) {
        tmp = dmat[cpos + k];
        tsum += tmp;
        if (k > j) {
          dmat[cpos + k] = dmat[pos + *idim * k + j];
          dmat[pos + *idim * k + j] = tmp;
        }
      }
      for (k = 0; k < *idim; k++) {
        dmat[pos + *idim * k + j] /= tsum;
      }
    }
  }
  pos = *idim * *idim;
  cpos = idim[2] / 2;
  for (i = 0; i < cpos; i++) {
    k = idim[2] - i - 1;
    for (j = 0; j < pos; j++) {
      tmp = dmat[pos * k + j];
      dmat[pos * k + j] = dmat[pos * i + j];
      dmat[pos * i + j] = tmp;
    }
  }
}


x86 assembly (clang, -O0):
<revtProbs>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    0x8(%rcx),%eax
jge    128b <revtProbs+0x18b>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
imul   (%rcx),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1278 <revtProbs+0x178>
mov    -0x20(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    (%rcx),%ecx
imul   -0x18(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1215 <revtProbs+0x115>
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
movsd  -0x38(%rbp),%xmm0
addsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    1202 <revtProbs+0x102>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rdx
mov    (%rdx),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x38(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rdx
mov    (%rdx),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
jmp    1207 <revtProbs+0x107>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    116e <revtProbs+0x6e>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1265 <revtProbs+0x165>
movsd  -0x30(%rbp),%xmm1
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rdx
mov    (%rdx),%edx
imul   -0x1c(%rbp),%edx
add    %edx,%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
divsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    121c <revtProbs+0x11c>
jmp    126a <revtProbs+0x16a>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113e <revtProbs+0x3e>
jmp    127d <revtProbs+0x17d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1113 <revtProbs+0x13>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
imul   (%rcx),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1366 <revtProbs+0x266>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
sub    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1353 <revtProbs+0x253>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x38(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12d7 <revtProbs+0x1d7>
jmp    1358 <revtProbs+0x258>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12b4 <revtProbs+0x1b4>
pop    %rbp
ret

x86 assembly (clang, -O2):
<revtProbs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    0x8(%rsi),%eax
mov    %rax,-0x60(%rsp)
test   %eax,%eax
jle    1532 <revtProbs+0x432>
mov    (%rsi),%r14d
movslq %r14d,%rbx
mov    %ebx,%r9d
mov    %rbx,%r15
lea    (%rbx,%rbx,1),%r8d
and    $0xfffffffe,%ebx
imul   %r9d,%r9d
shl    $0x3,%r15
xor    %r10d,%r10d
xor    %r11d,%r11d
jmp    1152 <revtProbs+0x52>
nopl   (%rax)
add    $0x1,%r11
add    %r9d,%r10d
cmp    -0x60(%rsp),%r11
je     123a <revtProbs+0x13a>
test   %r14d,%r14d
jle    1140 <revtProbs+0x40>
mov    %r14d,%r13d
imul   %r11d,%r13d
imul   %r14d,%r13d
movslq %r10d,%rax
lea    (%rdi,%rax,8),%rdx
mov    %r10d,%r12d
xor    %esi,%esi
jmp    1180 <revtProbs+0x80>
add    $0x1,%rsi
add    $0x1,%r12d
add    %r15,%rdx
cmp    %r14,%rsi
je     1140 <revtProbs+0x40>
xorpd  %xmm0,%xmm0
mov    %r12d,%eax
xor    %ebp,%ebp
jmp    11a0 <revtProbs+0xa0>
nopl   0x0(%rax,%rax,1)
addsd  %xmm1,%xmm0
add    $0x1,%rbp
add    %r14d,%eax
cmp    %rbp,%r14
je     11c0 <revtProbs+0xc0>
movsd  (%rdx,%rbp,8),%xmm1
cmp    %rsi,%rbp
jbe    1190 <revtProbs+0x90>
movslq %eax,%rcx
movsd  (%rdi,%rcx,8),%xmm2
movsd  %xmm2,(%rdx,%rbp,8)
movsd  %xmm1,(%rdi,%rcx,8)
jmp    1190 <revtProbs+0x90>
xchg   %ax,%ax
cmp    $0x1,%r14d
jne    11d0 <revtProbs+0xd0>
xor    %eax,%eax
jmp    1212 <revtProbs+0x112>
nopw   0x0(%rax,%rax,1)
mov    %r12d,%ebp
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movslq %ebp,%rbp
movsd  (%rdi,%rbp,8),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,(%rdi,%rbp,8)
lea    (%r14,%rbp,1),%ecx
movslq %ecx,%rcx
movsd  (%rdi,%rcx,8),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,(%rdi,%rcx,8)
add    $0x2,%rax
add    %r8d,%ebp
cmp    %rax,%rbx
jne    11e0 <revtProbs+0xe0>
test   $0x1,%r14b
je     1170 <revtProbs+0x70>
imul   %r14d,%eax
add    %r13d,%eax
add    %esi,%eax
cltq
movsd  (%rdi,%rax,8),%xmm1
divsd  %xmm0,%xmm1
movsd  %xmm1,(%rdi,%rax,8)
jmp    1170 <revtProbs+0x70>
cmpl   $0x2,-0x60(%rsp)
jl     1532 <revtProbs+0x432>
mov    %r14d,%r10d
imul   %r14d,%r10d
mov    -0x60(%rsp),%rax
mov    %rax,%r12
shr    %r12
mov    %r10d,%r9d
lea    -0x1(%r9),%rcx
mov    %rcx,-0x8(%rsp)
imul   %r14d,%r14d
lea    (%rdi,%r9,8),%rcx
mov    %rcx,-0x10(%rsp)
mov    %r9d,%ecx
and    $0xfffffffc,%ecx
mov    %rcx,-0x20(%rsp)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x28(%rsp)
mov    %rcx,%rdx
shr    $0x2,%rdx
add    $0x1,%rdx
mov    %rdx,%rcx
mov    %rdx,-0x30(%rsp)
and    $0xfffffffffffffffe,%rdx
mov    %rdx,-0x38(%rsp)
mov    %r9,%rsi
neg    %rsi
lea    0x30(%rdi),%rcx
mov    %rcx,-0x40(%rsp)
lea    -0x1(%rax),%r8d
imul   %r14d,%r8d
mov    $0x4,%r13d
xor    %ecx,%ecx
xor    %r15d,%r15d
mov    %r12,-0x18(%rsp)
mov    %r9,-0x48(%rsp)
jmp    12e6 <revtProbs+0x1e6>
xchg   %ax,%ax
add    $0x1,%r15
sub    %r10d,%r8d
add    %r9,%r13
add    %r9,%rcx
cmp    %r12,%r15
je     1532 <revtProbs+0x432>
test   %r10d,%r10d
je     12d0 <revtProbs+0x1d0>
movslq %r8d,%rbp
mov    %r15d,%eax
not    %eax
add    -0x60(%rsp),%eax
imul   %r10d,%eax
mov    %r15,%r11
imul   %r9,%r11
movslq %eax,%rdx
cmp    $0x4,%r10d
jae    13a0 <revtProbs+0x2a0>
xor    %ebx,%ebx
mov    %rbx,%rax
test   $0x1,%r9b
je     133d <revtProbs+0x23d>
add    %rbx,%rdx
movsd  (%rdi,%rdx,8),%xmm0
add    %ebx,%r11d
movsd  (%rdi,%r11,8),%xmm1
movsd  %xmm1,(%rdi,%rdx,8)
movsd  %xmm0,(%rdi,%r11,8)
mov    %rbx,%rax
or     $0x1,%rax
not    %rbx
cmp    %rsi,%rbx
je     12d0 <revtProbs+0x1d0>
lea    (%rdi,%rbp,8),%rbx
lea    0x1(%rax),%rdx
add    %rcx,%rax
movsd  -0x8(%rbx,%rdx,8),%xmm0
mov    %eax,%ebp
movsd  (%rdi,%rbp,8),%xmm1
movsd  %xmm1,-0x8(%rbx,%rdx,8)
movsd  %xmm0,(%rdi,%rbp,8)
movsd  (%rbx,%rdx,8),%xmm0
lea    0x1(%rax),%ebp
movsd  (%rdi,%rbp,8),%xmm1
movsd  %xmm1,(%rbx,%rdx,8)
movsd  %xmm0,(%rdi,%rbp,8)
lea    (%rsi,%rdx,1),%rbp
add    $0x2,%rbp
add    $0x2,%rdx
add    $0x2,%rax
cmp    $0x1,%rbp
jne    1350 <revtProbs+0x250>
jmp    12d0 <revtProbs+0x1d0>
nopw   0x0(%rax,%rax,1)
mov    %rdx,-0x58(%rsp)
mov    %r10d,%eax
imul   %r15d,%eax
mov    %eax,%ebx
mov    -0x8(%rsp),%rdx
add    %edx,%ebx
jb     1426 <revtProbs+0x326>
mov    %rdx,%rbx
shr    $0x20,%rbx
mov    $0x0,%ebx
mov    -0x58(%rsp),%rdx
jne    1311 <revtProbs+0x211>
mov    %rbp,-0x50(%rsp)
mov    %r15d,%ebx
not    %ebx
add    -0x60(%rsp),%ebx
imul   %r14d,%ebx
movslq %ebx,%rbx
lea    (%rdi,%rbx,8),%r9
mov    -0x10(%rsp),%rbp
lea    0x0(,%rax,8),%rdx
add    %rbp,%rdx
cmp    %rdx,%r9
jae    1432 <revtProbs+0x332>
lea    0x0(,%rbx,8),%rdx
add    %rbp,%rdx
lea    (%rdi,%rax,8),%rax
cmp    %rdx,%rax
jae    1432 <revtProbs+0x332>
xor    %ebx,%ebx
mov    -0x48(%rsp),%r9
mov    -0x50(%rsp),%rbp
mov    -0x58(%rsp),%rdx
jmp    1311 <revtProbs+0x211>
xor    %ebx,%ebx
mov    -0x58(%rsp),%rdx
jmp    1311 <revtProbs+0x211>
cmpq   $0x0,-0x28(%rsp)
je     14cb <revtProbs+0x3cb>
mov    -0x40(%rsp),%rax
mov    -0x50(%rsp),%rbp
lea    (%rax,%rbp,8),%rax
mov    -0x38(%rsp),%r12
xor    %r9d,%r9d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups -0x30(%rax,%r9,8),%xmm0
movups -0x20(%rax,%r9,8),%xmm1
lea    (%rcx,%r9,1),%edx
movups (%rdi,%rdx,8),%xmm2
movups 0x10(%rdi,%rdx,8),%xmm3
movups %xmm2,-0x30(%rax,%r9,8)
movups %xmm3,-0x20(%rax,%r9,8)
movups %xmm0,(%rdi,%rdx,8)
movups %xmm1,0x10(%rdi,%rdx,8)
movupd -0x10(%rax,%r9,8),%xmm0
movupd (%rax,%r9,8),%xmm1
lea    0x0(%r13,%r9,1),%edx
movups (%rdi,%rdx,8),%xmm2
movups 0x10(%rdi,%rdx,8),%xmm3
movups %xmm2,-0x10(%rax,%r9,8)
movups %xmm3,(%rax,%r9,8)
movupd %xmm0,(%rdi,%rdx,8)
movupd %xmm1,0x10(%rdi,%rdx,8)
add    $0x8,%r9
add    $0xfffffffffffffffe,%r12
jne    1460 <revtProbs+0x360>
jmp    14d3 <revtProbs+0x3d3>
xor    %r9d,%r9d
mov    -0x50(%rsp),%rbp
testb  $0x1,-0x30(%rsp)
mov    -0x58(%rsp),%rdx
je     1512 <revtProbs+0x412>
lea    (%r9,%rdx,1),%rax
movupd (%rdi,%rax,8),%xmm0
movupd 0x10(%rdi,%rax,8),%xmm1
add    %r11d,%r9d
movups (%rdi,%r9,8),%xmm2
movups 0x10(%rdi,%r9,8),%xmm3
movups %xmm2,(%rdi,%rax,8)
movups %xmm3,0x10(%rdi,%rax,8)
movupd %xmm0,(%rdi,%r9,8)
movupd %xmm1,0x10(%rdi,%r9,8)
mov    -0x20(%rsp),%rax
mov    %rax,%rbx
mov    -0x48(%rsp),%r9
cmp    %r9,%rax
mov    -0x18(%rsp),%r12
je     12d0 <revtProbs+0x1d0>
jmp    1311 <revtProbs+0x211>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @revtProbs(double* nocapture %0, i32* nocapture %1) {
%3 = getelementptr inbounds i32, i32* %1, i64 2
%4 = load i32, i32* %3
%5 = icmp sgt i32 %4, 0
br i1 %5, label %6, label %253
6: ; preds = %2
%7 = load i32, i32* %1
%8 = icmp sgt i32 %7, 0
%9 = sext i32 %7 to i64
%10 = zext i32 %4 to i64
%11 = zext i32 %7 to i64
%12 = and i64 %11, 1
%13 = icmp eq i32 %7, 1
%14 = and i64 %11, 4294967294
%15 = icmp eq i64 %12, 0
br label %16
16: ; preds = %6, %84
%17 = phi i64 [ 0, %6 ], [ %85, %84 ]
%18 = trunc i64 %17 to i32
%19 = mul i32 %7, %18
%20 = mul i32 %19, %7
br i1 %8, label %21, label %84
21: ; preds = %16
%22 = sext i32 %20 to i64
br label %23
23: ; preds = %81, %21
%24 = phi i64 [ 0, %21 ], [ %82, %81 ]
%25 = mul nsw i64 %24, %9
%26 = add nsw i64 %25, %22
%27 = trunc i64 %24 to i32
%28 = add i32 %20, %27
br label %32
29: ; preds = %47
%30 = trunc i64 %24 to i32
%31 = add i32 %20, %30
br i1 %13, label %71, label %50
32: ; preds = %23, %47
%33 = phi i64 [ 0, %23 ], [ %48, %47 ]
%34 = phi double [ 0.000000e+00, %23 ], [ %38, %47 ]
%35 = add nsw i64 %26, %33
%36 = getelementptr inbounds double, double* %0, i64 %35
%37 = load double, double* %36
%38 = fadd double %34, %37
%39 = icmp ugt i64 %33, %24
br i1 %39, label %40, label %47
40: ; preds = %32
%41 = trunc i64 %33 to i32
%42 = mul i32 %7, %41
%43 = add i32 %28, %42
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds double, double* %0, i64 %44
%46 = load double, double* %45
store double %46, double* %36
store double %37, double* %45
br label %47
47: ; preds = %32, %40
%48 = add nuw nsw i64 %33, 1
%49 = icmp eq i64 %48, %11
br i1 %49, label %29, label %32
50: ; preds = %29, %50
%51 = phi i64 [ %68, %50 ], [ 0, %29 ]
%52 = phi i64 [ %69, %50 ], [ 0, %29 ]
%53 = trunc i64 %51 to i32
%54 = mul i32 %7, %53
%55 = add i32 %31, %54
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds double, double* %0, i64 %56
%58 = load double, double* %57
%59 = fdiv double %58, %38
store double %59, double* %57
%60 = trunc i64 %51 to i32
%61 = or i32 %60, 1
%62 = mul i32 %7, %61
%63 = add i32 %31, %62
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds double, double* %0, i64 %64
%66 = load double, double* %65
%67 = fdiv double %66, %38
store double %67, double* %65
%68 = add nuw nsw i64 %51, 2
%69 = add i64 %52, 2
%70 = icmp eq i64 %69, %14
br i1 %70, label %71, label %50
71: ; preds = %50, %29
%72 = phi i64 [ 0, %29 ], [ %68, %50 ]
br i1 %15, label %81, label %73
73: ; preds = %71
%74 = trunc i64 %72 to i32
%75 = mul i32 %7, %74
%76 = add i32 %31, %75
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds double, double* %0, i64 %77
%79 = load double, double* %78
%80 = fdiv double %79, %38
store double %80, double* %78
br label %81
81: ; preds = %71, %73
%82 = add nuw nsw i64 %24, 1
%83 = icmp eq i64 %82, %11
br i1 %83, label %84, label %23
84: ; preds = %81, %16
%85 = add nuw nsw i64 %17, 1
%86 = icmp eq i64 %85, %10
br i1 %86, label %87, label %16
87: ; preds = %84
%88 = mul i32 %7, %7
%89 = icmp sgt i32 %4, 1
br i1 %89, label %90, label %253
90: ; preds = %87
%91 = lshr i32 %4, 1
%92 = icmp eq i32 %88, 0
%93 = zext i32 %88 to i64
%94 = zext i32 %91 to i64
%95 = zext i32 %88 to i64
%96 = add nsw i64 %95, -1
%97 = mul i32 %7, %7
%98 = getelementptr double, double* %0, i64 %95
%99 = getelementptr double, double* %0, i64 %95
%100 = and i64 %95, 4294967292
%101 = add nsw i64 %100, -4
%102 = lshr exact i64 %101, 2
%103 = add nuw nsw i64 %102, 1
%104 = icmp ult i32 %88, 4
%105 = trunc i64 %96 to i32
%106 = icmp ugt i64 %96, 4294967295
%107 = and i64 %95, 4294967292
%108 = and i64 %103, 1
%109 = icmp eq i64 %101, 0
%110 = and i64 %103, 9223372036854775806
%111 = icmp eq i64 %108, 0
%112 = icmp eq i64 %107, %95
%113 = and i64 %95, 1
%114 = icmp eq i64 %113, 0
%115 = sub nsw i64 0, %95
br label %116
116: ; preds = %90, %250
%117 = phi i64 [ 0, %90 ], [ %251, %250 ]
%118 = trunc i64 %117 to i32
%119 = xor i32 %118, -1
%120 = add i32 %4, %119
%121 = mul i32 %97, %120
%122 = sext i32 %121 to i64
%123 = getelementptr double, double* %0, i64 %122
%124 = getelementptr double, double* %98, i64 %122
%125 = trunc i64 %117 to i32
%126 = mul i32 %88, %125
%127 = zext i32 %126 to i64
%128 = getelementptr double, double* %0, i64 %127
%129 = getelementptr double, double* %99, i64 %127
%130 = trunc i64 %117 to i32
%131 = mul i32 %88, %130
br i1 %92, label %250, label %132
132: ; preds = %116
%133 = trunc i64 %117 to i32
%134 = xor i32 %133, -1
%135 = add i32 %4, %134
%136 = mul nsw i32 %135, %88
%137 = mul i64 %117, %93
%138 = sext i32 %136 to i64
br i1 %104, label %216, label %139
139: ; preds = %132
%140 = xor i32 %131, -1
%141 = icmp ult i32 %140, %105
%142 = or i1 %141, %106
br i1 %142, label %216, label %143
143: ; preds = %139
%144 = icmp ult double* %123, %129
%145 = icmp ult double* %128, %124
%146 = and i1 %144, %145
br i1 %146, label %216, label %147
147: ; preds = %143
br i1 %109, label %193, label %148
148: ; preds = %147, %148
%149 = phi i64 [ %190, %148 ], [ 0, %147 ]
%150 = phi i64 [ %191, %148 ], [ 0, %147 ]
%151 = add nsw i64 %149, %138
%152 = getelementptr inbounds double, double* %0, i64 %151
%153 = bitcast double* %152 to <2 x double>*
%154 = load <2 x double>, <2 x double>* %153
%155 = getelementptr inbounds double, double* %152, i64 2
%156 = bitcast double* %155 to <2 x double>*
%157 = load <2 x double>, <2 x double>* %156
%158 = add i64 %149, %137
%159 = and i64 %158, 4294967295
%160 = getelementptr inbounds double, double* %0, i64 %159
%161 = bitcast double* %160 to <2 x double>*
%162 = load <2 x double>, <2 x double>* %161
%163 = getelementptr inbounds double, double* %160, i64 2
%164 = bitcast double* %163 to <2 x double>*
%165 = load <2 x double>, <2 x double>* %164
%166 = bitcast double* %152 to <2 x double>*
store <2 x double> %162, <2 x double>* %166
%167 = bitcast double* %155 to <2 x double>*
store <2 x double> %165, <2 x double>* %167
%168 = bitcast double* %160 to <2 x double>*
store <2 x double> %154, <2 x double>* %168
%169 = bitcast double* %163 to <2 x double>*
store <2 x double> %157, <2 x double>* %169
%170 = or i64 %149, 4
%171 = add nsw i64 %170, %138
%172 = getelementptr inbounds double, double* %0, i64 %171
%173 = bitcast double* %172 to <2 x double>*
%174 = load <2 x double>, <2 x double>* %173
%175 = getelementptr inbounds double, double* %172, i64 2
%176 = bitcast double* %175 to <2 x double>*
%177 = load <2 x double>, <2 x double>* %176
%178 = add i64 %170, %137
%179 = and i64 %178, 4294967295
%180 = getelementptr inbounds double, double* %0, i64 %179
%181 = bitcast double* %180 to <2 x double>*
%182 = load <2 x double>, <2 x double>* %181
%183 = getelementptr inbounds double, double* %180, i64 2
%184 = bitcast double* %183 to <2 x double>*
%185 = load <2 x double>, <2 x double>* %184
%186 = bitcast double* %172 to <2 x double>*
store <2 x double> %182, <2 x double>* %186
%187 = bitcast double* %175 to <2 x double>*
store <2 x double> %185, <2 x double>* %187
%188 = bitcast double* %180 to <2 x double>*
store <2 x double> %174, <2 x double>* %188
%189 = bitcast double* %183 to <2 x double>*
store <2 x double> %177, <2 x double>* %189
%190 = add nuw i64 %149, 8
%191 = add i64 %150, 2
%192 = icmp eq i64 %191, %110
br i1 %192, label %193, label %148
193: ; preds = %148, %147
%194 = phi i64 [ 0, %147 ], [ %190, %148 ]
br i1 %111, label %215, label %195
195: ; preds = %193
%196 = add nsw i64 %194, %138
%197 = getelementptr inbounds double, double* %0, i64 %196
%198 = bitcast double* %197 to <2 x double>*
%199 = load <2 x double>, <2 x double>* %198
%200 = getelementptr inbounds double, double* %197, i64 2
%201 = bitcast double* %200 to <2 x double>*
%202 = load <2 x double>, <2 x double>* %201
%203 = add i64 %194, %137
%204 = and i64 %203, 4294967295
%205 = getelementptr inbounds double, double* %0, i64 %204
%206 = bitcast double* %205 to <2 x double>*
%207 = load <2 x double>, <2 x double>* %206
%208 = getelementptr inbounds double, double* %205, i64 2
%209 = bitcast double* %208 to <2 x double>*
%210 = load <2 x double>, <2 x double>* %209
%211 = bitcast double* %197 to <2 x double>*
store <2 x double> %207, <2 x double>* %211
%212 = bitcast double* %200 to <2 x double>*
store <2 x double> %210, <2 x double>* %212
%213 = bitcast double* %205 to <2 x double>*
store <2 x double> %199, <2 x double>* %213
%214 = bitcast double* %208 to <2 x double>*
store <2 x double> %202, <2 x double>* %214
br label %215
215: ; preds = %193, %195
br i1 %112, label %250, label %216
216: ; preds = %143, %139, %132, %215
%217 = phi i64 [ 0, %143 ], [ 0, %139 ], [ 0, %132 ], [ %107, %215 ]
%218 = xor i64 %217, -1
br i1 %114, label %228, label %219
219: ; preds = %216
%220 = add nsw i64 %217, %138
%221 = getelementptr inbounds double, double* %0, i64 %220
%222 = load double, double* %221
%223 = add i64 %217, %137
%224 = and i64 %223, 4294967295
%225 = getelementptr inbounds double, double* %0, i64 %224
%226 = load double, double* %225
store double %226, double* %221
store double %222, double* %225
%227 = or i64 %217, 1
br label %228
228: ; preds = %219, %216
%229 = phi i64 [ %217, %216 ], [ %227, %219 ]
%230 = icmp eq i64 %218, %115
br i1 %230, label %250, label %231
231: ; preds = %228, %231
%232 = phi i64 [ %248, %231 ], [ %229, %228 ]
%233 = add nsw i64 %232, %138
%234 = getelementptr inbounds double, double* %0, i64 %233
%235 = load double, double* %234
%236 = add i64 %232, %137
%237 = and i64 %236, 4294967295
%238 = getelementptr inbounds double, double* %0, i64 %237
%239 = load double, double* %238
store double %239, double* %234
store double %235, double* %238
%240 = add nuw nsw i64 %232, 1
%241 = add nsw i64 %240, %138
%242 = getelementptr inbounds double, double* %0, i64 %241
%243 = load double, double* %242
%244 = add i64 %240, %137
%245 = and i64 %244, 4294967295
%246 = getelementptr inbounds double, double* %0, i64 %245
%247 = load double, double* %246
store double %247, double* %242
store double %243, double* %246
%248 = add nuw nsw i64 %232, 2
%249 = icmp eq i64 %248, %95
br i1 %249, label %250, label %231
250: ; preds = %228, %231, %215, %116
%251 = add nuw nsw i64 %117, 1
%252 = icmp eq i64 %251, %94
br i1 %252, label %253, label %116
253: ; preds = %250, %2, %87
ret void
}