void compositeDestinationAtop(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 da, da_inv;
  float sa;
  while (src < end) {
    d = *(dst + 3);
    if (d == 0) {
      *dst32++ = 0;
    } else {
      s = *(src + 3);
      if (s == 0) {
        *dst32++ = 0;
      } else {
        sa = s / 255.0;
        da = d / 255.0;
        da_inv = (1.0 - da);
        rr = *src * da_inv + *dst * sa;
        rg = *(src + 1) * da_inv + *(dst + 1) * sa;
        rb = *(src + 2) * da_inv + *(dst + 2) * sa;
        ra = (sa * da_inv + da * sa) * 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):
<compositeDestinationAtop>:
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    1480 <compositeDestinationAtop+0x380>
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    116f <compositeDestinationAtop+0x6f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x0,(%rax)
jmp    1463 <compositeDestinationAtop+0x363>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    119e <compositeDestinationAtop+0x9e>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x0,(%rax)
jmp    145e <compositeDestinationAtop+0x35e>
cvtsi2sdl -0x30(%rbp),%xmm0
movsd  0xe5d(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
cvtsi2sdl -0x2c(%rbp),%xmm0
movsd  0xe43(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe2d(%rip),%xmm0
subsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
cvtsi2ss %eax,%xmm0
movss  -0x48(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
cvtsi2ss %eax,%xmm1
mulss  -0x4c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x1(%rax),%eax
cvtsi2ss %eax,%xmm0
movss  -0x48(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
cvtsi2ss %eax,%xmm1
mulss  -0x4c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movzbl 0x2(%rax),%eax
cvtsi2ss %eax,%xmm0
movss  -0x48(%rbp),%xmm2
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
cvtsi2ss %eax,%xmm1
mulss  -0x4c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
movss  -0x4c(%rbp),%xmm0
movss  -0x48(%rbp),%xmm2
movss  -0x44(%rbp),%xmm1
mulss  -0x4c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xd65(%rip),%xmm1
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x34(%rbp),%xmm0
movss  0xd43(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    12d8 <compositeDestinationAtop+0x1d8>
movss  0xd32(%rip),%xmm0
movss  %xmm0,-0x50(%rbp)
jmp    1306 <compositeDestinationAtop+0x206>
xorps  %xmm0,%xmm0
ucomiss -0x34(%rbp),%xmm0
jbe    12f2 <compositeDestinationAtop+0x1f2>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x54(%rbp)
jmp    12fc <compositeDestinationAtop+0x1fc>
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  0xce1(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    133a <compositeDestinationAtop+0x23a>
movss  0xcd0(%rip),%xmm0
movss  %xmm0,-0x5c(%rbp)
jmp    1368 <compositeDestinationAtop+0x268>
xorps  %xmm0,%xmm0
ucomiss -0x38(%rbp),%xmm0
jbe    1354 <compositeDestinationAtop+0x254>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x60(%rbp)
jmp    135e <compositeDestinationAtop+0x25e>
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  0xc77(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    13a4 <compositeDestinationAtop+0x2a4>
movss  0xc66(%rip),%xmm0
movss  %xmm0,-0x68(%rbp)
jmp    13d2 <compositeDestinationAtop+0x2d2>
xorps  %xmm0,%xmm0
ucomiss -0x3c(%rbp),%xmm0
jbe    13be <compositeDestinationAtop+0x2be>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x6c(%rbp)
jmp    13c8 <compositeDestinationAtop+0x2c8>
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  0xc0d(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    140e <compositeDestinationAtop+0x30e>
movss  0xbfc(%rip),%xmm0
movss  %xmm0,-0x74(%rbp)
jmp    143c <compositeDestinationAtop+0x33c>
xorps  %xmm0,%xmm0
ucomiss -0x40(%rbp),%xmm0
jbe    1428 <compositeDestinationAtop+0x328>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x78(%rbp)
jmp    1432 <compositeDestinationAtop+0x332>
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    1463 <compositeDestinationAtop+0x363>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    1132 <compositeDestinationAtop+0x32>
pop    %rbp
ret

x86 assembly (clang, -O2):
<compositeDestinationAtop>:
imul   %ecx,%edx
shl    $0x2,%edx
test   %edx,%edx
jle    1281 <compositeDestinationAtop+0x181>
movslq %edx,%r8
add    %rsi,%r8
pxor   %xmm0,%xmm0
movapd 0xedf(%rip),%xmm8
movss  0xef6(%rip),%xmm9
movss  0xef2(%rip),%xmm3
movaps 0xed6(%rip),%xmm10
jmp    1153 <compositeDestinationAtop+0x53>
nopl   0x0(%rax)
mov    %ecx,(%rdi)
add    $0x4,%rdi
add    $0x4,%rsi
cmp    %r8,%rsi
jae    1281 <compositeDestinationAtop+0x181>
movzbl 0x3(%rdi),%edx
xor    %ecx,%ecx
test   %dl,%dl
je     1140 <compositeDestinationAtop+0x40>
movzbl 0x3(%rsi),%eax
test   %al,%al
je     1140 <compositeDestinationAtop+0x40>
movzbl %dl,%ecx
movzbl %al,%eax
shl    $0x8,%eax
or     %ecx,%eax
movd   %eax,%xmm2
punpcklbw %xmm0,%xmm2
punpcklwd %xmm0,%xmm2
cvtdq2pd %xmm2,%xmm2
divpd  %xmm8,%xmm2
cvtpd2ps %xmm2,%xmm7
movzbl (%rsi),%eax
xorps  %xmm6,%xmm6
cvtsi2ss %eax,%xmm6
movzbl (%rdi),%eax
xorps  %xmm1,%xmm1
cvtsi2ss %eax,%xmm1
movaps %xmm9,%xmm2
subss  %xmm7,%xmm2
movaps %xmm7,%xmm5
shufps $0x55,%xmm7,%xmm5
mulss  %xmm5,%xmm1
mulss  %xmm2,%xmm6
addss  %xmm1,%xmm6
movzwl 0x1(%rsi),%eax
movd   %eax,%xmm1
punpcklbw %xmm0,%xmm1
punpcklwd %xmm0,%xmm1
cvtdq2ps %xmm1,%xmm1
movzwl 0x1(%rdi),%eax
movd   %eax,%xmm4
punpcklbw %xmm0,%xmm4
punpcklwd %xmm0,%xmm4
cvtdq2ps %xmm4,%xmm4
mulps  %xmm5,%xmm4
mulss  %xmm5,%xmm7
mulss  %xmm2,%xmm5
shufps $0x0,%xmm2,%xmm2
mulps  %xmm1,%xmm2
addps  %xmm4,%xmm2
addss  %xmm7,%xmm5
mulss  %xmm3,%xmm5
xorps  %xmm1,%xmm1
maxss  %xmm6,%xmm1
movaps %xmm3,%xmm4
cmpltss %xmm6,%xmm4
movaps %xmm4,%xmm6
andnps %xmm1,%xmm6
andps  %xmm3,%xmm4
orps   %xmm6,%xmm4
cvttss2si %xmm4,%ecx
movaps %xmm10,%xmm1
cmpltps %xmm2,%xmm1
xorps  %xmm4,%xmm4
maxps  %xmm2,%xmm4
movaps %xmm10,%xmm2
andps  %xmm1,%xmm2
andnps %xmm4,%xmm1
orps   %xmm2,%xmm1
cvttps2dq %xmm1,%xmm1
movdqa %xmm1,%xmm2
pslld  $0x10,%xmm2
xorps  %xmm4,%xmm4
maxss  %xmm5,%xmm4
movaps %xmm3,%xmm6
cmpltss %xmm5,%xmm6
movaps %xmm6,%xmm5
andnps %xmm4,%xmm5
andps  %xmm3,%xmm6
orps   %xmm5,%xmm6
cvttss2si %xmm6,%eax
pslld  $0x8,%xmm1
shl    $0x18,%eax
movd   %xmm1,%edx
or     %ecx,%edx
pshufd $0x55,%xmm2,%xmm1
movd   %xmm1,%ecx
or     %edx,%ecx
or     %eax,%ecx
jmp    1140 <compositeDestinationAtop+0x40>
ret

LLVM IR (-O0):
define void @compositeDestinationAtop(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
store i32 0, i32* %51
br label %179
53: ; preds = %43
%54 = load i32, i32* %12
%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* %11
%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* %18
%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* %19
%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* %18
%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* %19
%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* %18
%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* %19
%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* %19
%107 = load float, float* %18
%108 = load float, float* %17
%109 = load float, float* %19
%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 @compositeDestinationAtop(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 %79
10: ; preds = %4, %74
%11 = phi i8* [ %76, %74 ], [ %0, %4 ]
%12 = phi i8* [ %77, %74 ], [ %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 %74, label %21
21: ; preds = %17
%22 = insertelement <2 x i8> poison, i8 %15, i64 0
%23 = insertelement <2 x i8> %22, i8 %19, i64 1
%24 = uitofp <2 x i8> %23 to <2 x double>
%25 = fdiv <2 x double> %24, <double 2.550000e+02, double 2.550000e+02>
%26 = fptrunc <2 x double> %25 to <2 x float>
%27 = extractelement <2 x float> %26, i64 0
%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 = extractelement <2 x float> %26, i64 1
%34 = fmul float %33, %32
%35 = tail call float @llvm.fmuladd.f32(float %30, float %28, float %34)
%36 = getelementptr inbounds i8, i8* %12, i64 1
%37 = getelementptr inbounds i8, i8* %11, i64 1
%38 = bitcast i8* %36 to <2 x i8>*
%39 = load <2 x i8>, <2 x i8>* %38
%40 = uitofp <2 x i8> %39 to <2 x float>
%41 = bitcast i8* %37 to <2 x i8>*
%42 = load <2 x i8>, <2 x i8>* %41
%43 = uitofp <2 x i8> %42 to <2 x float>
%44 = shufflevector <2 x float> %26, <2 x float> undef, <2 x i32> <i32 1, i32 1>
%45 = fmul <2 x float> %44, %43
%46 = insertelement <2 x float> poison, float %28, 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> %40, <2 x float> %47, <2 x float> %45)
%49 = fmul float %27, %33
%50 = tail call float @llvm.fmuladd.f32(float %33, float %28, float %49)
%51 = fmul float %50, 2.550000e+02
%52 = fcmp ogt float %35, 2.550000e+02
%53 = fcmp olt float %35, 0.000000e+00
%54 = select i1 %53, float 0.000000e+00, float %35
%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 = %17, %10, %21
%75 = phi i32 [ %73, %21 ], [ 0, %10 ], [ 0, %17 ]
store i32 %75, i32* %13
%76 = getelementptr inbounds i8, i8* %11, i64 4
%77 = getelementptr inbounds i8, i8* %12, i64 4
%78 = icmp ult i8* %77, %8
br i1 %78, label %10, label %79
79: ; preds = %74, %4
ret void
}