#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 */
int /*<<< orphan*/ InterpolatedGradX3DTranZero(float *, double, double, double,
                                               float, double, double, double,
                                               long);
extern void BatchInterpolatedGradX3DTranZeroWarp(
    float *Bout, float *Bcoeff, long Width, long Height, long Slice, double nx,
    double offx, double mx, float *WarpX, double ny, double offy, double my,
    float *WarpY, double nz, double offz, double mz, float *WarpZ,
    long SplineDegree) {
  double x, y, z;
  long idx;
  long idcoordx, idcoordy, idcoordz;
  for (idx = 0; idx < nx * ny * nz; idx++)
    Bout[idx] = 0;
  idx = 0;
  for (idcoordz = 0; idcoordz < Slice; idcoordz++) {
    for (idcoordy = 0; idcoordy < Height; idcoordy++) {
      for (idcoordx = 0; idcoordx < Width; idcoordx++) {
        x = (idcoordx + WarpX[idx] - offx) / mx;
        y = (idcoordy + WarpY[idx] - offy) / my;
        z = (idcoordz + WarpZ[idx] - offz) / mz;
        InterpolatedGradX3DTranZero(Bout, nx, ny, nz, Bcoeff[idx++], x, y, z,
                                    SplineDegree);
      }
    }
  }
  for (idx = 0; idx < nx * ny * nz; idx++)
    Bout[idx] = Bout[idx] / mx;
}


