long strtol(s, p, base)
char *s, **p;
{
  long r;
  int sign, digit, hexlow, hexup, c;
  r = 0L;
  sign = 0;
  while (*s == ' ' || *s == '\t')
    ++s;
  if (*s == '-') {
    sign = 1;
    ++s;
  }
  if (base == 0) {
    if (*s == '0')
      base = (s[1] == 'x' || s[1] == 'X') ? 16 : 8;
    else
      base = 10;
  }
  if (*s == '0' && (s[1] == 'x' || s[1] == 'X') && base == 16)
    s += 2;
  digit = (base <= 10) ? (base + '0' - 1) : '9';
  hexlow = 'a' + base - 10;
  hexup = 'A' + base - 10;
  for (c = *s;; c = *++s) {
    if (c >= '0' && c <= digit)
      c = c - '0';
    else if (c >= 'a' && c < hexlow)
      c = c - 'a' + 10;
    else if (c >= 'A' && c < hexup)
      c = c - 'A' + 10;
    else {
      if (p != 0)
        *p = s;
      return sign ? -r : r;
    }
    r = r * base + c;
  }
}


x86 assembly (clang, -O0):
<strtol>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x35(%rbp)
je     1143 <strtol+0x43>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x9,%eax
sete   %al
mov    %al,-0x35(%rbp)
mov    -0x35(%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    $0x2d,%eax
jne    1187 <strtol+0x87>
movl   $0x1,-0x24(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    11ef <strtol+0xef>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    11e3 <strtol+0xe3>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%ecx
mov    $0x1,%al
cmp    $0x78,%ecx
mov    %al,-0x36(%rbp)
je     11c8 <strtol+0xc8>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
sete   %al
mov    %al,-0x36(%rbp)
mov    -0x36(%rbp),%dl
mov    $0x8,%eax
mov    $0x10,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x14(%rbp)
jmp    11ea <strtol+0xea>
movl   $0xa,-0x14(%rbp)
jmp    11ef <strtol+0xef>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1237 <strtol+0x137>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     1221 <strtol+0x121>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    1237 <strtol+0x137>
cmpl   $0x10,-0x14(%rbp)
jne    1237 <strtol+0x137>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
cmpl   $0xa,-0x14(%rbp)
jg     1252 <strtol+0x152>
mov    -0x14(%rbp),%eax
add    $0x30,%eax
sub    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    125f <strtol+0x15f>
mov    $0x39,%eax
mov    %eax,-0x3c(%rbp)
jmp    125f <strtol+0x15f>
mov    -0x3c(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
add    $0x61,%eax
sub    $0xa,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x41,%eax
sub    $0xa,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x30,-0x34(%rbp)
jl     12ab <strtol+0x1ab>
mov    -0x34(%rbp),%eax
cmp    -0x28(%rbp),%eax
jg     12ab <strtol+0x1ab>
mov    -0x34(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x34(%rbp)
jmp    1340 <strtol+0x240>
cmpl   $0x61,-0x34(%rbp)
jl     12d2 <strtol+0x1d2>
mov    -0x34(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    12d2 <strtol+0x1d2>
mov    -0x34(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x34(%rbp)
jmp    133b <strtol+0x23b>
cmpl   $0x41,-0x34(%rbp)
jl     12f9 <strtol+0x1f9>
mov    -0x34(%rbp),%eax
cmp    -0x30(%rbp),%eax
jge    12f9 <strtol+0x1f9>
mov    -0x34(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x34(%rbp)
jmp    1336 <strtol+0x236>
cmpq   $0x0,-0x10(%rbp)
je     130f <strtol+0x20f>
mov    -0x8(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x24(%rbp)
je     1328 <strtol+0x228>
xor    %eax,%eax
sub    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    1330 <strtol+0x230>
mov    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
pop    %rbp
ret
jmp    133b <strtol+0x23b>
jmp    1340 <strtol+0x240>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   %rcx,%rax
movslq -0x34(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movsbl 0x1(%rax),%eax
mov    %eax,-0x34(%rbp)
jmp    1287 <strtol+0x187>

x86 assembly (clang, -O2):
<strtol>:
push   %rbx
jmp    1114 <strtol+0x14>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rdi
movzbl (%rdi),%r8d
cmp    $0x20,%r8b
je     1110 <strtol+0x10>
cmp    $0x9,%r8b
je     1110 <strtol+0x10>
xor    %ecx,%ecx
cmp    $0x2d,%r8b
sete   %cl
lea    (%rdi,%rcx,1),%rax
mov    (%rdi,%rcx,1),%bl
test   %edx,%edx
je     113f <strtol+0x3f>
cmp    $0x30,%bl
je     115a <strtol+0x5a>
jmp    1182 <strtol+0x82>
cmp    $0x30,%bl
jne    1193 <strtol+0x93>
mov    0x1(%rdi,%rcx,1),%dl
and    $0xdf,%dl
xor    %ebx,%ebx
cmp    $0x58,%dl
sete   %bl
lea    0x8(,%rbx,8),%edx
mov    0x1(%rdi,%rcx,1),%bl
cmp    $0x78,%bl
je     1168 <strtol+0x68>
cmp    $0x58,%bl
jne    1182 <strtol+0x82>
cmp    $0x10,%edx
jne    1182 <strtol+0x82>
lea    (%rdi,%rcx,1),%rax
add    $0x2,%rax
mov    $0x39,%r10d
mov    $0x10,%edx
jmp    119e <strtol+0x9e>
mov    $0x39,%r10d
cmp    $0xa,%edx
jg     119e <strtol+0x9e>
lea    0x2f(%rdx),%r10d
jmp    119e <strtol+0x9e>
mov    $0xa,%edx
mov    $0x39,%r10d
lea    0x57(%rdx),%r9d
movslq %edx,%r11
add    $0x37,%edx
xor    %ecx,%ecx
jmp    11bd <strtol+0xbd>
nopl   0x0(%rax)
add    %edi,%ebx
imul   %r11,%rcx
add    %rbx,%rcx
add    $0x1,%rax
movsbl (%rax),%edi
cmp    $0x30,%edi
jl     11cf <strtol+0xcf>
mov    $0xffffffd0,%ebx
cmp    %edi,%r10d
jge    11b0 <strtol+0xb0>
cmp    $0x61,%dil
jl     11df <strtol+0xdf>
mov    $0xffffffa9,%ebx
cmp    %edi,%r9d
jg     11b0 <strtol+0xb0>
cmp    $0x41,%dil
jl     11ee <strtol+0xee>
mov    $0xffffffc9,%ebx
cmp    %edi,%edx
jg     11b0 <strtol+0xb0>
test   %rsi,%rsi
je     11f6 <strtol+0xf6>
mov    %rax,(%rsi)
mov    %rcx,%rax
neg    %rax
cmp    $0x2d,%r8b
cmovne %rcx,%rax
pop    %rbx
ret

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

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 %9 [
i8 32, label %7
i8 9, label %7
]
7: ; preds = %4, %4
%8 = getelementptr inbounds i8, i8* %5, i64 1
br label %4
9: ; preds = %4
%10 = icmp eq i8 %6, 45
%11 = zext i1 %10 to i64
%12 = getelementptr i8, i8* %5, i64 %11
%13 = icmp eq i32 %2, 0
%14 = load i8, i8* %12
%15 = icmp eq i8 %14, 48
br i1 %13, label %16, label %23
16: ; preds = %9
br i1 %15, label %17, label %41
17: ; preds = %16
%18 = getelementptr inbounds i8, i8* %12, i64 1
%19 = load i8, i8* %18
%20 = and i8 %19, -33
%21 = icmp eq i8 %20, 88
%22 = select i1 %21, i32 16, i32 8
br label %24
23: ; preds = %9
br i1 %15, label %24, label %37
24: ; preds = %17, %23
%25 = phi i32 [ %22, %17 ], [ %2, %23 ]
%26 = getelementptr inbounds i8, i8* %12, i64 1
%27 = load i8, i8* %26
%28 = icmp eq i8 %27, 120
br i1 %28, label %33, label %29
29: ; preds = %24
%30 = icmp eq i8 %27, 88
%31 = icmp eq i32 %25, 16
%32 = select i1 %30, i1 %31, i1 false
br i1 %32, label %35, label %37
33: ; preds = %24
%34 = icmp eq i32 %25, 16
br i1 %34, label %35, label %37
35: ; preds = %33, %29
%36 = getelementptr inbounds i8, i8* %12, i64 2
br label %44
37: ; preds = %33, %29, %23
%38 = phi i32 [ %25, %33 ], [ %25, %29 ], [ %2, %23 ]
%39 = icmp slt i32 %38, 11
%40 = add nsw i32 %38, 47
br i1 %39, label %41, label %44
41: ; preds = %16, %37
%42 = phi i32 [ %40, %37 ], [ 57, %16 ]
%43 = phi i32 [ %38, %37 ], [ 10, %16 ]
br label %44
44: ; preds = %35, %37, %41
%45 = phi i8* [ %12, %41 ], [ %12, %37 ], [ %36, %35 ]
%46 = phi i32 [ %43, %41 ], [ %38, %37 ], [ 16, %35 ]
%47 = phi i32 [ %42, %41 ], [ 57, %37 ], [ 57, %35 ]
%48 = add nsw i32 %46, 87
%49 = add nsw i32 %46, 55
%50 = sext i32 %46 to i64
br label %51
51: ; preds = %73, %44
%52 = phi i64 [ 0, %44 ], [ %78, %73 ]
%53 = phi i8* [ %45, %44 ], [ %79, %73 ]
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp slt i8 %54, 48
%57 = icmp slt i32 %47, %55
%58 = select i1 %56, i1 true, i1 %57
br i1 %58, label %59, label %73
59: ; preds = %51
%60 = icmp sgt i8 %54, 96
%61 = icmp sgt i32 %48, %55
%62 = select i1 %60, i1 %61, i1 false
br i1 %62, label %73, label %63
63: ; preds = %59
%64 = icmp sgt i8 %54, 64
%65 = icmp sgt i32 %49, %55
%66 = select i1 %64, i1 %65, i1 false
br i1 %66, label %73, label %67
67: ; preds = %63
%68 = icmp eq i8** %1, null
br i1 %68, label %70, label %69
69: ; preds = %67
store i8* %53, i8** %1
br label %70
70: ; preds = %69, %67
%71 = sub nsw i64 0, %52
%72 = select i1 %10, i64 %71, i64 %52
ret i64 %72
73: ; preds = %63, %59, %51
%74 = phi i32 [ -48, %51 ], [ -87, %59 ], [ -55, %63 ]
%75 = add nsw i32 %74, %55
%76 = mul nsw i64 %52, %50
%77 = zext i32 %75 to i64
%78 = add nsw i64 %76, %77
%79 = getelementptr inbounds i8, i8* %53, i64 1
br label %51
}