#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 */
int /*<<< orphan*/ EINVAL;
int /*<<< orphan*/ ERANGE;
unsigned long ULONG_MAX;
int /*<<< orphan*/ assert(int /*<<< orphan*/);
int /*<<< orphan*/ errno;
scalar_t__ isspace(unsigned char);
unsigned long int strtoul(const char *nptr, char **endptr, int base) {
  const char *s;
  unsigned long int acc, cutoff;
  unsigned char c;
  int i, neg, any, cutlim;
  assert(nptr != NULL);
  if (base && (base < 2 || base > 36)) {
    errno = EINVAL;
    if (endptr != NULL)
      *endptr = (char *)(nptr);
    return 0;
  }
  s = nptr;
  do {
    c = *s++;
  } while (isspace(c));
  if (c == '-') {
    neg = 1;
    c = *s++;
  } else {
    neg = 0;
    if (c == '+')
      c = *s++;
  }
  if ((base == 0 || base == 16) && c == '0' && (*s == 'x' || *s == 'X') &&
      ((s[1] >= '0' && s[1] <= '9') || (s[1] >= 'a' && s[1] <= 'f') ||
       (s[1] >= 'A' && s[1] <= 'F'))) {
    c = s[1];
    s += 2;
    base = 16;
  } else if (base == 0)
    base = (c == '0' ? 8 : 10);
  cutoff = ((unsigned long int)ULONG_MAX / (unsigned long int)base);
  cutlim = (int)((unsigned long int)ULONG_MAX % (unsigned long int)base);
  for (acc = 0, any = 0;; c = *s++) {
    if (c >= '0' && c <= '9')
      i = c - '0';
    else if (c >= 'a' && c <= 'z')
      i = (c - 'a') + 10;
    else if (c >= 'A' && c <= 'Z')
      i = (c - 'A') + 10;
    else
      break;
    if (i >= base)
      break;
    if (any < 0)
      continue;
    if (acc > cutoff || (acc == cutoff && i > cutlim)) {
      acc = ULONG_MAX;
      any = -1;
      errno = ERANGE;
    } else {
      any = 1;
      acc *= (unsigned long int)base;
      acc += i;
    }
  }
  if (neg && any > 0)
    acc = -acc;
  if (endptr != NULL)
    *endptr = (char *)(any ? s - 1 : nptr);
  return (acc);
}


