void HlsToRgb(float hue, float luminance, float saturation, int *red,
              int *green, int *blue) {
  float rgb[3] = {0, 0, 0};
  float ls = luminance * saturation;
  float sls = saturation - ls;
  for (int channel = 0; channel < 3; channel++) {
    float Hue = hue + 0.3333 * (1 - channel);
    if (Hue < 0.0)
      Hue += 1.0;
    else if (Hue > 1.0)
      Hue -= 1.0;
    if ((6.0 * Hue) < 1.0) {
      if (luminance <= 0.5)
        rgb[channel] = luminance + ls * (Hue * 12 - 1);
      else
        rgb[channel] = luminance + sls * (3 + (Hue * 12 - 4));
    } else if ((2.0 * Hue) < 1.0) {
      if (luminance <= 0.5)
        rgb[channel] = luminance + ls;
      else
        rgb[channel] = luminance + sls;
    } else if ((3.0 * Hue) < 2.0) {
      if (luminance <= 0.5)
        rgb[channel] = luminance + ls * (3 - (Hue * 12 - 4));
      else
        rgb[channel] = luminance + sls * (3 - (Hue * 12 - 4));
    } else {
      if (luminance <= 0.5)
        rgb[channel] = luminance - ls;
      else
        rgb[channel] = luminance - sls;
    }
  }
  *red = 255 * rgb[0];
  *green = 255 * rgb[1];
  *blue = 255 * rgb[2];
}


