char Tcl_Backslash(src, readPtr)
char *src;
int *readPtr;
{
  register char *p = src + 1;
  char result;
  int count;
  count = 2;
  switch (*p) {
  case 'b':
    result = '\b';
    break;
  case 'e':
    result = 033;
    break;
  case 'n':
    result = '\n';
    break;
  case 't':
    result = '\t';
    break;
  case 'C':
    p++;
    if (isspace(*p) || (*p == 0)) {
      result = 'C';
      count = 1;
      break;
    }
    count = 3;
    if (*p == 'M') {
      p++;
      if (isspace(*p) || (*p == 0)) {
        result = 'M' & 037;
        break;
      }
      count = 4;
      result = (*p & 037) | 0200;
      break;
    }
    count = 3;
    result = *p & 037;
    break;
  case 'M':
    p++;
    if (isspace(*p) || (*p == 0)) {
      result = 'M';
      count = 1;
      break;
    }
    count = 3;
    result = *p + 0200;
    break;
  case '}':
  case '{':
  case ']':
  case '[':
  case '$':
  case ' ':
  case ';':
  case '"':
  case '\\':
    result = *p;
    break;
  default:
    if (isdigit(*p)) {
      result = *p - '0';
      p++;
      if (!isdigit(*p)) {
        break;
      }
      count = 3;
      result = (result << 3) + (*p - '0');
      p++;
      if (!isdigit(*p)) {
        break;
      }
      count = 4;
      result = (result << 3) + (*p - '0');
      break;
    }
    result = '\\';
    count = 1;
    break;
  }
  if (readPtr != 0) {
    *readPtr = count;
  }
  return result;
}


