#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__ ceil(float);
void recmult(float *A, float *B, float *C, int m, int n, int p, int sA, int sB,
             int sC) {
  int m2, n2, p2;
  register int i, j, k;
  int u, v, t;
  if (m + n + p <= 192) {
    for (i = 0; i < m; ++i) {
      for (j = 0; j < p; ++j) {
        v = i * sB;
        u = i * sC;
        t = j + u;
        for (k = 0; k < n; ++k) {
          C[t] += A[k + v] * B[j + k * sC];
        }
      }
    }
  } else if (m >= n && m >= p) {
    m2 = (int)ceil((float)m / 2.0);
    recmult(A, B, C, m2, n, p, sA, sB, sC);
    recmult(A + m2 * sB, B, C + m2 * sC, m - m2, n, p, sA, sB, sC);
  } else if (n >= m && n >= p) {
    n2 = (int)ceil((float)n / 2.0);
    recmult(A, B, C, m, n2, p, sA, sB, sC);
    recmult(A + n2, B + n2 * sC, C, m, n - n2, p, sA, sB, sC);
  } else if (p >= m && p >= n) {
    p2 = (int)ceil((float)p / 2.0);
    recmult(A, B, C, m, n, p2, sA, sB, sC);
    recmult(A, B + p2, C + p2, m, n, p - p2, sA, sB, sC);
  }
}


