#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 */
typedef int count_y;
typedef int count_x;

/* Variables and functions */
int /*<<< orphan*/ boundary_condition(int, float *, int);
void lin_solve(int N, int b, float *value, float *value_prev, float a,
               float c) {
  int count;
  int count_x;
  int count_y;
  int count_z;
  for (count = 0; count < 10; count++) {
    for (count_x = 1; count_x <= N; count_x++) {
      for (count_y = 1; count_y <= N; count_y++) {
        for (count_z = 1; count_z <= N; count_z++) {
          value[((count_x) + (N + 2) * (count_y) +
                 (N + 2) * (N + 2) * (count_z))] =
              (value_prev[((count_x) + (N + 2) * (count_y) +
                           (N + 2) * (N + 2) * (count_z))] +
               a * (value[((count_x - 1) + (N + 2) * (count_y) +
                           (N + 2) * (N + 2) * (count_z))] +
                    value[((count_x + 1) + (N + 2) * (count_y) +
                           (N + 2) * (N + 2) * (count_z))] +
                    value[((count_x) + (N + 2) * (count_y - 1) +
                           (N + 2) * (N + 2) * (count_z))] +
                    value[((count_x) + (N + 2) * (count_y + 1) +
                           (N + 2) * (N + 2) * (count_z))] +
                    value[((count_x) + (N + 2) * (count_y) +
                           (N + 2) * (N + 2) * (count_z - 1))] +
                    value[((count_x) + (N + 2) * (count_y) +
                           (N + 2) * (N + 2) * (count_z + 1))])) /
              c;
        }
      }
    }
    boundary_condition(N, value, b);
  }
}