x86 assembly (clang, -O0):
<BatchInterpolatedGradX3DTranZeroWarp>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb0,%rsp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
movsd  0x18(%rbp),%xmm8
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movsd  %xmm0,-0x30(%rbp)
movsd  %xmm1,-0x38(%rbp)
movsd  %xmm2,-0x40(%rbp)
mov    %r9,-0x48(%rbp)
movsd  %xmm3,-0x50(%rbp)
movsd  %xmm4,-0x58(%rbp)
movsd  %xmm5,-0x60(%rbp)
movsd  %xmm6,-0x68(%rbp)
movsd  %xmm7,-0x70(%rbp)
movq   $0x0,-0x90(%rbp)
cvtsi2sdq -0x90(%rbp),%xmm1
ff ff
movsd  -0x30(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
mulsd  -0x68(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    11c4 <BatchInterpolatedGradX3DTranZeroWarp+0xb4>
mov    -0x8(%rbp),%rax
mov    -0x90(%rbp),%rcx
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x90(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x90(%rbp)
jmp    1178 <BatchInterpolatedGradX3DTranZeroWarp+0x68>
movq   $0x0,-0x90(%rbp)
movq   $0x0,-0xa8(%rbp)
mov    -0xa8(%rbp),%rax
cmp    -0x28(%rbp),%rax
jge    1345 <BatchInterpolatedGradX3DTranZeroWarp+0x235>
movq   $0x0,-0xa0(%rbp)
mov    -0xa0(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1329 <BatchInterpolatedGradX3DTranZeroWarp+0x219>
movq   $0x0,-0x98(%rbp)
mov    -0x98(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    130d <BatchInterpolatedGradX3DTranZeroWarp+0x1fd>
cvtsi2ssq -0x98(%rbp),%xmm0
ff ff
mov    -0x48(%rbp),%rax
mov    -0x90(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
subsd  -0x38(%rbp),%xmm0
divsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x78(%rbp)
cvtsi2ssq -0xa0(%rbp),%xmm0
ff ff
mov    0x10(%rbp),%rax
mov    -0x90(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
subsd  -0x58(%rbp),%xmm0
divsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x80(%rbp)
cvtsi2ssq -0xa8(%rbp),%xmm0
ff ff
mov    0x20(%rbp),%rax
mov    -0x90(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
subsd  -0x70(%rbp),%xmm0
divsd  0x18(%rbp),%xmm0
movsd  %xmm0,-0x88(%rbp)
ff
mov    -0x8(%rbp),%rdi
movsd  -0x30(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm1
movsd  -0x68(%rbp),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x90(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x90(%rbp)
movss  (%rax,%rcx,4),%xmm3
movsd  -0x78(%rbp),%xmm4
movsd  -0x80(%rbp),%xmm5
movsd  -0x88(%rbp),%xmm6
ff
mov    0x28(%rbp),%rsi
call   1030 <InterpolatedGradX3DTranZero@plt>
mov    -0x98(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x98(%rbp)
jmp    1212 <BatchInterpolatedGradX3DTranZeroWarp+0x102>
jmp    1312 <BatchInterpolatedGradX3DTranZeroWarp+0x202>
mov    -0xa0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa0(%rbp)
jmp    11f6 <BatchInterpolatedGradX3DTranZeroWarp+0xe6>
jmp    132e <BatchInterpolatedGradX3DTranZeroWarp+0x21e>
mov    -0xa8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0xa8(%rbp)
jmp    11da <BatchInterpolatedGradX3DTranZeroWarp+0xca>
movq   $0x0,-0x90(%rbp)
cvtsi2sdq -0x90(%rbp),%xmm1
ff ff
movsd  -0x30(%rbp),%xmm0
mulsd  -0x50(%rbp),%xmm0
mulsd  -0x68(%rbp),%xmm0
ucomisd %xmm1,%xmm0
jbe    13b6 <BatchInterpolatedGradX3DTranZeroWarp+0x2a6>
mov    -0x8(%rbp),%rax
mov    -0x90(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  -0x40(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x90(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x90(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x90(%rbp)
jmp    1350 <BatchInterpolatedGradX3DTranZeroWarp+0x240>
add    $0xb0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<BatchInterpolatedGradX3DTranZeroWarp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
movapd %xmm6,%xmm8
movapd %xmm5,%xmm11
movapd %xmm4,%xmm9
movapd %xmm3,%xmm10
mov    %r9,0x30(%rsp)
movapd %xmm1,%xmm5
mov    %r8,0x18(%rsp)
mov    %rcx,0x20(%rsp)
mov    %rdx,%r12
mov    %rsi,0x28(%rsp)
mov    %rdi,%rbx
movapd %xmm0,%xmm1
mulsd  %xmm3,%xmm1
mulsd  %xmm6,%xmm1
movsd  %xmm1,(%rsp)
xorpd  %xmm4,%xmm4
ucomisd %xmm4,%xmm1
jbe    119a <BatchInterpolatedGradX3DTranZeroWarp+0x8a>
mov    $0x1,%eax
movsd  (%rsp),%xmm1
nopl   0x0(%rax,%rax,1)
xorps  %xmm4,%xmm4
cvtsi2sd %rax,%xmm4
movl   $0x0,-0x4(%rbx,%rax,4)
add    $0x1,%rax
ucomisd %xmm4,%xmm1
ja     1180 <BatchInterpolatedGradX3DTranZeroWarp+0x70>
cmpq   $0x0,0x18(%rsp)
jle    1395 <BatchInterpolatedGradX3DTranZeroWarp+0x285>
mov    0xe8(%rsp),%r14
movsd  0xd8(%rsp),%xmm3
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %esi,%esi
movsd  %xmm2,0x80(%rsp)
movsd  %xmm7,0x78(%rsp)
movsd  %xmm8,0x70(%rsp)
movsd  %xmm11,0x68(%rsp)
movsd  %xmm9,0x60(%rsp)
movsd  %xmm10,0x58(%rsp)
movsd  %xmm5,0x50(%rsp)
movsd  %xmm0,0x48(%rsp)
jmp    121c <BatchInterpolatedGradX3DTranZeroWarp+0x10c>
nopl   0x0(%rax)
mov    0x8(%rsp),%rcx
add    $0x1,%rcx
mov    %rcx,%rax
mov    %rcx,0x8(%rsp)
cmp    0x18(%rsp),%rcx
je     1395 <BatchInterpolatedGradX3DTranZeroWarp+0x285>
cmpq   $0x0,0x20(%rsp)
jle    1200 <BatchInterpolatedGradX3DTranZeroWarp+0xf0>
xorps  %xmm6,%xmm6
cvtsi2ssq 0x8(%rsp),%xmm6
xor    %eax,%eax
movss  %xmm6,0x10(%rsp)
jmp    124b <BatchInterpolatedGradX3DTranZeroWarp+0x13b>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rax
cmp    0x20(%rsp),%rax
je     1200 <BatchInterpolatedGradX3DTranZeroWarp+0xf0>
test   %r12,%r12
jle    1240 <BatchInterpolatedGradX3DTranZeroWarp+0x130>
mov    %rax,0x38(%rsp)
xorps  %xmm1,%xmm1
cvtsi2ss %rax,%xmm1
movss  %xmm1,0x14(%rsp)
mov    0x30(%rsp),%rax
lea    (%rax,%rsi,4),%rax
mov    %rax,0x90(%rsp)
mov    0xd0(%rsp),%rax
lea    (%rax,%rsi,4),%rax
mov    %rax,0x88(%rsp)
mov    0xe0(%rsp),%rax
lea    (%rax,%rsi,4),%rbp
mov    0x28(%rsp),%rax
mov    %rsi,0x40(%rsp)
lea    (%rax,%rsi,4),%r13
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
nop
xorps  %xmm1,%xmm1
cvtsi2ss %r15,%xmm1
mov    0x90(%rsp),%rax
addss  (%rax,%r15,4),%xmm1
xorps  %xmm4,%xmm4
cvtss2sd %xmm1,%xmm4
subsd  %xmm5,%xmm4
divsd  %xmm2,%xmm4
mov    0x88(%rsp),%rax
movss  (%rax,%r15,4),%xmm1
addss  0x14(%rsp),%xmm1
xorps  %xmm5,%xmm5
cvtss2sd %xmm1,%xmm5
subsd  %xmm9,%xmm5
divsd  %xmm11,%xmm5
movss  0x0(%rbp,%r15,4),%xmm1
addss  %xmm6,%xmm1
xorps  %xmm6,%xmm6
cvtss2sd %xmm1,%xmm6
subsd  %xmm7,%xmm6
divsd  %xmm3,%xmm6
movss  0x0(%r13,%r15,4),%xmm3
mov    %rbx,%rdi
movapd %xmm10,%xmm1
movapd %xmm8,%xmm2
mov    %r14,%rsi
call   1030 <InterpolatedGradX3DTranZero@plt>
movss  0x10(%rsp),%xmm6
movsd  0xd8(%rsp),%xmm3
movsd  0x48(%rsp),%xmm0
movsd  0x50(%rsp),%xmm5
movsd  0x58(%rsp),%xmm10
movsd  0x60(%rsp),%xmm9
movsd  0x68(%rsp),%xmm11
movsd  0x70(%rsp),%xmm8
movsd  0x78(%rsp),%xmm7
movsd  0x80(%rsp),%xmm2
add    $0x1,%r15
cmp    %r15,%r12
jne    12b0 <BatchInterpolatedGradX3DTranZeroWarp+0x1a0>
mov    0x40(%rsp),%rsi
add    %r15,%rsi
mov    0x38(%rsp),%rax
jmp    1240 <BatchInterpolatedGradX3DTranZeroWarp+0x130>
xorpd  %xmm0,%xmm0
movsd  (%rsp),%xmm1
ucomisd %xmm0,%xmm1
jbe    13df <BatchInterpolatedGradX3DTranZeroWarp+0x2cf>
mov    $0x1,%eax
nopl   0x0(%rax)
movss  -0x4(%rbx,%rax,4),%xmm0
cvtss2sd %xmm0,%xmm0
divsd  %xmm2,%xmm0
cvtsd2ss %xmm0,%xmm0
xorps  %xmm1,%xmm1
cvtsi2sd %rax,%xmm1
movss  %xmm0,-0x4(%rbx,%rax,4)
add    $0x1,%rax
movsd  (%rsp),%xmm0
ucomisd %xmm1,%xmm0
ja     13b0 <BatchInterpolatedGradX3DTranZeroWarp+0x2a0>
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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