#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;
int ULONG_MAX;
scalar_t__ __likely(char const);
scalar_t__ __unlikely(int);
int /*<<< orphan*/ errno;
scalar_t__ isspace(char const);
scalar_t__ isxdigit(char const);
unsigned long int strtoul(const char *ptr, char **endptr, int base) {
  int neg = 0, overflow = 0;
  unsigned long int v = 0;
  const char *orig;
  const char *nptr = ptr;
  while (isspace(*nptr))
    ++nptr;
  if (*nptr == '-') {
    neg = 1;
    nptr++;
  } else if (*nptr == '+')
    ++nptr;
  orig = nptr;
  if (base == 16 && nptr[0] == '0')
    goto skip0x;
  if (base) {
    register unsigned int b = base - 2;
    if (__unlikely(b > 34)) {
      errno = EINVAL;
      return 0;
    }
  } else {
    if (*nptr == '0') {
      base = 8;
    skip0x:
      if ((nptr[1] == 'x' || nptr[1] == 'X') && isxdigit(nptr[2])) {
        nptr += 2;
        base = 16;
      }
    } else
      base = 10;
  }
  while (__likely(*nptr)) {
    register unsigned char c = *nptr;
    c = (c >= 'a'   ? c - 'a' + 10
         : c >= 'A' ? c - 'A' + 10
         : c <= '9' ? c - '0'
                    : 0xff);
    if (__unlikely(c >= base))
      break;
    {
      register unsigned long x = (v & 0xff) * base + c;
      register unsigned long w = (v >> 8) * base + (x >> 8);
      if (w > (ULONG_MAX >> 8))
        overflow = 1;
      v = (w << 8) + (x & 0xff);
    }
    ++nptr;
  }
  if (__unlikely(nptr == orig)) {
    nptr = ptr;
    errno = EINVAL;
    v = 0;
  }
  if (endptr)
    *endptr = (char *)nptr;
  if (overflow) {
    errno = ERANGE;
    return ULONG_MAX;
  }
  return (neg ? -v : v);
}


