int xatoi(char **str, long *res) {
  unsigned long val;
  unsigned char c, r, s = 0;
  *res = 0;
  while ((c = **str) == ' ')
    (*str)++;
  if (c == '-') {
    s = 1;
    c = *(++(*str));
  }
  if (c == '0') {
    c = *(++(*str));
    switch (c) {
    case 'x':
      r = 16;
      c = *(++(*str));
      break;
    case 'b':
      r = 2;
      c = *(++(*str));
      break;
    default:
      if (c <= ' ')
        return 1;
      if (c < '0' || c > '9')
        return 0;
      r = 8;
    }
  } else {
    if (c < '0' || c > '9')
      return 0;
    r = 10;
  }
  val = 0;
  while (c > ' ') {
    if (c >= 'a')
      c -= 0x20;
    c -= '0';
    if (c >= 17) {
      c -= 7;
      if (c <= 9)
        return 0;
    }
    if (c >= r)
      return 0;
    val = val * r + c;
    c = *(++(*str));
  }
  if (s)
    val = 0 - val;
  *res = val;
  return 1;
}


x86 assembly (clang, -O0):
<xatoi>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movb   $0x0,-0x23(%rbp)
mov    -0x18(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    (%rax),%al
mov    %al,-0x21(%rbp)
movzbl %al,%eax
cmp    $0x20,%eax
jne    1146 <xatoi+0x46>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    111b <xatoi+0x1b>
movzbl -0x21(%rbp),%eax
cmp    $0x2d,%eax
jne    116e <xatoi+0x6e>
movb   $0x1,-0x23(%rbp)
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
mov    0x1(%rax),%al
mov    %al,-0x21(%rbp)
movzbl -0x21(%rbp),%eax
cmp    $0x30,%eax
jne    1240 <xatoi+0x140>
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
mov    0x1(%rax),%al
mov    %al,-0x21(%rbp)
movzbl -0x21(%rbp),%eax
mov    %eax,-0x28(%rbp)
sub    $0x62,%eax
je     11d8 <xatoi+0xd8>
jmp    11a7 <xatoi+0xa7>
mov    -0x28(%rbp),%eax
sub    $0x78,%eax
jne    11f8 <xatoi+0xf8>
jmp    11b8 <xatoi+0xb8>
movb   $0x10,-0x22(%rbp)
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
mov    0x1(%rax),%al
mov    %al,-0x21(%rbp)
jmp    123b <xatoi+0x13b>
movb   $0x2,-0x22(%rbp)
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
mov    0x1(%rax),%al
mov    %al,-0x21(%rbp)
jmp    123b <xatoi+0x13b>
movzbl -0x21(%rbp),%eax
cmp    $0x20,%eax
jg     1211 <xatoi+0x111>
movl   $0x1,-0x4(%rbp)
jmp    134a <xatoi+0x24a>
movzbl -0x21(%rbp),%eax
cmp    $0x30,%eax
jl     122b <xatoi+0x12b>
movzbl -0x21(%rbp),%eax
cmp    $0x39,%eax
jle    1237 <xatoi+0x137>
movl   $0x0,-0x4(%rbp)
jmp    134a <xatoi+0x24a>
movb   $0x8,-0x22(%rbp)
jmp    126a <xatoi+0x16a>
movzbl -0x21(%rbp),%eax
cmp    $0x30,%eax
jl     125a <xatoi+0x15a>
movzbl -0x21(%rbp),%eax
cmp    $0x39,%eax
jle    1266 <xatoi+0x166>
movl   $0x0,-0x4(%rbp)
jmp    134a <xatoi+0x24a>
movb   $0xa,-0x22(%rbp)
movq   $0x0,-0x20(%rbp)
movzbl -0x21(%rbp),%eax
cmp    $0x20,%eax
jle    1324 <xatoi+0x224>
movzbl -0x21(%rbp),%eax
cmp    $0x61,%eax
jl     1296 <xatoi+0x196>
movzbl -0x21(%rbp),%eax
sub    $0x20,%eax
mov    %al,-0x21(%rbp)
movzbl -0x21(%rbp),%eax
sub    $0x30,%eax
mov    %al,-0x21(%rbp)
movzbl -0x21(%rbp),%eax
cmp    $0x11,%eax
jl     12d5 <xatoi+0x1d5>
movzbl -0x21(%rbp),%eax
sub    $0x7,%eax
mov    %al,-0x21(%rbp)
movzbl -0x21(%rbp),%eax
cmp    $0x9,%eax
jg     12d0 <xatoi+0x1d0>
movl   $0x0,-0x4(%rbp)
jmp    134a <xatoi+0x24a>
jmp    12d5 <xatoi+0x1d5>
movzbl -0x21(%rbp),%eax
movzbl -0x22(%rbp),%ecx
cmp    %ecx,%eax
jl     12f1 <xatoi+0x1f1>
movl   $0x0,-0x4(%rbp)
jmp    134a <xatoi+0x24a>
mov    -0x20(%rbp),%rax
movzbl -0x22(%rbp),%ecx
imul   %rcx,%rax
movzbl -0x21(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
mov    0x1(%rax),%al
mov    %al,-0x21(%rbp)
jmp    1272 <xatoi+0x172>
cmpb   $0x0,-0x23(%rbp)
je     1338 <xatoi+0x238>
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xatoi>:
push   %rbx
movq   $0x0,(%rsi)
mov    (%rdi),%rdx
mov    (%rdx),%r8b
cmp    $0x20,%r8b
jne    1135 <xatoi+0x35>
add    $0x1,%rdx
nopl   0x0(%rax,%rax,1)
mov    %rdx,(%rdi)
movzbl (%rdx),%r8d
add    $0x1,%rdx
cmp    $0x20,%r8b
je     1120 <xatoi+0x20>
add    $0xffffffffffffffff,%rdx
cmp    $0x2d,%r8b
jne    1162 <xatoi+0x62>
lea    0x1(%rdx),%rax
mov    %rax,(%rdi)
mov    0x1(%rdx),%r9b
mov    %rax,%rdx
cmp    $0x30,%r9b
je     116b <xatoi+0x6b>
lea    -0x3a(%r9),%ecx
mov    $0xa,%r10b
xor    %eax,%eax
mov    %rdx,%r11
cmp    $0xf6,%cl
jae    11b8 <xatoi+0xb8>
pop    %rbx
ret
mov    %r8d,%r9d
cmp    $0x30,%r9b
jne    114f <xatoi+0x4f>
lea    0x1(%rdx),%r11
mov    %r11,(%rdi)
mov    0x1(%rdx),%r9b
cmp    $0x78,%r9b
je     1187 <xatoi+0x87>
cmp    $0x62,%r9b
jne    119f <xatoi+0x9f>
mov    $0x2,%r10b
jmp    118a <xatoi+0x8a>
mov    $0x10,%r10b
lea    0x2(%rdx),%r11
mov    %r11,(%rdi)
mov    0x2(%rdx),%r9b
cmp    $0x21,%r9b
jae    11b8 <xatoi+0xb8>
xor    %edx,%edx
jmp    1218 <xatoi+0x118>
mov    $0x1,%eax
cmp    $0x21,%r9b
jb     1160 <xatoi+0x60>
lea    -0x3a(%r9),%ecx
mov    $0x8,%r10b
xor    %eax,%eax
cmp    $0xf6,%cl
jb     1160 <xatoi+0x60>
movzbl %r10b,%r10d
add    $0x1,%r11
xor    %eax,%eax
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x20(%r9),%ebx
cmp    $0x61,%r9b
movzbl %r9b,%ecx
movzbl %bl,%ebx
cmovb  %ecx,%ebx
lea    -0x30(%rbx),%ecx
add    $0xc9,%bl
cmp    $0x11,%cl
movzbl %bl,%ebx
movzbl %cl,%ecx
cmovae %ebx,%ecx
cmp    %r10b,%cl
jae    1160 <xatoi+0x60>
imul   %r10,%rdx
movzbl %cl,%ecx
add    %rcx,%rdx
mov    %r11,(%rdi)
movzbl (%r11),%r9d
add    $0x1,%r11
cmp    $0x20,%r9b
ja     11d0 <xatoi+0xd0>
mov    %rdx,%rax
neg    %rax
cmp    $0x2d,%r8b
cmovne %rdx,%rax
mov    %rax,(%rsi)
mov    $0x1,%eax
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @xatoi(i8** nocapture %0, i64* nocapture writeonly %1) {
store i64 0, i64* %1
%3 = load i8*, i8** %0
%4 = load i8, i8* %3
%5 = icmp eq i8 %4, 32
br i1 %5, label %6, label %11
6: ; preds = %2, %6
%7 = phi i8* [ %8, %6 ], [ %3, %2 ]
%8 = getelementptr inbounds i8, i8* %7, i64 1
store i8* %8, i8** %0
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 32
br i1 %10, label %6, label %11
11: ; preds = %6, %2
%12 = phi i8* [ %3, %2 ], [ %8, %6 ]
%13 = phi i8 [ %4, %2 ], [ %9, %6 ]
%14 = icmp eq i8 %13, 45
br i1 %14, label %15, label %18
15: ; preds = %11
%16 = getelementptr inbounds i8, i8* %12, i64 1
store i8* %16, i8** %0
%17 = load i8, i8* %16
br label %18
18: ; preds = %15, %11
%19 = phi i8* [ %16, %15 ], [ %12, %11 ]
%20 = phi i8 [ %17, %15 ], [ %13, %11 ]
%21 = icmp eq i8 %20, 48
br i1 %21, label %22, label %31
22: ; preds = %18
%23 = getelementptr inbounds i8, i8* %19, i64 1
store i8* %23, i8** %0
%24 = load i8, i8* %23
switch i8 %24, label %26 [
i8 120, label %34
i8 98, label %25
]
25: ; preds = %22
br label %34
26: ; preds = %22
%27 = icmp ult i8 %24, 33
br i1 %27, label %67, label %28
28: ; preds = %26
%29 = add i8 %24, -58
%30 = icmp ult i8 %29, -10
br i1 %30, label %67, label %39
31: ; preds = %18
%32 = add i8 %20, -58
%33 = icmp ult i8 %32, -10
br i1 %33, label %67, label %39
34: ; preds = %22, %25
%35 = phi i8 [ 2, %25 ], [ 16, %22 ]
%36 = getelementptr inbounds i8, i8* %19, i64 2
store i8* %36, i8** %0
%37 = load i8, i8* %36
%38 = icmp ugt i8 %37, 32
br i1 %38, label %39, label %63
39: ; preds = %31, %28, %34
%40 = phi i8 [ %35, %34 ], [ 10, %31 ], [ 8, %28 ]
%41 = phi i8 [ %37, %34 ], [ %20, %31 ], [ %24, %28 ]
%42 = phi i8* [ %36, %34 ], [ %19, %31 ], [ %23, %28 ]
%43 = zext i8 %40 to i64
br label %44
44: ; preds = %39, %56
%45 = phi i8* [ %42, %39 ], [ %60, %56 ]
%46 = phi i8 [ %41, %39 ], [ %61, %56 ]
%47 = phi i64 [ 0, %39 ], [ %59, %56 ]
%48 = icmp ugt i8 %46, 96
%49 = add i8 %46, -32
%50 = select i1 %48, i8 %49, i8 %46
%51 = add i8 %50, -48
%52 = icmp ugt i8 %51, 16
%53 = add i8 %50, -55
%54 = select i1 %52, i8 %53, i8 %51
%55 = icmp ult i8 %54, %40
br i1 %55, label %56, label %67
56: ; preds = %44
%57 = mul i64 %47, %43
%58 = zext i8 %54 to i64
%59 = add i64 %57, %58
%60 = getelementptr inbounds i8, i8* %45, i64 1
store i8* %60, i8** %0
%61 = load i8, i8* %60
%62 = icmp ugt i8 %61, 32
br i1 %62, label %44, label %63
63: ; preds = %56, %34
%64 = phi i64 [ 0, %34 ], [ %59, %56 ]
%65 = sub i64 0, %64
%66 = select i1 %14, i64 %65, i64 %64
store i64 %66, i64* %1
br label %67
67: ; preds = %44, %31, %28, %26, %63
%68 = phi i32 [ 1, %63 ], [ 1, %26 ], [ 0, %28 ], [ 0, %31 ], [ 0, %44 ]
ret i32 %68
}