void compositeDestinationIn(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;
  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;
        rr = *dst * sa;
        rg = *(dst + 1) * sa;
        rb = *(dst + 2) * sa;
        ra = d * sa;
        *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):
<compositeDestinationIn>:
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    13d8 <compositeDestinationIn+0x2d8>
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    116f <compositeDestinationIn+0x6f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x0,(%rax)
jmp    13bb <compositeDestinationIn+0x2bb>
mov    -0x10(%rbp),%rax
movzbl 0x3(%rax),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
jne    119e <compositeDestinationIn+0x9e>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x0,(%rax)
jmp    13b6 <compositeDestinationIn+0x2b6>
cvtsi2sdl -0x30(%rbp),%xmm0
movsd  0xe5d(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0x44(%rbp)
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
cvtsi2ss %eax,%xmm0
mulss  -0x44(%rbp),%xmm0
movss  %xmm0,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
cvtsi2ss %eax,%xmm0
mulss  -0x44(%rbp),%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
cvtsi2ss %eax,%xmm0
mulss  -0x44(%rbp),%xmm0
movss  %xmm0,-0x3c(%rbp)
cvtsi2ssl -0x2c(%rbp),%xmm0
mulss  -0x44(%rbp),%xmm0
movss  %xmm0,-0x40(%rbp)
movss  -0x34(%rbp),%xmm0
movss  0xdeb(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    1230 <compositeDestinationIn+0x130>
movss  0xdda(%rip),%xmm0
movss  %xmm0,-0x48(%rbp)
jmp    125e <compositeDestinationIn+0x15e>
xorps  %xmm0,%xmm0
ucomiss -0x34(%rbp),%xmm0
jbe    124a <compositeDestinationIn+0x14a>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x4c(%rbp)
jmp    1254 <compositeDestinationIn+0x154>
movss  -0x34(%rbp),%xmm0
movss  %xmm0,-0x4c(%rbp)
movss  -0x4c(%rbp),%xmm0
movss  %xmm0,-0x48(%rbp)
movss  -0x48(%rbp),%xmm0
cvttss2si %xmm0,%eax
mov    %eax,-0x50(%rbp)
movss  -0x38(%rbp),%xmm0
movss  0xd89(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    1292 <compositeDestinationIn+0x192>
movss  0xd78(%rip),%xmm0
movss  %xmm0,-0x54(%rbp)
jmp    12c0 <compositeDestinationIn+0x1c0>
xorps  %xmm0,%xmm0
ucomiss -0x38(%rbp),%xmm0
jbe    12ac <compositeDestinationIn+0x1ac>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x58(%rbp)
jmp    12b6 <compositeDestinationIn+0x1b6>
movss  -0x38(%rbp),%xmm0
movss  %xmm0,-0x58(%rbp)
movss  -0x58(%rbp),%xmm0
movss  %xmm0,-0x54(%rbp)
mov    -0x50(%rbp),%eax
movss  -0x54(%rbp),%xmm0
cvttss2si %xmm0,%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    %eax,-0x5c(%rbp)
movss  -0x3c(%rbp),%xmm0
movss  0xd1f(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    12fc <compositeDestinationIn+0x1fc>
movss  0xd0e(%rip),%xmm0
movss  %xmm0,-0x60(%rbp)
jmp    132a <compositeDestinationIn+0x22a>
xorps  %xmm0,%xmm0
ucomiss -0x3c(%rbp),%xmm0
jbe    1316 <compositeDestinationIn+0x216>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x64(%rbp)
jmp    1320 <compositeDestinationIn+0x220>
movss  -0x3c(%rbp),%xmm0
movss  %xmm0,-0x64(%rbp)
movss  -0x64(%rbp),%xmm0
movss  %xmm0,-0x60(%rbp)
mov    -0x5c(%rbp),%eax
movss  -0x60(%rbp),%xmm0
cvttss2si %xmm0,%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    %eax,-0x68(%rbp)
movss  -0x40(%rbp),%xmm0
movss  0xcb5(%rip),%xmm1
ucomiss %xmm1,%xmm0
jbe    1366 <compositeDestinationIn+0x266>
movss  0xca4(%rip),%xmm0
movss  %xmm0,-0x6c(%rbp)
jmp    1394 <compositeDestinationIn+0x294>
xorps  %xmm0,%xmm0
ucomiss -0x40(%rbp),%xmm0
jbe    1380 <compositeDestinationIn+0x280>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x70(%rbp)
jmp    138a <compositeDestinationIn+0x28a>
movss  -0x40(%rbp),%xmm0
movss  %xmm0,-0x70(%rbp)
movss  -0x70(%rbp),%xmm0
movss  %xmm0,-0x6c(%rbp)
mov    -0x68(%rbp),%ecx
movss  -0x6c(%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    13bb <compositeDestinationIn+0x2bb>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    1132 <compositeDestinationIn+0x32>
pop    %rbp
ret

x86 assembly (clang, -O2):
<compositeDestinationIn>:
imul   %ecx,%edx
shl    $0x2,%edx
test   %edx,%edx
jle    11e3 <compositeDestinationIn+0xe3>
movslq %edx,%r8
add    %rsi,%r8
movsd  0xee4(%rip),%xmm0
movss  0xee4(%rip),%xmm1
jmp    1143 <compositeDestinationIn+0x43>
cs nopw 0x0(%rax,%rax,1)
mov    %edx,(%rdi)
add    $0x4,%rdi
add    $0x4,%rsi
cmp    %r8,%rsi
jae    11e3 <compositeDestinationIn+0xe3>
movzbl 0x3(%rdi),%ecx
xor    %edx,%edx
test   %cl,%cl
je     1130 <compositeDestinationIn+0x30>
movzbl 0x3(%rsi),%eax
test   %al,%al
je     1130 <compositeDestinationIn+0x30>
movzbl %al,%eax
xorps  %xmm2,%xmm2
cvtsi2sd %eax,%xmm2
divsd  %xmm0,%xmm2
movzbl (%rdi),%eax
xorps  %xmm3,%xmm3
cvtsi2ss %eax,%xmm3
cvtsd2ss %xmm2,%xmm2
mulss  %xmm2,%xmm3
movzbl 0x1(%rdi),%eax
xorps  %xmm4,%xmm4
cvtsi2ss %eax,%xmm4
movzbl 0x2(%rdi),%eax
xorps  %xmm5,%xmm5
cvtsi2ss %eax,%xmm5
movzbl %cl,%eax
movaps %xmm1,%xmm6
minss  %xmm3,%xmm6
xorps  %xmm3,%xmm3
cvtsi2ss %eax,%xmm3
mulss  %xmm2,%xmm4
mulss  %xmm2,%xmm5
cvttss2si %xmm6,%r9d
mulss  %xmm2,%xmm3
movaps %xmm1,%xmm2
minss  %xmm4,%xmm2
cvttss2si %xmm2,%ecx
shl    $0x8,%ecx
movaps %xmm1,%xmm2
minss  %xmm5,%xmm2
cvttss2si %xmm2,%eax
shl    $0x10,%eax
movaps %xmm1,%xmm2
minss  %xmm3,%xmm2
cvttss2si %xmm2,%edx
or     %ecx,%eax
shl    $0x18,%edx
or     %r9d,%edx
or     %eax,%edx
jmp    1130 <compositeDestinationIn+0x30>
ret

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

LLVM IR (-O2):
define void @compositeDestinationIn(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 %61
10: ; preds = %4, %56
%11 = phi i8* [ %58, %56 ], [ %0, %4 ]
%12 = phi i8* [ %59, %56 ], [ %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 %56, 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 %56, label %21
21: ; preds = %17
%22 = uitofp i8 %19 to double
%23 = fdiv double %22, 2.550000e+02
%24 = fptrunc double %23 to float
%25 = load i8, i8* %11
%26 = uitofp i8 %25 to float
%27 = fmul float %24, %26
%28 = getelementptr inbounds i8, i8* %11, i64 1
%29 = load i8, i8* %28
%30 = uitofp i8 %29 to float
%31 = fmul float %24, %30
%32 = getelementptr inbounds i8, i8* %11, i64 2
%33 = load i8, i8* %32
%34 = uitofp i8 %33 to float
%35 = fmul float %24, %34
%36 = uitofp i8 %15 to float
%37 = fmul float %36, %24
%38 = fcmp ogt float %27, 2.550000e+02
%39 = select i1 %38, float 2.550000e+02, float %27
%40 = fptosi float %39 to i32
%41 = fcmp ogt float %31, 2.550000e+02
%42 = select i1 %41, float 2.550000e+02, float %31
%43 = fptosi float %42 to i32
%44 = shl i32 %43, 8
%45 = fcmp ogt float %35, 2.550000e+02
%46 = select i1 %45, float 2.550000e+02, float %35
%47 = fptosi float %46 to i32
%48 = shl i32 %47, 16
%49 = fcmp ogt float %37, 2.550000e+02
%50 = select i1 %49, float 2.550000e+02, float %37
%51 = fptosi float %50 to i32
%52 = shl i32 %51, 24
%53 = or i32 %52, %40
%54 = or i32 %53, %44
%55 = or i32 %54, %48
br label %56
56: ; preds = %17, %10, %21
%57 = phi i32 [ %55, %21 ], [ 0, %10 ], [ 0, %17 ]
store i32 %57, i32* %13
%58 = getelementptr inbounds i8, i8* %11, i64 4
%59 = getelementptr inbounds i8, i8* %12, i64 4
%60 = icmp ult i8* %59, %8
br i1 %60, label %10, label %61
61: ; preds = %56, %4
ret void
}