int append_char_from_hex(char *dest, char a, char b) {
  if ('a' <= a && a <= 'f')
    a = 10 + a - 'a';
  else if ('A' <= a && a <= 'F')
    a = 10 + a - 'A';
  else if ('0' <= a && a <= '9')
    a = a - '0';
  else
    return 0;
  if ('a' <= b && b <= 'f')
    b = 10 + b - 'a';
  else if ('A' <= b && b <= 'F')
    b = 10 + b - 'A';
  else if ('0' <= b && b <= '9')
    b = b - '0';
  else
    return 0;
  *dest = (char)(16 * a) + b;
  return 1;
}


x86 assembly (clang, -O0):
<append_char_from_hex>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %sil,%cl
mov    %rdi,-0x10(%rbp)
mov    %cl,-0x11(%rbp)
mov    %al,-0x12(%rbp)
movsbl -0x11(%rbp),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     1143 <append_char_from_hex+0x43>
movsbl -0x11(%rbp),%eax
cmp    $0x66,%eax
jg     1143 <append_char_from_hex+0x43>
movsbl -0x11(%rbp),%eax
add    $0xa,%eax
sub    $0x61,%eax
mov    %al,-0x11(%rbp)
jmp    11b6 <append_char_from_hex+0xb6>
movsbl -0x11(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     1173 <append_char_from_hex+0x73>
movsbl -0x11(%rbp),%eax
cmp    $0x46,%eax
jg     1173 <append_char_from_hex+0x73>
movsbl -0x11(%rbp),%eax
add    $0xa,%eax
sub    $0x41,%eax
mov    %al,-0x11(%rbp)
jmp    11b1 <append_char_from_hex+0xb1>
movsbl -0x11(%rbp),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     11a0 <append_char_from_hex+0xa0>
movsbl -0x11(%rbp),%eax
cmp    $0x39,%eax
jg     11a0 <append_char_from_hex+0xa0>
movsbl -0x11(%rbp),%eax
sub    $0x30,%eax
mov    %al,-0x11(%rbp)
jmp    11ac <append_char_from_hex+0xac>
movl   $0x0,-0x4(%rbp)
jmp    1278 <append_char_from_hex+0x178>
jmp    11b1 <append_char_from_hex+0xb1>
jmp    11b6 <append_char_from_hex+0xb6>
movsbl -0x12(%rbp),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     11e6 <append_char_from_hex+0xe6>
movsbl -0x12(%rbp),%eax
cmp    $0x66,%eax
jg     11e6 <append_char_from_hex+0xe6>
movsbl -0x12(%rbp),%eax
add    $0xa,%eax
sub    $0x61,%eax
mov    %al,-0x12(%rbp)
jmp    1259 <append_char_from_hex+0x159>
movsbl -0x12(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     1216 <append_char_from_hex+0x116>
movsbl -0x12(%rbp),%eax
cmp    $0x46,%eax
jg     1216 <append_char_from_hex+0x116>
movsbl -0x12(%rbp),%eax
add    $0xa,%eax
sub    $0x41,%eax
mov    %al,-0x12(%rbp)
jmp    1254 <append_char_from_hex+0x154>
movsbl -0x12(%rbp),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     1243 <append_char_from_hex+0x143>
movsbl -0x12(%rbp),%eax
cmp    $0x39,%eax
jg     1243 <append_char_from_hex+0x143>
movsbl -0x12(%rbp),%eax
sub    $0x30,%eax
mov    %al,-0x12(%rbp)
jmp    124f <append_char_from_hex+0x14f>
movl   $0x0,-0x4(%rbp)
jmp    1278 <append_char_from_hex+0x178>
jmp    1254 <append_char_from_hex+0x154>
jmp    1259 <append_char_from_hex+0x159>
movsbl -0x11(%rbp),%eax
shl    $0x4,%eax
movsbl %al,%eax
movsbl -0x12(%rbp),%ecx
add    %ecx,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<append_char_from_hex>:
lea    -0x61(%rsi),%eax
cmp    $0x5,%al
ja     110d <append_char_from_hex+0xd>
add    $0xa9,%sil
jmp    1126 <append_char_from_hex+0x26>
lea    -0x41(%rsi),%eax
cmp    $0x5,%al
ja     111a <append_char_from_hex+0x1a>
add    $0xc9,%sil
jmp    1126 <append_char_from_hex+0x26>
add    $0xd0,%sil
xor    %eax,%eax
cmp    $0x9,%sil
ja     1157 <append_char_from_hex+0x57>
lea    -0x61(%rdx),%eax
cmp    $0x5,%al
ja     1132 <append_char_from_hex+0x32>
add    $0xa9,%dl
jmp    1148 <append_char_from_hex+0x48>
lea    -0x41(%rdx),%eax
cmp    $0x5,%al
ja     113e <append_char_from_hex+0x3e>
add    $0xc9,%dl
jmp    1148 <append_char_from_hex+0x48>
add    $0xd0,%dl
xor    %eax,%eax
cmp    $0x9,%dl
ja     1157 <append_char_from_hex+0x57>
shl    $0x4,%sil
add    %dl,%sil
mov    %sil,(%rdi)
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @append_char_from_hex(i8* %0, i8 signext %1, i8 signext %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i8
store i8* %0, i8** %5
store i8 %1, i8* %6
store i8 %2, i8* %7
%8 = load i8, i8* %6
%9 = sext i8 %8 to i32
%10 = icmp sle i32 97, %9
br i1 %10, label %11, label %21
11: ; preds = %3
%12 = load i8, i8* %6
%13 = sext i8 %12 to i32
%14 = icmp sle i32 %13, 102
br i1 %14, label %15, label %21
15: ; preds = %11
%16 = load i8, i8* %6
%17 = sext i8 %16 to i32
%18 = add nsw i32 10, %17
%19 = sub nsw i32 %18, 97
%20 = trunc i32 %19 to i8
store i8 %20, i8* %6
br label %51
21: ; preds = %11, %3
%22 = load i8, i8* %6
%23 = sext i8 %22 to i32
%24 = icmp sle i32 65, %23
br i1 %24, label %25, label %35
25: ; preds = %21
%26 = load i8, i8* %6
%27 = sext i8 %26 to i32
%28 = icmp sle i32 %27, 70
br i1 %28, label %29, label %35
29: ; preds = %25
%30 = load i8, i8* %6
%31 = sext i8 %30 to i32
%32 = add nsw i32 10, %31
%33 = sub nsw i32 %32, 65
%34 = trunc i32 %33 to i8
store i8 %34, i8* %6
br label %50
35: ; preds = %25, %21
%36 = load i8, i8* %6
%37 = sext i8 %36 to i32
%38 = icmp sle i32 48, %37
br i1 %38, label %39, label %48
39: ; preds = %35
%40 = load i8, i8* %6
%41 = sext i8 %40 to i32
%42 = icmp sle i32 %41, 57
br i1 %42, label %43, label %48
43: ; preds = %39
%44 = load i8, i8* %6
%45 = sext i8 %44 to i32
%46 = sub nsw i32 %45, 48
%47 = trunc i32 %46 to i8
store i8 %47, i8* %6
br label %49
48: ; preds = %39, %35
store i32 0, i32* %4
br label %106
49: ; preds = %43
br label %50
50: ; preds = %49, %29
br label %51
51: ; preds = %50, %15
%52 = load i8, i8* %7
%53 = sext i8 %52 to i32
%54 = icmp sle i32 97, %53
br i1 %54, label %55, label %65
55: ; preds = %51
%56 = load i8, i8* %7
%57 = sext i8 %56 to i32
%58 = icmp sle i32 %57, 102
br i1 %58, label %59, label %65
59: ; preds = %55
%60 = load i8, i8* %7
%61 = sext i8 %60 to i32
%62 = add nsw i32 10, %61
%63 = sub nsw i32 %62, 97
%64 = trunc i32 %63 to i8
store i8 %64, i8* %7
br label %95
65: ; preds = %55, %51
%66 = load i8, i8* %7
%67 = sext i8 %66 to i32
%68 = icmp sle i32 65, %67
br i1 %68, label %69, label %79
69: ; preds = %65
%70 = load i8, i8* %7
%71 = sext i8 %70 to i32
%72 = icmp sle i32 %71, 70
br i1 %72, label %73, label %79
73: ; preds = %69
%74 = load i8, i8* %7
%75 = sext i8 %74 to i32
%76 = add nsw i32 10, %75
%77 = sub nsw i32 %76, 65
%78 = trunc i32 %77 to i8
store i8 %78, i8* %7
br label %94
79: ; preds = %69, %65
%80 = load i8, i8* %7
%81 = sext i8 %80 to i32
%82 = icmp sle i32 48, %81
br i1 %82, label %83, label %92
83: ; preds = %79
%84 = load i8, i8* %7
%85 = sext i8 %84 to i32
%86 = icmp sle i32 %85, 57
br i1 %86, label %87, label %92
87: ; preds = %83
%88 = load i8, i8* %7
%89 = sext i8 %88 to i32
%90 = sub nsw i32 %89, 48
%91 = trunc i32 %90 to i8
store i8 %91, i8* %7
br label %93
92: ; preds = %83, %79
store i32 0, i32* %4
br label %106
93: ; preds = %87
br label %94
94: ; preds = %93, %73
br label %95
95: ; preds = %94, %59
%96 = load i8, i8* %6
%97 = sext i8 %96 to i32
%98 = mul nsw i32 16, %97
%99 = trunc i32 %98 to i8
%100 = sext i8 %99 to i32
%101 = load i8, i8* %7
%102 = sext i8 %101 to i32
%103 = add nsw i32 %100, %102
%104 = trunc i32 %103 to i8
%105 = load i8*, i8** %5
store i8 %104, i8* %105
store i32 1, i32* %4
br label %106
106: ; preds = %95, %92, %48
%107 = load i32, i32* %4
ret i32 %107
}

LLVM IR (-O2):
define i32 @append_char_from_hex(i8* nocapture writeonly %0, i8 signext %1, i8 signext %2) {
%4 = add i8 %1, -97
%5 = icmp ult i8 %4, 6
br i1 %5, label %6, label %8
6: ; preds = %3
%7 = add nsw i8 %1, -87
br label %16
8: ; preds = %3
%9 = add i8 %1, -65
%10 = icmp ult i8 %9, 6
br i1 %10, label %11, label %13
11: ; preds = %8
%12 = add nsw i8 %1, -55
br label %16
13: ; preds = %8
%14 = add i8 %1, -48
%15 = icmp ult i8 %14, 10
br i1 %15, label %16, label %34
16: ; preds = %13, %11, %6
%17 = phi i8 [ %7, %6 ], [ %12, %11 ], [ %14, %13 ]
%18 = add i8 %2, -97
%19 = icmp ult i8 %18, 6
br i1 %19, label %20, label %22
20: ; preds = %16
%21 = add nsw i8 %2, -87
br label %30
22: ; preds = %16
%23 = add i8 %2, -65
%24 = icmp ult i8 %23, 6
br i1 %24, label %25, label %27
25: ; preds = %22
%26 = add nsw i8 %2, -55
br label %30
27: ; preds = %22
%28 = add i8 %2, -48
%29 = icmp ult i8 %28, 10
br i1 %29, label %30, label %34
30: ; preds = %27, %25, %20
%31 = phi i8 [ %21, %20 ], [ %26, %25 ], [ %28, %27 ]
%32 = shl nuw i8 %17, 4
%33 = add nuw i8 %31, %32
store i8 %33, i8* %0
br label %34
34: ; preds = %27, %13, %30
%35 = phi i32 [ 1, %30 ], [ 0, %13 ], [ 0, %27 ]
ret i32 %35
}