void compositeSourceAtop(unsigned char *dst, unsigned char *src, int width,
                         int height) {
  unsigned char *end = src + ((width * height) << 2);
  unsigned int *dst32 = (unsigned int *)dst;
  int d, s;
  float rr, rg, rb, ra;
  float sa, sa_inv;
  float da;
  while (src < end) {
    d = *(dst + 3);
    if (d == 0) {
      *dst32++ = 0;
    } else {
      s = *(src + 3);
      if (s == 0) {
        dst32++;
      } else {
        da = d / 255.0;
        sa = s / 255.0;
        sa_inv = (1.0 - sa);
        rr = *src * da + *dst * sa_inv;
        rg = *(src + 1) * da + *(dst + 1) * sa_inv;
        rb = *(src + 2) * da + *(dst + 2) * sa_inv;
        ra = (sa * da + da * sa_inv) * 255.0;
        *dst32++ = (int)((rr) > 0xff ? 0xff : ((rr) < 0 ? 0 : (rr))) |
                   (int)((rg) > 0xff ? 0xff : ((rg) < 0 ? 0 : (rg))) << 8 |
                   (int)((rb) > 0xff ? 0xff : ((rb) < 0 ? 0 : (rb))) << 16 |
                   (int)((ra) > 0xff ? 0xff : ((ra) < 0 ? 0 : (ra))) << 24;
      }
    }
    src += 4;
    dst += 4;
  }
}


