int atoi(const char *s) {
  int v = 0;
  int m = 0;
  switch (*s) {
  case '-':
    m = 1;
  case '+':
    ++s;
  }
  while ((unsigned int)(*s - '0') < 10u)
    v = v * 10 + (*(s++) - '0');
  return m ? -v : v;
}


x86 assembly (clang, -O0):
<atoi>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x14(%rbp)
sub    $0x2b,%eax
je     1146 <atoi+0x46>
jmp    112e <atoi+0x2e>
mov    -0x14(%rbp),%eax
sub    $0x2d,%eax
jne    1152 <atoi+0x52>
jmp    113f <atoi+0x3f>
movl   $0x1,-0x10(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1157 <atoi+0x57>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
cmp    $0xa,%eax
jae    118d <atoi+0x8d>
imul   $0xa,-0xc(%rbp),%eax
mov    -0x8(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
movsbl (%rcx),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
jmp    1157 <atoi+0x57>
cmpl   $0x0,-0x10(%rbp)
je     11a4 <atoi+0xa4>
xor    %eax,%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    11aa <atoi+0xaa>
mov    -0xc(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<atoi>:
movsbl (%rdi),%eax
xor    %ecx,%ecx
cmp    $0x2b,%eax
je     1114 <atoi+0x14>
cmp    $0x2d,%eax
jne    111c <atoi+0x1c>
mov    $0x1,%ecx
movsbl 0x1(%rdi),%eax
add    $0x1,%rdi
add    $0xffffffd0,%eax
xor    %edx,%edx
cmp    $0x9,%eax
ja     1145 <atoi+0x45>
add    $0x1,%rdi
xor    %edx,%edx
nopl   0x0(%rax)
lea    (%rdx,%rdx,4),%edx
lea    (%rax,%rdx,2),%edx
movsbl (%rdi),%eax
add    $0xffffffd0,%eax
add    $0x1,%rdi
cmp    $0xa,%eax
jb     1130 <atoi+0x30>
mov    %edx,%eax
neg    %eax
test   %ecx,%ecx
cmove  %edx,%eax
ret

LLVM IR (-O0):
define i32 @atoi(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i32
store i8* %0, i8** %2
store i32 0, i32* %3
store i32 0, i32* %4
%5 = load i8*, i8** %2
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
switch i32 %7, label %12 [
i32 45, label %8
i32 43, label %9
]
8: ; preds = %1
store i32 1, i32* %4
br label %9
9: ; preds = %1, %8
%10 = load i8*, i8** %2
%11 = getelementptr inbounds i8, i8* %10, i32 1
store i8* %11, i8** %2
br label %12
12: ; preds = %9, %1
br label %13
13: ; preds = %19, %12
%14 = load i8*, i8** %2
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = sub nsw i32 %16, 48
%18 = icmp ult i32 %17, 10
br i1 %18, label %19, label %28
19: ; preds = %13
%20 = load i32, i32* %3
%21 = mul nsw i32 %20, 10
%22 = load i8*, i8** %2
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %2
%24 = load i8, i8* %22
%25 = sext i8 %24 to i32
%26 = sub nsw i32 %25, 48
%27 = add nsw i32 %21, %26
store i32 %27, i32* %3
br label %13
28: ; preds = %13
%29 = load i32, i32* %4
%30 = icmp ne i32 %29, 0
br i1 %30, label %31, label %34
31: ; preds = %28
%32 = load i32, i32* %3
%33 = sub nsw i32 0, %32
br label %36
34: ; preds = %28
%35 = load i32, i32* %3
br label %36
36: ; preds = %34, %31
%37 = phi i32 [ %33, %31 ], [ %35, %34 ]
ret i32 %37
}

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