int blend_pix(unsigned char p1, unsigned char p2, unsigned char alpha) {
  unsigned char diff;
  float alphaFactor = alpha / 255.0;
  unsigned char value;
  diff = (p1 > p2) ? p1 - p2 : p2 - p1;
  if (diff == 0)
    return p1;
  diff = (unsigned char)(diff * alphaFactor);
  if (p1 > p2)
    value = p1 - diff;
  else
    value = p1 + diff;
  return value;
}


x86 assembly (clang, -O0):
<blend_pix>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %sil,%cl
mov    %dil,%dl
mov    %dl,-0x5(%rbp)
mov    %cl,-0x6(%rbp)
mov    %al,-0x7(%rbp)
movzbl -0x7(%rbp),%eax
cvtsi2sd %eax,%xmm0
movsd  0xedb(%rip),%xmm1
divsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,-0xc(%rbp)
movzbl -0x5(%rbp),%eax
movzbl -0x6(%rbp),%ecx
cmp    %ecx,%eax
jle    1154 <blend_pix+0x54>
movzbl -0x5(%rbp),%eax
movzbl -0x6(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
jmp    1161 <blend_pix+0x61>
movzbl -0x6(%rbp),%eax
movzbl -0x5(%rbp),%ecx
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %al,-0x8(%rbp)
movzbl -0x8(%rbp),%eax
cmp    $0x0,%eax
jne    1180 <blend_pix+0x80>
movzbl -0x5(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    11ce <blend_pix+0xce>
movzbl -0x8(%rbp),%eax
cvtsi2ss %eax,%xmm0
movss  -0xc(%rbp),%xmm1
mulss  %xmm1,%xmm0
cvttss2si %xmm0,%eax
mov    %al,-0x8(%rbp)
movzbl -0x5(%rbp),%eax
movzbl -0x6(%rbp),%ecx
cmp    %ecx,%eax
jle    11ba <blend_pix+0xba>
movzbl -0x5(%rbp),%eax
movzbl -0x8(%rbp),%ecx
sub    %ecx,%eax
mov    %al,-0xd(%rbp)
jmp    11c7 <blend_pix+0xc7>
movzbl -0x5(%rbp),%eax
movzbl -0x8(%rbp),%ecx
add    %ecx,%eax
mov    %al,-0xd(%rbp)
movzbl -0xd(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<blend_pix>:
mov    %esi,%eax
sub    %dil,%al
neg    %al
mov    %esi,%ecx
sub    %dil,%cl
movzbl %cl,%ecx
movzbl %al,%eax
cmovae %ecx,%eax
test   %al,%al
je     114d <blend_pix+0x4d>
movzbl %dl,%ecx
cvtsi2sd %ecx,%xmm0
divsd  0xed8(%rip),%xmm0
cvtsd2ss %xmm0,%xmm0
movzbl %al,%eax
cvtsi2ss %eax,%xmm1
mulss  %xmm0,%xmm1
cvttss2si %xmm1,%eax
mov    %eax,%ecx
neg    %cl
cmp    %sil,%dil
movzbl %cl,%ecx
cmovbe %eax,%ecx
add    %dil,%cl
mov    %ecx,%edi
movzbl %dil,%eax
ret

LLVM IR (-O0):
define i32 @blend_pix(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2) {
%4 = alloca i32
%5 = alloca i8
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca float
%10 = alloca i8
store i8 %0, i8* %5
store i8 %1, i8* %6
store i8 %2, i8* %7
%11 = load i8, i8* %7
%12 = zext i8 %11 to i32
%13 = sitofp i32 %12 to double
%14 = fdiv double %13, 2.550000e+02
%15 = fptrunc double %14 to float
store float %15, float* %9
%16 = load i8, i8* %5
%17 = zext i8 %16 to i32
%18 = load i8, i8* %6
%19 = zext i8 %18 to i32
%20 = icmp sgt i32 %17, %19
br i1 %20, label %21, label %27
21: ; preds = %3
%22 = load i8, i8* %5
%23 = zext i8 %22 to i32
%24 = load i8, i8* %6
%25 = zext i8 %24 to i32
%26 = sub nsw i32 %23, %25
br label %33
27: ; preds = %3
%28 = load i8, i8* %6
%29 = zext i8 %28 to i32
%30 = load i8, i8* %5
%31 = zext i8 %30 to i32
%32 = sub nsw i32 %29, %31
br label %33
33: ; preds = %27, %21
%34 = phi i32 [ %26, %21 ], [ %32, %27 ]
%35 = trunc i32 %34 to i8
store i8 %35, i8* %8
%36 = load i8, i8* %8
%37 = zext i8 %36 to i32
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %42
39: ; preds = %33
%40 = load i8, i8* %5
%41 = zext i8 %40 to i32
store i32 %41, i32* %4
br label %71
42: ; preds = %33
%43 = load i8, i8* %8
%44 = zext i8 %43 to i32
%45 = sitofp i32 %44 to float
%46 = load float, float* %9
%47 = fmul float %45, %46
%48 = fptoui float %47 to i8
store i8 %48, i8* %8
%49 = load i8, i8* %5
%50 = zext i8 %49 to i32
%51 = load i8, i8* %6
%52 = zext i8 %51 to i32
%53 = icmp sgt i32 %50, %52
br i1 %53, label %54, label %61
54: ; preds = %42
%55 = load i8, i8* %5
%56 = zext i8 %55 to i32
%57 = load i8, i8* %8
%58 = zext i8 %57 to i32
%59 = sub nsw i32 %56, %58
%60 = trunc i32 %59 to i8
store i8 %60, i8* %10
br label %68
61: ; preds = %42
%62 = load i8, i8* %5
%63 = zext i8 %62 to i32
%64 = load i8, i8* %8
%65 = zext i8 %64 to i32
%66 = add nsw i32 %63, %65
%67 = trunc i32 %66 to i8
store i8 %67, i8* %10
br label %68
68: ; preds = %61, %54
%69 = load i8, i8* %10
%70 = zext i8 %69 to i32
store i32 %70, i32* %4
br label %71
71: ; preds = %68, %39
%72 = load i32, i32* %4
ret i32 %72
}

LLVM IR (-O2):
define i32 @blend_pix(i8 zeroext %0, i8 zeroext %1, i8 zeroext %2) {
%4 = icmp ugt i8 %0, %1
%5 = sub i8 %0, %1
%6 = sub i8 %1, %0
%7 = select i1 %4, i8 %5, i8 %6
%8 = icmp eq i8 %7, 0
br i1 %8, label %19, label %9
9: ; preds = %3
%10 = uitofp i8 %2 to double
%11 = fdiv double %10, 2.550000e+02
%12 = fptrunc double %11 to float
%13 = uitofp i8 %7 to float
%14 = fmul float %13, %12
%15 = fptoui float %14 to i8
%16 = sub i8 0, %15
%17 = select i1 %4, i8 %16, i8 %15
%18 = add i8 %17, %0
br label %19
19: ; preds = %3, %9
%20 = phi i8 [ %18, %9 ], [ %0, %3 ]
%21 = zext i8 %20 to i32
ret i32 %21
}