unsigned char GF2_8_mult(unsigned char a, unsigned char b) {
  unsigned char result = 0;
  int count = 8;
  while (count--) {
    if (b & 1)
      result ^= a;
    if (a & 128) {
      a <<= 1;
      a ^= (0x1B);
    } else
      a <<= 1;
    b >>= 1;
  }
  return result;
}


x86 assembly (clang, -O0):
<GF2_8_mult>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x1(%rbp)
mov    %al,-0x2(%rbp)
movb   $0x0,-0x3(%rbp)
movl   $0x8,-0x8(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x8(%rbp)
cmp    $0x0,%eax
je     1190 <GF2_8_mult+0x90>
movzbl -0x2(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     114c <GF2_8_mult+0x4c>
movzbl -0x1(%rbp),%ecx
movzbl -0x3(%rbp),%eax
xor    %ecx,%eax
mov    %al,-0x3(%rbp)
movzbl -0x1(%rbp),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     1177 <GF2_8_mult+0x77>
movzbl -0x1(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
xor    $0x1b,%eax
mov    %al,-0x1(%rbp)
jmp    1181 <GF2_8_mult+0x81>
movzbl -0x1(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x1(%rbp)
movzbl -0x2(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x2(%rbp)
jmp    111b <GF2_8_mult+0x1b>
movzbl -0x3(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<GF2_8_mult>:
mov    %esi,%eax
and    $0x1,%al
neg    %al
and    %dil,%al
lea    (%rdi,%rdi,1),%ecx
movzbl %cl,%edx
xor    $0x1b,%cl
test   %dil,%dil
movzbl %cl,%ecx
cmovns %edx,%ecx
mov    %esi,%edx
shl    $0x6,%dl
sar    $0x7,%dl
and    %cl,%dl
xor    %al,%dl
lea    (%rcx,%rcx,1),%eax
movzbl %al,%edi
xor    $0x1b,%al
test   %cl,%cl
movzbl %al,%eax
cmovns %edi,%eax
mov    %esi,%ecx
shl    $0x5,%cl
sar    $0x7,%cl
and    %al,%cl
xor    %dl,%cl
lea    (%rax,%rax,1),%edx
movzbl %dl,%edi
xor    $0x1b,%dl
test   %al,%al
movzbl %dl,%eax
cmovns %edi,%eax
mov    %esi,%edx
shl    $0x4,%dl
sar    $0x7,%dl
and    %al,%dl
xor    %cl,%dl
lea    (%rax,%rax,1),%ecx
movzbl %cl,%edi
xor    $0x1b,%cl
test   %al,%al
movzbl %cl,%eax
cmovns %edi,%eax
lea    0x0(,%rsi,8),%ecx
sar    $0x7,%cl
and    %al,%cl
xor    %dl,%cl
lea    (%rax,%rax,1),%edx
movzbl %dl,%edi
xor    $0x1b,%dl
test   %al,%al
movzbl %dl,%eax
cmovns %edi,%eax
lea    0x0(,%rsi,4),%edx
sar    $0x7,%dl
and    %al,%dl
xor    %cl,%dl
lea    (%rax,%rax,1),%ecx
movzbl %cl,%edi
xor    $0x1b,%cl
test   %al,%al
movzbl %cl,%eax
cmovns %edi,%eax
lea    (%rsi,%rsi,1),%ecx
sar    $0x7,%cl
and    %al,%cl
xor    %dl,%cl
lea    (%rax,%rax,1),%edx
movzbl %dl,%edi
xor    $0x1b,%dl
test   %al,%al
movzbl %dl,%eax
cmovns %edi,%eax
sar    $0x7,%sil
and    %sil,%al
xor    %cl,%al
ret

LLVM IR (-O0):
define zeroext i8 @GF2_8_mult(i8 zeroext %0, i8 zeroext %1) {
%3 = alloca i8
%4 = alloca i8
%5 = alloca i8
%6 = alloca i32
store i8 %0, i8* %3
store i8 %1, i8* %4
store i8 0, i8* %5
store i32 8, i32* %6
br label %7
7: ; preds = %42, %2
%8 = load i32, i32* %6
%9 = add nsw i32 %8, -1
store i32 %9, i32* %6
%10 = icmp ne i32 %8, 0
br i1 %10, label %11, label %47
11: ; preds = %7
%12 = load i8, i8* %4
%13 = zext i8 %12 to i32
%14 = and i32 %13, 1
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %23
16: ; preds = %11
%17 = load i8, i8* %3
%18 = zext i8 %17 to i32
%19 = load i8, i8* %5
%20 = zext i8 %19 to i32
%21 = xor i32 %20, %18
%22 = trunc i32 %21 to i8
store i8 %22, i8* %5
br label %23
23: ; preds = %16, %11
%24 = load i8, i8* %3
%25 = zext i8 %24 to i32
%26 = and i32 %25, 128
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %37
28: ; preds = %23
%29 = load i8, i8* %3
%30 = zext i8 %29 to i32
%31 = shl i32 %30, 1
%32 = trunc i32 %31 to i8
store i8 %32, i8* %3
%33 = load i8, i8* %3
%34 = zext i8 %33 to i32
%35 = xor i32 %34, 27
%36 = trunc i32 %35 to i8
store i8 %36, i8* %3
br label %42
37: ; preds = %23
%38 = load i8, i8* %3
%39 = zext i8 %38 to i32
%40 = shl i32 %39, 1
%41 = trunc i32 %40 to i8
store i8 %41, i8* %3
br label %42
42: ; preds = %37, %28
%43 = load i8, i8* %4
%44 = zext i8 %43 to i32
%45 = ashr i32 %44, 1
%46 = trunc i32 %45 to i8
store i8 %46, i8* %4
br label %7
47: ; preds = %7
%48 = load i8, i8* %5
ret i8 %48
}

LLVM IR (-O2):
define zeroext i8 @GF2_8_mult(i8 zeroext %0, i8 zeroext %1) {
%3 = and i8 %1, 1
%4 = icmp eq i8 %3, 0
%5 = select i1 %4, i8 0, i8 %0
%6 = icmp sgt i8 %0, -1
%7 = shl i8 %0, 1
%8 = xor i8 %7, 27
%9 = select i1 %6, i8 %7, i8 %8
%10 = and i8 %1, 2
%11 = icmp eq i8 %10, 0
%12 = select i1 %11, i8 0, i8 %9
%13 = xor i8 %12, %5
%14 = icmp sgt i8 %9, -1
%15 = shl i8 %9, 1
%16 = xor i8 %15, 27
%17 = select i1 %14, i8 %15, i8 %16
%18 = and i8 %1, 4
%19 = icmp eq i8 %18, 0
%20 = select i1 %19, i8 0, i8 %17
%21 = xor i8 %20, %13
%22 = icmp sgt i8 %17, -1
%23 = shl i8 %17, 1
%24 = xor i8 %23, 27
%25 = select i1 %22, i8 %23, i8 %24
%26 = and i8 %1, 8
%27 = icmp eq i8 %26, 0
%28 = select i1 %27, i8 0, i8 %25
%29 = xor i8 %28, %21
%30 = icmp sgt i8 %25, -1
%31 = shl i8 %25, 1
%32 = xor i8 %31, 27
%33 = select i1 %30, i8 %31, i8 %32
%34 = and i8 %1, 16
%35 = icmp eq i8 %34, 0
%36 = select i1 %35, i8 0, i8 %33
%37 = xor i8 %36, %29
%38 = icmp sgt i8 %33, -1
%39 = shl i8 %33, 1
%40 = xor i8 %39, 27
%41 = select i1 %38, i8 %39, i8 %40
%42 = and i8 %1, 32
%43 = icmp eq i8 %42, 0
%44 = select i1 %43, i8 0, i8 %41
%45 = xor i8 %44, %37
%46 = icmp sgt i8 %41, -1
%47 = shl i8 %41, 1
%48 = xor i8 %47, 27
%49 = select i1 %46, i8 %47, i8 %48
%50 = and i8 %1, 64
%51 = icmp eq i8 %50, 0
%52 = select i1 %51, i8 0, i8 %49
%53 = xor i8 %52, %45
%54 = icmp sgt i8 %49, -1
%55 = shl i8 %49, 1
%56 = xor i8 %55, 27
%57 = select i1 %54, i8 %55, i8 %56
%58 = icmp slt i8 %1, 0
%59 = select i1 %58, i8 %57, i8 0
%60 = xor i8 %59, %53
ret i8 %60
}