x86 assembly (clang, -O0):
<lin_solve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
movss  %xmm0,-0x1c(%rbp)
movss  %xmm1,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0xa,-0x24(%rbp)
jge    1377 <lin_solve+0x267>
movl   $0x1,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     135a <lin_solve+0x24a>
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1347 <lin_solve+0x237>
movl   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jg     1334 <lin_solve+0x224>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
imul   -0x2c(%rbp),%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm1
movss  -0x1c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
imul   -0x2c(%rbp),%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
imul   -0x2c(%rbp),%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x2c(%rbp),%esi
sub    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x2c(%rbp),%esi
add    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
imul   -0x2c(%rbp),%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
mov    -0x30(%rbp),%esi
sub    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
imul   -0x2c(%rbp),%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
mov    -0x30(%rbp),%esi
add    $0x1,%esi
imul   %esi,%edx
add    %edx,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
divss  -0x20(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
imul   -0x2c(%rbp),%edx
add    %edx,%ecx
mov    -0x4(%rbp),%edx
add    $0x2,%edx
mov    -0x4(%rbp),%esi
add    $0x2,%esi
imul   %esi,%edx
imul   -0x30(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    116e <lin_solve+0x5e>
jmp    1339 <lin_solve+0x229>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    115b <lin_solve+0x4b>
jmp    134c <lin_solve+0x23c>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1148 <lin_solve+0x38>
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x8(%rbp),%edx
call   1030 <boundary_condition@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1137 <lin_solve+0x27>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lin_solve>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xa8,%rsp
mov    %rdx,%rbx
mov    %esi,0x4(%rsp)
mov    %edi,%ebp
lea    0x2(%rbp),%eax
mov    %eax,%esi
imul   %esi,%esi
lea    0x1(%rbp),%r8d
mov    %eax,0x18(%rsp)
cltq
lea    (%rsi,%rbp,2),%edx
add    $0x5,%edx
mov    %rdx,0x88(%rsp)
lea    0x5(%rsi),%edx
mov    %rdx,0x80(%rsp)
lea    0x4(%rbp,%rsi,1),%edx
mov    %rdx,0x40(%rsp)
lea    (%rax,%rsi,1),%rdx
lea    (%rcx,%rdx,4),%rcx
mov    %rcx,0x78(%rsp)
lea    0x0(,%rax,4),%rcx
mov    %rcx,0x70(%rsp)
lea    (%rbx,%rdx,4),%rcx
mov    %rcx,0x68(%rsp)
lea    (%rbx,%rax,4),%rcx
mov    %rcx,0x60(%rsp)
mov    %r8,0x20(%rsp)
lea    -0x1(%r8),%rcx
mov    %rcx,0x58(%rsp)
lea    (%rax,%rsi,2),%rax
lea    (%rbx,%rax,4),%rax
mov    %rax,0x50(%rsp)
mov    %rsi,0xa0(%rsp)
lea    0x0(,%rsi,4),%rax
mov    %rax,0x48(%rsp)
xor    %eax,%eax
movss  %xmm1,0xc(%rsp)
movss  %xmm0,0x8(%rsp)
mov    %rbp,0x28(%rsp)
mov    0x68(%rsp),%r14
mov    0x60(%rsp),%r15
mov    0x50(%rsp),%r13
mov    0x48(%rsp),%r12
jmp    121f <lin_solve+0x10f>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x28(%rsp),%rbp
mov    %ebp,%edi
mov    %rbx,%rsi
mov    0x4(%rsp),%edx
call   1030 <boundary_condition@plt>
movss  0x8(%rsp),%xmm0
movss  0xc(%rsp),%xmm1
mov    0x10(%rsp),%eax
add    $0x1,%eax
cmp    $0xa,%eax
je     1356 <lin_solve+0x246>
mov    %eax,0x10(%rsp)
test   %ebp,%ebp
jle    11f0 <lin_solve+0xe0>
mov    $0x1,%eax
xor    %ecx,%ecx
mov    $0x4,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rax,0x38(%rsp)
mov    %rdx,0x30(%rsp)
mov    %rdx,%rsi
mov    %ecx,0x14(%rsp)
mov    %ecx,%eax
mov    $0x1,%ecx
nopl   0x0(%rax,%rax,1)
add    $0x1,%rcx
mov    %rcx,0x90(%rsp)
mov    0x58(%rsp),%rcx
mov    %rsi,0x98(%rsp)
mov    %eax,0x1c(%rsp)
mov    0x88(%rsp),%r10
mov    0x80(%rsp),%rdi
mov    0x78(%rsp),%rbp
mov    0x40(%rsp),%r11
nopw   0x0(%rax,%rax,1)
lea    (%r11,%rax,1),%r8d
lea    (%r11,%rax,1),%r9d
add    $0xfffffffe,%r9d
movslq %r9d,%rdx
movss  (%rbx,%rdx,4),%xmm2
movslq %r8d,%rdx
addss  (%rbx,%rdx,4),%xmm2
lea    -0x4(%rdi,%rax,1),%edx
movslq %edx,%rdx
addss  (%rbx,%rdx,4),%xmm2
lea    (%r10,%rax,1),%edx
movslq %edx,%rdx
addss  (%rbx,%rdx,4),%xmm2
addss  (%r15,%rsi,1),%xmm2
addss  0x0(%r13,%rsi,1),%xmm2
mulss  %xmm0,%xmm2
addss  0x0(%rbp,%rsi,1),%xmm2
divss  %xmm1,%xmm2
movss  %xmm2,(%r14,%rsi,1)
add    0xa0(%rsp),%eax
add    %r12,%rsi
add    $0xffffffffffffffff,%rcx
jne    12a0 <lin_solve+0x190>
mov    0x1c(%rsp),%eax
add    0x18(%rsp),%eax
mov    0x98(%rsp),%rsi
add    0x70(%rsp),%rsi
mov    0x90(%rsp),%rcx
cmp    0x20(%rsp),%rcx
jne    1260 <lin_solve+0x150>
mov    0x38(%rsp),%rax
add    $0x1,%rax
mov    0x14(%rsp),%ecx
add    $0x1,%ecx
mov    0x30(%rsp),%rdx
add    $0x4,%rdx
cmp    0x20(%rsp),%rax
jne    1240 <lin_solve+0x130>
jmp    11f0 <lin_solve+0xe0>
add    $0xa8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @lin_solve(i32 %0, i32 %1, float* %2, float* nocapture %3, float %4, float %5) {
%7 = icmp slt i32 %0, 1
%8 = add nsw i32 %0, 2
%9 = mul nsw i32 %8, %8
%10 = zext i32 %9 to i64
%11 = add i32 %0, 1
%12 = sext i32 %8 to i64
%13 = zext i32 %11 to i64
br label %14
14: ; preds = %6, %80
%15 = phi i32 [ 0, %6 ], [ %82, %80 ]
br i1 %7, label %80, label %16
16: ; preds = %14, %77
%17 = phi i64 [ %78, %77 ], [ 1, %14 ]
%18 = trunc i64 %17 to i32
br label %19
19: ; preds = %75, %16
%20 = phi i64 [ 1, %16 ], [ %23, %75 ]
%21 = mul nsw i64 %20, %12
%22 = add nsw i64 %21, %17
%23 = add nuw nsw i64 %20, 1
%24 = trunc i64 %21 to i32
%25 = trunc i64 %20 to i32
%26 = add i32 %25, -1
%27 = mul i32 %26, %8
%28 = trunc i64 %23 to i32
%29 = mul i32 %8, %28
br label %30
30: ; preds = %19, %30
%31 = phi i64 [ 1, %19 ], [ %65, %30 ]
%32 = mul nsw i64 %31, %10
%33 = add nsw i64 %32, %22
%34 = getelementptr inbounds float, float* %3, i64 %33
%35 = load float, float* %34
%36 = trunc i64 %32 to i32
%37 = add nuw i32 %36, %18
%38 = add i32 %37, -1
%39 = add i32 %38, %24
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds float, float* %2, i64 %40
%42 = load float, float* %41
%43 = add i32 %37, 1
%44 = add i32 %43, %24
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds float, float* %2, i64 %45
%47 = load float, float* %46
%48 = fadd float %42, %47
%49 = add i32 %37, %27
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds float, float* %2, i64 %50
%52 = load float, float* %51
%53 = fadd float %48, %52
%54 = add i32 %37, %29
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds float, float* %2, i64 %55
%57 = load float, float* %56
%58 = fadd float %53, %57
%59 = add nsw i64 %31, -1
%60 = mul nsw i64 %59, %10
%61 = add nsw i64 %60, %22
%62 = getelementptr inbounds float, float* %2, i64 %61
%63 = load float, float* %62
%64 = fadd float %58, %63
%65 = add nuw nsw i64 %31, 1
%66 = mul nsw i64 %65, %10
%67 = add nsw i64 %66, %22
%68 = getelementptr inbounds float, float* %2, i64 %67
%69 = load float, float* %68
%70 = fadd float %64, %69
%71 = tail call float @llvm.fmuladd.f32(float %4, float %70, float %35)
%72 = fdiv float %71, %5
%73 = getelementptr inbounds float, float* %2, i64 %33
store float %72, float* %73
%74 = icmp eq i64 %65, %13
br i1 %74, label %75, label %30
75: ; preds = %30
%76 = icmp eq i64 %23, %13
br i1 %76, label %77, label %19
77: ; preds = %75
%78 = add nuw nsw i64 %17, 1
%79 = icmp eq i64 %78, %13
br i1 %79, label %80, label %16
80: ; preds = %77, %14
%81 = tail call i32 @boundary_condition(i32 %0, float* %2, i32 %1)
%82 = add nuw nsw i32 %15, 1
%83 = icmp eq i32 %82, 10
br i1 %83, label %84, label %14
84: ; preds = %80
ret void
}