#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 ULLONG_MAX;
int /*<<< orphan*/ errno;
scalar_t__ isspace(char const);
scalar_t__ isxdigit(char const);
unsigned long long int strtoull(const char *ptr, char **endptr, int base) {
  int neg = 0, overflow = 0;
  long 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 (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 (*nptr) {
    register unsigned char c = *nptr;
    c = (c >= 'a'   ? c - 'a' + 10
         : c >= 'A' ? c - 'A' + 10
         : c <= '9' ? c - '0'
                    : 0xFF);
    if (c >= base) {
      break;
    }
    {
      register unsigned long x = (v & 0xFF) * base + c;
      register unsigned long long w = (v >> 8) * base + (x >> 8);
      if (w > (ULLONG_MAX >> 8)) {
        overflow = 1;
      }
      v = (w << 8) + (x & 0xFF);
    }
    ++nptr;
  }
  if (nptr == orig) {
    nptr = ptr;
    errno = EINVAL;
    v = 0;
  }
  if (endptr != NULL) {
    *endptr = (char *)nptr;
  }
  if (overflow) {
    errno = ERANGE;
    return ULLONG_MAX;
  }
  return (neg ? -v : v);
}


x86 assembly (clang, -O0):
<strtoull>:
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     1178 <strtoull+0x58>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    1151 <strtoull+0x31>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11a0 <strtoull+0x80>
movl   $0x1,-0x20(%rbp)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11c1 <strtoull+0xa1>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
jne    11bc <strtoull+0x9c>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    11c1 <strtoull+0xa1>
mov    -0x40(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x10,-0x1c(%rbp)
jne    11e8 <strtoull+0xc8>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    11e8 <strtoull+0xc8>
jmp    1240 <strtoull+0x120>
cmpl   $0x0,-0x1c(%rbp)
je     1229 <strtoull+0x109>
mov    -0x1c(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x22,-0x44(%rbp)
jbe    1224 <strtoull+0x104>
mov    0x2dbc(%rip),%rax
mov    (%rax),%ecx
mov    0x2dbb(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    146b <strtoull+0x34b>
jmp    129d <strtoull+0x17d>
mov    -0x40(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1291 <strtoull+0x171>
movl   $0x8,-0x1c(%rbp)
mov    -0x40(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     1262 <strtoull+0x142>
mov    -0x40(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    128c <strtoull+0x16c>
mov    -0x40(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1040 <isxdigit@plt>
cmp    $0x0,%rax
je     128c <strtoull+0x16c>
mov    -0x40(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x40(%rbp)
movl   $0x10,-0x1c(%rbp)
jmp    1298 <strtoull+0x178>
movl   $0xa,-0x1c(%rbp)
jmp    129d <strtoull+0x17d>
jmp    12a2 <strtoull+0x182>
mov    -0x40(%rbp),%rax
cmpb   $0x0,(%rax)
je     13cd <strtoull+0x2ad>
mov    -0x40(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x45(%rbp)
movzbl -0x45(%rbp),%eax
cmp    $0x61,%eax
jl     12d7 <strtoull+0x1b7>
movzbl -0x45(%rbp),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x5c(%rbp)
jmp    132b <strtoull+0x20b>
movzbl -0x45(%rbp),%eax
cmp    $0x41,%eax
jl     12f6 <strtoull+0x1d6>
movzbl -0x45(%rbp),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x60(%rbp)
jmp    1325 <strtoull+0x205>
movzbl -0x45(%rbp),%eax
cmp    $0x39,%eax
jg     1312 <strtoull+0x1f2>
movzbl -0x45(%rbp),%eax
sub    $0x30,%eax
mov    %eax,-0x64(%rbp)
jmp    131f <strtoull+0x1ff>
mov    $0xff,%eax
mov    %eax,-0x64(%rbp)
jmp    131f <strtoull+0x1ff>
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
jl     1343 <strtoull+0x223>
jmp    13cd <strtoull+0x2ad>
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
sar    $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    0x2c5e(%rip),%rcx
mov    (%rcx),%ecx
sar    $0x8,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jbe    13a2 <strtoull+0x282>
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    12a2 <strtoull+0x182>
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
jne    13fd <strtoull+0x2dd>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    0x2bde(%rip),%rax
mov    (%rax),%ecx
mov    0x2bdd(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x30(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1413 <strtoull+0x2f3>
mov    -0x40(%rbp),%rcx
mov    -0x18(%rbp),%rax
mov    %rcx,(%rax)
cmpl   $0x0,-0x24(%rbp)
je     1442 <strtoull+0x322>
mov    0x2bbc(%rip),%rax
mov    (%rax),%ecx
mov    0x2ba3(%rip),%rax
mov    %ecx,(%rax)
mov    0x2bb2(%rip),%rax
movslq (%rax),%rax
mov    %rax,-0x8(%rbp)
jmp    146b <strtoull+0x34b>
cmpl   $0x0,-0x20(%rbp)
je     145b <strtoull+0x33b>
xor    %eax,%eax
sub    -0x30(%rbp),%rax
mov    %rax,-0x70(%rbp)
jmp    1463 <strtoull+0x343>
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):
<strtoull>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r12d
mov    %rsi,%r14
mov    %rdi,%r15
mov    %rdi,%rbx
nopw   0x0(%rax,%rax,1)
movsbl (%rbx),%edi
call   1030 <isspace@plt>
add    $0x1,%rbx
test   %rax,%rax
jne    1140 <strtoull+0x20>
mov    -0x1(%rbx),%al
cmp    $0x2b,%al
je     1283 <strtoull+0x163>
cmp    $0x2d,%al
jne    127f <strtoull+0x15f>
xor    %r13d,%r13d
test   %r12d,%r12d
jne    128f <strtoull+0x16f>
mov    (%rbx),%dil
mov    $0xa,%r8d
mov    $0x8,%r12d
mov    %rbx,%rbp
cmp    $0x30,%dil
je     12b1 <strtoull+0x191>
test   %dil,%dil
je     132e <strtoull+0x20e>
mov    %r8d,%esi
mov    0x2e49(%rip),%rax
mov    (%rax),%eax
sar    $0x8,%eax
movslq %eax,%r11
xor    %eax,%eax
mov    $0x1,%r9d
mov    $0xff,%r10d
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
cmp    $0x61,%dil
jb     11d0 <strtoull+0xb0>
add    $0xa9,%dil
jmp    11ee <strtoull+0xce>
nopl   0x0(%rax)
cmp    $0x41,%dil
jb     11e0 <strtoull+0xc0>
add    $0xc9,%dil
jmp    11ee <strtoull+0xce>
nopl   0x0(%rax)
lea    -0x30(%rdi),%edx
cmp    $0x3a,%dil
movzbl %dl,%edi
cmovae %r10d,%edi
movzbl %dil,%edi
cmp    %edi,%r8d
jle    1232 <strtoull+0x112>
movzbl %cl,%edx
imul   %rsi,%rdx
add    %rdx,%rdi
sar    $0x8,%rcx
imul   %rsi,%rcx
mov    %rdi,%rdx
shr    $0x8,%rdx
add    %rcx,%rdx
cmp    %r11,%rdx
cmova  %r9d,%eax
shl    $0x8,%rdx
movzbl %dil,%ecx
or     %rdx,%rcx
movzbl 0x1(%rbp),%edi
add    $0x1,%rbp
test   %dil,%dil
jne    11c0 <strtoull+0xa0>
cmp    %rbx,%rbp
jne    124e <strtoull+0x12e>
mov    0x2d8a(%rip),%rcx
mov    (%rcx),%ecx
mov    0x2d89(%rip),%rdx
mov    %ecx,(%rdx)
xor    %ecx,%ecx
mov    %r15,%rbp
test   %r14,%r14
je     1256 <strtoull+0x136>
mov    %rbp,(%r14)
test   %eax,%eax
je     12ff <strtoull+0x1df>
mov    0x2d7b(%rip),%rax
mov    (%rax),%eax
mov    0x2d62(%rip),%rcx
mov    %eax,(%rcx)
mov    0x2d71(%rip),%rax
movslq (%rax),%rax
jmp    130c <strtoull+0x1ec>
add    $0xffffffffffffffff,%rbx
mov    $0x1,%r13b
test   %r12d,%r12d
je     1170 <strtoull+0x50>
cmp    $0x10,%r12d
jne    12dc <strtoull+0x1bc>
mov    (%rbx),%dil
mov    $0x10,%r12d
mov    %rbx,%rbp
mov    $0x10,%r8d
cmp    $0x30,%dil
jne    118c <strtoull+0x6c>
mov    0x1(%rbx),%al
or     $0x20,%al
cmp    $0x78,%al
jne    131b <strtoull+0x1fb>
lea    0x2(%rbx),%rbp
movsbl 0x2(%rbx),%edi
call   1040 <isxdigit@plt>
test   %rax,%rax
cmove  %rbx,%rbp
mov    $0x10,%eax
cmove  %r12d,%eax
mov    %eax,%r12d
jmp    131e <strtoull+0x1fe>
lea    -0x25(%r12),%eax
mov    %rbx,%rbp
cmp    $0xffffffdc,%eax
ja     131e <strtoull+0x1fe>
mov    0x2cd8(%rip),%rax
mov    (%rax),%eax
mov    0x2cd7(%rip),%rcx
mov    %eax,(%rcx)
xor    %eax,%eax
jmp    130c <strtoull+0x1ec>
mov    %rcx,%rax
neg    %rax
test   %r13b,%r13b
cmovne %rcx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rbx,%rbp
mov    0x0(%rbp),%dil
mov    %r12d,%r8d
test   %dil,%dil
jne    1195 <strtoull+0x75>
xor    %ecx,%ecx
xor    %eax,%eax
cmp    %rbx,%rbp
jne    124e <strtoull+0x12e>
jmp    1237 <strtoull+0x117>

LLVM IR (-O0):
@EINVAL = global i32 0
@errno = global i32 0
@ULLONG_MAX = global i32 0
@ERANGE = global i32 0
define i64 @strtoull(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 %71
54: ; preds = %47, %43
%55 = load i32, i32* %7
%56 = icmp ne i32 %55, 0
br i1 %56, label %57, label %65
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
br i1 %61, label %62, label %64
62: ; preds = %57
%63 = load i32, i32* @EINVAL
store i32 %63, i32* @errno
store i64 0, i64* %4
br label %202
64: ; preds = %57
br label %95
65: ; preds = %54
%66 = load i8*, i8** %12
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = icmp eq i32 %68, 48
br i1 %69, label %70, label %93
70: ; preds = %65
store i32 8, i32* %7
br label %71
71: ; preds = %70, %53
%72 = load i8*, i8** %12
%73 = getelementptr inbounds i8, i8* %72, i64 1
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 120
br i1 %76, label %83, label %77
77: ; preds = %71
%78 = load i8*, i8** %12
%79 = getelementptr inbounds i8, i8* %78, i64 1
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 88
br i1 %82, label %83, label %92
83: ; preds = %77, %71
%84 = load i8*, i8** %12
%85 = getelementptr inbounds i8, i8* %84, i64 2
%86 = load i8, i8* %85
%87 = call i64 @isxdigit(i8 signext %86)
%88 = icmp ne i64 %87, 0
br i1 %88, label %89, label %92
89: ; preds = %83
%90 = load i8*, i8** %12
%91 = getelementptr inbounds i8, i8* %90, i64 2
store i8* %91, i8** %12
store i32 16, i32* %7
br label %92
92: ; preds = %89, %83, %77
br label %94
93: ; preds = %65
store i32 10, i32* %7
br label %94
94: ; preds = %93, %92
br label %95
95: ; preds = %94, %64
br label %96
96: ; preds = %164, %95
%97 = load i8*, i8** %12
%98 = load i8, i8* %97
%99 = icmp ne i8 %98, 0
br i1 %99, label %100, label %172
100: ; preds = %96
%101 = load i8*, i8** %12
%102 = load i8, i8* %101
store i8 %102, i8* %14
%103 = load i8, i8* %14
%104 = zext i8 %103 to i32
%105 = icmp sge i32 %104, 97
br i1 %105, label %106, label %111
106: ; preds = %100
%107 = load i8, i8* %14
%108 = zext i8 %107 to i32
%109 = sub nsw i32 %108, 97
%110 = add nsw i32 %109, 10
br label %133
111: ; preds = %100
%112 = load i8, i8* %14
%113 = zext i8 %112 to i32
%114 = icmp sge i32 %113, 65
br i1 %114, label %115, label %120
115: ; preds = %111
%116 = load i8, i8* %14
%117 = zext i8 %116 to i32
%118 = sub nsw i32 %117, 65
%119 = add nsw i32 %118, 10
br label %131
120: ; preds = %111
%121 = load i8, i8* %14
%122 = zext i8 %121 to i32
%123 = icmp sle i32 %122, 57
br i1 %123, label %124, label %128
124: ; preds = %120
%125 = load i8, i8* %14
%126 = zext i8 %125 to i32
%127 = sub nsw i32 %126, 48
br label %129
128: ; preds = %120
br label %129
129: ; preds = %128, %124
%130 = phi i32 [ %127, %124 ], [ 255, %128 ]
br label %131
131: ; preds = %129, %115
%132 = phi i32 [ %119, %115 ], [ %130, %129 ]
br label %133
133: ; preds = %131, %106
%134 = phi i32 [ %110, %106 ], [ %132, %131 ]
%135 = trunc i32 %134 to i8
store i8 %135, i8* %14
%136 = load i8, i8* %14
%137 = zext i8 %136 to i32
%138 = load i32, i32* %7
%139 = icmp sge i32 %137, %138
br i1 %139, label %140, label %141
140: ; preds = %133
br label %172
141: ; preds = %133
%142 = load i64, i64* %10
%143 = and i64 %142, 255
%144 = load i32, i32* %7
%145 = sext i32 %144 to i64
%146 = mul nsw i64 %143, %145
%147 = load i8, i8* %14
%148 = zext i8 %147 to i64
%149 = add nsw i64 %146, %148
store i64 %149, i64* %15
%150 = load i64, i64* %10
%151 = ashr i64 %150, 8
%152 = load i32, i32* %7
%153 = sext i32 %152 to i64
%154 = mul nsw i64 %151, %153
%155 = load i64, i64* %15
%156 = lshr i64 %155, 8
%157 = add i64 %154, %156
store i64 %157, i64* %16
%158 = load i64, i64* %16
%159 = load i32, i32* @ULLONG_MAX
%160 = ashr i32 %159, 8
%161 = sext i32 %160 to i64
%162 = icmp ugt i64 %158, %161
br i1 %162, label %163, label %164
163: ; preds = %141
store i32 1, i32* %9
br label %164
164: ; preds = %163, %141
%165 = load i64, i64* %16
%166 = shl i64 %165, 8
%167 = load i64, i64* %15
%168 = and i64 %167, 255
%169 = add i64 %166, %168
store i64 %169, i64* %10
%170 = load i8*, i8** %12
%171 = getelementptr inbounds i8, i8* %170, i32 1
store i8* %171, i8** %12
br label %96
172: ; preds = %140, %96
%173 = load i8*, i8** %12
%174 = load i8*, i8** %11
%175 = icmp eq i8* %173, %174
br i1 %175, label %176, label %179
176: ; preds = %172
%177 = load i8*, i8** %5
store i8* %177, i8** %12
%178 = load i32, i32* @EINVAL
store i32 %178, i32* @errno
store i64 0, i64* %10
br label %179
179: ; preds = %176, %172
%180 = load i8**, i8*** %6
%181 = icmp ne i8** %180, null
br i1 %181, label %182, label %185
182: ; preds = %179
%183 = load i8*, i8** %12
%184 = load i8**, i8*** %6
store i8* %183, i8** %184
br label %185
185: ; preds = %182, %179
%186 = load i32, i32* %9
%187 = icmp ne i32 %186, 0
br i1 %187, label %188, label %192
188: ; preds = %185
%189 = load i32, i32* @ERANGE
store i32 %189, i32* @errno
%190 = load i32, i32* @ULLONG_MAX
%191 = sext i32 %190 to i64
store i64 %191, i64* %4
br label %202
192: ; preds = %185
%193 = load i32, i32* %8
%194 = icmp ne i32 %193, 0
br i1 %194, label %195, label %198
195: ; preds = %192
%196 = load i64, i64* %10
%197 = sub nsw i64 0, %196
br label %200
198: ; preds = %192
%199 = load i64, i64* %10
br label %200
200: ; preds = %198, %195
%201 = phi i64 [ %197, %195 ], [ %199, %198 ]
store i64 %201, i64* %4
br label %202
202: ; preds = %200, %188, %62
%203 = load i64, i64* %4
ret i64 %203
}

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