unsigned long strtoul(const char *p, char **out_p, int base) {
  unsigned long v = 0;
  while (__extension__({
    unsigned char bb__isspace = (*p) - 9;
    bb__isspace == (' ' - 9) || bb__isspace <= (13 - 9);
  }))
    p++;
  if (((base == 16) || (base == 0)) &&
      ((*p == '0') && ((p[1] == 'x') || (p[1] == 'X')))) {
    p += 2;
    base = 16;
  }
  if (base == 0) {
    if (*p == '0')
      base = 8;
    else
      base = 10;
  }
  while (1) {
    char c = *p;
    if ((c >= '0') && (c <= '9') && (c - '0' < base))
      v = (v * base) + (c - '0');
    else if ((c >= 'a') && (c <= 'z') && (c - 'a' + 10 < base))
      v = (v * base) + (c - 'a' + 10);
    else if ((c >= 'A') && (c <= 'Z') && (c - 'A' + 10 < base))
      v = (v * base) + (c - 'A' + 10);
    else
      break;
    p++;
  }
  if (out_p)
    *out_p = (char *)p;
  return v;
}


x86 assembly (clang, -O0):
<strtoul>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x9,%eax
mov    %al,-0x21(%rbp)
movzbl -0x21(%rbp),%ecx
mov    $0x1,%al
cmp    $0x17,%ecx
mov    %al,-0x2a(%rbp)
je     1143 <strtoul+0x43>
movzbl -0x21(%rbp),%eax
cmp    $0x4,%eax
setle  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
je     1169 <strtoul+0x69>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1117 <strtoul+0x17>
cmpl   $0x10,-0x14(%rbp)
je     117d <strtoul+0x7d>
cmpl   $0x0,-0x14(%rbp)
jne    11c2 <strtoul+0xc2>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    11c2 <strtoul+0xc2>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     11af <strtoul+0xaf>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    11c2 <strtoul+0xc2>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
movl   $0x10,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    11f4 <strtoul+0xf4>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    11e8 <strtoul+0xe8>
movl   $0x8,-0x14(%rbp)
jmp    11ef <strtoul+0xef>
movl   $0xa,-0x14(%rbp)
jmp    11f4 <strtoul+0xf4>
jmp    11f9 <strtoul+0xf9>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x29(%rbp)
movsbl -0x29(%rbp),%eax
cmp    $0x30,%eax
jl     124e <strtoul+0x14e>
movsbl -0x29(%rbp),%eax
cmp    $0x39,%eax
jg     124e <strtoul+0x14e>
movsbl -0x29(%rbp),%eax
sub    $0x30,%eax
cmp    -0x14(%rbp),%eax
jge    124e <strtoul+0x14e>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   %rcx,%rax
movsbl -0x29(%rbp),%ecx
sub    $0x30,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    1301 <strtoul+0x201>
movsbl -0x29(%rbp),%eax
cmp    $0x61,%eax
jl     12a0 <strtoul+0x1a0>
movsbl -0x29(%rbp),%eax
cmp    $0x7a,%eax
jg     12a0 <strtoul+0x1a0>
movsbl -0x29(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
cmp    -0x14(%rbp),%eax
jge    12a0 <strtoul+0x1a0>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   %rcx,%rax
movsbl -0x29(%rbp),%ecx
sub    $0x61,%ecx
add    $0xa,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    12fc <strtoul+0x1fc>
movsbl -0x29(%rbp),%eax
cmp    $0x41,%eax
jl     12f2 <strtoul+0x1f2>
movsbl -0x29(%rbp),%eax
cmp    $0x5a,%eax
jg     12f2 <strtoul+0x1f2>
movsbl -0x29(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
cmp    -0x14(%rbp),%eax
jge    12f2 <strtoul+0x1f2>
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   %rcx,%rax
movsbl -0x29(%rbp),%ecx
sub    $0x41,%ecx
add    $0xa,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    12f7 <strtoul+0x1f7>
jmp    1312 <strtoul+0x212>
jmp    12fc <strtoul+0x1fc>
jmp    1301 <strtoul+0x201>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    11f9 <strtoul+0xf9>
cmpq   $0x0,-0x10(%rbp)
je     1328 <strtoul+0x228>
mov    -0x8(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtoul>:
add    $0x1,%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl -0x1(%rdi),%eax
lea    -0x9(%rax),%ecx
add    $0x1,%rdi
cmp    $0x17,%cl
je     1110 <strtoul+0x10>
cmp    $0x5,%cl
jb     1110 <strtoul+0x10>
test   $0xffffffef,%edx
jne    1142 <strtoul+0x42>
cmp    $0x30,%al
jne    1142 <strtoul+0x42>
mov    -0x1(%rdi),%cl
mov    $0x10,%r8d
or     $0x20,%cl
cmp    $0x78,%cl
je     1158 <strtoul+0x58>
add    $0xfffffffffffffffe,%rdi
xor    %ecx,%ecx
cmp    $0x30,%al
setne  %cl
test   %edx,%edx
lea    0x8(%rcx,%rcx,1),%r8d
cmovne %edx,%r8d
movslq %r8d,%r9
xor    %eax,%eax
nopl   (%rax)
movsbl (%rdi),%ecx
lea    -0x30(%rcx),%edx
cmp    $0x9,%dl
ja     1180 <strtoul+0x80>
add    $0xffffffd0,%ecx
cmp    %r8d,%ecx
jl     11b0 <strtoul+0xb0>
jmp    11c0 <strtoul+0xc0>
cs nopw 0x0(%rax,%rax,1)
nop
lea    -0x61(%rcx),%edx
cmp    $0x19,%dl
ja     11a0 <strtoul+0xa0>
add    $0xffffffa9,%ecx
cmp    %r8d,%ecx
jl     11b0 <strtoul+0xb0>
jmp    11c0 <strtoul+0xc0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x41(%rcx),%edx
cmp    $0x19,%dl
ja     11c0 <strtoul+0xc0>
add    $0xffffffc9,%ecx
cmp    %r8d,%ecx
jge    11c0 <strtoul+0xc0>
imul   %r9,%rax
movslq %ecx,%rcx
add    %rcx,%rax
add    $0x1,%rdi
jmp    1160 <strtoul+0x60>
test   %rsi,%rsi
je     11c8 <strtoul+0xc8>
mov    %rdi,(%rsi)
ret

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

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