unsigned long int strtoul(const char *S, char **PTR, int BASE) {
  unsigned long rval = 0;
  short int digit;
  char *ptr;
  if (PTR == 0) {
    PTR = &ptr;
  }
  *PTR = (char *)S;
  if ((BASE < 0) || BASE > 36) {
    return 0;
  }
  while ((**PTR == ' ') || (**PTR == '\t') || (**PTR == '\n') ||
         (**PTR == '\r')) {
    (*PTR)++;
  }
  if (BASE == 0) {
    if ((**PTR == '0') && (*((*PTR) + 1) == 'x')) {
      BASE = 16;
      (*PTR)++;
      (*PTR)++;
    } else {
      BASE = 10;
    }
  }
  if (BASE == 16) {
    if ((**PTR == '0') && (*((*PTR) + 1) == 'x')) {
      (*PTR)++;
      (*PTR)++;
    }
  }
  while (**PTR) {
    if (((**PTR) >= '0') && ((**PTR) <= '9')) {
      digit = **PTR - '0';
    } else if (((**PTR) >= 'a') && ((**PTR) <= 'z')) {
      digit = (**PTR - 'a') + 10;
    } else if (((**PTR) >= 'A') && ((**PTR) <= 'Z')) {
      digit = (**PTR - 'A') + 10;
    } else {
      break;
    }
    if (digit < BASE) {
      rval = (rval * BASE) + digit;
    } else {
      break;
    }
    (*PTR)++;
  }
  return rval;
}


x86 assembly (clang, -O0):
<strtoul>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movq   $0x0,-0x28(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    112a <strtoul+0x2a>
lea    -0x38(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x1c(%rbp)
jl     1149 <strtoul+0x49>
cmpl   $0x24,-0x1c(%rbp)
jle    1156 <strtoul+0x56>
movq   $0x0,-0x8(%rbp)
jmp    13b8 <strtoul+0x2b8>
jmp    115b <strtoul+0x5b>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x20,%ecx
mov    %al,-0x39(%rbp)
je     11b6 <strtoul+0xb6>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x9,%ecx
mov    %al,-0x39(%rbp)
je     11b6 <strtoul+0xb6>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0xa,%ecx
mov    %al,-0x39(%rbp)
je     11b6 <strtoul+0xb6>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0xd,%eax
sete   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    11c6 <strtoul+0xc6>
jmp    11d9 <strtoul+0xd9>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    115b <strtoul+0x5b>
cmpl   $0x0,-0x1c(%rbp)
jne    123e <strtoul+0x13e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1232 <strtoul+0x132>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
jne    1232 <strtoul+0x132>
movl   $0x10,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    1239 <strtoul+0x139>
movl   $0xa,-0x1c(%rbp)
jmp    123e <strtoul+0x13e>
cmpl   $0x10,-0x1c(%rbp)
jne    1290 <strtoul+0x190>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    128b <strtoul+0x18b>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
jne    128b <strtoul+0x18b>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    1290 <strtoul+0x190>
jmp    1295 <strtoul+0x195>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmpb   $0x0,(%rax)
je     13b0 <strtoul+0x2b0>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     12e1 <strtoul+0x1e1>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     12e1 <strtoul+0x1e1>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %ax,-0x2a(%rbp)
jmp    136e <strtoul+0x26e>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     1320 <strtoul+0x220>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jg     1320 <strtoul+0x220>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %ax,-0x2a(%rbp)
jmp    1369 <strtoul+0x269>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     135f <strtoul+0x25f>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jg     135f <strtoul+0x25f>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %ax,-0x2a(%rbp)
jmp    1364 <strtoul+0x264>
jmp    13b0 <strtoul+0x2b0>
jmp    1369 <strtoul+0x269>
jmp    136e <strtoul+0x26e>
movswl -0x2a(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1398 <strtoul+0x298>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   %rcx,%rax
movswq -0x2a(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
jmp    139d <strtoul+0x29d>
jmp    13b0 <strtoul+0x2b0>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    1295 <strtoul+0x195>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtoul>:
test   %rsi,%rsi
lea    -0x8(%rsp),%r10
cmovne %rsi,%r10
mov    %rdi,(%r10)
cmp    $0x24,%edx
ja     1201 <strtoul+0x101>
add    $0x2,%rdi
movabs $0x100002600,%rax
cs nopw 0x0(%rax,%rax,1)
movzbl -0x2(%rdi),%esi
cmp    $0x20,%rsi
ja     114d <strtoul+0x4d>
bt     %rsi,%rax
jae    114d <strtoul+0x4d>
lea    -0x1(%rdi),%rsi
mov    %rsi,(%r10)
add    $0x1,%rdi
jmp    1130 <strtoul+0x30>
lea    -0x2(%rdi),%r8
test   %edx,%edx
je     115c <strtoul+0x5c>
cmp    $0x10,%edx
je     117a <strtoul+0x7a>
jmp    119f <strtoul+0x9f>
mov    $0xa,%edx
cmp    $0x30,%sil
jne    119f <strtoul+0x9f>
cmpb   $0x78,-0x1(%rdi)
jne    120e <strtoul+0x10e>
mov    %rdi,(%r10)
mov    (%rdi),%sil
mov    %rdi,%r8
mov    $0x10,%edx
cmp    $0x30,%sil
jne    119f <strtoul+0x9f>
cmpb   $0x78,0x1(%r8)
jne    1204 <strtoul+0x104>
lea    0x2(%r8),%rax
mov    %rax,(%r10)
mov    0x2(%r8),%sil
mov    $0x10,%edx
mov    %rax,%r8
test   %sil,%sil
je     1201 <strtoul+0x101>
movslq %edx,%r9
add    $0x1,%r8
xor    %eax,%eax
nopl   (%rax)
movsbl %sil,%esi
mov    %esi,%ecx
add    $0xd0,%cl
mov    $0xffd0,%di
cmp    $0xa,%cl
jb     11da <strtoul+0xda>
lea    -0x61(%rsi),%ecx
mov    $0xffa9,%di
cmp    $0x1a,%cl
jb     11da <strtoul+0xda>
lea    -0x41(%rsi),%ecx
mov    $0xffc9,%di
cmp    $0x19,%cl
ja     1200 <strtoul+0x100>
movswl %si,%ecx
movswl %di,%esi
add    %ecx,%esi
movzwl %si,%esi
cmp    %esi,%edx
jle    1200 <strtoul+0x100>
imul   %r9,%rax
add    %rsi,%rax
mov    %r8,(%r10)
movzbl (%r8),%esi
add    $0x1,%r8
test   %sil,%sil
jne    11b0 <strtoul+0xb0>
ret
xor    %eax,%eax
ret
mov    $0x30,%sil
mov    $0x10,%edx
jmp    11a4 <strtoul+0xa4>
mov    $0x30,%sil
mov    $0xa,%edx
jmp    11a4 <strtoul+0xa4>

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

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