x86 assembly (clang, -O0):
<strtoul>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isspace@plt>
cmp    $0x0,%rax
je     1198 <strtoul+0x58>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1171 <strtoul+0x31>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11c0 <strtoul+0x80>
movl   $0x1,-0x20(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11e1 <strtoul+0xa1>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    11dc <strtoul+0x9c>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11e1 <strtoul+0xa1>
mov    -0x40(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x10,-0x1c(%rbp)
jne    1208 <strtoul+0xc8>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1208 <strtoul+0xc8>
jmp    1271 <strtoul+0x131>
cmpl   $0x0,-0x1c(%rbp)
je     125a <strtoul+0x11a>
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x22,-0x44(%rbp)
seta   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <__unlikely@plt>
cmp    $0x0,%rax
je     1255 <strtoul+0x115>
mov    0x2d93(%rip),%rax
mov    (%rax),%ecx
mov    0x2d92(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    14c7 <strtoul+0x387>
jmp    12ce <strtoul+0x18e>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    12c2 <strtoul+0x182>
movl   $0x8,-0x1c(%rbp)
mov    -0x40(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     1293 <strtoul+0x153>
mov    -0x40(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    12bd <strtoul+0x17d>
mov    -0x40(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1060 <isxdigit@plt>
cmp    $0x0,%rax
je     12bd <strtoul+0x17d>
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x40(%rbp)
movl   $0x10,-0x1c(%rbp)
jmp    12c9 <strtoul+0x189>
movl   $0xa,-0x1c(%rbp)
jmp    12ce <strtoul+0x18e>
jmp    12d3 <strtoul+0x193>
mov    -0x40(%rbp),%rax
movsbl (%rax),%edi
call   1040 <__likely@plt>
cmp    $0x0,%rax
je     1418 <strtoul+0x2d8>
mov    -0x40(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x45(%rbp)
movzbl -0x45(%rbp),%eax
cmp    $0x61,%eax
jl     1311 <strtoul+0x1d1>
movzbl -0x45(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x5c(%rbp)
jmp    1365 <strtoul+0x225>
movzbl -0x45(%rbp),%eax
cmp    $0x41,%eax
jl     1330 <strtoul+0x1f0>
movzbl -0x45(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x60(%rbp)
jmp    135f <strtoul+0x21f>
movzbl -0x45(%rbp),%eax
cmp    $0x39,%eax
jg     134c <strtoul+0x20c>
movzbl -0x45(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x64(%rbp)
jmp    1359 <strtoul+0x219>
mov    $0xff,%eax
mov    %eax,-0x64(%rbp)
jmp    1359 <strtoul+0x219>
mov    -0x64(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x60(%rbp),%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %al,-0x45(%rbp)
movzbl -0x45(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <__unlikely@plt>
cmp    $0x0,%rax
je     138e <strtoul+0x24e>
jmp    1418 <strtoul+0x2d8>
mov    -0x30(%rbp),%rax
and    $0xff,%rax
movslq -0x1c(%rbp),%rcx
imul   %rcx,%rax
movzbl -0x45(%rbp),%ecx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x30(%rbp),%rax
shr    $0x8,%rax
movslq -0x1c(%rbp),%rcx
imul   %rcx,%rax
mov    -0x50(%rbp),%rcx
shr    $0x8,%rcx
add    %rcx,%rax
mov    %rax,-0x58(%rbp)
mov    -0x58(%rbp),%rax
mov    0x2beb(%rip),%rcx
mov    (%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jbe    13ed <strtoul+0x2ad>
movl   $0x1,-0x24(%rbp)
mov    -0x58(%rbp),%rax
shl    $0x8,%rax
mov    -0x50(%rbp),%rcx
and    $0xff,%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    12d3 <strtoul+0x193>
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <__unlikely@plt>
cmp    $0x0,%rax
je     1459 <strtoul+0x319>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    0x2b8a(%rip),%rax
mov    (%rax),%ecx
mov    0x2b89(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x30(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     146f <strtoul+0x32f>
mov    -0x40(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x24(%rbp)
je     149e <strtoul+0x35e>
mov    0x2b68(%rip),%rax
mov    (%rax),%ecx
mov    0x2b4f(%rip),%rax
mov    %ecx,(%rax)
mov    0x2b2e(%rip),%rax
movslq (%rax),%rax
mov    %rax,-0x8(%rbp)
jmp    14c7 <strtoul+0x387>
cmpl   $0x0,-0x20(%rbp)
je     14b7 <strtoul+0x377>
xor    %eax,%eax
sub    -0x30(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    14bf <strtoul+0x37f>
mov    -0x30(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x70(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtoul>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %edx,%ebx
mov    %rsi,%r15
mov    %rdi,%r12
mov    %rdi,%rbp
nopl   0x0(%rax)
movsbl 0x0(%rbp),%edi
call   1030 <isspace@plt>
add    $0x1,%rbp
test   %rax,%rax
jne    1160 <strtoul+0x20>
mov    -0x1(%rbp),%al
cmp    $0x2b,%al
je     11ab <strtoul+0x6b>
cmp    $0x2d,%al
jne    11a7 <strtoul+0x67>
movl   $0x0,0xc(%rsp)
test   %ebx,%ebx
jne    11b5 <strtoul+0x75>
mov    $0xa,%eax
mov    %rax,0x10(%rsp)
mov    $0x8,%r14d
cmpb   $0x30,0x0(%rbp)
mov    %rbp,%rbx
je     11cb <strtoul+0x8b>
jmp    1235 <strtoul+0xf5>
add    $0xffffffffffffffff,%rbp
mov    $0x1,%al
mov    %eax,0xc(%rsp)
test   %ebx,%ebx
je     1189 <strtoul+0x49>
mov    %rbx,0x10(%rsp)
cmp    $0x10,%ebx
jne    11f3 <strtoul+0xb3>
mov    $0x10,%r14d
cmpb   $0x30,0x0(%rbp)
jne    11f3 <strtoul+0xb3>
mov    0x1(%rbp),%al
or     $0x20,%al
cmp    $0x78,%al
jne    122a <strtoul+0xea>
lea    0x2(%rbp),%rbx
movsbl 0x2(%rbp),%edi
call   1060 <isxdigit@plt>
test   %rax,%rax
cmove  %rbp,%rbx
mov    $0x10,%eax
cmove  %r14d,%eax
jmp    1230 <strtoul+0xf0>
mov    0x10(%rsp),%rax
add    $0xffffffdb,%eax
xor    %edi,%edi
cmp    $0xffffffdd,%eax
setb   %dil
call   1050 <__unlikely@plt>
mov    %rbp,%rbx
test   %rax,%rax
je     1235 <strtoul+0xf5>
mov    0x2db8(%rip),%rax
mov    (%rax),%eax
mov    0x2db7(%rip),%rcx
mov    %eax,(%rcx)
xor    %eax,%eax
jmp    1376 <strtoul+0x236>
mov    %rbp,%rbx
mov    %r14d,%eax
mov    %rax,0x10(%rsp)
movsbl (%rbx),%edi
call   1040 <__likely@plt>
test   %rax,%rax
mov    %r15,0x20(%rsp)
mov    %r12,0x18(%rsp)
je     1304 <strtoul+0x1c4>
movslq 0x10(%rsp),%r15
xor    %r12d,%r12d
xor    %r14d,%r14d
nopl   0x0(%rax,%rax,1)
movzbl (%rbx),%eax
cmp    $0x61,%al
jb     1270 <strtoul+0x130>
add    $0xa9,%al
jmp    1290 <strtoul+0x150>
nopl   0x0(%rax,%rax,1)
cmp    $0x41,%al
jb     1280 <strtoul+0x140>
add    $0xc9,%al
jmp    1290 <strtoul+0x150>
nopl   0x0(%rax,%rax,1)
lea    -0x30(%rax),%ecx
cmp    $0x3a,%al
movzbl %cl,%eax
mov    $0xff,%ecx
cmovae %ecx,%eax
movzbl %al,%r13d
xor    %edi,%edi
cmp    %r13d,0x10(%rsp)
setle  %dil
call   1050 <__unlikely@plt>
test   %rax,%rax
jne    130a <strtoul+0x1ca>
movzbl %r14b,%eax
imul   %r15,%rax
add    %rax,%r13
shr    $0x8,%r14
imul   %r15,%r14
mov    %r13,%rax
shr    $0x8,%rax
add    %r14,%rax
mov    0x2cf3(%rip),%rcx
mov    (%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
mov    $0x1,%ecx
cmova  %ecx,%r12d
shl    $0x8,%rax
movzbl %r13b,%r14d
or     %rax,%r14
movsbl 0x1(%rbx),%edi
add    $0x1,%rbx
call   1040 <__likely@plt>
test   %rax,%rax
jne    1260 <strtoul+0x120>
jmp    130a <strtoul+0x1ca>
xor    %r14d,%r14d
xor    %r12d,%r12d
xor    %edi,%edi
cmp    %rbp,%rbx
sete   %dil
call   1050 <__unlikely@plt>
test   %rax,%rax
je     1337 <strtoul+0x1f7>
mov    0x2cac(%rip),%rax
mov    (%rax),%eax
mov    0x2cab(%rip),%rcx
mov    %eax,(%rcx)
xor    %r14d,%r14d
mov    0x18(%rsp),%rbx
mov    0x20(%rsp),%rax
test   %rax,%rax
je     1344 <strtoul+0x204>
mov    %rbx,(%rax)
test   %r12d,%r12d
je     1367 <strtoul+0x227>
mov    0x2c98(%rip),%rax
mov    (%rax),%eax
mov    0x2c7f(%rip),%rcx
mov    %eax,(%rcx)
mov    0x2c5e(%rip),%rax
movslq (%rax),%rax
jmp    1376 <strtoul+0x236>
mov    %r14,%rax
neg    %rax
cmpb   $0x0,0xc(%rsp)
cmovne %r14,%rax
add    $0x28,%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 i32 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 i32
%9 = alloca i32
%10 = alloca i64
%11 = alloca i8*
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i8
%15 = alloca i64
%16 = alloca i64
store i8* %0, i8** %5
store i8** %1, i8*** %6
store i32 %2, i32* %7
store i32 0, i32* %8
store i32 0, i32* %9
store i64 0, i64* %10
%17 = load i8*, i8** %5
store i8* %17, i8** %12
br label %18
18: ; preds = %23, %3
%19 = load i8*, i8** %12
%20 = load i8, i8* %19
%21 = call i64 @isspace(i8 signext %20)
%22 = icmp ne i64 %21, 0
br i1 %22, label %23, label %26
23: ; preds = %18
%24 = load i8*, i8** %12
%25 = getelementptr inbounds i8, i8* %24, i32 1
store i8* %25, i8** %12
br label %18
26: ; preds = %18
%27 = load i8*, i8** %12
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 45
br i1 %30, label %31, label %34
31: ; preds = %26
store i32 1, i32* %8
%32 = load i8*, i8** %12
%33 = getelementptr inbounds i8, i8* %32, i32 1
store i8* %33, i8** %12
br label %43
34: ; preds = %26
%35 = load i8*, i8** %12
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 43
br i1 %38, label %39, label %42
39: ; preds = %34
%40 = load i8*, i8** %12
%41 = getelementptr inbounds i8, i8* %40, i32 1
store i8* %41, i8** %12
br label %42
42: ; preds = %39, %34
br label %43
43: ; preds = %42, %31
%44 = load i8*, i8** %12
store i8* %44, i8** %11
%45 = load i32, i32* %7
%46 = icmp eq i32 %45, 16
br i1 %46, label %47, label %54
47: ; preds = %43
%48 = load i8*, i8** %12
%49 = getelementptr inbounds i8, i8* %48, i64 0
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp eq i32 %51, 48
br i1 %52, label %53, label %54
53: ; preds = %47
br label %74
54: ; preds = %47, %43
%55 = load i32, i32* %7
%56 = icmp ne i32 %55, 0
br i1 %56, label %57, label %68
57: ; preds = %54
%58 = load i32, i32* %7
%59 = sub nsw i32 %58, 2
store i32 %59, i32* %13
%60 = load i32, i32* %13
%61 = icmp ugt i32 %60, 34
%62 = zext i1 %61 to i32
%63 = call i64 @__unlikely(i32 %62)
%64 = icmp ne i64 %63, 0
br i1 %64, label %65, label %67
65: ; preds = %57
%66 = load i32, i32* @EINVAL
store i32 %66, i32* @errno
store i64 0, i64* %4
br label %212
67: ; preds = %57
br label %98
68: ; preds = %54
%69 = load i8*, i8** %12
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = icmp eq i32 %71, 48
br i1 %72, label %73, label %96
73: ; preds = %68
store i32 8, i32* %7
br label %74
74: ; preds = %73, %53
%75 = load i8*, i8** %12
%76 = getelementptr inbounds i8, i8* %75, i64 1
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = icmp eq i32 %78, 120
br i1 %79, label %86, label %80
80: ; preds = %74
%81 = load i8*, i8** %12
%82 = getelementptr inbounds i8, i8* %81, i64 1
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = icmp eq i32 %84, 88
br i1 %85, label %86, label %95
86: ; preds = %80, %74
%87 = load i8*, i8** %12
%88 = getelementptr inbounds i8, i8* %87, i64 2
%89 = load i8, i8* %88
%90 = call i64 @isxdigit(i8 signext %89)
%91 = icmp ne i64 %90, 0
br i1 %91, label %92, label %95
92: ; preds = %86
%93 = load i8*, i8** %12
%94 = getelementptr inbounds i8, i8* %93, i64 2
store i8* %94, i8** %12
store i32 16, i32* %7
br label %95
95: ; preds = %92, %86, %80
br label %97
96: ; preds = %68
store i32 10, i32* %7
br label %97
97: ; preds = %96, %95
br label %98
98: ; preds = %97, %67
br label %99
99: ; preds = %171, %98
%100 = load i8*, i8** %12
%101 = load i8, i8* %100
%102 = call i64 @__likely(i8 signext %101)
%103 = icmp ne i64 %102, 0
br i1 %103, label %104, label %179
104: ; preds = %99
%105 = load i8*, i8** %12
%106 = load i8, i8* %105
store i8 %106, i8* %14
%107 = load i8, i8* %14
%108 = zext i8 %107 to i32
%109 = icmp sge i32 %108, 97
br i1 %109, label %110, label %115
110: ; preds = %104
%111 = load i8, i8* %14
%112 = zext i8 %111 to i32
%113 = sub nsw i32 %112, 97
%114 = add nsw i32 %113, 10
br label %137
115: ; preds = %104
%116 = load i8, i8* %14
%117 = zext i8 %116 to i32
%118 = icmp sge i32 %117, 65
br i1 %118, label %119, label %124
119: ; preds = %115
%120 = load i8, i8* %14
%121 = zext i8 %120 to i32
%122 = sub nsw i32 %121, 65
%123 = add nsw i32 %122, 10
br label %135
124: ; preds = %115
%125 = load i8, i8* %14
%126 = zext i8 %125 to i32
%127 = icmp sle i32 %126, 57
br i1 %127, label %128, label %132
128: ; preds = %124
%129 = load i8, i8* %14
%130 = zext i8 %129 to i32
%131 = sub nsw i32 %130, 48
br label %133
132: ; preds = %124
br label %133
133: ; preds = %132, %128
%134 = phi i32 [ %131, %128 ], [ 255, %132 ]
br label %135
135: ; preds = %133, %119
%136 = phi i32 [ %123, %119 ], [ %134, %133 ]
br label %137
137: ; preds = %135, %110
%138 = phi i32 [ %114, %110 ], [ %136, %135 ]
%139 = trunc i32 %138 to i8
store i8 %139, i8* %14
%140 = load i8, i8* %14
%141 = zext i8 %140 to i32
%142 = load i32, i32* %7
%143 = icmp sge i32 %141, %142
%144 = zext i1 %143 to i32
%145 = call i64 @__unlikely(i32 %144)
%146 = icmp ne i64 %145, 0
br i1 %146, label %147, label %148
147: ; preds = %137
br label %179
148: ; preds = %137
%149 = load i64, i64* %10
%150 = and i64 %149, 255
%151 = load i32, i32* %7
%152 = sext i32 %151 to i64
%153 = mul i64 %150, %152
%154 = load i8, i8* %14
%155 = zext i8 %154 to i64
%156 = add i64 %153, %155
store i64 %156, i64* %15
%157 = load i64, i64* %10
%158 = lshr i64 %157, 8
%159 = load i32, i32* %7
%160 = sext i32 %159 to i64
%161 = mul i64 %158, %160
%162 = load i64, i64* %15
%163 = lshr i64 %162, 8
%164 = add i64 %161, %163
store i64 %164, i64* %16
%165 = load i64, i64* %16
%166 = load i32, i32* @ULONG_MAX
%167 = ashr i32 %166, 8
%168 = sext i32 %167 to i64
%169 = icmp ugt i64 %165, %168
br i1 %169, label %170, label %171
170: ; preds = %148
store i32 1, i32* %9
br label %171
171: ; preds = %170, %148
%172 = load i64, i64* %16
%173 = shl i64 %172, 8
%174 = load i64, i64* %15
%175 = and i64 %174, 255
%176 = add i64 %173, %175
store i64 %176, i64* %10
%177 = load i8*, i8** %12
%178 = getelementptr inbounds i8, i8* %177, i32 1
store i8* %178, i8** %12
br label %99
179: ; preds = %147, %99
%180 = load i8*, i8** %12
%181 = load i8*, i8** %11
%182 = icmp eq i8* %180, %181
%183 = zext i1 %182 to i32
%184 = call i64 @__unlikely(i32 %183)
%185 = icmp ne i64 %184, 0
br i1 %185, label %186, label %189
186: ; preds = %179
%187 = load i8*, i8** %5
store i8* %187, i8** %12
%188 = load i32, i32* @EINVAL
store i32 %188, i32* @errno
store i64 0, i64* %10
br label %189
189: ; preds = %186, %179
%190 = load i8**, i8*** %6
%191 = icmp ne i8** %190, null
br i1 %191, label %192, label %195
192: ; preds = %189
%193 = load i8*, i8** %12
%194 = load i8**, i8*** %6
store i8* %193, i8** %194
br label %195
195: ; preds = %192, %189
%196 = load i32, i32* %9
%197 = icmp ne i32 %196, 0
br i1 %197, label %198, label %202
198: ; preds = %195
%199 = load i32, i32* @ERANGE
store i32 %199, i32* @errno
%200 = load i32, i32* @ULONG_MAX
%201 = sext i32 %200 to i64
store i64 %201, i64* %4
br label %212
202: ; preds = %195
%203 = load i32, i32* %8
%204 = icmp ne i32 %203, 0
br i1 %204, label %205, label %208
205: ; preds = %202
%206 = load i64, i64* %10
%207 = sub i64 0, %206
br label %210
208: ; preds = %202
%209 = load i64, i64* %10
br label %210
210: ; preds = %208, %205
%211 = phi i64 [ %207, %205 ], [ %209, %208 ]
store i64 %211, i64* %4
br label %212
212: ; preds = %210, %198, %65
%213 = load i64, i64* %4
ret i64 %213
}

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