x86 assembly (clang, -O0):
<HlsToRgb>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movss  %xmm0,-0x4(%rbp)
movss  %xmm1,-0x8(%rbp)
movss  %xmm2,-0xc(%rbp)
mov    %rdi,-0x18(%rbp)
mov    %rsi,-0x20(%rbp)
mov    %rdx,-0x28(%rbp)
lea    -0x34(%rbp),%rdi
xor    %esi,%esi
mov    $0xc,%edx
call   1030 <memset@plt>
movss  -0x8(%rbp),%xmm0
mulss  -0xc(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
movss  -0xc(%rbp),%xmm0
subss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
movl   $0x0,-0x40(%rbp)
cmpl   $0x3,-0x40(%rbp)
jge    1495 <HlsToRgb+0x385>
movss  -0x4(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
mov    $0x1,%eax
sub    -0x40(%rbp),%eax
cvtsi2sd %eax,%xmm0
movsd  0xe89(%rip),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
xorps  %xmm0,%xmm0
ucomisd %xmm1,%xmm0
jbe    11d9 <HlsToRgb+0xc9>
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe59(%rip),%xmm1
addsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x44(%rbp)
jmp    1217 <HlsToRgb+0x107>
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe36(%rip),%xmm1
ucomisd %xmm1,%xmm0
jbe    1212 <HlsToRgb+0x102>
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe1b(%rip),%xmm1
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x44(%rbp)
jmp    1217 <HlsToRgb+0x107>
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe00(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xdec(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    12e1 <HlsToRgb+0x1d1>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xdf1(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1297 <HlsToRgb+0x187>
movss  -0x8(%rbp),%xmm1
movss  -0x38(%rbp),%xmm0
movss  -0x44(%rbp),%xmm2
movss  0xd98(%rip),%xmm3
mulss  %xmm3,%xmm2
movss  0xd94(%rip),%xmm3
addss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    12dc <HlsToRgb+0x1cc>
movss  -0x8(%rbp),%xmm1
movss  -0x3c(%rbp),%xmm0
movss  -0x44(%rbp),%xmm3
movss  0xd5a(%rip),%xmm2
mulss  %xmm2,%xmm3
movss  0xd52(%rip),%xmm2
addss  %xmm2,%xmm3
movss  0xd3e(%rip),%xmm2
addss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    1482 <HlsToRgb+0x372>
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xd3e(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xd22(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    1355 <HlsToRgb+0x245>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xd27(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     133c <HlsToRgb+0x22c>
movss  -0x8(%rbp),%xmm0
addss  -0x38(%rbp),%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    1350 <HlsToRgb+0x240>
movss  -0x8(%rbp),%xmm0
addss  -0x3c(%rbp),%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    147d <HlsToRgb+0x36d>
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xcd2(%rip),%xmm1
mulsd  %xmm0,%xmm1
movsd  0xcbe(%rip),%xmm0
ucomisd %xmm1,%xmm0
jbe    142b <HlsToRgb+0x31b>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xcb3(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     13e1 <HlsToRgb+0x2d1>
movss  -0x8(%rbp),%xmm1
movss  -0x38(%rbp),%xmm0
movss  -0x44(%rbp),%xmm3
movss  0xc5a(%rip),%xmm2
mulss  %xmm2,%xmm3
movss  0xc52(%rip),%xmm2
addss  %xmm2,%xmm3
movss  0xc3e(%rip),%xmm2
subss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    1426 <HlsToRgb+0x316>
movss  -0x8(%rbp),%xmm1
movss  -0x3c(%rbp),%xmm0
movss  -0x44(%rbp),%xmm3
movss  0xc10(%rip),%xmm2
mulss  %xmm2,%xmm3
movss  0xc08(%rip),%xmm2
addss  %xmm2,%xmm3
movss  0xbf4(%rip),%xmm2
subss  %xmm3,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    1478 <HlsToRgb+0x368>
movss  -0x8(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xc04(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     145f <HlsToRgb+0x34f>
movss  -0x8(%rbp),%xmm0
subss  -0x38(%rbp),%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    1473 <HlsToRgb+0x363>
movss  -0x8(%rbp),%xmm0
subss  -0x3c(%rbp),%xmm0
movslq -0x40(%rbp),%rax
movss  %xmm0,-0x34(%rbp,%rax,4)
jmp    1478 <HlsToRgb+0x368>
jmp    147d <HlsToRgb+0x36d>
jmp    1482 <HlsToRgb+0x372>
jmp    1487 <HlsToRgb+0x377>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1168 <HlsToRgb+0x58>
movss  0xb63(%rip),%xmm0
mulss  -0x34(%rbp),%xmm0
cvttss2si %xmm0,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movss  0xb4c(%rip),%xmm0
mulss  -0x30(%rbp),%xmm0
cvttss2si %xmm0,%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
movss  0xb35(%rip),%xmm0
mulss  -0x2c(%rbp),%xmm0
cvttss2si %xmm0,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<HlsToRgb>:
movl   $0x0,-0x18(%rsp)
movq   $0x0,-0x20(%rsp)
movaps %xmm1,%xmm12
mulss  %xmm2,%xmm12
subss  %xmm12,%xmm2
cvtss2sd %xmm0,%xmm0
movaps %xmm1,%xmm3
subss  %xmm12,%xmm3
movss  %xmm3,-0xc(%rsp)
movaps %xmm1,%xmm3
subss  %xmm2,%xmm3
movss  %xmm3,-0x10(%rsp)
movaps %xmm12,%xmm3
addss  %xmm1,%xmm3
movss  %xmm3,-0x4(%rsp)
movaps %xmm2,%xmm3
addss  %xmm1,%xmm3
movss  %xmm3,-0x8(%rsp)
mov    $0x1,%eax
xor    %ecx,%ecx
movsd  0xe97(%rip),%xmm13
xorps  %xmm11,%xmm11
movss  0xeb3(%rip),%xmm6
movsd  0xe8b(%rip),%xmm7
movsd  0xe8b(%rip),%xmm3
movss  0xea3(%rip),%xmm4
movss  0xe9e(%rip),%xmm14
movss  0xe9d(%rip),%xmm8
movss  0xe84(%rip),%xmm9
jmp    11c7 <HlsToRgb+0xc7>
movss  -0x8(%rsp),%xmm5
movss  %xmm5,-0x20(%rsp,%rcx,4)
add    $0x1,%rcx
add    $0xffffffff,%eax
cmp    $0x3,%rcx
je     12fa <HlsToRgb+0x1fa>
xorps  %xmm5,%xmm5
cvtsi2sd %eax,%xmm5
mulsd  %xmm13,%xmm5
addsd  %xmm0,%xmm5
xorps  %xmm15,%xmm15
cvtsd2ss %xmm5,%xmm15
ucomiss %xmm15,%xmm11
jbe    11f0 <HlsToRgb+0xf0>
addss  %xmm6,%xmm15
jmp    11fb <HlsToRgb+0xfb>
nopl   (%rax)
ucomiss %xmm6,%xmm15
jbe    11fb <HlsToRgb+0xfb>
addss  %xmm9,%xmm15
xorps  %xmm10,%xmm10
cvtss2sd %xmm15,%xmm10
movaps %xmm10,%xmm5
mulsd  %xmm7,%xmm5
ucomisd %xmm5,%xmm3
jbe    1240 <HlsToRgb+0x140>
ucomiss %xmm1,%xmm4
jae    1270 <HlsToRgb+0x170>
mulss  %xmm14,%xmm15
addss  0xe13(%rip),%xmm15
addss  %xmm8,%xmm15
mulss  %xmm2,%xmm15
jmp    127f <HlsToRgb+0x17f>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movaps %xmm10,%xmm5
addsd  %xmm10,%xmm5
ucomisd %xmm5,%xmm3
jbe    1290 <HlsToRgb+0x190>
ucomiss %xmm1,%xmm4
jb     11aa <HlsToRgb+0xaa>
movss  -0x4(%rsp),%xmm5
jmp    11b0 <HlsToRgb+0xb0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mulss  %xmm14,%xmm15
addss  %xmm9,%xmm15
mulss  %xmm12,%xmm15
addss  %xmm1,%xmm15
movss  %xmm15,-0x20(%rsp,%rcx,4)
jmp    11b6 <HlsToRgb+0xb6>
mulsd  0xd7f(%rip),%xmm10
movsd  0xd7f(%rip),%xmm5
ucomisd %xmm10,%xmm5
jbe    12d1 <HlsToRgb+0x1d1>
ucomiss %xmm1,%xmm4
mulss  %xmm14,%xmm15
addss  0xd7f(%rip),%xmm15
movaps %xmm8,%xmm5
subss  %xmm15,%xmm5
jae    12e1 <HlsToRgb+0x1e1>
mulss  %xmm2,%xmm5
addss  %xmm1,%xmm5
jmp    11b0 <HlsToRgb+0xb0>
ucomiss %xmm1,%xmm4
jae    12ef <HlsToRgb+0x1ef>
movss  -0x10(%rsp),%xmm5
jmp    11b0 <HlsToRgb+0xb0>
mulss  %xmm12,%xmm5
addss  %xmm1,%xmm5
jmp    11b0 <HlsToRgb+0xb0>
movss  -0xc(%rsp),%xmm5
jmp    11b0 <HlsToRgb+0xb0>
movss  0xd3e(%rip),%xmm0
movss  -0x20(%rsp),%xmm1
mulss  %xmm0,%xmm1
cvttss2si %xmm1,%eax
mov    %eax,(%rdi)
movss  -0x1c(%rsp),%xmm1
mulss  %xmm0,%xmm1
cvttss2si %xmm1,%eax
mov    %eax,(%rsi)
mulss  -0x18(%rsp),%xmm0
cvttss2si %xmm0,%eax
mov    %eax,(%rdx)
ret

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

LLVM IR (-O2):
define void @HlsToRgb(float %0, float %1, float %2, i32* nocapture writeonly %3, i32* nocapture writeonly %4, i32* nocapture writeonly %5) {
%7 = alloca [3 x float]
%8 = bitcast [3 x float]* %7 to i8*
%9 = fmul float %1, %2
%10 = fsub float %2, %9
%11 = fpext float %0 to double
%12 = fcmp ugt float %1, 5.000000e-01
%13 = fsub float %1, %9
%14 = fsub float %1, %10
%15 = fadd float %9, %1
%16 = fadd float %10, %1
br label %30
17: ; preds = %82
%18 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 0
%19 = load float, float* %18
%20 = fmul float %19, 2.550000e+02
%21 = fptosi float %20 to i32
store i32 %21, i32* %3
%22 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 1
%23 = load float, float* %22
%24 = fmul float %23, 2.550000e+02
%25 = fptosi float %24 to i32
store i32 %25, i32* %4
%26 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 2
%27 = load float, float* %26
%28 = fmul float %27, 2.550000e+02
%29 = fptosi float %28 to i32
store i32 %29, i32* %5
ret void
30: ; preds = %6, %82
%31 = phi i64 [ 0, %6 ], [ %83, %82 ]
%32 = trunc i64 %31 to i32
%33 = sub i32 1, %32
%34 = sitofp i32 %33 to double
%35 = tail call double @llvm.fmuladd.f64(double %34, double 3.333000e-01, double %11)
%36 = fptrunc double %35 to float
%37 = fcmp olt float %36, 0.000000e+00
br i1 %37, label %38, label %40
38: ; preds = %30
%39 = fadd float %36, 1.000000e+00
br label %44
40: ; preds = %30
%41 = fcmp ogt float %36, 1.000000e+00
br i1 %41, label %42, label %44
42: ; preds = %40
%43 = fadd float %36, -1.000000e+00
br label %44
44: ; preds = %40, %42, %38
%45 = phi float [ %39, %38 ], [ %43, %42 ], [ %36, %40 ]
%46 = fpext float %45 to double
%47 = fmul double %46, 6.000000e+00
%48 = fcmp olt double %47, 1.000000e+00
br i1 %48, label %49, label %59
49: ; preds = %44
br i1 %12, label %54, label %50
50: ; preds = %49
%51 = tail call float @llvm.fmuladd.f32(float %45, float 1.200000e+01, float -1.000000e+00)
%52 = tail call float @llvm.fmuladd.f32(float %9, float %51, float %1)
%53 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 %31
store float %52, float* %53
br label %82
54: ; preds = %49
%55 = tail call float @llvm.fmuladd.f32(float %45, float 1.200000e+01, float -4.000000e+00)
%56 = fadd float %55, 3.000000e+00
%57 = tail call float @llvm.fmuladd.f32(float %10, float %56, float %1)
%58 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 %31
store float %57, float* %58
br label %82
59: ; preds = %44
%60 = fmul double %46, 2.000000e+00
%61 = fcmp olt double %60, 1.000000e+00
br i1 %61, label %62, label %66
62: ; preds = %59
%63 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 %31
br i1 %12, label %65, label %64
64: ; preds = %62
store float %15, float* %63
br label %82
65: ; preds = %62
store float %16, float* %63
br label %82
66: ; preds = %59
%67 = fmul double %46, 3.000000e+00
%68 = fcmp olt double %67, 2.000000e+00
br i1 %68, label %69, label %78
69: ; preds = %66
%70 = tail call float @llvm.fmuladd.f32(float %45, float 1.200000e+01, float -4.000000e+00)
%71 = fsub float 3.000000e+00, %70
br i1 %12, label %75, label %72
72: ; preds = %69
%73 = tail call float @llvm.fmuladd.f32(float %9, float %71, float %1)
%74 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 %31
store float %73, float* %74
br label %82
75: ; preds = %69
%76 = tail call float @llvm.fmuladd.f32(float %10, float %71, float %1)
%77 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 %31
store float %76, float* %77
br label %82
78: ; preds = %66
%79 = getelementptr inbounds [3 x float], [3 x float]* %7, i64 0, i64 %31
br i1 %12, label %81, label %80
80: ; preds = %78
store float %13, float* %79
br label %82
81: ; preds = %78
store float %14, float* %79
br label %82
82: ; preds = %65, %64, %80, %81, %72, %75, %50, %54
%83 = add nuw nsw i64 %31, 1
%84 = icmp eq i64 %83, 3
br i1 %84, label %17, label %30
}