int is_number(char *s) {
  int r = 1;
  if ((*s == '+') || (*s == '-'))
    s++;
  if (*s == '0') {
    s++;
    if (*s == 'x') {
      for (s++; *s; s++)
        if (((*s < '0') || (*s > '9')) && ((*s < 'a') || (*s > 'f')) &&
            ((*s < 'A') || (*s > 'F'))) {
          r = 0;
          break;
        }
    } else {
      for (; *s; s++)
        if ((*s < '0') || (*s > '7')) {
          r = 0;
          break;
        }
    }
  } else {
    for (; *s; s++)
      if ((*s < '0') || (*s > '9')) {
        r = 0;
        break;
      }
  }
  return r;
}


x86 assembly (clang, -O0):
<is_number>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x1,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
je     112f <is_number+0x2f>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    113b <is_number+0x3b>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1265 <is_number+0x165>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x78,%eax
jne    1207 <is_number+0x107>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     1202 <is_number+0x102>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     11a0 <is_number+0xa0>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jle    11ec <is_number+0xec>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     11c0 <is_number+0xc0>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x66,%eax
jle    11ec <is_number+0xec>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     11e0 <is_number+0xe0>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x46,%eax
jle    11ec <is_number+0xec>
movl   $0x0,-0xc(%rbp)
jmp    1202 <is_number+0x102>
jmp    11f1 <is_number+0xf1>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1173 <is_number+0x73>
jmp    1260 <is_number+0x160>
jmp    120c <is_number+0x10c>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     125b <is_number+0x15b>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     1239 <is_number+0x139>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x37,%eax
jle    1245 <is_number+0x145>
movl   $0x0,-0xc(%rbp)
jmp    125b <is_number+0x15b>
jmp    124a <is_number+0x14a>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    120c <is_number+0x10c>
jmp    1260 <is_number+0x160>
jmp    12be <is_number+0x1be>
jmp    126a <is_number+0x16a>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     12b9 <is_number+0x1b9>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     1297 <is_number+0x197>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jle    12a3 <is_number+0x1a3>
movl   $0x0,-0xc(%rbp)
jmp    12b9 <is_number+0x1b9>
jmp    12a8 <is_number+0x1a8>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    126a <is_number+0x16a>
jmp    12be <is_number+0x1be>
mov    -0xc(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_number>:
mov    (%rdi),%cl
cmp    $0x2d,%cl
je     110c <is_number+0xc>
cmp    $0x2b,%cl
jne    1113 <is_number+0x13>
mov    0x1(%rdi),%cl
add    $0x1,%rdi
mov    $0x1,%eax
test   %cl,%cl
je     1177 <is_number+0x77>
cmp    $0x30,%cl
jne    117d <is_number+0x7d>
mov    0x1(%rdi),%cl
test   %cl,%cl
je     1177 <is_number+0x77>
cmp    $0x78,%cl
jne    11a5 <is_number+0xa5>
mov    0x2(%rdi),%dl
test   %dl,%dl
je     1177 <is_number+0x77>
add    $0x3,%rdi
movabs $0x3f0000003f,%rcx
jmp    115b <is_number+0x5b>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rdi),%edx
add    $0x1,%rdi
test   %dl,%dl
je     1177 <is_number+0x77>
lea    -0x3a(%rdx),%eax
cmp    $0xf5,%al
ja     1150 <is_number+0x50>
xor    %eax,%eax
add    $0xbf,%dl
cmp    $0x25,%dl
ja     11c3 <is_number+0xc3>
movzbl %dl,%edx
bt     %rdx,%rcx
jb     1150 <is_number+0x50>
jmp    11c3 <is_number+0xc3>
mov    $0x1,%eax
ret
add    $0x1,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0xc6,%cl
cmp    $0xf5,%cl
jbe    11c4 <is_number+0xc4>
movzbl (%rdi),%ecx
add    $0x1,%rdi
test   %cl,%cl
jne    1190 <is_number+0x90>
jmp    11c3 <is_number+0xc3>
add    $0x2,%rdi
nopl   0x0(%rax)
add    $0xc8,%cl
cmp    $0xf8,%cl
jb     11c4 <is_number+0xc4>
movzbl (%rdi),%ecx
add    $0x1,%rdi
test   %cl,%cl
jne    11b0 <is_number+0xb0>
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @is_number(i8* nocapture %0) {
%2 = load i8, i8* %0
switch i8 %2, label %6 [
i8 43, label %3
i8 45, label %3
]
3: ; preds = %1, %1
%4 = getelementptr inbounds i8, i8* %0, i64 1
%5 = load i8, i8* %4
br label %6
6: ; preds = %1, %3
%7 = phi i8 [ %2, %1 ], [ %5, %3 ]
%8 = phi i8* [ %0, %1 ], [ %4, %3 ]
switch i8 %7, label %39 [
i8 48, label %9
i8 0, label %45
]
9: ; preds = %6
%10 = getelementptr inbounds i8, i8* %8, i64 1
%11 = load i8, i8* %10
switch i8 %11, label %27 [
i8 120, label %12
i8 0, label %45
]
12: ; preds = %9
%13 = getelementptr inbounds i8, i8* %8, i64 2
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 0
br i1 %15, label %45, label %16
16: ; preds = %12, %23
%17 = phi i8 [ %25, %23 ], [ %14, %12 ]
%18 = phi i8* [ %24, %23 ], [ %13, %12 ]
%19 = freeze i8 %17
%20 = add i8 %19, -58
%21 = icmp ult i8 %20, -10
br i1 %21, label %22, label %23
22: ; preds = %16
switch i8 %19, label %45 [
i8 102, label %23
i8 101, label %23
i8 100, label %23
i8 99, label %23
i8 98, label %23
i8 97, label %23
i8 70, label %23
i8 69, label %23
i8 68, label %23
i8 67, label %23
i8 66, label %23
i8 65, label %23
]
23: ; preds = %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %22, %16
%24 = getelementptr inbounds i8, i8* %18, i64 1
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 0
br i1 %26, label %45, label %16
27: ; preds = %9, %32
%28 = phi i8* [ %33, %32 ], [ %10, %9 ]
%29 = phi i8 [ %34, %32 ], [ %11, %9 ]
%30 = add i8 %29, -56
%31 = icmp ult i8 %30, -8
br i1 %31, label %45, label %32
32: ; preds = %27
%33 = getelementptr inbounds i8, i8* %28, i64 1
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 0
br i1 %35, label %45, label %27
36: ; preds = %39
%37 = load i8, i8* %44
%38 = icmp eq i8 %37, 0
br i1 %38, label %45, label %39
39: ; preds = %6, %36
%40 = phi i8 [ %37, %36 ], [ %7, %6 ]
%41 = phi i8* [ %44, %36 ], [ %8, %6 ]
%42 = add i8 %40, -58
%43 = icmp ult i8 %42, -10
%44 = getelementptr inbounds i8, i8* %41, i64 1
br i1 %43, label %45, label %36
45: ; preds = %23, %22, %32, %27, %36, %39, %6, %9, %12
%46 = phi i32 [ 1, %12 ], [ 1, %9 ], [ 1, %6 ], [ 1, %36 ], [ 0, %39 ], [ 1, %32 ], [ 0, %27 ], [ 1, %23 ], [ 0, %22 ]
ret i32 %46
}