unsigned long long int strtoull(const char *ptr, char **end, int base) {
  unsigned long long ret = 0;
  if (base > 36) {
    goto out;
  }
  while (*ptr) {
    int digit;
    if (*ptr >= '0' && *ptr <= '9' && *ptr < '0' + base) {
      digit = *ptr - '0';
    } else if (*ptr >= 'A' && *ptr < 'A' + base - 10) {
      digit = *ptr - 'A' + 10;
    } else if (*ptr >= 'a' && *ptr < 'a' + base - 10) {
      digit = *ptr - 'a' + 10;
    } else {
      break;
    }
    ret *= base;
    ret += digit;
    ptr++;
  }
out:
  if (end) {
    *end = (char *)ptr;
  }
  return ret;
}


x86 assembly (clang, -O0):
<strtoull>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
cmpl   $0x24,-0x14(%rbp)
jle    1126 <strtoull+0x26>
jmp    1237 <strtoull+0x137>
jmp    112b <strtoull+0x2b>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     1232 <strtoull+0x132>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     117f <strtoull+0x7f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     117f <strtoull+0x7f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    -0x14(%rbp),%ecx
add    $0x30,%ecx
cmp    %ecx,%eax
jge    117f <strtoull+0x7f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
mov    %eax,-0x24(%rbp)
jmp    1208 <strtoull+0x108>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     11bc <strtoull+0xbc>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    -0x14(%rbp),%ecx
add    $0x41,%ecx
sub    $0xa,%ecx
cmp    %ecx,%eax
jge    11bc <strtoull+0xbc>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x41,%eax
add    $0xa,%eax
mov    %eax,-0x24(%rbp)
jmp    1203 <strtoull+0x103>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     11f9 <strtoull+0xf9>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    -0x14(%rbp),%ecx
add    $0x61,%ecx
sub    $0xa,%ecx
cmp    %ecx,%eax
jge    11f9 <strtoull+0xf9>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x61,%eax
add    $0xa,%eax
mov    %eax,-0x24(%rbp)
jmp    11fe <strtoull+0xfe>
jmp    1232 <strtoull+0x132>
jmp    1203 <strtoull+0x103>
jmp    1208 <strtoull+0x108>
movslq -0x14(%rbp),%rax
imul   -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
movslq -0x24(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    112b <strtoull+0x2b>
jmp    1237 <strtoull+0x137>
cmpq   $0x0,-0x10(%rbp)
je     124d <strtoull+0x14d>
mov    -0x8(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strtoull>:
push   %rbx
cmp    $0x24,%edx
jg     116e <strtoull+0x6e>
mov    (%rdi),%r11b
test   %r11b,%r11b
je     116e <strtoull+0x6e>
lea    0x30(%rdx),%r9d
lea    0x37(%rdx),%r8d
movslq %edx,%r10
add    $0x57,%edx
xor    %eax,%eax
jmp    1137 <strtoull+0x37>
add    %ecx,%ebx
imul   %r10,%rax
add    %rbx,%rax
movzbl 0x1(%rdi),%r11d
add    $0x1,%rdi
test   %r11b,%r11b
je     1170 <strtoull+0x70>
movsbl %r11b,%ecx
lea    -0x30(%rcx),%ebx
cmp    $0x9,%bl
ja     114d <strtoull+0x4d>
mov    $0xffffffd0,%ebx
cmp    %ecx,%r9d
jg     1120 <strtoull+0x20>
cmp    $0x41,%r11b
jl     115d <strtoull+0x5d>
mov    $0xffffffc9,%ebx
cmp    %ecx,%r8d
jg     1120 <strtoull+0x20>
cmp    $0x61,%r11b
jl     1170 <strtoull+0x70>
mov    $0xffffffa9,%ebx
cmp    %ecx,%edx
jg     1120 <strtoull+0x20>
jmp    1170 <strtoull+0x70>
xor    %eax,%eax
test   %rsi,%rsi
je     1178 <strtoull+0x78>
mov    %rdi,(%rsi)
pop    %rbx
ret

LLVM IR (-O0):
define i64 @strtoull(i8* %0, i8** %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i64
%8 = alloca i32
store i8* %0, i8** %4
store i8** %1, i8*** %5
store i32 %2, i32* %6
store i64 0, i64* %7
%9 = load i32, i32* %6
%10 = icmp sgt i32 %9, 36
br i1 %10, label %11, label %12
11: ; preds = %3
br label %92
12: ; preds = %3
br label %13
13: ; preds = %80, %12
%14 = load i8*, i8** %4
%15 = load i8, i8* %14
%16 = icmp ne i8 %15, 0
br i1 %16, label %17, label %91
17: ; preds = %13
%18 = load i8*, i8** %4
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp sge i32 %20, 48
br i1 %21, label %22, label %39
22: ; preds = %17
%23 = load i8*, i8** %4
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp sle i32 %25, 57
br i1 %26, label %27, label %39
27: ; preds = %22
%28 = load i8*, i8** %4
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = load i32, i32* %6
%32 = add nsw i32 48, %31
%33 = icmp slt i32 %30, %32
br i1 %33, label %34, label %39
34: ; preds = %27
%35 = load i8*, i8** %4
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = sub nsw i32 %37, 48
store i32 %38, i32* %8
br label %80
39: ; preds = %27, %22, %17
%40 = load i8*, i8** %4
%41 = load i8, i8* %40
%42 = sext i8 %41 to i32
%43 = icmp sge i32 %42, 65
br i1 %43, label %44, label %58
44: ; preds = %39
%45 = load i8*, i8** %4
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = load i32, i32* %6
%49 = add nsw i32 65, %48
%50 = sub nsw i32 %49, 10
%51 = icmp slt i32 %47, %50
br i1 %51, label %52, label %58
52: ; preds = %44
%53 = load i8*, i8** %4
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = sub nsw i32 %55, 65
%57 = add nsw i32 %56, 10
store i32 %57, i32* %8
br label %79
58: ; preds = %44, %39
%59 = load i8*, i8** %4
%60 = load i8, i8* %59
%61 = sext i8 %60 to i32
%62 = icmp sge i32 %61, 97
br i1 %62, label %63, label %77
63: ; preds = %58
%64 = load i8*, i8** %4
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = load i32, i32* %6
%68 = add nsw i32 97, %67
%69 = sub nsw i32 %68, 10
%70 = icmp slt i32 %66, %69
br i1 %70, label %71, label %77
71: ; preds = %63
%72 = load i8*, i8** %4
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = sub nsw i32 %74, 97
%76 = add nsw i32 %75, 10
store i32 %76, i32* %8
br label %78
77: ; preds = %63, %58
br label %91
78: ; preds = %71
br label %79
79: ; preds = %78, %52
br label %80
80: ; preds = %79, %34
%81 = load i32, i32* %6
%82 = sext i32 %81 to i64
%83 = load i64, i64* %7
%84 = mul i64 %83, %82
store i64 %84, i64* %7
%85 = load i32, i32* %8
%86 = sext i32 %85 to i64
%87 = load i64, i64* %7
%88 = add i64 %87, %86
store i64 %88, i64* %7
%89 = load i8*, i8** %4
%90 = getelementptr inbounds i8, i8* %89, i32 1
store i8* %90, i8** %4
br label %13
91: ; preds = %77, %13
br label %92
92: ; preds = %91, %11
%93 = load i8**, i8*** %5
%94 = icmp ne i8** %93, null
br i1 %94, label %95, label %98
95: ; preds = %92
%96 = load i8*, i8** %4
%97 = load i8**, i8*** %5
store i8* %96, i8** %97
br label %98
98: ; preds = %95, %92
%99 = load i64, i64* %7
ret i64 %99
}

LLVM IR (-O2):
define i64 @strtoull(i8* %0, i8** writeonly %1, i32 %2) {
%4 = icmp sgt i32 %2, 36
br i1 %4, label %39, label %5
5: ; preds = %3
%6 = load i8, i8* %0
%7 = icmp eq i8 %6, 0
br i1 %7, label %39, label %8
8: ; preds = %5
%9 = add nsw i32 %2, 48
%10 = add nsw i32 %2, 55
%11 = add nsw i32 %2, 87
%12 = sext i32 %2 to i64
br label %13
13: ; preds = %8, %30
%14 = phi i8 [ %6, %8 ], [ %37, %30 ]
%15 = phi i64 [ 0, %8 ], [ %35, %30 ]
%16 = phi i8* [ %0, %8 ], [ %36, %30 ]
%17 = sext i8 %14 to i32
%18 = add i8 %14, -48
%19 = icmp ult i8 %18, 10
%20 = icmp sgt i32 %9, %17
%21 = select i1 %19, i1 %20, i1 false
br i1 %21, label %30, label %22
22: ; preds = %13
%23 = icmp sgt i8 %14, 64
%24 = icmp sgt i32 %10, %17
%25 = select i1 %23, i1 %24, i1 false
br i1 %25, label %30, label %26
26: ; preds = %22
%27 = icmp sgt i8 %14, 96
%28 = icmp sgt i32 %11, %17
%29 = select i1 %27, i1 %28, i1 false
br i1 %29, label %30, label %39
30: ; preds = %26, %22, %13
%31 = phi i32 [ -48, %13 ], [ -55, %22 ], [ -87, %26 ]
%32 = add nsw i32 %31, %17
%33 = mul i64 %15, %12
%34 = zext i32 %32 to i64
%35 = add i64 %33, %34
%36 = getelementptr inbounds i8, i8* %16, i64 1
%37 = load i8, i8* %36
%38 = icmp eq i8 %37, 0
br i1 %38, label %39, label %13
39: ; preds = %30, %26, %5, %3
%40 = phi i8* [ %0, %3 ], [ %0, %5 ], [ %36, %30 ], [ %16, %26 ]
%41 = phi i64 [ 0, %3 ], [ 0, %5 ], [ %35, %30 ], [ %15, %26 ]
%42 = icmp eq i8** %1, null
br i1 %42, label %44, label %43
43: ; preds = %39
store i8* %40, i8** %1
br label %44
44: ; preds = %43, %39
ret i64 %41
}