char *scan2(char *p) {
  char *q;
  {
    char yych;
  startLabel:
    if ((p - p) < 2)
      ;
    yych = *p;
    switch (yych) {
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy18;
    default:
      goto yy20;
    }
  yy18:
    ++p;
    yych = *p;
    goto yy23;
  yy19 : { return p; }
  yy20:
    ++p;
    { return ((char *)0); }
  yy22:
    ++p;
    if (p <= p)
      ;
    yych = *p;
  yy23:
    switch (yych) {
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy22;
    default:
      goto yy19;
    }
  }
}


x86 assembly (clang, -O0):
<scan2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
cmp    $0x2,%rax
jge    1122 <scan2+0x22>
jmp    1122 <scan2+0x22>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
add    $0xffffffd0,%eax
sub    $0x9,%eax
ja     1145 <scan2+0x45>
jmp    1140 <scan2+0x40>
jmp    114a <scan2+0x4a>
jmp    1171 <scan2+0x71>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
jmp    11b2 <scan2+0xb2>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    11d1 <scan2+0xd1>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
movq   $0x0,-0x8(%rbp)
jmp    11d1 <scan2+0xd1>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x10(%rbp),%rax
ja     11a9 <scan2+0xa9>
jmp    11a9 <scan2+0xa9>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
add    $0xffffffd0,%eax
sub    $0x9,%eax
ja     11cc <scan2+0xcc>
jmp    11c7 <scan2+0xc7>
jmp    118a <scan2+0x8a>
jmp    1164 <scan2+0x64>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<scan2>:
movsbl (%rdi),%ecx
add    $0xffffffd0,%ecx
cmp    $0x9,%ecx
ja     1121 <scan2+0x21>
mov    %rdi,%rax
xchg   %ax,%ax
movsbl 0x1(%rax),%ecx
add    $0x1,%rax
add    $0xffffffd0,%ecx
cmp    $0xa,%ecx
jb     1110 <scan2+0x10>
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
define i8* @scan2(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8
store i8* %0, i8** %3
br label %6
6: ; preds = %1
%7 = load i8*, i8** %3
%8 = load i8*, i8** %3
%9 = ptrtoint i8* %7 to i64
%10 = ptrtoint i8* %8 to i64
%11 = sub i64 %9, %10
%12 = icmp slt i64 %11, 2
br i1 %12, label %13, label %14
13: ; preds = %6
br label %14
14: ; preds = %13, %6
%15 = load i8*, i8** %3
%16 = load i8, i8* %15
store i8 %16, i8* %5
%17 = load i8, i8* %5
%18 = sext i8 %17 to i32
switch i32 %18, label %20 [
i32 48, label %19
i32 49, label %19
i32 50, label %19
i32 51, label %19
i32 52, label %19
i32 53, label %19
i32 54, label %19
i32 55, label %19
i32 56, label %19
i32 57, label %19
]
19: ; preds = %14, %14, %14, %14, %14, %14, %14, %14, %14, %14
br label %21
20: ; preds = %14
br label %28
21: ; preds = %19
%22 = load i8*, i8** %3
%23 = getelementptr inbounds i8, i8* %22, i32 1
store i8* %23, i8** %3
%24 = load i8*, i8** %3
%25 = load i8, i8* %24
store i8 %25, i8* %5
br label %41
26: ; preds = %45
%27 = load i8*, i8** %3
store i8* %27, i8** %2
br label %46
28: ; preds = %20
%29 = load i8*, i8** %3
%30 = getelementptr inbounds i8, i8* %29, i32 1
store i8* %30, i8** %3
store i8* null, i8** %2
br label %46
31: ; preds = %44
%32 = load i8*, i8** %3
%33 = getelementptr inbounds i8, i8* %32, i32 1
store i8* %33, i8** %3
%34 = load i8*, i8** %3
%35 = load i8*, i8** %3
%36 = icmp ule i8* %34, %35
br i1 %36, label %37, label %38
37: ; preds = %31
br label %38
38: ; preds = %37, %31
%39 = load i8*, i8** %3
%40 = load i8, i8* %39
store i8 %40, i8* %5
br label %41
41: ; preds = %38, %21
%42 = load i8, i8* %5
%43 = sext i8 %42 to i32
switch i32 %43, label %45 [
i32 48, label %44
i32 49, label %44
i32 50, label %44
i32 51, label %44
i32 52, label %44
i32 53, label %44
i32 54, label %44
i32 55, label %44
i32 56, label %44
i32 57, label %44
]
44: ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
br label %31
45: ; preds = %41
br label %26
46: ; preds = %28, %26
%47 = load i8*, i8** %2
ret i8* %47
}

LLVM IR (-O2):
define i8* @scan2(i8* %0) {
%2 = load i8, i8* %0
%3 = sext i8 %2 to i32
%4 = add nsw i32 %3, -48
%5 = icmp ult i32 %4, 10
br i1 %5, label %6, label %13
6: ; preds = %1, %6
%7 = phi i8* [ %8, %6 ], [ %0, %1 ]
%8 = getelementptr inbounds i8, i8* %7, i64 1
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = add nsw i32 %10, -48
%12 = icmp ult i32 %11, 10
br i1 %12, label %6, label %13
13: ; preds = %6, %1
%14 = phi i8* [ null, %1 ], [ %8, %6 ]
ret i8* %14
}