long my_atol(char *str) {
  long nb;
  int i;
  i = (str[0] == '-') ? 1 : 0;
  nb = 0;
  while (str[i]) {
    if (str[i] >= '0' && str[i] <= '9') {
      nb *= 10;
      nb -= str[i] - '0';
    } else {
      if (str[0] != '-')
        nb = -nb;
      return (nb);
    }
    i++;
  }
  if (str[0] != '-')
    nb = -nb;
  return (nb);
}


x86 assembly (clang, -O0):
<my_atol>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
mov    $0x1,%ecx
cmp    $0x2d,%edx
cmove  %ecx,%eax
mov    %eax,-0x1c(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     11c3 <my_atol+0xc3>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     118e <my_atol+0x8e>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     118e <my_atol+0x8e>
imul   $0xa,-0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
sub    $0x30,%eax
movslq %eax,%rcx
mov    -0x18(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x18(%rbp)
jmp    11b5 <my_atol+0xb5>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     11a8 <my_atol+0xa8>
xor    %eax,%eax
sub    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11e5 <my_atol+0xe5>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1127 <my_atol+0x27>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     11dd <my_atol+0xdd>
xor    %eax,%eax
sub    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<my_atol>:
mov    (%rdi),%cl
xor    %eax,%eax
cmp    $0x2d,%cl
sete   %al
mov    (%rdi,%rax,1),%sil
test   %sil,%sil
je     1148 <my_atol+0x48>
add    %rdi,%rax
add    $0x1,%rax
xor    %edx,%edx
nopl   0x0(%rax)
lea    -0x30(%rsi),%edi
cmp    $0x9,%dil
ja     114a <my_atol+0x4a>
add    %rdx,%rdx
lea    (%rdx,%rdx,4),%rdx
movzbl %sil,%esi
add    $0xffffffd0,%esi
sub    %rsi,%rdx
movzbl (%rax),%esi
add    $0x1,%rax
test   %sil,%sil
jne    1120 <my_atol+0x20>
jmp    114a <my_atol+0x4a>
xor    %edx,%edx
mov    %rdx,%rax
neg    %rax
cmp    $0x2d,%cl
cmove  %rdx,%rax
ret

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

LLVM IR (-O2):
define i64 @my_atol(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 45
%4 = zext i1 %3 to i64
%5 = getelementptr inbounds i8, i8* %0, i64 %4
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 0
br i1 %7, label %24, label %8
8: ; preds = %1, %14
%9 = phi i64 [ %20, %14 ], [ %4, %1 ]
%10 = phi i8 [ %22, %14 ], [ %6, %1 ]
%11 = phi i64 [ %19, %14 ], [ 0, %1 ]
%12 = add i8 %10, -48
%13 = icmp ult i8 %12, 10
br i1 %13, label %14, label %24
14: ; preds = %8
%15 = zext i8 %10 to i64
%16 = mul nsw i64 %11, 10
%17 = add nuw nsw i64 %15, 4294967248
%18 = and i64 %17, 4294967295
%19 = sub nsw i64 %16, %18
%20 = add nuw i64 %9, 1
%21 = getelementptr inbounds i8, i8* %0, i64 %20
%22 = load i8, i8* %21
%23 = icmp eq i8 %22, 0
br i1 %23, label %24, label %8
24: ; preds = %14, %8, %1
%25 = phi i64 [ 0, %1 ], [ %11, %8 ], [ %19, %14 ]
%26 = sub nsw i64 0, %25
%27 = select i1 %3, i64 %25, i64 %26
ret i64 %27
}