char _unescape(char *c, const char *s) {
  if ('0' <= *s && *s <= '9')
    *c = (*s - '0') << 4;
  else if ('a' <= *s && *s <= 'f')
    *c = (*s - 'a' + 10) << 4;
  else
    return -1;
  s++;
  if ('0' <= *s && *s <= '9')
    *c |= *s - '0';
  else if ('a' <= *s && *s <= 'f')
    *c |= (*s - 'a' + 10);
  else
    return -1;
  return 0;
}


x86 assembly (clang, -O0):
<_unescape>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     114a <_unescape+0x4a>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     114a <_unescape+0x4a>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
shl    $0x4,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    1199 <_unescape+0x99>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     118b <_unescape+0x8b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x66,%eax
jg     118b <_unescape+0x8b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
sub    $0x61,%eax
add    $0xa,%eax
shl    $0x4,%eax
mov    %al,%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
jmp    1194 <_unescape+0x94>
movb   $0xff,-0x1(%rbp)
jmp    1236 <_unescape+0x136>
jmp    1199 <_unescape+0x99>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     11e3 <_unescape+0xe3>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     11e3 <_unescape+0xe3>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
sub    $0x30,%edx
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    1232 <_unescape+0x132>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     1224 <_unescape+0x124>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x66,%eax
jg     1224 <_unescape+0x124>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
sub    $0x61,%edx
add    $0xa,%edx
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
or     %edx,%ecx
mov    %cl,(%rax)
jmp    122d <_unescape+0x12d>
movb   $0xff,-0x1(%rbp)
jmp    1236 <_unescape+0x136>
jmp    1232 <_unescape+0x132>
movb   $0x0,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<_unescape>:
mov    (%rsi),%cl
lea    -0x30(%rcx),%eax
cmp    $0x9,%al
ja     110e <_unescape+0xe>
shl    $0x4,%cl
jmp    111e <_unescape+0x1e>
lea    -0x61(%rcx),%edx
mov    $0xff,%al
cmp    $0x5,%dl
ja     1140 <_unescape+0x40>
shl    $0x4,%cl
add    $0x90,%cl
mov    %cl,(%rdi)
mov    0x1(%rsi),%dl
lea    -0x30(%rdx),%eax
cmp    $0xa,%al
jb     113a <_unescape+0x3a>
lea    -0x61(%rdx),%esi
mov    $0xff,%al
cmp    $0x5,%sil
ja     1140 <_unescape+0x40>
add    $0xa9,%dl
mov    %edx,%eax
or     %cl,%al
mov    %al,(%rdi)
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define signext i8 @_unescape(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = add i8 %3, -48
%5 = icmp ult i8 %4, 10
br i1 %5, label %6, label %8
6: ; preds = %2
%7 = shl i8 %3, 4
br label %14
8: ; preds = %2
%9 = add i8 %3, -97
%10 = icmp ult i8 %9, 6
br i1 %10, label %11, label %28
11: ; preds = %8
%12 = shl i8 %3, 4
%13 = add nuw nsw i8 %12, -112
br label %14
14: ; preds = %11, %6
%15 = phi i8 [ %13, %11 ], [ %7, %6 ]
store i8 %15, i8* %0
%16 = getelementptr inbounds i8, i8* %1, i64 1
%17 = load i8, i8* %16
%18 = add i8 %17, -48
%19 = icmp ult i8 %18, 10
br i1 %19, label %25, label %20
20: ; preds = %14
%21 = add i8 %17, -97
%22 = icmp ult i8 %21, 6
br i1 %22, label %23, label %28
23: ; preds = %20
%24 = add nsw i8 %17, -87
br label %25
25: ; preds = %14, %23
%26 = phi i8 [ %24, %23 ], [ %18, %14 ]
%27 = or i8 %26, %15
store i8 %27, i8* %0
br label %28
28: ; preds = %20, %8, %25
%29 = phi i8 [ 0, %25 ], [ -1, %8 ], [ -1, %20 ]
ret i8 %29
}