#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ log(float);
int ProbabilisticModel(int NumMatrixTypes, int NumInsertStates,
                       float *initDistribMat, float *emitSingle,
                       float **emitPairs, float *gapOpen, float *gapExtend,
                       float **transMat, float **insProb, float **matchProb,
                       float *initialDistribution, float **transProb) {
  int i, j;
  transMat[0][0] = 1;
  for (i = 0; i < NumInsertStates; i++) {
    transMat[0][2 * i + 1] = gapOpen[2 * i];
    transMat[0][2 * i + 2] = gapOpen[2 * i + 1];
    transMat[0][0] -= (gapOpen[2 * i] + gapOpen[2 * i + 1]);
    transMat[2 * i + 1][2 * i + 1] = gapExtend[2 * i];
    transMat[2 * i + 2][2 * i + 2] = gapExtend[2 * i + 1];
    transMat[2 * i + 1][2 * i + 2] = 0;
    transMat[2 * i + 2][2 * i + 1] = 0;
    transMat[2 * i + 1][0] = 1 - gapExtend[2 * i];
    transMat[2 * i + 2][0] = 1 - gapExtend[2 * i + 1];
  }
  for (i = 0; i < NumMatrixTypes; i++) {
    initialDistribution[i] = (float)log((float)initDistribMat[i]);
    for (j = 0; j < NumMatrixTypes; j++) {
      transProb[i][j] = (float)log((float)transMat[i][j]);
    }
  }
  for (i = 0; i < 256; i++) {
    for (j = 0; j < NumMatrixTypes; j++) {
      insProb[i][j] = (float)log((float)emitSingle[i]);
    }
    for (j = 0; j < 256; j++) {
      matchProb[i][j] = (float)log((float)emitPairs[i][j]);
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<ProbabilisticModel>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    0x38(%rbp),%rax
mov    0x30(%rbp),%rax
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
mov    0x18(%rbp),%rax
mov    (%rax),%rax
movss  0xeab(%rip),%xmm0
movss  %xmm0,(%rax)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1333 <ProbabilisticModel+0x223>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x18(%rbp),%rax
mov    (%rax),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm1
mov    0x18(%rbp),%rax
mov    (%rax),%rax
movss  (%rax),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,(%rax)
mov    0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
movss  0xd2d(%rip),%xmm0
subss  (%rax,%rcx,4),%xmm0
mov    0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movss  %xmm0,(%rax)
mov    0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  0xcf8(%rip),%xmm0
subss  (%rax,%rcx,4),%xmm0
mov    0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x1,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
movss  %xmm0,(%rax)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1160 <ProbabilisticModel+0x50>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    13d2 <ProbabilisticModel+0x2c2>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
call   1030 <log@plt>
cvtsi2ss %rax,%xmm0
mov    0x30(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    13bf <ProbabilisticModel+0x2af>
mov    0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
call   1030 <log@plt>
cvtsi2ss %rax,%xmm0
mov    0x38(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1371 <ProbabilisticModel+0x261>
jmp    13c4 <ProbabilisticModel+0x2b4>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    133a <ProbabilisticModel+0x22a>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x100,-0x2c(%rbp)
jge    149c <ProbabilisticModel+0x38c>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1433 <ProbabilisticModel+0x323>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
call   1030 <log@plt>
cvtsi2ss %rax,%xmm0
mov    0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    13ed <ProbabilisticModel+0x2dd>
movl   $0x0,-0x30(%rbp)
cmpl   $0x100,-0x30(%rbp)
jge    1489 <ProbabilisticModel+0x379>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
call   1030 <log@plt>
cvtsi2ss %rax,%xmm0
mov    0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    143a <ProbabilisticModel+0x32a>
jmp    148e <ProbabilisticModel+0x37e>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13d9 <ProbabilisticModel+0x2c9>
mov    $0x1,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ProbabilisticModel>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,0x8(%rsp)
mov    %rcx,0x10(%rsp)
mov    %edi,0x4(%rsp)
mov    0x58(%rsp),%r13
mov    0x0(%r13),%rax
movl   $0x3f800000,(%rax)
test   %esi,%esi
jle    11ea <ProbabilisticModel+0xda>
mov    0x50(%rsp),%rcx
mov    %esi,%ebx
shl    $0x3,%rbx
xor    %esi,%esi
movss  0xea8(%rip),%xmm0
nopl   0x0(%rax,%rax,1)
movss  (%r9,%rsi,1),%xmm1
movss  %xmm1,0x4(%rax,%rsi,1)
movss  0x4(%r9,%rsi,1),%xmm1
movss  %xmm1,0x8(%rax,%rsi,1)
movss  (%r9,%rsi,1),%xmm1
addss  0x4(%r9,%rsi,1),%xmm1
movss  (%rax),%xmm2
subss  %xmm1,%xmm2
movss  %xmm2,(%rax)
movss  (%rcx,%rsi,1),%xmm1
mov    0x8(%r13,%rsi,2),%rdi
movss  %xmm1,0x4(%rdi,%rsi,1)
movss  0x4(%rcx,%rsi,1),%xmm1
mov    0x10(%r13,%rsi,2),%rbp
movss  %xmm1,0x8(%rbp,%rsi,1)
movl   $0x0,0x8(%rdi,%rsi,1)
movl   $0x0,0x4(%rbp,%rsi,1)
movaps %xmm0,%xmm1
subss  (%rcx,%rsi,1),%xmm1
movss  %xmm1,(%rdi)
movaps %xmm0,%xmm1
subss  0x4(%rcx,%rsi,1),%xmm1
movss  %xmm1,0x0(%rbp)
add    $0x8,%rsi
cmp    %rsi,%rbx
jne    1160 <ProbabilisticModel+0x50>
mov    0x4(%rsp),%eax
mov    %eax,%r15d
test   %eax,%eax
jle    1262 <ProbabilisticModel+0x152>
mov    %rdx,%rbp
mov    0x78(%rsp),%r14
xor    %r12d,%r12d
movss  0x0(%rbp,%r12,4),%xmm0
call   1030 <log@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
mov    0x70(%rsp),%rax
movss  %xmm0,(%rax,%r12,4)
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%r12,8),%rax
movss  (%rax,%rbx,4),%xmm0
call   1030 <log@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
mov    (%r14,%r12,8),%rax
movss  %xmm0,(%rax,%rbx,4)
add    $0x1,%rbx
cmp    %rbx,%r15
jne    1230 <ProbabilisticModel+0x120>
add    $0x1,%r12
cmp    %r15,%r12
jne    1200 <ProbabilisticModel+0xf0>
mov    0x68(%rsp),%r13
mov    0x60(%rsp),%r14
xor    %r12d,%r12d
nop
cmpl   $0x0,0x4(%rsp)
mov    0x10(%rsp),%rbp
jle    12a6 <ProbabilisticModel+0x196>
xor    %ebx,%ebx
xchg   %ax,%ax
movss  0x0(%rbp,%r12,4),%xmm0
call   1030 <log@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
mov    (%r14,%r12,8),%rax
movss  %xmm0,(%rax,%rbx,4)
add    $0x1,%rbx
cmp    %rbx,%r15
jne    1280 <ProbabilisticModel+0x170>
mov    %r14,%rbp
xor    %r14d,%r14d
mov    0x8(%rsp),%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rbx,%r12,8),%rax
movss  (%rax,%r14,4),%xmm0
call   1030 <log@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %rax,%xmm0
mov    0x0(%r13,%r12,8),%rax
movss  %xmm0,(%rax,%r14,4)
add    $0x1,%r14
cmp    $0x100,%r14
jne    12c0 <ProbabilisticModel+0x1b0>
add    $0x1,%r12
cmp    $0x100,%r12
mov    %rbp,%r14
jne    1270 <ProbabilisticModel+0x160>
mov    $0x1,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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