unsigned char InverseAlphaComp(unsigned char fg, unsigned char alpha,
                               unsigned char bg) {
  unsigned char out;
  short temp;
  switch (alpha) {
  case 0:
    out = bg;
    break;
  case 255:
    out = fg;
    break;
  default:
    temp = (255 * fg - bg * (255 - alpha)) / alpha;
    if (temp < 0)
      temp = 0;
    out = (unsigned char)temp;
    break;
  }
  return out;
}


x86 assembly (clang, -O0):
<InverseAlphaComp>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %sil,%cl
mov    %dil,%dl
mov    %dl,-0x1(%rbp)
mov    %cl,-0x2(%rbp)
mov    %al,-0x3(%rbp)
movzbl -0x2(%rbp),%eax
mov    %eax,-0xc(%rbp)
test   %eax,%eax
je     113c <InverseAlphaComp+0x3c>
jmp    1129 <InverseAlphaComp+0x29>
mov    -0xc(%rbp),%eax
sub    $0xff,%eax
je     1147 <InverseAlphaComp+0x47>
jmp    1152 <InverseAlphaComp+0x52>
mov    -0x3(%rbp),%al
mov    %al,-0x4(%rbp)
jmp    1195 <InverseAlphaComp+0x95>
mov    -0x1(%rbp),%al
mov    %al,-0x4(%rbp)
jmp    1195 <InverseAlphaComp+0x95>
movzbl -0x1(%rbp),%eax
imul   $0xff,%eax,%eax
movzbl -0x3(%rbp),%ecx
movzbl -0x2(%rbp),%esi
mov    $0xff,%edx
sub    %esi,%edx
imul   %edx,%ecx
sub    %ecx,%eax
movzbl -0x2(%rbp),%ecx
cltd
idiv   %ecx
mov    %ax,-0x6(%rbp)
movswl -0x6(%rbp),%eax
cmp    $0x0,%eax
jge    118e <InverseAlphaComp+0x8e>
movw   $0x0,-0x6(%rbp)
mov    -0x6(%rbp),%ax
mov    %al,-0x4(%rbp)
movzbl -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<InverseAlphaComp>:
mov    %edx,%eax
test   %esi,%esi
je     1139 <InverseAlphaComp+0x39>
cmp    $0xff,%sil
jne    110f <InverseAlphaComp+0xf>
mov    %edi,%eax
ret
movzbl %dil,%ecx
mov    %ecx,%edx
shl    $0x8,%edx
sub    %ecx,%edx
movzbl %al,%ecx
mov    %esi,%eax
add    $0xffffff01,%eax
imul   %ecx,%eax
add    %edx,%eax
cltd
idiv   %esi
mov    %eax,%ecx
xor    %eax,%eax
test   $0x8000,%ecx
cmove  %ecx,%eax
ret

LLVM IR (-O0):
define zeroext i8 @InverseAlphaComp(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2) {
%4 = alloca i8
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
%8 = alloca i16
store i8 %0, i8* %4
store i8 %1, i8* %5
store i8 %2, i8* %6
%9 = load i8, i8* %5
%10 = zext i8 %9 to i32
switch i32 %10, label %15 [
i32 0, label %11
i32 255, label %13
]
11: ; preds = %3
%12 = load i8, i8* %6
store i8 %12, i8* %7
br label %37
13: ; preds = %3
%14 = load i8, i8* %4
store i8 %14, i8* %7
br label %37
15: ; preds = %3
%16 = load i8, i8* %4
%17 = zext i8 %16 to i32
%18 = mul nsw i32 255, %17
%19 = load i8, i8* %6
%20 = zext i8 %19 to i32
%21 = load i8, i8* %5
%22 = zext i8 %21 to i32
%23 = sub nsw i32 255, %22
%24 = mul nsw i32 %20, %23
%25 = sub nsw i32 %18, %24
%26 = load i8, i8* %5
%27 = zext i8 %26 to i32
%28 = sdiv i32 %25, %27
%29 = trunc i32 %28 to i16
store i16 %29, i16* %8
%30 = load i16, i16* %8
%31 = sext i16 %30 to i32
%32 = icmp slt i32 %31, 0
br i1 %32, label %33, label %34
33: ; preds = %15
store i16 0, i16* %8
br label %34
34: ; preds = %33, %15
%35 = load i16, i16* %8
%36 = trunc i16 %35 to i8
store i8 %36, i8* %7
br label %37
37: ; preds = %34, %13, %11
%38 = load i8, i8* %7
ret i8 %38
}

LLVM IR (-O2):
define zeroext i8 @InverseAlphaComp(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2) {
%4 = zext i8 %1 to i32
switch i8 %1, label %6 [
i8 0, label %18
i8 -1, label %5
]
5: ; preds = %3
br label %18
6: ; preds = %3
%7 = zext i8 %0 to i32
%8 = mul nuw nsw i32 %7, 255
%9 = zext i8 %2 to i32
%10 = add nsw i32 %4, -255
%11 = mul nsw i32 %10, %9
%12 = add nsw i32 %11, %8
%13 = sdiv i32 %12, %4
%14 = and i32 %13, 32768
%15 = icmp eq i32 %14, 0
%16 = trunc i32 %13 to i8
%17 = select i1 %15, i8 %16, i8 0
br label %18
18: ; preds = %3, %6, %5
%19 = phi i8 [ %17, %6 ], [ %0, %5 ], [ %2, %3 ]
ret i8 %19
}