x86 assembly (clang, -O0):
<recmult>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x20(%rbp),%eax
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
add    -0x24(%rbp),%eax
cmp    $0xc0,%eax
jg     122f <recmult+0x10f>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    122a <recmult+0x10a>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1217 <recmult+0xf7>
mov    -0x34(%rbp),%eax
imul   0x18(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x34(%rbp),%eax
imul   0x20(%rbp),%eax
mov    %eax,-0x40(%rbp)
mov    -0x38(%rbp),%eax
add    -0x40(%rbp),%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1204 <recmult+0xe4>
mov    -0x8(%rbp),%rax
mov    -0x3c(%rbp),%ecx
add    -0x44(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
mov    -0x3c(%rbp),%edx
imul   0x20(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x18(%rbp),%rax
movslq -0x48(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    11a6 <recmult+0x86>
jmp    1209 <recmult+0xe9>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1176 <recmult+0x56>
jmp    121c <recmult+0xfc>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1163 <recmult+0x43>
jmp    1487 <recmult+0x367>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     12f8 <recmult+0x1d8>
mov    -0x1c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jl     12f8 <recmult+0x1d8>
cvtsi2ssl -0x1c(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xda8(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
call   1040 <ceil@plt>
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x24(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <recmult@plt>
mov    -0x8(%rbp),%rdi
mov    -0x28(%rbp),%eax
imul   0x18(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x28(%rbp),%eax
imul   0x20(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x1c(%rbp),%ecx
sub    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x24(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <recmult@plt>
jmp    1482 <recmult+0x362>
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     13bd <recmult+0x29d>
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jl     13bd <recmult+0x29d>
cvtsi2ssl -0x20(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xcdf(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
call   1040 <ceil@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x2c(%rbp),%r8d
mov    -0x24(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <recmult@plt>
mov    -0x8(%rbp),%rdi
movslq -0x2c(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x2c(%rbp),%eax
imul   0x20(%rbp),%eax
cltq
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
sub    -0x2c(%rbp),%r8d
mov    -0x24(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <recmult@plt>
jmp    147d <recmult+0x35d>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     1478 <recmult+0x358>
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     1478 <recmult+0x358>
cvtsi2ssl -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xc1a(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
call   1040 <ceil@plt>
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x30(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <recmult@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x30(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rsi
mov    -0x18(%rbp),%rdx
movslq -0x30(%rbp),%rax
shl    $0x2,%rax
add    %rax,%rdx
mov    -0x1c(%rbp),%ecx
mov    -0x20(%rbp),%r8d
mov    -0x24(%rbp),%r9d
sub    -0x30(%rbp),%r9d
mov    0x10(%rbp),%r11d
mov    0x18(%rbp),%r10d
mov    0x20(%rbp),%eax
mov    %r11d,(%rsp)
mov    %r10d,0x8(%rsp)
mov    %eax,0x10(%rsp)
call   1030 <recmult@plt>
jmp    147d <recmult+0x35d>
jmp    1482 <recmult+0x362>
jmp    1487 <recmult+0x367>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<recmult>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r9d,%r12d
mov    %ecx,%r13d
mov    %rdx,%rbx
mov    %rsi,0x18(%rsp)
mov    %rdi,0x10(%rsp)
lea    (%r8,%r13,1),%r15d
lea    (%r15,%r12,1),%eax
cmp    $0xc1,%eax
jl     1323 <recmult+0x203>
mov    %r8,0x8(%rsp)
nopl   0x0(%rax)
cmp    %r8d,%r13d
jl     116e <recmult+0x4e>
cmp    %r12d,%r13d
jge    1213 <recmult+0xf3>
cmp    %r13d,%r8d
jl     117c <recmult+0x5c>
cmp    %r12d,%r8d
jge    129b <recmult+0x17b>
cmp    %r13d,%r12d
jl     1499 <recmult+0x379>
cmp    %r8d,%r12d
jl     1499 <recmult+0x379>
xorps  %xmm0,%xmm0
cvtsi2ss %r12d,%xmm0
mulss  0xe62(%rip),%xmm0
call   1040 <ceil@plt>
mov    %rax,%r14
sub    $0x8,%rsp
mov    0x18(%rsp),%rdi
mov    0x20(%rsp),%rbp
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    %r13d,%ecx
mov    0x10(%rsp),%r8
mov    %r14d,%r9d
mov    0x98(%rsp),%eax
push   %rax
mov    0x98(%rsp),%eax
push   %rax
mov    0x98(%rsp),%eax
push   %rax
call   1030 <recmult@plt>
add    $0x20,%rsp
movslq %r14d,%rax
lea    0x0(%rbp,%rax,4),%rbp
mov    %rbp,0x18(%rsp)
mov    0x8(%rsp),%r8
lea    (%rbx,%rax,4),%rbx
sub    %eax,%r12d
lea    (%r15,%r12,1),%eax
cmp    $0xc1,%eax
jge    1160 <recmult+0x40>
jmp    1323 <recmult+0x203>
xorps  %xmm0,%xmm0
cvtsi2ss %r13d,%xmm0
mulss  0xddd(%rip),%xmm0
call   1040 <ceil@plt>
mov    %rax,%rbp
sub    $0x8,%rsp
mov    0x18(%rsp),%r15
mov    %r15,%rdi
mov    0x20(%rsp),%rsi
mov    %rbx,%rdx
mov    %ebp,%ecx
mov    0x10(%rsp),%r8
mov    %r12d,%r9d
mov    0x98(%rsp),%eax
push   %rax
mov    0x98(%rsp),%r14d
push   %r14
mov    0x98(%rsp),%eax
push   %rax
call   1030 <recmult@plt>
add    $0x20,%rsp
mov    %ebp,%eax
imul   %r14d,%eax
cltq
lea    (%r15,%rax,4),%r15
mov    %r15,0x10(%rsp)
mov    0x8(%rsp),%r8
sub    %ebp,%r13d
mov    0x90(%rsp),%eax
imul   %eax,%ebp
movslq %ebp,%rax
lea    (%rbx,%rax,4),%rbx
jmp    1141 <recmult+0x21>
xorps  %xmm0,%xmm0
cvtsi2ss %r8d,%xmm0
mulss  0xd55(%rip),%xmm0
call   1040 <ceil@plt>
mov    %rax,%r15
sub    $0x8,%rsp
mov    0x18(%rsp),%rbp
mov    %rbp,%rdi
mov    0x20(%rsp),%r14
mov    %r14,%rsi
mov    %rbx,%rdx
mov    %r13d,%ecx
mov    %r15d,%r8d
mov    %r12d,%r9d
mov    0x98(%rsp),%eax
push   %rax
mov    0x98(%rsp),%eax
push   %rax
mov    0x98(%rsp),%eax
push   %rax
call   1030 <recmult@plt>
add    $0x20,%rsp
movslq %r15d,%rax
lea    0x0(%rbp,%rax,4),%rbp
mov    %rbp,0x10(%rsp)
mov    0x8(%rsp),%r8
sub    %eax,%r8d
mov    0x90(%rsp),%ecx
imul   %ecx,%eax
cltq
lea    (%r14,%rax,4),%r14
mov    %r14,0x18(%rsp)
jmp    1141 <recmult+0x21>
test   %r13d,%r13d
jle    1499 <recmult+0x379>
mov    0x90(%rsp),%eax
cltq
mov    0x88(%rsp),%ecx
movslq %ecx,%rdx
mov    %r13d,%ecx
mov    %rcx,0x38(%rsp)
mov    %r12d,%r15d
mov    %r8d,%esi
mov    %esi,%edi
and    $0xfffffffe,%edi
mov    0x10(%rsp),%rcx
add    $0x4,%rcx
mov    %rdx,0x28(%rsp)
lea    0x0(,%rdx,4),%rdx
mov    %rdx,0x30(%rsp)
lea    0x0(,%rax,8),%rdx
xor    %ebp,%ebp
mov    %rbp,0x20(%rsp)
mov    %r12,0x40(%rsp)
jmp    13b6 <recmult+0x296>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x20(%rsp),%r9
add    $0x1,%r9
add    0x30(%rsp),%rcx
mov    %r9,%rbp
mov    %r9,0x20(%rsp)
cmp    0x38(%rsp),%r9
mov    0x40(%rsp),%r12
je     1499 <recmult+0x379>
test   %r12d,%r12d
jle    1390 <recmult+0x270>
mov    0x20(%rsp),%r11
mov    %r11,%rbp
imul   0x28(%rsp),%rbp
mov    %rbp,0x8(%rsp)
imul   %rax,%r11
mov    0x18(%rsp),%r9
xor    %r10d,%r10d
jmp    13ed <recmult+0x2cd>
nopl   0x0(%rax)
add    $0x1,%r10
add    $0x4,%r9
cmp    %r15,%r10
je     1390 <recmult+0x270>
test   %r8d,%r8d
jle    13e0 <recmult+0x2c0>
lea    (%r10,%r11,1),%r13
movss  (%rbx,%r13,4),%xmm0
cmp    $0x1,%r8d
jne    1410 <recmult+0x2f0>
xor    %r14d,%r14d
jmp    1459 <recmult+0x339>
nopw   0x0(%rax,%rax,1)
mov    %r9,%r12
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
movss  -0x4(%rcx,%r14,4),%xmm1
mulss  (%r12),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,(%rbx,%r13,4)
movss  (%rcx,%r14,4),%xmm0
mulss  (%r12,%rax,4),%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,(%rbx,%r13,4)
add    $0x2,%r14
add    %rdx,%r12
cmp    %r14,%rdi
jne    1420 <recmult+0x300>
test   $0x1,%sil
je     13e0 <recmult+0x2c0>
mov    0x8(%rsp),%rbp
add    %r14,%rbp
mov    %rsi,%r12
mov    0x10(%rsp),%rsi
movss  (%rsi,%rbp,4),%xmm1
mov    %r12,%rsi
imul   %rax,%r14
add    %r10,%r14
mov    0x18(%rsp),%rbp
mulss  0x0(%rbp,%r14,4),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,(%rbx,%r13,4)
jmp    13e0 <recmult+0x2c0>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @recmult(float* %0, float* %1, float* %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = add nsw i32 %4, %3
%11 = add nsw i32 %10, %5
%12 = icmp slt i32 %11, 193
br i1 %12, label %30, label %13
13: ; preds = %9, %109
%14 = phi i32 [ %121, %109 ], [ %10, %9 ]
%15 = phi i32 [ %104, %109 ], [ %5, %9 ]
%16 = phi i32 [ %24, %109 ], [ %4, %9 ]
%17 = phi i32 [ %120, %109 ], [ %3, %9 ]
%18 = phi float* [ %119, %109 ], [ %2, %9 ]
%19 = phi float* [ %106, %109 ], [ %1, %9 ]
%20 = phi float* [ %116, %109 ], [ %0, %9 ]
br label %21
21: ; preds = %13, %127
%22 = phi i32 [ %14, %13 ], [ %139, %127 ]
%23 = phi i32 [ %15, %13 ], [ %104, %127 ]
%24 = phi i32 [ %16, %13 ], [ %138, %127 ]
%25 = phi float* [ %18, %13 ], [ %105, %127 ]
%26 = phi float* [ %19, %13 ], [ %137, %127 ]
%27 = phi float* [ %20, %13 ], [ %134, %127 ]
%28 = icmp slt i32 %17, %24
%29 = icmp slt i32 %24, %17
br label %103
30: ; preds = %109, %127, %146, %9
%31 = phi i32 [ %3, %9 ], [ %17, %146 ], [ %17, %127 ], [ %120, %109 ]
%32 = phi float* [ %0, %9 ], [ %27, %146 ], [ %134, %127 ], [ %116, %109 ]
%33 = phi i32 [ %4, %9 ], [ %24, %146 ], [ %138, %127 ], [ %24, %109 ]
%34 = phi float* [ %1, %9 ], [ %153, %146 ], [ %137, %127 ], [ %106, %109 ]
%35 = phi float* [ %2, %9 ], [ %154, %146 ], [ %105, %127 ], [ %119, %109 ]
%36 = phi i32 [ %5, %9 ], [ %155, %146 ], [ %104, %127 ], [ %104, %109 ]
%37 = icmp sgt i32 %31, 0
br i1 %37, label %38, label %158
38: ; preds = %30
%39 = icmp sgt i32 %36, 0
%40 = icmp sgt i32 %33, 0
%41 = sext i32 %8 to i64
%42 = sext i32 %7 to i64
%43 = zext i32 %31 to i64
%44 = zext i32 %36 to i64
%45 = zext i32 %33 to i64
%46 = and i64 %45, 1
%47 = icmp eq i32 %33, 1
%48 = and i64 %45, 4294967294
%49 = icmp eq i64 %46, 0
br label %50
50: ; preds = %38, %100
%51 = phi i64 [ 0, %38 ], [ %101, %100 ]
br i1 %39, label %52, label %100
52: ; preds = %50
%53 = mul nsw i64 %51, %42
%54 = mul nsw i64 %51, %41
br label %55
55: ; preds = %52, %97
%56 = phi i64 [ 0, %52 ], [ %98, %97 ]
br i1 %40, label %57, label %97
57: ; preds = %55
%58 = add nsw i64 %56, %54
%59 = getelementptr inbounds float, float* %35, i64 %58
%60 = load float, float* %59
br i1 %47, label %85, label %61
61: ; preds = %57, %61
%62 = phi float [ %81, %61 ], [ %60, %57 ]
%63 = phi i64 [ %82, %61 ], [ 0, %57 ]
%64 = phi i64 [ %83, %61 ], [ 0, %57 ]
%65 = add nsw i64 %63, %53
%66 = getelementptr inbounds float, float* %32, i64 %65
%67 = load float, float* %66
%68 = mul nsw i64 %63, %41
%69 = add nsw i64 %68, %56
%70 = getelementptr inbounds float, float* %34, i64 %69
%71 = load float, float* %70
%72 = tail call float @llvm.fmuladd.f32(float %67, float %71, float %62)
store float %72, float* %59
%73 = or i64 %63, 1
%74 = add nsw i64 %73, %53
%75 = getelementptr inbounds float, float* %32, i64 %74
%76 = load float, float* %75
%77 = mul nsw i64 %73, %41
%78 = add nsw i64 %77, %56
%79 = getelementptr inbounds float, float* %34, i64 %78
%80 = load float, float* %79
%81 = tail call float @llvm.fmuladd.f32(float %76, float %80, float %72)
store float %81, float* %59
%82 = add nuw nsw i64 %63, 2
%83 = add i64 %64, 2
%84 = icmp eq i64 %83, %48
br i1 %84, label %85, label %61
85: ; preds = %61, %57
%86 = phi float [ %60, %57 ], [ %81, %61 ]
%87 = phi i64 [ 0, %57 ], [ %82, %61 ]
br i1 %49, label %97, label %88
88: ; preds = %85
%89 = add nsw i64 %87, %53
%90 = getelementptr inbounds float, float* %32, i64 %89
%91 = load float, float* %90
%92 = mul nsw i64 %87, %41
%93 = add nsw i64 %92, %56
%94 = getelementptr inbounds float, float* %34, i64 %93
%95 = load float, float* %94
%96 = tail call float @llvm.fmuladd.f32(float %91, float %95, float %86)
store float %96, float* %59
br label %97
97: ; preds = %88, %85, %55
%98 = add nuw nsw i64 %56, 1
%99 = icmp eq i64 %98, %44
br i1 %99, label %100, label %55
100: ; preds = %97, %50
%101 = add nuw nsw i64 %51, 1
%102 = icmp eq i64 %101, %43
br i1 %102, label %158, label %50
103: ; preds = %21, %146
%104 = phi i32 [ %23, %21 ], [ %155, %146 ]
%105 = phi float* [ %25, %21 ], [ %154, %146 ]
%106 = phi float* [ %26, %21 ], [ %153, %146 ]
%107 = icmp slt i32 %17, %104
%108 = or i1 %28, %107
br i1 %108, label %124, label %109
109: ; preds = %103
%110 = sitofp i32 %17 to float
%111 = fmul float %110, 5.000000e-01
%112 = tail call i64 @ceil(float %111)
%113 = trunc i64 %112 to i32
tail call void @recmult(float* %27, float* %106, float* %105, i32 %113, i32 %24, i32 %104, i32 %6, i32 %7, i32 %8)
%114 = mul nsw i32 %113, %7
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds float, float* %27, i64 %115
%117 = mul nsw i32 %113, %8
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds float, float* %105, i64 %118
%120 = sub nsw i32 %17, %113
%121 = add nsw i32 %24, %120
%122 = add nsw i32 %121, %104
%123 = icmp slt i32 %122, 193
br i1 %123, label %30, label %13
124: ; preds = %103
%125 = icmp slt i32 %24, %104
%126 = or i1 %29, %125
br i1 %126, label %142, label %127
127: ; preds = %124
%128 = sitofp i32 %24 to float
%129 = fmul float %128, 5.000000e-01
%130 = tail call i64 @ceil(float %129)
%131 = trunc i64 %130 to i32
tail call void @recmult(float* %27, float* %106, float* %105, i32 %17, i32 %131, i32 %104, i32 %6, i32 %7, i32 %8)
%132 = shl i64 %130, 32
%133 = ashr exact i64 %132, 32
%134 = getelementptr inbounds float, float* %27, i64 %133
%135 = mul nsw i32 %131, %8
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds float, float* %106, i64 %136
%138 = sub nsw i32 %24, %131
%139 = add nsw i32 %138, %17
%140 = add nsw i32 %139, %104
%141 = icmp slt i32 %140, 193
br i1 %141, label %30, label %21
142: ; preds = %124
%143 = icmp slt i32 %104, %17
%144 = icmp slt i32 %104, %24
%145 = or i1 %143, %144
br i1 %145, label %158, label %146
146: ; preds = %142
%147 = sitofp i32 %104 to float
%148 = fmul float %147, 5.000000e-01
%149 = tail call i64 @ceil(float %148)
%150 = trunc i64 %149 to i32
tail call void @recmult(float* %27, float* %106, float* %105, i32 %17, i32 %24, i32 %150, i32 %6, i32 %7, i32 %8)
%151 = shl i64 %149, 32
%152 = ashr exact i64 %151, 32
%153 = getelementptr inbounds float, float* %106, i64 %152
%154 = getelementptr inbounds float, float* %105, i64 %152
%155 = sub nsw i32 %104, %150
%156 = add nsw i32 %22, %155
%157 = icmp slt i32 %156, 193
br i1 %157, label %30, label %103
158: ; preds = %142, %100, %30
ret void
}