long strtol(const char *s, char **endptr, int base) {
  int neg = 0;
  long val = 0;
  while (*s == ' ' || *s == '\t')
    s++;
  if (*s == '+')
    s++;
  else if (*s == '-')
    s++, neg = 1;
  if ((base == 0 || base == 16) && (s[0] == '0' && s[1] == 'x'))
    s += 2, base = 16;
  else if (base == 0 && s[0] == '0')
    s++, base = 8;
  else if (base == 0)
    base = 10;
  while (1) {
    int dig;
    if (*s >= '0' && *s <= '9')
      dig = *s - '0';
    else if (*s >= 'a' && *s <= 'z')
      dig = *s - 'a' + 10;
    else if (*s >= 'A' && *s <= 'Z')
      dig = *s - 'A' + 10;
    else
      break;
    if (dig >= base)
      break;
    s++, val = (val * base) + dig;
  }
  if (endptr)
    *endptr = (char *)s;
  return (neg ? -val : val);
}


x86 assembly (clang, -O0):
<strtol>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x25(%rbp)
je     1143 <strtol+0x43>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x9,%eax
sete   %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    1153 <strtol+0x53>
jmp    1164 <strtol+0x64>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    111e <strtol+0x1e>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    1185 <strtol+0x85>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    11ad <strtol+0xad>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11a8 <strtol+0xa8>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x18(%rbp)
jmp    11ad <strtol+0xad>
cmpl   $0x0,-0x14(%rbp)
je     11c1 <strtol+0xc1>
cmpl   $0x10,-0x14(%rbp)
jne    11fa <strtol+0xfa>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    11fa <strtol+0xfa>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
jne    11fa <strtol+0xfa>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
movl   $0x10,-0x14(%rbp)
jmp    1247 <strtol+0x147>
cmpl   $0x0,-0x14(%rbp)
jne    122c <strtol+0x12c>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    122c <strtol+0x12c>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
movl   $0x8,-0x14(%rbp)
jmp    1242 <strtol+0x142>
cmpl   $0x0,-0x14(%rbp)
jne    123d <strtol+0x13d>
movl   $0xa,-0x14(%rbp)
jmp    1242 <strtol+0x142>
jmp    1247 <strtol+0x147>
jmp    124c <strtol+0x14c>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     127e <strtol+0x17e>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     127e <strtol+0x17e>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x24(%rbp)
jmp    12f7 <strtol+0x1f7>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     12b3 <strtol+0x1b3>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jg     12b3 <strtol+0x1b3>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x24(%rbp)
jmp    12f2 <strtol+0x1f2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     12e8 <strtol+0x1e8>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jg     12e8 <strtol+0x1e8>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x24(%rbp)
jmp    12ed <strtol+0x1ed>
jmp    1330 <strtol+0x230>
jmp    12f2 <strtol+0x1f2>
jmp    12f7 <strtol+0x1f7>
mov    -0x24(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     1308 <strtol+0x208>
jmp    1330 <strtol+0x230>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   %rcx,%rax
movslq -0x24(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    124c <strtol+0x14c>
cmpq   $0x0,-0x10(%rbp)
je     1346 <strtol+0x246>
mov    -0x8(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x18(%rbp)
je     135f <strtol+0x25f>
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1367 <strtol+0x267>
mov    -0x20(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtol>:
lea    0xef9(%rip),%rax
nopw   0x0(%rax,%rax,1)
movzbl (%rdi),%ecx
add    $0xf7,%cl
cmp    $0x24,%cl
ja     1131 <strtol+0x31>
movzbl %cl,%ecx
movslq (%rax,%rcx,4),%rcx
add    %rax,%rcx
jmp    *%rcx
add    $0x1,%rdi
jmp    1110 <strtol+0x10>
add    $0x1,%rdi
mov    $0x1,%r8b
test   $0xffffffef,%edx
jne    1163 <strtol+0x63>
jmp    114d <strtol+0x4d>
add    $0x1,%rdi
xor    %r8d,%r8d
test   $0xffffffef,%edx
jne    1163 <strtol+0x63>
cmpb   $0x30,(%rdi)
jne    1163 <strtol+0x63>
cmpb   $0x78,0x1(%rdi)
jne    1163 <strtol+0x63>
add    $0x2,%rdi
mov    $0x10,%edx
jmp    117d <strtol+0x7d>
test   %edx,%edx
jne    117d <strtol+0x7d>
xor    %eax,%eax
xor    %ecx,%ecx
cmpb   $0x30,(%rdi)
setne  %al
sete   %cl
add    %rcx,%rdi
lea    (%rax,%rax,1),%edx
add    $0x8,%edx
movslq %edx,%r9
xor    %r10d,%r10d
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsbl (%rdi),%r11d
lea    -0x30(%r11),%eax
mov    $0xffffffd0,%ecx
cmp    $0xa,%al
jb     11bb <strtol+0xbb>
lea    -0x61(%r11),%eax
mov    $0xffffffa9,%ecx
cmp    $0x1a,%al
jb     11bb <strtol+0xbb>
lea    -0x41(%r11),%eax
mov    $0xffffffc9,%ecx
cmp    $0x19,%al
ja     11d2 <strtol+0xd2>
add    %r11d,%ecx
cmp    %edx,%ecx
jge    11d2 <strtol+0xd2>
add    $0x1,%rdi
imul   %r9,%r10
movslq %ecx,%rax
add    %rax,%r10
jmp    1190 <strtol+0x90>
test   %rsi,%rsi
je     11da <strtol+0xda>
mov    %rdi,(%rsi)
mov    %r10,%rax
neg    %rax
test   %r8b,%r8b
cmovne %r10,%rax
ret

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

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