int numberValidator(const char *YYCURSOR) {
  const char *YYMARKER;
  {
    char yych;
    yych = *YYCURSOR;
    switch (yych) {
    case '-':
      goto yy4;
    case '0':
      goto yy5;
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy6;
    default:
      goto yy2;
    }
  yy2:
    ++YYCURSOR;
  yy3 : { return 0; }
  yy4:
    yych = *(YYMARKER = ++YYCURSOR);
    switch (yych) {
    case '0':
      goto yy7;
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy9;
    default:
      goto yy3;
    }
  yy5:
    yych = *(YYMARKER = ++YYCURSOR);
    switch (yych) {
    case 0x00:
      goto yy11;
    case '.':
      goto yy13;
    case 'E':
    case 'e':
      goto yy14;
    default:
      goto yy3;
    }
  yy6:
    yych = *(YYMARKER = ++YYCURSOR);
    switch (yych) {
    case 0x00:
      goto yy11;
    case '.':
      goto yy13;
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy9;
    case 'E':
    case 'e':
      goto yy14;
    default:
      goto yy3;
    }
  yy7:
    yych = *++YYCURSOR;
    switch (yych) {
    case 0x00:
      goto yy11;
    case '.':
      goto yy13;
    case 'E':
    case 'e':
      goto yy14;
    default:
      goto yy8;
    }
  yy8:
    YYCURSOR = YYMARKER;
    goto yy3;
  yy9:
    ++YYCURSOR;
    yych = *YYCURSOR;
    switch (yych) {
    case 0x00:
      goto yy11;
    case '.':
      goto yy13;
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy9;
    case 'E':
    case 'e':
      goto yy14;
    default:
      goto yy8;
    }
  yy11:
    ++YYCURSOR;
    { return 1; }
  yy13:
    yych = *++YYCURSOR;
    switch (yych) {
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy15;
    default:
      goto yy8;
    }
  yy14:
    yych = *++YYCURSOR;
    switch (yych) {
    case 0x00:
      goto yy8;
    case '+':
    case '-':
      goto yy17;
    default:
      goto yy19;
    }
  yy15:
    ++YYCURSOR;
    yych = *YYCURSOR;
    switch (yych) {
    case 0x00:
      goto yy11;
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy15;
    case 'E':
    case 'e':
      goto yy14;
    default:
      goto yy8;
    }
  yy17:
    yych = *++YYCURSOR;
    if (yych <= 0x00)
      goto yy8;
    goto yy19;
  yy18:
    ++YYCURSOR;
    yych = *YYCURSOR;
  yy19:
    switch (yych) {
    case 0x00:
      goto yy11;
    case '0':
    case '1':
    case '2':
    case '3':
    case '4':
    case '5':
    case '6':
    case '7':
    case '8':
    case '9':
      goto yy18;
    default:
      goto yy8;
    }
  }
}