x86 assembly (clang, -O0):
<strtoul>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpl   $0x0,-0x1c(%rbp)
je     1198 <strtoul+0x78>
cmpl   $0x2,-0x1c(%rbp)
jl     1163 <strtoul+0x43>
cmpl   $0x24,-0x1c(%rbp)
jle    1198 <strtoul+0x78>
mov    0x2e66(%rip),%rax
mov    (%rax),%ecx
mov    0x2e65(%rip),%rax
mov    %ecx,(%rax)
cmpq   $0x0,-0x18(%rbp)
je     118b <strtoul+0x6b>
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    14ef <strtoul+0x3cf>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x39(%rbp)
movzbl -0x39(%rbp),%edi
call   1030 <isspace@plt>
cmp    $0x0,%rax
jne    11a0 <strtoul+0x80>
movzbl -0x39(%rbp),%eax
cmp    $0x2d,%eax
jne    11f4 <strtoul+0xd4>
movl   $0x1,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x39(%rbp)
jmp    1221 <strtoul+0x101>
movl   $0x0,-0x44(%rbp)
movzbl -0x39(%rbp),%eax
cmp    $0x2b,%eax
jne    121c <strtoul+0xfc>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x39(%rbp)
jmp    1221 <strtoul+0x101>
cmpl   $0x0,-0x1c(%rbp)
je     1235 <strtoul+0x115>
cmpl   $0x10,-0x1c(%rbp)
jne    12ea <strtoul+0x1ca>
movzbl -0x39(%rbp),%eax
cmp    $0x30,%eax
jne    12ea <strtoul+0x1ca>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x78,%eax
je     1262 <strtoul+0x142>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x58,%eax
jne    12ea <strtoul+0x1ca>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x30,%eax
jl     1284 <strtoul+0x164>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x39,%eax
jle    12c8 <strtoul+0x1a8>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x61,%eax
jl     12a6 <strtoul+0x186>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x66,%eax
jle    12c8 <strtoul+0x1a8>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x41,%eax
jl     12ea <strtoul+0x1ca>
mov    -0x28(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x46,%eax
jg     12ea <strtoul+0x1ca>
mov    -0x28(%rbp),%rax
mov    0x1(%rax),%al
mov    %al,-0x39(%rbp)
mov    -0x28(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x28(%rbp)
movl   $0x10,-0x1c(%rbp)
jmp    1310 <strtoul+0x1f0>
cmpl   $0x0,-0x1c(%rbp)
jne    130b <strtoul+0x1eb>
movzbl -0x39(%rbp),%edx
mov    $0xa,%eax
mov    $0x8,%ecx
cmp    $0x30,%edx
cmove  %ecx,%eax
mov    %eax,-0x1c(%rbp)
jmp    1310 <strtoul+0x1f0>
mov    0x2ca9(%rip),%rax
mov    (%rax),%rax
movslq -0x1c(%rbp),%rcx
xor    %edx,%edx
div    %rcx
mov    %rax,-0x38(%rbp)
mov    0x2c92(%rip),%rax
mov    (%rax),%rax
movslq -0x1c(%rbp),%rcx
xor    %edx,%edx
div    %rcx
mov    %edx,%eax
mov    %eax,-0x4c(%rbp)
movq   $0x0,-0x30(%rbp)
movl   $0x0,-0x48(%rbp)
movzbl -0x39(%rbp),%eax
cmp    $0x30,%eax
jl     1377 <strtoul+0x257>
movzbl -0x39(%rbp),%eax
cmp    $0x39,%eax
jg     1377 <strtoul+0x257>
movzbl -0x39(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x40(%rbp)
jmp    13de <strtoul+0x2be>
movzbl -0x39(%rbp),%eax
cmp    $0x61,%eax
jl     13a3 <strtoul+0x283>
movzbl -0x39(%rbp),%eax
cmp    $0x7a,%eax
jg     13a3 <strtoul+0x283>
movzbl -0x39(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x40(%rbp)
jmp    13d9 <strtoul+0x2b9>
movzbl -0x39(%rbp),%eax
cmp    $0x41,%eax
jl     13cf <strtoul+0x2af>
movzbl -0x39(%rbp),%eax
cmp    $0x5a,%eax
jg     13cf <strtoul+0x2af>
movzbl -0x39(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x40(%rbp)
jmp    13d4 <strtoul+0x2b4>
jmp    1490 <strtoul+0x370>
jmp    13d9 <strtoul+0x2b9>
jmp    13de <strtoul+0x2be>
mov    -0x40(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jl     13ef <strtoul+0x2cf>
jmp    1490 <strtoul+0x370>
cmpl   $0x0,-0x48(%rbp)
jge    13fe <strtoul+0x2de>
jmp    1477 <strtoul+0x357>
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
ja     1426 <strtoul+0x306>
mov    -0x30(%rbp),%rax
cmp    -0x38(%rbp),%rax
jne    1452 <strtoul+0x332>
mov    -0x40(%rbp),%eax
cmp    -0x4c(%rbp),%eax
jle    1452 <strtoul+0x332>
mov    0x2b93(%rip),%rax
mov    (%rax),%rax
mov    %rax,-0x30(%rbp)
movl   $0xffffffff,-0x48(%rbp)
mov    0x2ba6(%rip),%rax
mov    (%rax),%ecx
mov    0x2b8d(%rip),%rax
mov    %ecx,(%rax)
jmp    1472 <strtoul+0x352>
movl   $0x1,-0x48(%rbp)
movslq -0x1c(%rbp),%rax
imul   -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
movslq -0x40(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1477 <strtoul+0x357>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    %al,-0x39(%rbp)
jmp    134e <strtoul+0x22e>
cmpl   $0x0,-0x44(%rbp)
je     14ae <strtoul+0x38e>
cmpl   $0x0,-0x48(%rbp)
jle    14ae <strtoul+0x38e>
xor    %eax,%eax
sub    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     14e7 <strtoul+0x3c7>
cmpl   $0x0,-0x48(%rbp)
je     14d4 <strtoul+0x3b4>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x58(%rbp)
jmp    14dc <strtoul+0x3bc>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtoul>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r12d
mov    %rsi,%rbp
mov    %rdi,%r15
xor    %edi,%edi
test   %r15,%r15
setne  %dil
call   1040 <assert@plt>
mov    %r15,%r13
test   %r12d,%r12d
je     1180 <strtoul+0x60>
lea    -0x25(%r12),%eax
mov    %r15,%r13
cmp    $0xffffffdd,%eax
jae    1180 <strtoul+0x60>
mov    0x2e6f(%rip),%rax
mov    (%rax),%eax
mov    0x2e6e(%rip),%rcx
mov    %eax,(%rcx)
xor    %eax,%eax
test   %rbp,%rbp
jne    1300 <strtoul+0x1e0>
jmp    1304 <strtoul+0x1e4>
nopl   0x0(%rax)
movzbl 0x0(%r13),%ebx
add    $0x1,%r13
movzbl %bl,%edi
call   1030 <isspace@plt>
test   %rax,%rax
jne    1180 <strtoul+0x60>
cmp    $0x2b,%bl
je     11a7 <strtoul+0x87>
mov    $0x1,%sil
cmp    $0x2d,%bl
je     11a9 <strtoul+0x89>
xor    %esi,%esi
jmp    11b1 <strtoul+0x91>
xor    %esi,%esi
mov    0x0(%r13),%bl
add    $0x1,%r13
test   $0xffffffef,%r12d
mov    %rbp,0x10(%rsp)
mov    %esi,0xc(%rsp)
jne    1207 <strtoul+0xe7>
cmp    $0x30,%bl
jne    1207 <strtoul+0xe7>
mov    0x0(%r13),%al
or     $0x20,%al
cmp    $0x78,%al
jne    1207 <strtoul+0xe7>
mov    0x1(%r13),%al
lea    -0x30(%rax),%ecx
cmp    $0xa,%cl
jb     11f9 <strtoul+0xd9>
lea    -0x41(%rax),%ecx
cmp    $0x25,%cl
ja     1207 <strtoul+0xe7>
movzbl %cl,%ecx
movabs $0x3f0000003f,%rdx
bt     %rcx,%rdx
jae    1207 <strtoul+0xe7>
add    $0x2,%r13
mov    $0x10,%r14d
mov    %eax,%ebx
jmp    121b <strtoul+0xfb>
xor    %eax,%eax
cmp    $0x30,%bl
setne  %al
test   %r12d,%r12d
lea    0x8(%rax,%rax,1),%r14d
cmovne %r12d,%r14d
mov    0x2d9e(%rip),%rax
mov    (%rax),%r10
movslq %r14d,%r9
mov    %r10,%rax
or     %r9,%rax
shr    $0x20,%rax
je     123e <strtoul+0x11e>
mov    %r10,%rax
xor    %edx,%edx
div    %r9
jmp    1246 <strtoul+0x126>
mov    %r10d,%eax
xor    %edx,%edx
div    %r14d
mov    0x2d9b(%rip),%rcx
mov    (%rcx),%r12d
add    $0xffffffffffffffff,%r13
xor    %ecx,%ecx
mov    0x2d7b(%rip),%r11
xor    %esi,%esi
jmp    1281 <strtoul+0x161>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r12d,(%r11)
mov    %r10,%rcx
movzbl 0x1(%r13),%ebx
add    $0x1,%r13
mov    %ebp,%esi
lea    -0x30(%rbx),%r8d
mov    $0xffffffd0,%ebp
cmp    $0xa,%r8b
jb     12ac <strtoul+0x18c>
lea    -0x61(%rbx),%edi
mov    $0xffffffa9,%ebp
cmp    $0x1a,%dil
jb     12ac <strtoul+0x18c>
lea    -0x41(%rbx),%edi
mov    $0xffffffc9,%ebp
cmp    $0x19,%dil
ja     12db <strtoul+0x1bb>
movzbl %bl,%ebx
add    %ebp,%ebx
cmp    %r14d,%ebx
jge    12db <strtoul+0x1bb>
mov    $0xffffffff,%ebp
test   %esi,%esi
js     1276 <strtoul+0x156>
cmp    %rax,%rcx
ja     1270 <strtoul+0x150>
jne    12ca <strtoul+0x1aa>
cmp    %edx,%ebx
jg     1270 <strtoul+0x150>
imul   %r9,%rcx
movslq %ebx,%rsi
add    %rsi,%rcx
mov    $0x1,%ebp
jmp    1276 <strtoul+0x156>
mov    %rcx,%rax
neg    %rax
test   %esi,%esi
cmovle %rcx,%rax
cmpb   $0x0,0xc(%rsp)
cmove  %rcx,%rax
mov    0x10(%rsp),%rbp
test   %rbp,%rbp
je     1304 <strtoul+0x1e4>
test   %esi,%esi
cmovne %r13,%r15
mov    %r15,0x0(%rbp)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@EINVAL = global i32 0
@errno = global i32 0
@ULONG_MAX = global i64 0
@ERANGE = global i32 0
define i64 @strtoul(i8* %0, i8** %1, i32 %2) {
%4 = alloca i64
%5 = alloca i8*
%6 = alloca i8**
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i8
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
store i8* %0, i8** %5
store i8** %1, i8*** %6
store i32 %2, i32* %7
%16 = load i8*, i8** %5
%17 = icmp ne i8* %16, null
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
%20 = load i32, i32* %7
%21 = icmp ne i32 %20, 0
br i1 %21, label %22, label %36
22: ; preds = %3
%23 = load i32, i32* %7
%24 = icmp slt i32 %23, 2
br i1 %24, label %28, label %25
25: ; preds = %22
%26 = load i32, i32* %7
%27 = icmp sgt i32 %26, 36
br i1 %27, label %28, label %36
28: ; preds = %25, %22
%29 = load i32, i32* @EINVAL
store i32 %29, i32* @errno
%30 = load i8**, i8*** %6
%31 = icmp ne i8** %30, null
br i1 %31, label %32, label %35
32: ; preds = %28
%33 = load i8*, i8** %5
%34 = load i8**, i8*** %6
store i8* %33, i8** %34
br label %35
35: ; preds = %32, %28
store i64 0, i64* %4
br label %249
36: ; preds = %25, %3
%37 = load i8*, i8** %5
store i8* %37, i8** %8
br label %38
38: ; preds = %42, %36
%39 = load i8*, i8** %8
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %8
%41 = load i8, i8* %39
store i8 %41, i8* %11
br label %42
42: ; preds = %38
%43 = load i8, i8* %11
%44 = call i64 @isspace(i8 zeroext %43)
%45 = icmp ne i64 %44, 0
br i1 %45, label %38, label %46
46: ; preds = %42
%47 = load i8, i8* %11
%48 = zext i8 %47 to i32
%49 = icmp eq i32 %48, 45
br i1 %49, label %50, label %54
50: ; preds = %46
store i32 1, i32* %13
%51 = load i8*, i8** %8
%52 = getelementptr inbounds i8, i8* %51, i32 1
store i8* %52, i8** %8
%53 = load i8, i8* %51
store i8 %53, i8* %11
br label %63
54: ; preds = %46
store i32 0, i32* %13
%55 = load i8, i8* %11
%56 = zext i8 %55 to i32
%57 = icmp eq i32 %56, 43
br i1 %57, label %58, label %62
58: ; preds = %54
%59 = load i8*, i8** %8
%60 = getelementptr inbounds i8, i8* %59, i32 1
store i8* %60, i8** %8
%61 = load i8, i8* %59
store i8 %61, i8* %11
br label %62
62: ; preds = %58, %54
br label %63
63: ; preds = %62, %50
%64 = load i32, i32* %7
%65 = icmp eq i32 %64, 0
br i1 %65, label %69, label %66
66: ; preds = %63
%67 = load i32, i32* %7
%68 = icmp eq i32 %67, 16
br i1 %68, label %69, label %125
69: ; preds = %66, %63
%70 = load i8, i8* %11
%71 = zext i8 %70 to i32
%72 = icmp eq i32 %71, 48
br i1 %72, label %73, label %125
73: ; preds = %69
%74 = load i8*, i8** %8
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = icmp eq i32 %76, 120
br i1 %77, label %83, label %78
78: ; preds = %73
%79 = load i8*, i8** %8
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 88
br i1 %82, label %83, label %125
83: ; preds = %78, %73
%84 = load i8*, i8** %8
%85 = getelementptr inbounds i8, i8* %84, i64 1
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp sge i32 %87, 48
br i1 %88, label %89, label %95
89: ; preds = %83
%90 = load i8*, i8** %8
%91 = getelementptr inbounds i8, i8* %90, i64 1
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp sle i32 %93, 57
br i1 %94, label %119, label %95
95: ; preds = %89, %83
%96 = load i8*, i8** %8
%97 = getelementptr inbounds i8, i8* %96, i64 1
%98 = load i8, i8* %97
%99 = sext i8 %98 to i32
%100 = icmp sge i32 %99, 97
br i1 %100, label %101, label %107
101: ; preds = %95
%102 = load i8*, i8** %8
%103 = getelementptr inbounds i8, i8* %102, i64 1
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = icmp sle i32 %105, 102
br i1 %106, label %119, label %107
107: ; preds = %101, %95
%108 = load i8*, i8** %8
%109 = getelementptr inbounds i8, i8* %108, i64 1
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = icmp sge i32 %111, 65
br i1 %112, label %113, label %125
113: ; preds = %107
%114 = load i8*, i8** %8
%115 = getelementptr inbounds i8, i8* %114, i64 1
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = icmp sle i32 %117, 70
br i1 %118, label %119, label %125
119: ; preds = %113, %101, %89
%120 = load i8*, i8** %8
%121 = getelementptr inbounds i8, i8* %120, i64 1
%122 = load i8, i8* %121
store i8 %122, i8* %11
%123 = load i8*, i8** %8
%124 = getelementptr inbounds i8, i8* %123, i64 2
store i8* %124, i8** %8
store i32 16, i32* %7
br label %135
125: ; preds = %113, %107, %78, %69, %66
%126 = load i32, i32* %7
%127 = icmp eq i32 %126, 0
br i1 %127, label %128, label %134
128: ; preds = %125
%129 = load i8, i8* %11
%130 = zext i8 %129 to i32
%131 = icmp eq i32 %130, 48
%132 = zext i1 %131 to i64
%133 = select i1 %131, i32 8, i32 10
store i32 %133, i32* %7
br label %134
134: ; preds = %128, %125
br label %135
135: ; preds = %134, %119
%136 = load i64, i64* @ULONG_MAX
%137 = load i32, i32* %7
%138 = sext i32 %137 to i64
%139 = udiv i64 %136, %138
store i64 %139, i64* %10
%140 = load i64, i64* @ULONG_MAX
%141 = load i32, i32* %7
%142 = sext i32 %141 to i64
%143 = urem i64 %140, %142
%144 = trunc i64 %143 to i32
store i32 %144, i32* %15
store i64 0, i64* %9
store i32 0, i32* %14
br label %145
145: ; preds = %220, %135
%146 = load i8, i8* %11
%147 = zext i8 %146 to i32
%148 = icmp sge i32 %147, 48
br i1 %148, label %149, label %157
149: ; preds = %145
%150 = load i8, i8* %11
%151 = zext i8 %150 to i32
%152 = icmp sle i32 %151, 57
br i1 %152, label %153, label %157
153: ; preds = %149
%154 = load i8, i8* %11
%155 = zext i8 %154 to i32
%156 = sub nsw i32 %155, 48
store i32 %156, i32* %12
br label %186
157: ; preds = %149, %145
%158 = load i8, i8* %11
%159 = zext i8 %158 to i32
%160 = icmp sge i32 %159, 97
br i1 %160, label %161, label %170
161: ; preds = %157
%162 = load i8, i8* %11
%163 = zext i8 %162 to i32
%164 = icmp sle i32 %163, 122
br i1 %164, label %165, label %170
165: ; preds = %161
%166 = load i8, i8* %11
%167 = zext i8 %166 to i32
%168 = sub nsw i32 %167, 97
%169 = add nsw i32 %168, 10
store i32 %169, i32* %12
br label %185
170: ; preds = %161, %157
%171 = load i8, i8* %11
%172 = zext i8 %171 to i32
%173 = icmp sge i32 %172, 65
br i1 %173, label %174, label %183
174: ; preds = %170
%175 = load i8, i8* %11
%176 = zext i8 %175 to i32
%177 = icmp sle i32 %176, 90
br i1 %177, label %178, label %183
178: ; preds = %174
%179 = load i8, i8* %11
%180 = zext i8 %179 to i32
%181 = sub nsw i32 %180, 65
%182 = add nsw i32 %181, 10
store i32 %182, i32* %12
br label %184
183: ; preds = %174, %170
br label %224
184: ; preds = %178
br label %185
185: ; preds = %184, %165
br label %186
186: ; preds = %185, %153
%187 = load i32, i32* %12
%188 = load i32, i32* %7
%189 = icmp sge i32 %187, %188
br i1 %189, label %190, label %191
190: ; preds = %186
br label %224
191: ; preds = %186
%192 = load i32, i32* %14
%193 = icmp slt i32 %192, 0
br i1 %193, label %194, label %195
194: ; preds = %191
br label %220
195: ; preds = %191
%196 = load i64, i64* %9
%197 = load i64, i64* %10
%198 = icmp ugt i64 %196, %197
br i1 %198, label %207, label %199
199: ; preds = %195
%200 = load i64, i64* %9
%201 = load i64, i64* %10
%202 = icmp eq i64 %200, %201
br i1 %202, label %203, label %210
203: ; preds = %199
%204 = load i32, i32* %12
%205 = load i32, i32* %15
%206 = icmp sgt i32 %204, %205
br i1 %206, label %207, label %210
207: ; preds = %203, %195
%208 = load i64, i64* @ULONG_MAX
store i64 %208, i64* %9
store i32 -1, i32* %14
%209 = load i32, i32* @ERANGE
store i32 %209, i32* @errno
br label %219
210: ; preds = %203, %199
store i32 1, i32* %14
%211 = load i32, i32* %7
%212 = sext i32 %211 to i64
%213 = load i64, i64* %9
%214 = mul i64 %213, %212
store i64 %214, i64* %9
%215 = load i32, i32* %12
%216 = sext i32 %215 to i64
%217 = load i64, i64* %9
%218 = add i64 %217, %216
store i64 %218, i64* %9
br label %219
219: ; preds = %210, %207
br label %220
220: ; preds = %219, %194
%221 = load i8*, i8** %8
%222 = getelementptr inbounds i8, i8* %221, i32 1
store i8* %222, i8** %8
%223 = load i8, i8* %221
store i8 %223, i8* %11
br label %145
224: ; preds = %190, %183
%225 = load i32, i32* %13
%226 = icmp ne i32 %225, 0
br i1 %226, label %227, label %233
227: ; preds = %224
%228 = load i32, i32* %14
%229 = icmp sgt i32 %228, 0
br i1 %229, label %230, label %233
230: ; preds = %227
%231 = load i64, i64* %9
%232 = sub i64 0, %231
store i64 %232, i64* %9
br label %233
233: ; preds = %230, %227, %224
%234 = load i8**, i8*** %6
%235 = icmp ne i8** %234, null
br i1 %235, label %236, label %247
236: ; preds = %233
%237 = load i32, i32* %14
%238 = icmp ne i32 %237, 0
br i1 %238, label %239, label %242
239: ; preds = %236
%240 = load i8*, i8** %8
%241 = getelementptr inbounds i8, i8* %240, i64 -1
br label %244
242: ; preds = %236
%243 = load i8*, i8** %5
br label %244
244: ; preds = %242, %239
%245 = phi i8* [ %241, %239 ], [ %243, %242 ]
%246 = load i8**, i8*** %6
store i8* %245, i8** %246
br label %247
247: ; preds = %244, %233
%248 = load i64, i64* %9
store i64 %248, i64* %4
br label %249
249: ; preds = %247, %35
%250 = load i64, i64* %4
ret i64 %250
}

LLVM IR (-O2):
@EINVAL = global i32 0
@errno = global i32 0
@ULONG_MAX = global i64 0
@ERANGE = global i32 0
define i64 @strtoul(i8* %0, i8** writeonly %1, i32 %2) {
%4 = icmp ne i8* %0, null
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = icmp ne i32 %2, 0
%8 = add i32 %2, -37
%9 = icmp ult i32 %8, -35
%10 = and i1 %7, %9
br i1 %10, label %11, label %14
11: ; preds = %3
%12 = load i32, i32* @EINVAL
store i32 %12, i32* @errno
%13 = icmp eq i8** %1, null
br i1 %13, label %108, label %105
14: ; preds = %3, %14
%15 = phi i8* [ %16, %14 ], [ %0, %3 ]
%16 = getelementptr inbounds i8, i8* %15, i64 1
%17 = load i8, i8* %15
%18 = tail call i64 @isspace(i8 zeroext %17)
%19 = icmp eq i64 %18, 0
br i1 %19, label %20, label %14
20: ; preds = %14
switch i8 %17, label %26 [
i8 45, label %22
i8 43, label %21
]
21: ; preds = %20
br label %22
22: ; preds = %20, %21
%23 = phi i1 [ false, %21 ], [ true, %20 ]
%24 = getelementptr inbounds i8, i8* %15, i64 2
%25 = load i8, i8* %16
br label %26
26: ; preds = %22, %20
%27 = phi i8* [ %16, %20 ], [ %24, %22 ]
%28 = phi i8 [ %17, %20 ], [ %25, %22 ]
%29 = phi i1 [ false, %20 ], [ %23, %22 ]
%30 = icmp eq i32 %2, 0
%31 = and i32 %2, -17
%32 = icmp eq i32 %31, 0
%33 = icmp eq i8 %28, 48
%34 = select i1 %32, i1 %33, i1 false
br i1 %34, label %35, label %46
35: ; preds = %26
%36 = load i8, i8* %27
switch i8 %36, label %46 [
i8 120, label %37
i8 88, label %37
]
37: ; preds = %35, %35
%38 = getelementptr inbounds i8, i8* %27, i64 1
%39 = load i8, i8* %38
%40 = freeze i8 %39
%41 = add i8 %40, -48
%42 = icmp ult i8 %41, 10
br i1 %42, label %44, label %43
43: ; preds = %37
switch i8 %40, label %46 [
i8 102, label %44
i8 101, label %44
i8 100, label %44
i8 99, label %44
i8 98, label %44
i8 97, label %44
i8 70, label %44
i8 69, label %44
i8 68, label %44
i8 67, label %44
i8 66, label %44
i8 65, label %44
]
44: ; preds = %43, %43, %43, %43, %43, %43, %43, %43, %43, %43, %43, %43, %37
%45 = getelementptr inbounds i8, i8* %27, i64 2
br label %49
46: ; preds = %43, %35, %26
%47 = select i1 %33, i32 8, i32 10
%48 = select i1 %30, i32 %47, i32 %2
br label %49
49: ; preds = %46, %44
%50 = phi i8* [ %45, %44 ], [ %27, %46 ]
%51 = phi i32 [ 16, %44 ], [ %48, %46 ]
%52 = phi i8 [ %40, %44 ], [ %28, %46 ]
%53 = load i64, i64* @ULONG_MAX
%54 = sext i32 %51 to i64
%55 = udiv i64 %53, %54
%56 = urem i64 %53, %54
%57 = trunc i64 %56 to i32
%58 = load i32, i32* @ERANGE
br label %59
59: ; preds = %90, %49
%60 = phi i8* [ %50, %49 ], [ %93, %90 ]
%61 = phi i64 [ 0, %49 ], [ %91, %90 ]
%62 = phi i8 [ %52, %49 ], [ %94, %90 ]
%63 = phi i32 [ 0, %49 ], [ %92, %90 ]
%64 = zext i8 %62 to i32
%65 = add i8 %62, -48
%66 = icmp ult i8 %65, 10
br i1 %66, label %73, label %67
67: ; preds = %59
%68 = add i8 %62, -97
%69 = icmp ult i8 %68, 26
br i1 %69, label %73, label %70
70: ; preds = %67
%71 = add i8 %62, -65
%72 = icmp ult i8 %71, 26
br i1 %72, label %73, label %95
73: ; preds = %70, %67, %59
%74 = phi i32 [ -48, %59 ], [ -87, %67 ], [ -55, %70 ]
%75 = add nsw i32 %74, %64
%76 = icmp slt i32 %75, %51
br i1 %76, label %77, label %95
77: ; preds = %73
%78 = icmp slt i32 %63, 0
br i1 %78, label %90, label %79
79: ; preds = %77
%80 = icmp ugt i64 %61, %55
br i1 %80, label %85, label %81
81: ; preds = %79
%82 = icmp eq i64 %61, %55
%83 = icmp sgt i32 %75, %57
%84 = select i1 %82, i1 %83, i1 false
br i1 %84, label %85, label %86
85: ; preds = %81, %79
store i32 %58, i32* @errno
br label %90
86: ; preds = %81
%87 = mul i64 %61, %54
%88 = sext i32 %75 to i64
%89 = add i64 %87, %88
br label %90
90: ; preds = %85, %86, %77
%91 = phi i64 [ %61, %77 ], [ %53, %85 ], [ %89, %86 ]
%92 = phi i32 [ -1, %77 ], [ -1, %85 ], [ 1, %86 ]
%93 = getelementptr inbounds i8, i8* %60, i64 1
%94 = load i8, i8* %60
br label %59
95: ; preds = %73, %70
%96 = icmp sgt i32 %63, 0
%97 = and i1 %29, %96
%98 = sub i64 0, %61
%99 = select i1 %97, i64 %98, i64 %61
%100 = icmp eq i8** %1, null
br i1 %100, label %108, label %101
101: ; preds = %95
%102 = icmp eq i32 %63, 0
%103 = getelementptr inbounds i8, i8* %60, i64 -1
%104 = select i1 %102, i8* %0, i8* %103
br label %105
105: ; preds = %11, %101
%106 = phi i8* [ %104, %101 ], [ %0, %11 ]
%107 = phi i64 [ %99, %101 ], [ 0, %11 ]
store i8* %106, i8** %1
br label %108
108: ; preds = %105, %95, %11
%109 = phi i64 [ 0, %11 ], [ %99, %95 ], [ %107, %105 ]
ret i64 %109
}