char _mulchar(char a, char b) {
  char result = 0;
  unsigned char i;
  for (i = 0; i < 8u; i++) {
    if (a & (unsigned char)0x0001u)
      result += b;
    if (sizeof(a) > 1 && (a & 0x00000100ul))
      result += (b << 8u);
    if (sizeof(a) > 2 && (a & 0x00010000ul))
      result += (b << 16u);
    if (sizeof(a) > 3 && (a & 0x01000000ul))
      result += (b << 24u);
    a = ((unsigned char)a) >> 1u;
    b <<= 1u;
  }
  return result;
}


x86 assembly (clang, -O0):
<_mulchar>:
push   %rbp
mov    %rsp,%rbp
mov    %sil,%al
mov    %dil,%cl
mov    %cl,-0x1(%rbp)
mov    %al,-0x2(%rbp)
movb   $0x0,-0x3(%rbp)
movb   $0x0,-0x4(%rbp)
movzbl -0x4(%rbp),%eax
cmp    $0x8,%eax
jae    1163 <_mulchar+0x63>
movsbl -0x1(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1142 <_mulchar+0x42>
movsbl -0x2(%rbp),%ecx
movsbl -0x3(%rbp),%eax
add    %ecx,%eax
mov    %al,-0x3(%rbp)
movzbl -0x1(%rbp),%eax
sar    $0x1,%eax
mov    %al,-0x1(%rbp)
movsbl -0x2(%rbp),%eax
shl    $0x1,%eax
mov    %al,-0x2(%rbp)
mov    -0x4(%rbp),%al
add    $0x1,%al
mov    %al,-0x4(%rbp)
jmp    1118 <_mulchar+0x18>
movsbl -0x3(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_mulchar>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %edi,%r10d
and    $0x1,%r10b
neg    %r10b
and    %sil,%r10b
lea    (%rsi,%rsi,1),%r8d
lea    0x0(,%rsi,4),%r9d
mov    %edi,%r13d
lea    0x0(,%rsi,8),%r11d
mov    %edi,%ecx
mov    %esi,%r14d
lea    0x0(,%rdi,8),%ebp
mov    %esi,%r15d
lea    0x0(,%rdi,4),%ebx
mov    %esi,%r12d
lea    (%rdi,%rdi,1),%eax
shl    $0x7,%sil
and    %dil,%sil
mov    %edi,%edx
shl    $0x6,%dl
sar    $0x7,%dl
and    %r8b,%dl
add    %r10b,%dl
shl    $0x5,%r13b
sar    $0x7,%r13b
and    %r9b,%r13b
add    %dl,%r13b
shl    $0x4,%cl
sar    $0x7,%cl
and    %r11b,%cl
add    %r13b,%cl
shl    $0x4,%r14b
sar    $0x7,%bpl
and    %r14b,%bpl
add    %cl,%bpl
shl    $0x5,%r15b
sar    $0x7,%bl
and    %r15b,%bl
add    %bpl,%bl
shl    $0x6,%r12b
sar    $0x7,%al
and    %r12b,%al
add    %bl,%al
add    %sil,%al
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define signext i8 @_mulchar(i8 signext %0, i8 signext %1) {
%3 = alloca i8
%4 = alloca i8
%5 = alloca i8
%6 = alloca i8
store i8 %0, i8* %3
store i8 %1, i8* %4
store i8 0, i8* %5
store i8 0, i8* %6
br label %7
7: ; preds = %32, %2
%8 = load i8, i8* %6
%9 = zext i8 %8 to i32
%10 = icmp ult i32 %9, 8
br i1 %10, label %11, label %35
11: ; preds = %7
%12 = load i8, i8* %3
%13 = sext 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* %4
%18 = sext i8 %17 to i32
%19 = load i8, i8* %5
%20 = sext i8 %19 to i32
%21 = add nsw 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 = ashr i32 %25, 1
%27 = trunc i32 %26 to i8
store i8 %27, i8* %3
%28 = load i8, i8* %4
%29 = sext i8 %28 to i32
%30 = shl i32 %29, 1
%31 = trunc i32 %30 to i8
store i8 %31, i8* %4
br label %32
32: ; preds = %23
%33 = load i8, i8* %6
%34 = add i8 %33, 1
store i8 %34, i8* %6
br label %7
35: ; preds = %7
%36 = load i8, i8* %5
ret i8 %36
}

LLVM IR (-O2):
define signext i8 @_mulchar(i8 signext %0, i8 signext %1) {
%3 = and i8 %0, 1
%4 = icmp eq i8 %3, 0
%5 = select i1 %4, i8 0, i8 %1
%6 = shl i8 %1, 1
%7 = and i8 %0, 2
%8 = icmp eq i8 %7, 0
%9 = select i1 %8, i8 0, i8 %6
%10 = add i8 %9, %5
%11 = shl i8 %1, 2
%12 = and i8 %0, 4
%13 = icmp eq i8 %12, 0
%14 = select i1 %13, i8 0, i8 %11
%15 = add i8 %14, %10
%16 = shl i8 %1, 3
%17 = and i8 %0, 8
%18 = icmp eq i8 %17, 0
%19 = select i1 %18, i8 0, i8 %16
%20 = add i8 %19, %15
%21 = shl i8 %1, 4
%22 = and i8 %0, 16
%23 = icmp eq i8 %22, 0
%24 = select i1 %23, i8 0, i8 %21
%25 = add i8 %24, %20
%26 = shl i8 %1, 5
%27 = and i8 %0, 32
%28 = icmp eq i8 %27, 0
%29 = select i1 %28, i8 0, i8 %26
%30 = add i8 %29, %25
%31 = shl i8 %1, 6
%32 = and i8 %0, 64
%33 = icmp eq i8 %32, 0
%34 = select i1 %33, i8 0, i8 %31
%35 = add i8 %34, %30
%36 = shl i8 %1, 7
%37 = icmp slt i8 %0, 0
%38 = select i1 %37, i8 %36, i8 0
%39 = add i8 %38, %35
ret i8 %39
}