x86 assembly (clang, -O0):
<numberValidator>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,-0x20(%rbp)
sub    $0x2d,%eax
je     114b <numberValidator+0x4b>
jmp    1126 <numberValidator+0x26>
mov    -0x20(%rbp),%eax
sub    $0x30,%eax
je     1150 <numberValidator+0x50>
jmp    1137 <numberValidator+0x37>
mov    -0x20(%rbp),%eax
add    $0xffffffcf,%eax
sub    $0x9,%eax
jb     1155 <numberValidator+0x55>
jmp    115a <numberValidator+0x5a>
jmp    1177 <numberValidator+0x77>
jmp    11c8 <numberValidator+0xc8>
jmp    123c <numberValidator+0x13c>
jmp    115f <numberValidator+0x5f>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x4(%rbp)
jmp    14d5 <numberValidator+0x3d5>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,-0x24(%rbp)
sub    $0x30,%eax
je     11b9 <numberValidator+0xb9>
jmp    11a5 <numberValidator+0xa5>
mov    -0x24(%rbp),%eax
add    $0xffffffcf,%eax
sub    $0x9,%eax
jb     11be <numberValidator+0xbe>
jmp    11c3 <numberValidator+0xc3>
jmp    1295 <numberValidator+0x195>
jmp    1312 <numberValidator+0x212>
jmp    116b <numberValidator+0x6b>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,-0x28(%rbp)
test   %eax,%eax
je     1228 <numberValidator+0x128>
jmp    11f5 <numberValidator+0xf5>
mov    -0x28(%rbp),%eax
sub    $0x2e,%eax
je     122d <numberValidator+0x12d>
jmp    1206 <numberValidator+0x106>
mov    -0x28(%rbp),%eax
sub    $0x45,%eax
je     1232 <numberValidator+0x132>
jmp    1217 <numberValidator+0x117>
mov    -0x28(%rbp),%eax
sub    $0x65,%eax
je     1232 <numberValidator+0x132>
jmp    1237 <numberValidator+0x137>
jmp    1367 <numberValidator+0x267>
jmp    137f <numberValidator+0x27f>
jmp    13b3 <numberValidator+0x2b3>
jmp    116b <numberValidator+0x6b>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,%ecx
mov    %rcx,-0x30(%rbp)
sub    $0x65,%eax
ja     1290 <numberValidator+0x190>
mov    -0x30(%rbp),%rax
lea    0xd8d(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    1367 <numberValidator+0x267>
jmp    137f <numberValidator+0x27f>
jmp    1312 <numberValidator+0x212>
jmp    13b3 <numberValidator+0x2b3>
jmp    116b <numberValidator+0x6b>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,-0x34(%rbp)
test   %eax,%eax
je     12f1 <numberValidator+0x1f1>
jmp    12be <numberValidator+0x1be>
mov    -0x34(%rbp),%eax
sub    $0x2e,%eax
je     12f6 <numberValidator+0x1f6>
jmp    12cf <numberValidator+0x1cf>
mov    -0x34(%rbp),%eax
sub    $0x45,%eax
je     12fb <numberValidator+0x1fb>
jmp    12e0 <numberValidator+0x1e0>
mov    -0x34(%rbp),%eax
sub    $0x65,%eax
je     12fb <numberValidator+0x1fb>
jmp    1300 <numberValidator+0x200>
jmp    1367 <numberValidator+0x267>
jmp    137f <numberValidator+0x27f>
jmp    13b3 <numberValidator+0x2b3>
jmp    1305 <numberValidator+0x205>
mov    -0x18(%rbp),%rax
mov    %rax,-0x10(%rbp)
jmp    116b <numberValidator+0x6b>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,%ecx
mov    %rcx,-0x40(%rbp)
sub    $0x65,%eax
ja     1362 <numberValidator+0x262>
mov    -0x40(%rbp),%rax
lea    0xe53(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    1367 <numberValidator+0x267>
jmp    137f <numberValidator+0x27f>
jmp    1312 <numberValidator+0x212>
jmp    13b3 <numberValidator+0x2b3>
jmp    1305 <numberValidator+0x205>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
movl   $0x1,-0x4(%rbp)
jmp    14d5 <numberValidator+0x3d5>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
add    $0xffffffd0,%eax
sub    $0x9,%eax
ja     13ae <numberValidator+0x2ae>
jmp    13a9 <numberValidator+0x2a9>
jmp    140d <numberValidator+0x30d>
jmp    1305 <numberValidator+0x205>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,-0x44(%rbp)
test   %eax,%eax
je     13fe <numberValidator+0x2fe>
jmp    13dc <numberValidator+0x2dc>
mov    -0x44(%rbp),%eax
sub    $0x2b,%eax
je     1403 <numberValidator+0x303>
jmp    13ed <numberValidator+0x2ed>
mov    -0x44(%rbp),%eax
sub    $0x2d,%eax
je     1403 <numberValidator+0x303>
jmp    1408 <numberValidator+0x308>
jmp    1305 <numberValidator+0x205>
jmp    145d <numberValidator+0x35d>
jmp    149e <numberValidator+0x39e>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,%ecx
mov    %rcx,-0x50(%rbp)
sub    $0x65,%eax
ja     1458 <numberValidator+0x358>
mov    -0x50(%rbp),%rax
lea    0xef0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    1367 <numberValidator+0x267>
jmp    140d <numberValidator+0x30d>
jmp    13b3 <numberValidator+0x2b3>
jmp    1305 <numberValidator+0x205>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
cmp    $0x0,%eax
jg     1484 <numberValidator+0x384>
jmp    1305 <numberValidator+0x205>
jmp    149e <numberValidator+0x39e>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
mov    %eax,-0x54(%rbp)
test   %eax,%eax
je     14c6 <numberValidator+0x3c6>
jmp    14b2 <numberValidator+0x3b2>
mov    -0x54(%rbp),%eax
add    $0xffffffd0,%eax
sub    $0xa,%eax
jb     14cb <numberValidator+0x3cb>
jmp    14d0 <numberValidator+0x3d0>
jmp    1367 <numberValidator+0x267>
jmp    1489 <numberValidator+0x389>
jmp    1305 <numberValidator+0x205>
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<numberValidator>:
movsbl (%rdi),%ecx
xor    %eax,%eax
lea    -0x31(%rcx),%edx
cmp    $0x9,%edx
jae    1117 <numberValidator+0x17>
movsbl 0x1(%rdi),%ecx
add    $0x1,%rdi
jmp    1182 <numberValidator+0x82>
cmp    $0x30,%ecx
je     1137 <numberValidator+0x37>
cmp    $0x2d,%ecx
jne    121b <numberValidator+0x11b>
movsbl 0x1(%rdi),%ecx
lea    -0x31(%rcx),%edx
cmp    $0x9,%edx
jae    1156 <numberValidator+0x56>
add    $0x1,%rdi
jmp    117b <numberValidator+0x7b>
movsbl 0x1(%rdi),%ecx
add    $0x1,%rdi
cmp    $0x44,%ecx
jg     116c <numberValidator+0x6c>
test   %ecx,%ecx
je     1216 <numberValidator+0x116>
cmp    $0x2e,%ecx
je     11a0 <numberValidator+0xa0>
jmp    121b <numberValidator+0x11b>
cmp    $0x30,%ecx
jne    121b <numberValidator+0x11b>
movsbl 0x2(%rdi),%ecx
add    $0x2,%rdi
cmp    $0x44,%ecx
jle    1144 <numberValidator+0x44>
cmp    $0x45,%ecx
je     11cf <numberValidator+0xcf>
cmp    $0x65,%ecx
je     11cf <numberValidator+0xcf>
jmp    121b <numberValidator+0x11b>
add    $0x1,%rdi
movsbl (%rdi),%ecx
lea    -0x30(%rcx),%edx
cmp    $0xa,%edx
jb     117b <numberValidator+0x7b>
cmp    $0x44,%ecx
jg     11c5 <numberValidator+0xc5>
test   %ecx,%ecx
je     1216 <numberValidator+0x116>
cmp    $0x2e,%ecx
jne    121b <numberValidator+0x11b>
movsbl 0x1(%rdi),%ecx
add    $0xffffffd0,%ecx
cmp    $0x9,%ecx
ja     121b <numberValidator+0x11b>
add    $0x2,%rdi
movsbl (%rdi),%ecx
lea    -0x30(%rcx),%edx
cmp    $0xa,%edx
jae    11c1 <numberValidator+0xc1>
add    $0x1,%rdi
jmp    11b0 <numberValidator+0xb0>
test   %ecx,%ecx
je     1216 <numberValidator+0x116>
cmp    $0x45,%ecx
je     11cf <numberValidator+0xcf>
cmp    $0x65,%ecx
jne    121b <numberValidator+0x11b>
mov    0x1(%rdi),%cl
movsbl %cl,%edx
test   %edx,%edx
je     11f0 <numberValidator+0xf0>
cmp    $0x2b,%edx
je     11e3 <numberValidator+0xe3>
cmp    $0x2d,%edx
jne    11f3 <numberValidator+0xf3>
mov    0x2(%rdi),%cl
test   %cl,%cl
jle    121b <numberValidator+0x11b>
add    $0x2,%rdi
jmp    1203 <numberValidator+0x103>
mov    %edx,%eax
ret
add    $0x1,%rdi
jmp    1203 <numberValidator+0x103>
nopl   0x0(%rax)
movzbl (%rdi),%ecx
add    $0x1,%rdi
movsbl %cl,%ecx
lea    -0x30(%rcx),%edx
cmp    $0xa,%edx
jb     1200 <numberValidator+0x100>
test   %ecx,%ecx
jne    121b <numberValidator+0x11b>
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @numberValidator(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8
store i8* %0, i8** %3
%6 = load i8*, i8** %3
%7 = load i8, i8* %6
store i8 %7, i8* %5
%8 = load i8, i8* %5
%9 = sext i8 %8 to i32
switch i32 %9, label %13 [
i32 45, label %10
i32 48, label %11
i32 49, label %12
i32 50, label %12
i32 51, label %12
i32 52, label %12
i32 53, label %12
i32 54, label %12
i32 55, label %12
i32 56, label %12
i32 57, label %12
]
10: ; preds = %1
br label %18
11: ; preds = %1
br label %27
12: ; preds = %1, %1, %1, %1, %1, %1, %1, %1, %1
br label %37
13: ; preds = %1
br label %14
14: ; preds = %13
%15 = load i8*, i8** %3
%16 = getelementptr inbounds i8, i8* %15, i32 1
store i8* %16, i8** %3
br label %17
17: ; preds = %58, %47, %36, %26, %14
store i32 0, i32* %2
br label %123
18: ; preds = %10
%19 = load i8*, i8** %3
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %3
store i8* %20, i8** %4
%21 = load i8, i8* %20
store i8 %21, i8* %5
%22 = load i8, i8* %5
%23 = sext i8 %22 to i32
switch i32 %23, label %26 [
i32 48, label %24
i32 49, label %25
i32 50, label %25
i32 51, label %25
i32 52, label %25
i32 53, label %25
i32 54, label %25
i32 55, label %25
i32 56, label %25
i32 57, label %25
]
24: ; preds = %18
br label %48
25: ; preds = %18, %18, %18, %18, %18, %18, %18, %18, %18
br label %60
26: ; preds = %18
br label %17
27: ; preds = %11
%28 = load i8*, i8** %3
%29 = getelementptr inbounds i8, i8* %28, i32 1
store i8* %29, i8** %3
store i8* %29, i8** %4
%30 = load i8, i8* %29
store i8 %30, i8* %5
%31 = load i8, i8* %5
%32 = sext i8 %31 to i32
switch i32 %32, label %36 [
i32 0, label %33
i32 46, label %34
i32 69, label %35
i32 101, label %35
]
33: ; preds = %27
br label %72
34: ; preds = %27
br label %75
35: ; preds = %27, %27
br label %83
36: ; preds = %27
br label %17
37: ; preds = %12
%38 = load i8*, i8** %3
%39 = getelementptr inbounds i8, i8* %38, i32 1
store i8* %39, i8** %3
store i8* %39, i8** %4
%40 = load i8, i8* %39
store i8 %40, i8* %5
%41 = load i8, i8* %5
%42 = sext i8 %41 to i32
switch i32 %42, label %47 [
i32 0, label %43
i32 46, label %44
i32 48, label %45
i32 49, label %45
i32 50, label %45
i32 51, label %45
i32 52, label %45
i32 53, label %45
i32 54, label %45
i32 55, label %45
i32 56, label %45
i32 57, label %45
i32 69, label %46
i32 101, label %46
]
43: ; preds = %37
br label %72
44: ; preds = %37
br label %75
45: ; preds = %37, %37, %37, %37, %37, %37, %37, %37, %37, %37
br label %60
46: ; preds = %37, %37
br label %83
47: ; preds = %37
br label %17
48: ; preds = %24
%49 = load i8*, i8** %3
%50 = getelementptr inbounds i8, i8* %49, i32 1
store i8* %50, i8** %3
%51 = load i8, i8* %50
store i8 %51, i8* %5
%52 = load i8, i8* %5
%53 = sext i8 %52 to i32
switch i32 %53, label %57 [
i32 0, label %54
i32 46, label %55
i32 69, label %56
i32 101, label %56
]
54: ; preds = %48
br label %72
55: ; preds = %48
br label %75
56: ; preds = %48, %48
br label %83
57: ; preds = %48
br label %58
58: ; preds = %122, %110, %102, %89, %82, %71, %57
%59 = load i8*, i8** %4
store i8* %59, i8** %3
br label %17
60: ; preds = %69, %45, %25
%61 = load i8*, i8** %3
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %3
%63 = load i8*, i8** %3
%64 = load i8, i8* %63
store i8 %64, i8* %5
%65 = load i8, i8* %5
%66 = sext i8 %65 to i32
switch i32 %66, label %71 [
i32 0, label %67
i32 46, label %68
i32 48, label %69
i32 49, label %69
i32 50, label %69
i32 51, label %69
i32 52, label %69
i32 53, label %69
i32 54, label %69
i32 55, label %69
i32 56, label %69
i32 57, label %69
i32 69, label %70
i32 101, label %70
]
67: ; preds = %60
br label %72
68: ; preds = %60
br label %75
69: ; preds = %60, %60, %60, %60, %60, %60, %60, %60, %60, %60
br label %60
70: ; preds = %60, %60
br label %83
71: ; preds = %60
br label %58
72: ; preds = %120, %99, %67, %54, %43, %33
%73 = load i8*, i8** %3
%74 = getelementptr inbounds i8, i8* %73, i32 1
store i8* %74, i8** %3
store i32 1, i32* %2
br label %123
75: ; preds = %68, %55, %44, %34
%76 = load i8*, i8** %3
%77 = getelementptr inbounds i8, i8* %76, i32 1
store i8* %77, i8** %3
%78 = load i8, i8* %77
store i8 %78, i8* %5
%79 = load i8, i8* %5
%80 = sext i8 %79 to i32
switch i32 %80, label %82 [
i32 48, label %81
i32 49, label %81
i32 50, label %81
i32 51, label %81
i32 52, label %81
i32 53, label %81
i32 54, label %81
i32 55, label %81
i32 56, label %81
i32 57, label %81
]
81: ; preds = %75, %75, %75, %75, %75, %75, %75, %75, %75, %75
br label %92
82: ; preds = %75
br label %58
83: ; preds = %101, %70, %56, %46, %35
%84 = load i8*, i8** %3
%85 = getelementptr inbounds i8, i8* %84, i32 1
store i8* %85, i8** %3
%86 = load i8, i8* %85
store i8 %86, i8* %5
%87 = load i8, i8* %5
%88 = sext i8 %87 to i32
switch i32 %88, label %91 [
i32 0, label %89
i32 43, label %90
i32 45, label %90
]
89: ; preds = %83
br label %58
90: ; preds = %83, %83
br label %103
91: ; preds = %83
br label %117
92: ; preds = %100, %81
%93 = load i8*, i8** %3
%94 = getelementptr inbounds i8, i8* %93, i32 1
store i8* %94, i8** %3
%95 = load i8*, i8** %3
%96 = load i8, i8* %95
store i8 %96, i8* %5
%97 = load i8, i8* %5
%98 = sext i8 %97 to i32
switch i32 %98, label %102 [
i32 0, label %99
i32 48, label %100
i32 49, label %100
i32 50, label %100
i32 51, label %100
i32 52, label %100
i32 53, label %100
i32 54, label %100
i32 55, label %100
i32 56, label %100
i32 57, label %100
i32 69, label %101
i32 101, label %101
]
99: ; preds = %92
br label %72
100: ; preds = %92, %92, %92, %92, %92, %92, %92, %92, %92, %92
br label %92
101: ; preds = %92, %92
br label %83
102: ; preds = %92
br label %58
103: ; preds = %90
%104 = load i8*, i8** %3
%105 = getelementptr inbounds i8, i8* %104, i32 1
store i8* %105, i8** %3
%106 = load i8, i8* %105
store i8 %106, i8* %5
%107 = load i8, i8* %5
%108 = sext i8 %107 to i32
%109 = icmp sle i32 %108, 0
br i1 %109, label %110, label %111
110: ; preds = %103
br label %58
111: ; preds = %103
br label %117
112: ; preds = %121
%113 = load i8*, i8** %3
%114 = getelementptr inbounds i8, i8* %113, i32 1
store i8* %114, i8** %3
%115 = load i8*, i8** %3
%116 = load i8, i8* %115
store i8 %116, i8* %5
br label %117
117: ; preds = %112, %111, %91
%118 = load i8, i8* %5
%119 = sext i8 %118 to i32
switch i32 %119, label %122 [
i32 0, label %120
i32 48, label %121
i32 49, label %121
i32 50, label %121
i32 51, label %121
i32 52, label %121
i32 53, label %121
i32 54, label %121
i32 55, label %121
i32 56, label %121
i32 57, label %121
]
120: ; preds = %117
br label %72
121: ; preds = %117, %117, %117, %117, %117, %117, %117, %117, %117, %117
br label %112
122: ; preds = %117
br label %58
123: ; preds = %72, %17
%124 = load i32, i32* %2
ret i32 %124
}

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