float float_ramp(float float_value[], float positions[], int interpolate[],
                 float value) {
  int len = arraylength(positions);
  if (len && len == arraylength(float_value)) {
    int index = -1;
    float lower_bound = -1;
    float upper_bound = 10.0;
    float position_min = 10.0;
    float v1 = 0.0, v2 = 0.0;
    for (int i = 0; i < len; ++i) {
      if (positions[i] < 0.0) {
        continue;
      }
      float position = clamp(positions[i], 0.0, 1.0);
      if (position < position_min) {
        position_min = position;
        index = i;
      }
      if (position <= value && position > lower_bound) {
        lower_bound = position;
        v1 = float_value[i];
      }
      if (position >= value && position < upper_bound) {
        upper_bound = position;
        v2 = float_value[i];
      }
    }
    if (lower_bound < position_min) {
      lower_bound = position_min;
      v1 = (index >= 0) ? float_value[index] : 0.0;
    }
    int interpolation =
        (arraylength(interpolate) && index >= 0) ? interpolate[index] : 0;
    return interpolate_value(value, v1, v2, lower_bound, upper_bound,
                             interpolation);
  } else {
    return float_value[0];
  }
}


x86 assembly (clang, -O0):
<float_ramp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movss  %xmm0,-0x24(%rbp)
mov    -0x18(%rbp),%rdi
mov    $0x0,%al
call   1040 <arraylength@plt>
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     13b4 <float_ramp+0x284>
mov    -0x28(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1040 <arraylength@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
cmp    %ecx,%eax
jne    13b4 <float_ramp+0x284>
movl   $0xffffffff,-0x2c(%rbp)
movss  0xe76(%rip),%xmm0
movss  %xmm0,-0x30(%rbp)
movss  0xe65(%rip),%xmm0
movss  %xmm0,-0x34(%rbp)
movss  0xe58(%rip),%xmm0
movss  %xmm0,-0x38(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x3c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    12d1 <float_ramp+0x1a1>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jbe    11f3 <float_ramp+0xc3>
jmp    12c3 <float_ramp+0x193>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
movsd  0xdf9(%rip),%xmm2
mov    $0x3,%al
call   1030 <clamp@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x48(%rbp),%xmm1
movss  -0x38(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    1242 <float_ramp+0x112>
movss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x2c(%rbp)
movss  -0x48(%rbp),%xmm1
movss  -0x24(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jb     1280 <float_ramp+0x150>
movss  -0x48(%rbp),%xmm0
ucomiss -0x30(%rbp),%xmm0
jbe    1280 <float_ramp+0x150>
movss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x48(%rbp),%xmm0
ucomiss -0x24(%rbp),%xmm0
jb     12be <float_ramp+0x18e>
movss  -0x48(%rbp),%xmm1
movss  -0x34(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    12be <float_ramp+0x18e>
movss  -0x48(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x40(%rbp)
jmp    12c3 <float_ramp+0x193>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    11c4 <float_ramp+0x94>
movss  -0x30(%rbp),%xmm1
movss  -0x38(%rbp),%xmm0
ucomiss %xmm1,%xmm0
jbe    132e <float_ramp+0x1fe>
movss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x30(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jl     1313 <float_ramp+0x1e3>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1320 <float_ramp+0x1f0>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x58(%rbp)
jmp    1320 <float_ramp+0x1f0>
movsd  -0x58(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x20(%rbp),%rdi
mov    $0x0,%al
call   1040 <arraylength@plt>
cmp    $0x0,%eax
je     135f <float_ramp+0x22f>
cmpl   $0x0,-0x2c(%rbp)
jl     135f <float_ramp+0x22f>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x5c(%rbp)
jmp    1369 <float_ramp+0x239>
xor    %eax,%eax
mov    %eax,-0x5c(%rbp)
jmp    1369 <float_ramp+0x239>
mov    -0x5c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
movss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  -0x3c(%rbp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  -0x40(%rbp),%xmm2
cvtss2sd %xmm2,%xmm2
movss  -0x30(%rbp),%xmm3
cvtss2sd %xmm3,%xmm3
movss  -0x34(%rbp),%xmm4
cvtss2sd %xmm4,%xmm4
mov    -0x4c(%rbp),%edi
mov    $0x5,%al
call   1050 <interpolate_value@plt>
cvtsi2ss %eax,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    13c1 <float_ramp+0x291>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<float_ramp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
movss  %xmm0,0x10(%rsp)
mov    %rdx,%r14
mov    %rsi,%rbx
mov    %rdi,%r15
mov    %rsi,%rdi
xor    %eax,%eax
call   1040 <arraylength@plt>
test   %eax,%eax
je     126e <float_ramp+0x13e>
mov    %eax,%ebp
mov    %r15,%rdi
xor    %eax,%eax
call   1040 <arraylength@plt>
cmp    %eax,%ebp
jne    126e <float_ramp+0x13e>
test   %ebp,%ebp
jle    1298 <float_ramp+0x168>
mov    %ebp,%r13d
movss  0xe7e(%rip),%xmm4
movss  0xe72(%rip),%xmm3
xorps  %xmm1,%xmm1
mov    $0xffffffff,%r12d
xor    %ebp,%ebp
xorps  %xmm0,%xmm0
movss  %xmm0,0xc(%rsp)
xorps  %xmm0,%xmm0
movss  %xmm0,0x8(%rsp)
movaps %xmm3,%xmm2
jmp    11c3 <float_ramp+0x93>
movaps %xmm1,%xmm3
xorps  %xmm1,%xmm1
add    $0x1,%rbp
cmp    %rbp,%r13
je     1278 <float_ramp+0x148>
movss  (%rbx,%rbp,4),%xmm0
ucomiss %xmm0,%xmm1
ja     11b6 <float_ramp+0x86>
movss  %xmm4,0x14(%rsp)
movss  %xmm2,(%rsp)
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
movsd  0xe21(%rip),%xmm2
mov    $0x3,%al
movss  %xmm3,0x4(%rsp)
call   1030 <clamp@plt>
movss  0x4(%rsp),%xmm3
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
ucomiss %xmm0,%xmm3
cmova  %ebp,%r12d
movss  0x10(%rsp),%xmm1
ucomiss %xmm0,%xmm1
jb     1234 <float_ramp+0x104>
movss  0x14(%rsp),%xmm4
ucomiss %xmm4,%xmm0
movss  (%rsp),%xmm2
jbe    123f <float_ramp+0x10f>
movss  (%r15,%rbp,4),%xmm1
movss  %xmm1,0x8(%rsp)
movaps %xmm0,%xmm4
jmp    123f <float_ramp+0x10f>
movss  (%rsp),%xmm2
movss  0x14(%rsp),%xmm4
movaps %xmm0,%xmm1
minss  %xmm3,%xmm1
ucomiss 0x10(%rsp),%xmm0
jb     11b0 <float_ramp+0x80>
ucomiss %xmm0,%xmm2
jbe    11b0 <float_ramp+0x80>
movss  (%r15,%rbp,4),%xmm2
movss  %xmm2,0xc(%rsp)
movaps %xmm0,%xmm2
jmp    11b0 <float_ramp+0x80>
movss  (%r15),%xmm0
jmp    1335 <float_ramp+0x205>
ucomiss %xmm4,%xmm3
jbe    12c5 <float_ramp+0x195>
movss  %xmm3,0x4(%rsp)
movss  %xmm2,(%rsp)
test   %r12d,%r12d
js     12ba <float_ramp+0x18a>
mov    %r12d,%eax
movss  (%r15,%rax,4),%xmm0
jmp    12bd <float_ramp+0x18d>
movss  0xd60(%rip),%xmm1
xorps  %xmm0,%xmm0
movss  %xmm0,0xc(%rsp)
mov    $0xffffffff,%r12d
movss  %xmm1,(%rsp)
movss  %xmm1,0x4(%rsp)
xorps  %xmm0,%xmm0
movss  %xmm0,0x8(%rsp)
jmp    12d0 <float_ramp+0x1a0>
movss  %xmm2,(%rsp)
movss  %xmm4,0x4(%rsp)
xor    %ebx,%ebx
mov    %r14,%rdi
xor    %eax,%eax
call   1040 <arraylength@plt>
test   %eax,%eax
je     12f4 <float_ramp+0x1c4>
test   %r12d,%r12d
movss  0x4(%rsp),%xmm3
js     12fa <float_ramp+0x1ca>
mov    %r12d,%eax
mov    (%r14,%rax,4),%ebx
jmp    12fa <float_ramp+0x1ca>
movss  0x4(%rsp),%xmm3
movss  0x10(%rsp),%xmm0
cvtss2sd %xmm0,%xmm0
movss  0x8(%rsp),%xmm1
cvtss2sd %xmm1,%xmm1
movss  0xc(%rsp),%xmm2
cvtss2sd %xmm2,%xmm2
cvtss2sd %xmm3,%xmm3
movss  (%rsp),%xmm4
cvtss2sd %xmm4,%xmm4
mov    %ebx,%edi
mov    $0x5,%al
call   1050 <interpolate_value@plt>
xorps  %xmm0,%xmm0
cvtsi2ss %eax,%xmm0
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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