long superatol(char *s) {
  long int n = 0, r = 10, x, mul = 1;
  char *c = s;
  for (; *c; c++) {
    x = (*c & 223) - 16;
    if (x == -3) {
      mul = -mul;
    } else if (x == 72 && r == 10) {
      n -= (r = n);
      if (!r)
        r = 16;
      if (r < 2 || r > 36)
        return -1;
    } else {
      if (x > 10)
        x -= 39;
      if (x >= r)
        return -1;
      n = (n * r) + x;
    }
  }
  return (mul * n);
}


x86 assembly (clang, -O0):
<superatol>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
movq   $0xa,-0x20(%rbp)
movq   $0x1,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmpb   $0x0,(%rax)
je     1226 <superatol+0x126>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
and    $0xdf,%eax
sub    $0x10,%eax
cltq
mov    %rax,-0x28(%rbp)
cmpq   $0xfffffffffffffffd,-0x28(%rbp)
jne    1164 <superatol+0x64>
xor    %eax,%eax
sub    -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1210 <superatol+0x110>
cmpq   $0x48,-0x28(%rbp)
jne    11c8 <superatol+0xc8>
cmpq   $0xa,-0x20(%rbp)
jne    11c8 <superatol+0xc8>
mov    -0x18(%rbp),%rcx
mov    %rcx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    11a0 <superatol+0xa0>
movq   $0x10,-0x20(%rbp)
cmpq   $0x2,-0x20(%rbp)
jl     11b6 <superatol+0xb6>
cmpq   $0x24,-0x20(%rbp)
jle    11c3 <superatol+0xc3>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    1233 <superatol+0x133>
jmp    120b <superatol+0x10b>
cmpq   $0xa,-0x28(%rbp)
jle    11df <superatol+0xdf>
mov    -0x28(%rbp),%rax
sub    $0x27,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jl     11fa <superatol+0xfa>
movq   $0xffffffffffffffff,-0x8(%rbp)
ff
jmp    1233 <superatol+0x133>
mov    -0x18(%rbp),%rax
imul   -0x20(%rbp),%rax
add    -0x28(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    1210 <superatol+0x110>
jmp    1215 <superatol+0x115>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1128 <superatol+0x28>
mov    -0x30(%rbp),%rax
imul   -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<superatol>:
mov    (%rdi),%dl
test   %dl,%dl
je     11a2 <superatol+0xa2>
add    $0x1,%rdi
mov    $0xa,%r10d
mov    $0x1,%eax
xor    %r9d,%r9d
mov    $0x10,%r8d
jmp    113e <superatol+0x3e>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
neg    %rax
movzbl (%rdi),%edx
add    $0x1,%rdi
test   %dl,%dl
je     119d <superatol+0x9d>
and    $0xdf,%dl
movzbl %dl,%esi
lea    -0x10(%rsi),%rdx
cmp    $0xfffffffffffffffd,%rdx
je     1130 <superatol+0x30>
cmp    $0x48,%rdx
jne    1180 <superatol+0x80>
cmp    $0xa,%r10
jne    1180 <superatol+0x80>
test   %r9,%r9
mov    %r9,%r10
cmove  %r8,%r10
lea    -0x25(%r10),%rdx
cmp    $0xffffffffffffffdd,%rdx
jb     11a5 <superatol+0xa5>
xor    %r9d,%r9d
jmp    1133 <superatol+0x33>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rsi,%rcx
add    $0xffffffffffffffc9,%rcx
cmp    $0x1b,%sil
cmovae %rcx,%rdx
cmp    %r10,%rdx
jge    11a5 <superatol+0xa5>
imul   %r10,%r9
add    %rdx,%r9
jmp    1133 <superatol+0x33>
imul   %r9,%rax
ret
xor    %eax,%eax
ret
mov    $0xffffffffffffffff,%rax
ret

LLVM IR (-O0):
define i64 @superatol(i8* %0) {
%2 = alloca i64
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i8*
store i8* %0, i8** %3
store i64 0, i64* %4
store i64 10, i64* %5
store i64 1, i64* %7
%9 = load i8*, i8** %3
store i8* %9, i8** %8
br label %10
10: ; preds = %66, %1
%11 = load i8*, i8** %8
%12 = load i8, i8* %11
%13 = icmp ne i8 %12, 0
br i1 %13, label %14, label %69
14: ; preds = %10
%15 = load i8*, i8** %8
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = and i32 %17, 223
%19 = sub nsw i32 %18, 16
%20 = sext i32 %19 to i64
store i64 %20, i64* %6
%21 = load i64, i64* %6
%22 = icmp eq i64 %21, -3
br i1 %22, label %23, label %26
23: ; preds = %14
%24 = load i64, i64* %7
%25 = sub nsw i64 0, %24
store i64 %25, i64* %7
br label %65
26: ; preds = %14
%27 = load i64, i64* %6
%28 = icmp eq i64 %27, 72
br i1 %28, label %29, label %47
29: ; preds = %26
%30 = load i64, i64* %5
%31 = icmp eq i64 %30, 10
br i1 %31, label %32, label %47
32: ; preds = %29
%33 = load i64, i64* %4
store i64 %33, i64* %5
%34 = load i64, i64* %4
%35 = sub nsw i64 %34, %33
store i64 %35, i64* %4
%36 = load i64, i64* %5
%37 = icmp ne i64 %36, 0
br i1 %37, label %39, label %38
38: ; preds = %32
store i64 16, i64* %5
br label %39
39: ; preds = %38, %32
%40 = load i64, i64* %5
%41 = icmp slt i64 %40, 2
br i1 %41, label %45, label %42
42: ; preds = %39
%43 = load i64, i64* %5
%44 = icmp sgt i64 %43, 36
br i1 %44, label %45, label %46
45: ; preds = %42, %39
store i64 -1, i64* %2
br label %73
46: ; preds = %42
br label %64
47: ; preds = %29, %26
%48 = load i64, i64* %6
%49 = icmp sgt i64 %48, 10
br i1 %49, label %50, label %53
50: ; preds = %47
%51 = load i64, i64* %6
%52 = sub nsw i64 %51, 39
store i64 %52, i64* %6
br label %53
53: ; preds = %50, %47
%54 = load i64, i64* %6
%55 = load i64, i64* %5
%56 = icmp sge i64 %54, %55
br i1 %56, label %57, label %58
57: ; preds = %53
store i64 -1, i64* %2
br label %73
58: ; preds = %53
%59 = load i64, i64* %4
%60 = load i64, i64* %5
%61 = mul nsw i64 %59, %60
%62 = load i64, i64* %6
%63 = add nsw i64 %61, %62
store i64 %63, i64* %4
br label %64
64: ; preds = %58, %46
br label %65
65: ; preds = %64, %23
br label %66
66: ; preds = %65
%67 = load i8*, i8** %8
%68 = getelementptr inbounds i8, i8* %67, i32 1
store i8* %68, i8** %8
br label %10
69: ; preds = %10
%70 = load i64, i64* %7
%71 = load i64, i64* %4
%72 = mul nsw i64 %70, %71
store i64 %72, i64* %2
br label %73
73: ; preds = %69, %57, %45
%74 = load i64, i64* %2
ret i64 %74
}

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