#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
unsigned long int strtoul(const char *S, char **PTR, int BASE) {
  unsigned long rval = 0;
  short int digit;
  char *ptr;
  if (PTR == NULL) {
    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;
    } 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    139c <strtoul+0x29c>
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    1222 <strtoul+0x122>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1216 <strtoul+0x116>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
jne    1216 <strtoul+0x116>
movl   $0x10,-0x1c(%rbp)
jmp    121d <strtoul+0x11d>
movl   $0xa,-0x1c(%rbp)
jmp    1222 <strtoul+0x122>
cmpl   $0x10,-0x1c(%rbp)
jne    1274 <strtoul+0x174>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    126f <strtoul+0x16f>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
jne    126f <strtoul+0x16f>
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    1274 <strtoul+0x174>
jmp    1279 <strtoul+0x179>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
cmpb   $0x0,(%rax)
je     1394 <strtoul+0x294>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     12c5 <strtoul+0x1c5>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     12c5 <strtoul+0x1c5>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %ax,-0x2a(%rbp)
jmp    1352 <strtoul+0x252>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     1304 <strtoul+0x204>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jg     1304 <strtoul+0x204>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %ax,-0x2a(%rbp)
jmp    134d <strtoul+0x24d>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     1343 <strtoul+0x243>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jg     1343 <strtoul+0x243>
mov    -0x18(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %ax,-0x2a(%rbp)
jmp    1348 <strtoul+0x248>
jmp    1394 <strtoul+0x294>
jmp    134d <strtoul+0x24d>
jmp    1352 <strtoul+0x252>
movswl -0x2a(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    137c <strtoul+0x27c>
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
imul   %rcx,%rax
movswq -0x2a(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
jmp    1381 <strtoul+0x281>
jmp    1394 <strtoul+0x294>
mov    -0x18(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    1279 <strtoul+0x179>
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     11f1 <strtoul+0xf1>
add    $0x1,%rdi
movabs $0x100002600,%rax
cs nopw 0x0(%rax,%rax,1)
movzbl -0x1(%rdi),%esi
cmp    $0x20,%rsi
ja     1149 <strtoul+0x49>
bt     %rsi,%rax
jae    1149 <strtoul+0x49>
mov    %rdi,(%r10)
add    $0x1,%rdi
jmp    1130 <strtoul+0x30>
lea    -0x1(%rdi),%r8
test   %edx,%edx
je     1170 <strtoul+0x70>
cmp    $0x10,%edx
jne    1190 <strtoul+0x90>
mov    $0x10,%edx
cmp    $0x30,%sil
jne    1190 <strtoul+0x90>
cmpb   $0x78,(%rdi)
je     1180 <strtoul+0x80>
mov    $0x30,%sil
mov    $0x10,%edx
jmp    1195 <strtoul+0x95>
mov    $0xa,%edx
cmp    $0x30,%sil
jne    1190 <strtoul+0x90>
cmpb   $0x78,(%rdi)
jne    11f4 <strtoul+0xf4>
lea    0x1(%rdi),%r8
mov    %r8,(%r10)
mov    0x1(%rdi),%sil
mov    $0x10,%edx
test   %sil,%sil
je     11f1 <strtoul+0xf1>
movslq %edx,%r9
add    $0x1,%r8
xor    %eax,%eax
xchg   %ax,%ax
movsbl %sil,%esi
mov    %esi,%ecx
add    $0xd0,%cl
mov    $0xffd0,%di
cmp    $0xa,%cl
jb     11ca <strtoul+0xca>
lea    -0x61(%rsi),%ecx
mov    $0xffa9,%di
cmp    $0x1a,%cl
jb     11ca <strtoul+0xca>
lea    -0x41(%rsi),%ecx
mov    $0xffc9,%di
cmp    $0x19,%cl
ja     11f0 <strtoul+0xf0>
movswl %si,%ecx
movswl %di,%esi
add    %ecx,%esi
movzwl %si,%esi
cmp    %esi,%edx
jle    11f0 <strtoul+0xf0>
imul   %r9,%rax
add    %rsi,%rax
mov    %r8,(%r10)
movzbl (%r8),%esi
add    $0x1,%r8
test   %sil,%sil
jne    11a0 <strtoul+0xa0>
ret
xor    %eax,%eax
ret
mov    $0x30,%sil
mov    $0xa,%edx
jmp    1195 <strtoul+0x95>

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 %185
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 %73
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 %71
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 %71
70: ; preds = %63
store i32 16, i32* %7
br label %72
71: ; preds = %63, %57
store i32 10, i32* %7
br label %72
72: ; preds = %71, %70
br label %73
73: ; preds = %72, %54
%74 = load i32, i32* %7
%75 = icmp eq i32 %74, 16
br i1 %75, label %76, label %97
76: ; preds = %73
%77 = load i8**, i8*** %6
%78 = load i8*, i8** %77
%79 = load i8, i8* %78
%80 = sext i8 %79 to i32
%81 = icmp eq i32 %80, 48
br i1 %81, label %82, label %96
82: ; preds = %76
%83 = load i8**, i8*** %6
%84 = load i8*, i8** %83
%85 = getelementptr inbounds i8, i8* %84, i64 1
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 120
br i1 %88, label %89, label %96
89: ; preds = %82
%90 = load i8**, i8*** %6
%91 = load i8*, i8** %90
%92 = getelementptr inbounds i8, i8* %91, i32 1
store i8* %92, i8** %90
%93 = load i8**, i8*** %6
%94 = load i8*, i8** %93
%95 = getelementptr inbounds i8, i8* %94, i32 1
store i8* %95, i8** %93
br label %96
96: ; preds = %89, %82, %76
br label %97
97: ; preds = %96, %73
br label %98
98: ; preds = %179, %97
%99 = load i8**, i8*** %6
%100 = load i8*, i8** %99
%101 = load i8, i8* %100
%102 = icmp ne i8 %101, 0
br i1 %102, label %103, label %183
103: ; preds = %98
%104 = load i8**, i8*** %6
%105 = load i8*, i8** %104
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = icmp sge i32 %107, 48
br i1 %108, label %109, label %122
109: ; preds = %103
%110 = load i8**, i8*** %6
%111 = load i8*, i8** %110
%112 = load i8, i8* %111
%113 = sext i8 %112 to i32
%114 = icmp sle i32 %113, 57
br i1 %114, label %115, label %122
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 = sub nsw i32 %119, 48
%121 = trunc i32 %120 to i16
store i16 %121, i16* %9
br label %165
122: ; preds = %109, %103
%123 = load i8**, i8*** %6
%124 = load i8*, i8** %123
%125 = load i8, i8* %124
%126 = sext i8 %125 to i32
%127 = icmp sge i32 %126, 97
br i1 %127, label %128, label %142
128: ; preds = %122
%129 = load i8**, i8*** %6
%130 = load i8*, i8** %129
%131 = load i8, i8* %130
%132 = sext i8 %131 to i32
%133 = icmp sle i32 %132, 122
br i1 %133, label %134, label %142
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 = sub nsw i32 %138, 97
%140 = add nsw i32 %139, 10
%141 = trunc i32 %140 to i16
store i16 %141, i16* %9
br label %164
142: ; preds = %128, %122
%143 = load i8**, i8*** %6
%144 = load i8*, i8** %143
%145 = load i8, i8* %144
%146 = sext i8 %145 to i32
%147 = icmp sge i32 %146, 65
br i1 %147, label %148, label %162
148: ; preds = %142
%149 = load i8**, i8*** %6
%150 = load i8*, i8** %149
%151 = load i8, i8* %150
%152 = sext i8 %151 to i32
%153 = icmp sle i32 %152, 90
br i1 %153, label %154, label %162
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 = sub nsw i32 %158, 65
%160 = add nsw i32 %159, 10
%161 = trunc i32 %160 to i16
store i16 %161, i16* %9
br label %163
162: ; preds = %148, %142
br label %183
163: ; preds = %154
br label %164
164: ; preds = %163, %134
br label %165
165: ; preds = %164, %115
%166 = load i16, i16* %9
%167 = sext i16 %166 to i32
%168 = load i32, i32* %7
%169 = icmp slt i32 %167, %168
br i1 %169, label %170, label %178
170: ; preds = %165
%171 = load i64, i64* %8
%172 = load i32, i32* %7
%173 = sext i32 %172 to i64
%174 = mul i64 %171, %173
%175 = load i16, i16* %9
%176 = sext i16 %175 to i64
%177 = add i64 %174, %176
store i64 %177, i64* %8
br label %179
178: ; preds = %165
br label %183
179: ; preds = %170
%180 = load i8**, i8*** %6
%181 = load i8*, i8** %180
%182 = getelementptr inbounds i8, i8* %181, i32 1
store i8* %182, i8** %180
br label %98
183: ; preds = %178, %162, %98
%184 = load i64, i64* %8
store i64 %184, i64* %4
br label %185
185: ; preds = %183, %22
%186 = load i64, i64* %4
ret i64 %186
}

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 %65, 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 %30 [
i32 0, label %15
i32 16, label %21
]
15: ; preds = %14
%16 = icmp eq i8 %11, 48
br i1 %16, label %17, label %30
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 %27, label %35
21: ; preds = %14
%22 = icmp eq i8 %11, 48
br i1 %22, label %23, label %30
23: ; preds = %21
%24 = getelementptr inbounds i8, i8* %10, i64 1
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 120
br i1 %26, label %27, label %35
27: ; preds = %17, %23
%28 = getelementptr inbounds i8, i8* %10, i64 2
store i8* %28, i8** %7
%29 = load i8, i8* %28
br label %30
30: ; preds = %14, %15, %21, %27
%31 = phi i8 [ %11, %21 ], [ %29, %27 ], [ %11, %15 ], [ %11, %14 ]
%32 = phi i8* [ %10, %21 ], [ %28, %27 ], [ %10, %15 ], [ %10, %14 ]
%33 = phi i32 [ 16, %21 ], [ 16, %27 ], [ 10, %15 ], [ %2, %14 ]
%34 = icmp eq i8 %31, 0
br i1 %34, label %65, label %35
35: ; preds = %17, %23, %30
%36 = phi i32 [ %33, %30 ], [ 10, %17 ], [ 16, %23 ]
%37 = phi i8* [ %32, %30 ], [ %10, %17 ], [ %10, %23 ]
%38 = phi i8 [ %31, %30 ], [ 48, %17 ], [ 48, %23 ]
%39 = sext i32 %36 to i64
br label %40
40: ; preds = %35, %58
%41 = phi i8 [ %38, %35 ], [ %63, %58 ]
%42 = phi i8* [ %37, %35 ], [ %62, %58 ]
%43 = phi i64 [ 0, %35 ], [ %61, %58 ]
%44 = sext i8 %41 to i16
%45 = add i8 %41, -48
%46 = icmp ult i8 %45, 10
br i1 %46, label %53, label %47
47: ; preds = %40
%48 = add i8 %41, -97
%49 = icmp ult i8 %48, 26
br i1 %49, label %53, label %50
50: ; preds = %47
%51 = add i8 %41, -65
%52 = icmp ult i8 %51, 26
br i1 %52, label %53, label %65
53: ; preds = %50, %47, %40
%54 = phi i16 [ -48, %40 ], [ -87, %47 ], [ -55, %50 ]
%55 = add nsw i16 %54, %44
%56 = zext i16 %55 to i32
%57 = icmp sgt i32 %36, %56
br i1 %57, label %58, label %65
58: ; preds = %53
%59 = mul i64 %43, %39
%60 = zext i16 %55 to i64
%61 = add i64 %59, %60
%62 = getelementptr inbounds i8, i8* %42, i64 1
store i8* %62, i8** %7
%63 = load i8, i8* %62
%64 = icmp eq i8 %63, 0
br i1 %64, label %65, label %40
65: ; preds = %53, %50, %58, %30, %3
%66 = phi i64 [ 0, %3 ], [ 0, %30 ], [ %43, %53 ], [ %43, %50 ], [ %61, %58 ]
ret i64 %66
}