x86 assembly (clang, -O0):
<Tcl_Backslash>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
movl   $0x2,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffffe0,%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x5d,%eax
ja     12c7 <Tcl_Backslash+0x1a7>
mov    -0x28(%rbp),%rax
lea    0xe99(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movb   $0x8,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movb   $0x1b,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movb   $0xa,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movb   $0x9,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isspace@plt>
cmp    $0x0,%eax
jne    11c5 <Tcl_Backslash+0xa5>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11d5 <Tcl_Backslash+0xb5>
movb   $0x43,-0x19(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movl   $0x3,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x4d,%eax
jne    1244 <Tcl_Backslash+0x124>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isspace@plt>
cmp    $0x0,%eax
jne    121d <Tcl_Backslash+0xfd>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1226 <Tcl_Backslash+0x106>
movb   $0xd,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movl   $0x4,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
and    $0x1f,%eax
or     $0x80,%eax
mov    %al,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movl   $0x3,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
and    $0x1f,%eax
mov    %al,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isspace@plt>
cmp    $0x0,%eax
jne    128e <Tcl_Backslash+0x16e>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    129e <Tcl_Backslash+0x17e>
movb   $0x4d,-0x19(%rbp)
movl   $0x1,-0x20(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movl   $0x3,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
add    $0x80,%eax
mov    %al,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
mov    -0x18(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     1374 <Tcl_Backslash+0x254>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    130f <Tcl_Backslash+0x1ef>
jmp    137f <Tcl_Backslash+0x25f>
movl   $0x3,-0x20(%rbp)
movsbl -0x19(%rbp),%eax
shl    $0x3,%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %al,-0x19(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
jne    1352 <Tcl_Backslash+0x232>
jmp    137f <Tcl_Backslash+0x25f>
movl   $0x4,-0x20(%rbp)
movsbl -0x19(%rbp),%eax
shl    $0x3,%eax
mov    -0x18(%rbp),%rcx
movsbl (%rcx),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %al,-0x19(%rbp)
jmp    137f <Tcl_Backslash+0x25f>
movb   $0x5c,-0x19(%rbp)
movl   $0x1,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1393 <Tcl_Backslash+0x273>
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
movsbl -0x19(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Tcl_Backslash>:
push   %rbp
push   %r14
push   %rbx
mov    %rsi,%r14
mov    %rdi,%rbx
mov    0x1(%rdi),%cl
movsbl %cl,%esi
mov    $0x2,%edx
lea    -0x20(%rsi),%edi
cmp    $0x5d,%edi
ja     114f <Tcl_Backslash+0x3f>
mov    $0x8,%al
lea    0xeca(%rip),%rbp
movslq 0x0(%rbp,%rdi,4),%rdi
add    %rbp,%rdi
jmp    *%rdi
mov    %ecx,%eax
test   %r14,%r14
je     114a <Tcl_Backslash+0x3a>
mov    %edx,(%r14)
pop    %rbx
pop    %r14
pop    %rbp
ret
add    $0xffffffd0,%esi
cmp    $0x9,%esi
ja     1240 <Tcl_Backslash+0x130>
add    $0xd0,%cl
movsbl 0x2(%rbx),%eax
lea    -0x30(%rax),%esi
cmp    $0x9,%esi
ja     1140 <Tcl_Backslash+0x30>
shl    $0x3,%cl
add    %al,%cl
mov    %ecx,%eax
add    $0xd0,%al
movsbl 0x3(%rbx),%ecx
lea    -0x30(%rcx),%esi
mov    $0x3,%edx
cmp    $0x9,%esi
ja     1142 <Tcl_Backslash+0x32>
shl    $0x3,%al
add    %cl,%al
add    $0xd0,%al
mov    $0x4,%edx
jmp    1142 <Tcl_Backslash+0x32>
mov    0x2(%rbx),%bpl
movsbl %bpl,%edi
call   1030 <isspace@plt>
mov    %eax,%ecx
mov    $0x1,%edx
mov    $0x43,%al
test   %ecx,%ecx
jne    1142 <Tcl_Backslash+0x32>
test   %bpl,%bpl
je     1142 <Tcl_Backslash+0x32>
cmp    $0x4d,%bpl
jne    124c <Tcl_Backslash+0x13c>
mov    0x3(%rbx),%bl
movsbl %bl,%edi
call   1030 <isspace@plt>
mov    %eax,%ecx
mov    $0x3,%edx
mov    $0xd,%al
test   %ecx,%ecx
jne    1142 <Tcl_Backslash+0x32>
test   %bl,%bl
je     1142 <Tcl_Backslash+0x32>
and    $0x1f,%bl
or     $0x80,%bl
mov    $0x4,%edx
mov    %ebx,%eax
jmp    1142 <Tcl_Backslash+0x32>
movsbl 0x2(%rbx),%ebx
test   %ebx,%ebx
sete   %bpl
mov    %ebx,%edi
call   1030 <isspace@plt>
test   %eax,%eax
setne  %cl
or     %bpl,%cl
xor    $0x80,%bl
movzbl %bl,%edx
test   %cl,%cl
mov    $0x4d,%eax
cmove  %edx,%eax
xor    $0x1,%cl
movzbl %cl,%ecx
lea    (%rcx,%rcx,1),%edx
add    $0x1,%edx
jmp    1142 <Tcl_Backslash+0x32>
mov    $0x1b,%al
jmp    1142 <Tcl_Backslash+0x32>
mov    $0x9,%al
jmp    1142 <Tcl_Backslash+0x32>
mov    $0xa,%al
jmp    1142 <Tcl_Backslash+0x32>
mov    $0x1,%edx
mov    $0x5c,%al
jmp    1142 <Tcl_Backslash+0x32>
and    $0x1f,%bpl
mov    $0x3,%edx
mov    %ebp,%eax
jmp    1142 <Tcl_Backslash+0x32>

LLVM IR (-O0):
define signext i8 @Tcl_Backslash(i8* %0, i32* %1) {
%3 = alloca i8*
%4 = alloca i32*
%5 = alloca i8*
%6 = alloca i8
%7 = alloca i32
store i8* %0, i8** %3
store i32* %1, i32** %4
%8 = load i8*, i8** %3
%9 = getelementptr inbounds i8, i8* %8, i64 1
store i8* %9, i8** %5
store i32 2, i32* %7
%10 = load i8*, i8** %5
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
switch i32 %12, label %86 [
i32 98, label %13
i32 101, label %14
i32 110, label %15
i32 116, label %16
i32 67, label %17
i32 77, label %63
i32 125, label %83
i32 123, label %83
i32 93, label %83
i32 91, label %83
i32 36, label %83
i32 32, label %83
i32 59, label %83
i32 34, label %83
i32 92, label %83
]
13: ; preds = %2
store i8 8, i8* %6
br label %135
14: ; preds = %2
store i8 27, i8* %6
br label %135
15: ; preds = %2
store i8 10, i8* %6
br label %135
16: ; preds = %2
store i8 9, i8* %6
br label %135
17: ; preds = %2
%18 = load i8*, i8** %5
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %5
%20 = load i8*, i8** %5
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = call i32 @isspace(i32 %22)
%24 = icmp ne i32 %23, 0
br i1 %24, label %30, label %25
25: ; preds = %17
%26 = load i8*, i8** %5
%27 = load i8, i8* %26
%28 = sext i8 %27 to i32
%29 = icmp eq i32 %28, 0
br i1 %29, label %30, label %31
30: ; preds = %25, %17
store i8 67, i8* %6
store i32 1, i32* %7
br label %135
31: ; preds = %25
store i32 3, i32* %7
%32 = load i8*, i8** %5
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 77
br i1 %35, label %36, label %57
36: ; preds = %31
%37 = load i8*, i8** %5
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %5
%39 = load i8*, i8** %5
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = call i32 @isspace(i32 %41)
%43 = icmp ne i32 %42, 0
br i1 %43, label %49, label %44
44: ; preds = %36
%45 = load i8*, i8** %5
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = icmp eq i32 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %44, %36
store i8 13, i8* %6
br label %135
50: ; preds = %44
store i32 4, i32* %7
%51 = load i8*, i8** %5
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = and i32 %53, 31
%55 = or i32 %54, 128
%56 = trunc i32 %55 to i8
store i8 %56, i8* %6
br label %135
57: ; preds = %31
store i32 3, i32* %7
%58 = load i8*, i8** %5
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = and i32 %60, 31
%62 = trunc i32 %61 to i8
store i8 %62, i8* %6
br label %135
63: ; preds = %2
%64 = load i8*, i8** %5
%65 = getelementptr inbounds i8, i8* %64, i32 1
store i8* %65, i8** %5
%66 = load i8*, i8** %5
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = call i32 @isspace(i32 %68)
%70 = icmp ne i32 %69, 0
br i1 %70, label %76, label %71
71: ; preds = %63
%72 = load i8*, i8** %5
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %71, %63
store i8 77, i8* %6
store i32 1, i32* %7
br label %135
77: ; preds = %71
store i32 3, i32* %7
%78 = load i8*, i8** %5
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = add nsw i32 %80, 128
%82 = trunc i32 %81 to i8
store i8 %82, i8* %6
br label %135
83: ; preds = %2, %2, %2, %2, %2, %2, %2, %2, %2
%84 = load i8*, i8** %5
%85 = load i8, i8* %84
store i8 %85, i8* %6
br label %135
86: ; preds = %2
%87 = load i8*, i8** %5
%88 = load i8, i8* %87
%89 = sext i8 %88 to i32
%90 = call i32 @isdigit(i32 %89)
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %134
92: ; preds = %86
%93 = load i8*, i8** %5
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = sub nsw i32 %95, 48
%97 = trunc i32 %96 to i8
store i8 %97, i8* %6
%98 = load i8*, i8** %5
%99 = getelementptr inbounds i8, i8* %98, i32 1
store i8* %99, i8** %5
%100 = load i8*, i8** %5
%101 = load i8, i8* %100
%102 = sext i8 %101 to i32
%103 = call i32 @isdigit(i32 %102)
%104 = icmp ne i32 %103, 0
br i1 %104, label %106, label %105
105: ; preds = %92
br label %135
106: ; preds = %92
store i32 3, i32* %7
%107 = load i8, i8* %6
%108 = sext i8 %107 to i32
%109 = shl i32 %108, 3
%110 = load i8*, i8** %5
%111 = load i8, i8* %110
%112 = sext i8 %111 to i32
%113 = sub nsw i32 %112, 48
%114 = add nsw i32 %109, %113
%115 = trunc i32 %114 to i8
store i8 %115, i8* %6
%116 = load i8*, i8** %5
%117 = getelementptr inbounds i8, i8* %116, i32 1
store i8* %117, i8** %5
%118 = load i8*, i8** %5
%119 = load i8, i8* %118
%120 = sext i8 %119 to i32
%121 = call i32 @isdigit(i32 %120)
%122 = icmp ne i32 %121, 0
br i1 %122, label %124, label %123
123: ; preds = %106
br label %135
124: ; preds = %106
store i32 4, i32* %7
%125 = load i8, i8* %6
%126 = sext i8 %125 to i32
%127 = shl i32 %126, 3
%128 = load i8*, i8** %5
%129 = load i8, i8* %128
%130 = sext i8 %129 to i32
%131 = sub nsw i32 %130, 48
%132 = add nsw i32 %127, %131
%133 = trunc i32 %132 to i8
store i8 %133, i8* %6
br label %135
134: ; preds = %86
store i8 92, i8* %6
store i32 1, i32* %7
br label %135
135: ; preds = %134, %124, %123, %105, %83, %77, %76, %57, %50, %49, %30, %16, %15, %14, %13
%136 = load i32*, i32** %4
%137 = icmp ne i32* %136, null
br i1 %137, label %138, label %141
138: ; preds = %135
%139 = load i32, i32* %7
%140 = load i32*, i32** %4
store i32 %139, i32* %140
br label %141
141: ; preds = %138, %135
%142 = load i8, i8* %6
ret i8 %142
}

LLVM IR (-O2):
define signext i8 @Tcl_Backslash(i8* nocapture %0, i32* writeonly %1) {
%3 = getelementptr inbounds i8, i8* %0, i64 1
%4 = load i8, i8* %3
%5 = sext i8 %4 to i32
switch i32 %5, label %44 [
i32 98, label %67
i32 101, label %6
i32 110, label %7
i32 116, label %8
i32 67, label %9
i32 77, label %32
i32 125, label %43
i32 123, label %43
i32 93, label %43
i32 91, label %43
i32 36, label %43
i32 32, label %43
i32 59, label %43
i32 34, label %43
i32 92, label %43
]
6: ; preds = %2
br label %67
7: ; preds = %2
br label %67
8: ; preds = %2
br label %67
9: ; preds = %2
%10 = getelementptr inbounds i8, i8* %0, i64 2
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = tail call i32 @isspace(i32 %12)
%14 = icmp ne i32 %13, 0
%15 = icmp eq i8 %11, 0
%16 = select i1 %14, i1 true, i1 %15
br i1 %16, label %67, label %17
17: ; preds = %9
%18 = icmp eq i8 %11, 77
br i1 %18, label %19, label %30
19: ; preds = %17
%20 = getelementptr inbounds i8, i8* %0, i64 3
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = tail call i32 @isspace(i32 %22)
%24 = icmp ne i32 %23, 0
%25 = icmp eq i8 %21, 0
%26 = select i1 %24, i1 true, i1 %25
br i1 %26, label %67, label %27
27: ; preds = %19
%28 = and i8 %21, 31
%29 = or i8 %28, -128
br label %67
30: ; preds = %17
%31 = and i8 %11, 31
br label %67
32: ; preds = %2
%33 = getelementptr inbounds i8, i8* %0, i64 2
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = tail call i32 @isspace(i32 %35)
%37 = icmp ne i32 %36, 0
%38 = icmp eq i8 %34, 0
%39 = select i1 %37, i1 true, i1 %38
%40 = xor i8 %34, -128
%41 = select i1 %39, i8 77, i8 %40
%42 = select i1 %39, i32 1, i32 3
br label %67
43: ; preds = %2, %2, %2, %2, %2, %2, %2, %2, %2
br label %67
44: ; preds = %2
%45 = add nsw i32 %5, -48
%46 = icmp ult i32 %45, 10
br i1 %46, label %47, label %67
47: ; preds = %44
%48 = add i8 %4, -48
%49 = getelementptr inbounds i8, i8* %0, i64 2
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = add nsw i32 %51, -48
%53 = icmp ult i32 %52, 10
br i1 %53, label %54, label %67
54: ; preds = %47
%55 = shl i8 %48, 3
%56 = add i8 %55, -48
%57 = add i8 %56, %50
%58 = getelementptr inbounds i8, i8* %0, i64 3
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = add nsw i32 %60, -48
%62 = icmp ult i32 %61, 10
br i1 %62, label %63, label %67
63: ; preds = %54
%64 = shl i8 %57, 3
%65 = add i8 %64, -48
%66 = add i8 %65, %59
br label %67
67: ; preds = %32, %44, %19, %9, %2, %54, %47, %63, %43, %30, %27, %8, %7, %6
%68 = phi i8 [ %66, %63 ], [ %57, %54 ], [ %48, %47 ], [ %4, %43 ], [ %29, %27 ], [ %31, %30 ], [ 9, %8 ], [ 10, %7 ], [ 27, %6 ], [ 8, %2 ], [ 67, %9 ], [ 13, %19 ], [ 92, %44 ], [ %41, %32 ]
%69 = phi i32 [ 4, %63 ], [ 3, %54 ], [ 2, %47 ], [ 2, %43 ], [ 4, %27 ], [ 3, %30 ], [ 2, %8 ], [ 2, %7 ], [ 2, %6 ], [ 2, %2 ], [ 1, %9 ], [ 3, %19 ], [ 1, %44 ], [ %42, %32 ]
%70 = icmp eq i32* %1, null
br i1 %70, label %72, label %71
71: ; preds = %67
store i32 %69, i32* %1
br label %72
72: ; preds = %71, %67
ret i8 %68
}