x86 assembly (clang, -O0):
<compositeSourceAtop>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x18(%rbp),%ecx
shl    $0x2,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1477 <compositeSourceAtop+0x377>
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    116f <compositeSourceAtop+0x6f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x0,(%rax)
jmp    145a <compositeSourceAtop+0x35a>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    1195 <compositeSourceAtop+0x95>
mov    -0x28(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x28(%rbp)
jmp    1455 <compositeSourceAtop+0x355>
cvtsi2sdl -0x2c(%rbp),%xmm0
movsd  0xe66(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
cvtsi2sdl -0x30(%rbp),%xmm0
movsd  0xe4c(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe36(%rip),%xmm0
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cvtsi2ss %eax,%xmm0
movss  -0x4c(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
cvtsi2ss %eax,%xmm1
mulss  -0x48(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
cvtsi2ss %eax,%xmm0
movss  -0x4c(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
cvtsi2ss %eax,%xmm1
mulss  -0x48(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
cvtsi2ss %eax,%xmm0
movss  -0x4c(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
cvtsi2ss %eax,%xmm1
mulss  -0x48(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x44(%rbp),%xmm0
movss  -0x4c(%rbp),%xmm2
movss  -0x4c(%rbp),%xmm1
mulss  -0x48(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xd6e(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x34(%rbp),%xmm0
movss  0xd4c(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    12cf <compositeSourceAtop+0x1cf>
movss  0xd3b(%rip),%xmm0
movss  %xmm0,-0x50(%rbp)
jmp    12fd <compositeSourceAtop+0x1fd>
xorps  %xmm0,%xmm0
ucomiss -0x34(%rbp),%xmm0
jbe    12e9 <compositeSourceAtop+0x1e9>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x54(%rbp)
jmp    12f3 <compositeSourceAtop+0x1f3>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x54(%rbp)
movss  -0x54(%rbp),%xmm0
movss  %xmm0,-0x50(%rbp)
movss  -0x50(%rbp),%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x58(%rbp)
movss  -0x38(%rbp),%xmm0
movss  0xcea(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    1331 <compositeSourceAtop+0x231>
movss  0xcd9(%rip),%xmm0
movss  %xmm0,-0x5c(%rbp)
jmp    135f <compositeSourceAtop+0x25f>
xorps  %xmm0,%xmm0
ucomiss -0x38(%rbp),%xmm0
jbe    134b <compositeSourceAtop+0x24b>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x60(%rbp)
jmp    1355 <compositeSourceAtop+0x255>
movss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x60(%rbp)
movss  -0x60(%rbp),%xmm0
movss  %xmm0,-0x5c(%rbp)
mov    -0x58(%rbp),%eax
movss  -0x5c(%rbp),%xmm0
cvttss2si %xmm0,%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    %eax,-0x64(%rbp)
movss  -0x3c(%rbp),%xmm0
movss  0xc80(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    139b <compositeSourceAtop+0x29b>
movss  0xc6f(%rip),%xmm0
movss  %xmm0,-0x68(%rbp)
jmp    13c9 <compositeSourceAtop+0x2c9>
xorps  %xmm0,%xmm0
ucomiss -0x3c(%rbp),%xmm0
jbe    13b5 <compositeSourceAtop+0x2b5>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x6c(%rbp)
jmp    13bf <compositeSourceAtop+0x2bf>
movss  -0x3c(%rbp),%xmm0
movss  %xmm0,-0x6c(%rbp)
movss  -0x6c(%rbp),%xmm0
movss  %xmm0,-0x68(%rbp)
mov    -0x64(%rbp),%eax
movss  -0x68(%rbp),%xmm0
cvttss2si %xmm0,%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x70(%rbp)
movss  -0x40(%rbp),%xmm0
movss  0xc16(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    1405 <compositeSourceAtop+0x305>
movss  0xc05(%rip),%xmm0
movss  %xmm0,-0x74(%rbp)
jmp    1433 <compositeSourceAtop+0x333>
xorps  %xmm0,%xmm0
ucomiss -0x40(%rbp),%xmm0
jbe    141f <compositeSourceAtop+0x31f>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x78(%rbp)
jmp    1429 <compositeSourceAtop+0x329>
movss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x78(%rbp)
movss  -0x78(%rbp),%xmm0
movss  %xmm0,-0x74(%rbp)
mov    -0x70(%rbp),%ecx
movss  -0x74(%rbp),%xmm0
cvttss2si %xmm0,%eax
shl    $0x18,%eax
or     %eax,%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
jmp    145a <compositeSourceAtop+0x35a>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    1132 <compositeSourceAtop+0x32>
pop    %rbp
ret

x86 assembly (clang, -O2):
<compositeSourceAtop>:
imul   %ecx,%edx
shl    $0x2,%edx
test   %edx,%edx
jle    128a <compositeSourceAtop+0x18a>
movslq %edx,%r8
add    %rsi,%r8
movsd  0xee3(%rip),%xmm9
movss  0xee2(%rip),%xmm8
pxor   %xmm11,%xmm11
movss  0xed9(%rip),%xmm3
movaps 0xed5(%rip),%xmm10
jmp    1155 <compositeSourceAtop+0x55>
nopl   (%rax)
xor    %ecx,%ecx
mov    %ecx,(%rdi)
add    $0x4,%rdi
add    $0x4,%rsi
cmp    %r8,%rsi
jae    128a <compositeSourceAtop+0x18a>
movzbl 0x3(%rdi),%edx
test   %dl,%dl
je     1140 <compositeSourceAtop+0x40>
movzbl 0x3(%rsi),%ecx
test   %cl,%cl
je     1144 <compositeSourceAtop+0x44>
movzbl %dl,%edx
xorps  %xmm1,%xmm1
cvtsi2sd %edx,%xmm1
divsd  %xmm9,%xmm1
xorps  %xmm6,%xmm6
cvtsd2ss %xmm1,%xmm6
movzbl %cl,%ecx
xorps  %xmm1,%xmm1
cvtsi2sd %ecx,%xmm1
divsd  %xmm9,%xmm1
xorps  %xmm5,%xmm5
cvtsd2ss %xmm1,%xmm5
movzbl (%rsi),%ecx
cvtsi2ss %ecx,%xmm7
movzbl (%rdi),%ecx
xorps  %xmm0,%xmm0
cvtsi2ss %ecx,%xmm0
movaps %xmm8,%xmm2
subss  %xmm5,%xmm2
mulss  %xmm2,%xmm0
mulss  %xmm6,%xmm7
addss  %xmm0,%xmm7
movzwl 0x1(%rsi),%ecx
movd   %ecx,%xmm0
punpcklbw %xmm11,%xmm0
punpcklwd %xmm11,%xmm0
cvtdq2ps %xmm0,%xmm0
movzwl 0x1(%rdi),%ecx
movd   %ecx,%xmm4
punpcklbw %xmm11,%xmm4
punpcklwd %xmm11,%xmm4
cvtdq2ps %xmm4,%xmm4
movaps %xmm2,%xmm1
shufps $0x0,%xmm2,%xmm1
mulps  %xmm4,%xmm1
mulss  %xmm6,%xmm2
mulss  %xmm6,%xmm5
shufps $0x0,%xmm6,%xmm6
mulps  %xmm0,%xmm6
addps  %xmm1,%xmm6
addss  %xmm2,%xmm5
mulss  %xmm3,%xmm5
xorps  %xmm0,%xmm0
maxss  %xmm7,%xmm0
movaps %xmm3,%xmm1
cmpltss %xmm7,%xmm1
movaps %xmm1,%xmm2
andnps %xmm0,%xmm2
andps  %xmm3,%xmm1
orps   %xmm2,%xmm1
cvttss2si %xmm1,%ecx
movaps %xmm10,%xmm0
cmpltps %xmm6,%xmm0
xorps  %xmm1,%xmm1
maxps  %xmm6,%xmm1
movaps %xmm10,%xmm2
andps  %xmm0,%xmm2
andnps %xmm1,%xmm0
orps   %xmm2,%xmm0
cvttps2dq %xmm0,%xmm0
movdqa %xmm0,%xmm1
pslld  $0x10,%xmm1
xorps  %xmm2,%xmm2
maxss  %xmm5,%xmm2
movaps %xmm3,%xmm4
cmpltss %xmm5,%xmm4
movaps %xmm4,%xmm5
andnps %xmm2,%xmm5
andps  %xmm3,%xmm4
orps   %xmm5,%xmm4
cvttss2si %xmm4,%edx
pslld  $0x8,%xmm0
shl    $0x18,%edx
movd   %xmm0,%eax
or     %ecx,%eax
pshufd $0x55,%xmm1,%xmm0
movd   %xmm0,%ecx
or     %eax,%ecx
or     %edx,%ecx
jmp    1142 <compositeSourceAtop+0x42>
ret

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

LLVM IR (-O2):
define void @compositeSourceAtop(i8* nocapture %0, i8* %1, i32 %2, i32 %3) {
%5 = shl i32 %2, 2
%6 = mul i32 %5, %3
%7 = sext i32 %6 to i64
%8 = getelementptr inbounds i8, i8* %1, i64 %7
%9 = icmp sgt i32 %6, 0
br i1 %9, label %10, label %80
10: ; preds = %4, %76
%11 = phi i8* [ %77, %76 ], [ %0, %4 ]
%12 = phi i8* [ %78, %76 ], [ %1, %4 ]
%13 = bitcast i8* %11 to i32*
%14 = getelementptr inbounds i8, i8* %11, i64 3
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 0
br i1 %16, label %74, label %17
17: ; preds = %10
%18 = getelementptr inbounds i8, i8* %12, i64 3
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 0
br i1 %20, label %76, label %21
21: ; preds = %17
%22 = uitofp i8 %15 to double
%23 = fdiv double %22, 2.550000e+02
%24 = fptrunc double %23 to float
%25 = uitofp i8 %19 to double
%26 = fdiv double %25, 2.550000e+02
%27 = fptrunc double %26 to float
%28 = fsub float 1.000000e+00, %27
%29 = load i8, i8* %12
%30 = uitofp i8 %29 to float
%31 = load i8, i8* %11
%32 = uitofp i8 %31 to float
%33 = fmul float %28, %32
%34 = tail call float @llvm.fmuladd.f32(float %30, float %24, float %33)
%35 = getelementptr inbounds i8, i8* %12, i64 1
%36 = getelementptr inbounds i8, i8* %11, i64 1
%37 = bitcast i8* %35 to <2 x i8>*
%38 = load <2 x i8>, <2 x i8>* %37
%39 = uitofp <2 x i8> %38 to <2 x float>
%40 = bitcast i8* %36 to <2 x i8>*
%41 = load <2 x i8>, <2 x i8>* %40
%42 = uitofp <2 x i8> %41 to <2 x float>
%43 = insertelement <2 x float> poison, float %28, i64 0
%44 = shufflevector <2 x float> %43, <2 x float> poison, <2 x i32> zeroinitializer
%45 = fmul <2 x float> %44, %42
%46 = insertelement <2 x float> poison, float %24, i64 0
%47 = shufflevector <2 x float> %46, <2 x float> poison, <2 x i32> zeroinitializer
%48 = call <2 x float> @llvm.fmuladd.v2f32(<2 x float> %39, <2 x float> %47, <2 x float> %45)
%49 = fmul float %28, %24
%50 = tail call float @llvm.fmuladd.f32(float %27, float %24, float %49)
%51 = fmul float %50, 2.550000e+02
%52 = fcmp ogt float %34, 2.550000e+02
%53 = fcmp olt float %34, 0.000000e+00
%54 = select i1 %53, float 0.000000e+00, float %34
%55 = select i1 %52, float 2.550000e+02, float %54
%56 = fptosi float %55 to i32
%57 = fcmp ogt <2 x float> %48, <float 2.550000e+02, float 2.550000e+02>
%58 = fcmp olt <2 x float> %48, zeroinitializer
%59 = select <2 x i1> %58, <2 x float> zeroinitializer, <2 x float> %48
%60 = select <2 x i1> %57, <2 x float> <float 2.550000e+02, float 2.550000e+02>, <2 x float> %59
%61 = fptosi <2 x float> %60 to <2 x i32>
%62 = shl <2 x i32> %61, <i32 8, i32 16>
%63 = fcmp ogt float %51, 2.550000e+02
%64 = fcmp olt float %51, 0.000000e+00
%65 = select i1 %64, float 0.000000e+00, float %51
%66 = select i1 %63, float 2.550000e+02, float %65
%67 = fptosi float %66 to i32
%68 = shl i32 %67, 24
%69 = or i32 %68, %56
%70 = extractelement <2 x i32> %62, i64 0
%71 = or i32 %69, %70
%72 = extractelement <2 x i32> %62, i64 1
%73 = or i32 %71, %72
br label %74
74: ; preds = %10, %21
%75 = phi i32 [ %73, %21 ], [ 0, %10 ]
store i32 %75, i32* %13
br label %76
76: ; preds = %74, %17
%77 = getelementptr inbounds i8, i8* %11, i64 4
%78 = getelementptr inbounds i8, i8* %12, i64 4
%79 = icmp ult i8* %78, %8
br i1 %79, label %10, label %80
80: ; preds = %76, %4
ret void
}