#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
scalar_t__ isdigit(char);
char *strchr(char *, char);
int /*<<< orphan*/ strspn(char *, char *);
int isnumeric(char *s) {
  int status = 0;
  char *p = s;
  if (((s) == NULL ? 1 : (*(s) == '\000' ? 1 : 0)))
    goto end_of_job;
  if ((p) != NULL)
    p += strspn(p, " \t\n\r\f\v");
  if (*p == '+' || *p == '-')
    p++;
  for (; *p != '\000'; p++) {
    if (isdigit(*p))
      continue;
    if (!((*p) != '\000' &&
          !((" \t\n\r\f\v") == NULL ? 1
                                    : (*(" \t\n\r\f\v") == '\000' ? 1 : 0)) &&
          strchr((" \t\n\r\f\v"), (*p)) != (char *)NULL))
      goto end_of_job;
    if ((p) != NULL)
      p += strspn(p, " \t\n\r\f\v");
    if (*p == '\000')
      break;
    goto end_of_job;
  }
  status = 1;
end_of_job:
  return (status);
}


x86 assembly (clang, -O0):
<isnumeric>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    1165 <isnumeric+0x35>
mov    $0x1,%al
test   $0x1,%al
jne    1193 <isnumeric+0x63>
jmp    1198 <isnumeric+0x68>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1184 <isnumeric+0x54>
mov    $0x1,%al
test   $0x1,%al
jne    1193 <isnumeric+0x63>
jmp    1198 <isnumeric+0x68>
xor    %eax,%eax
test   $0x1,%al
jne    1193 <isnumeric+0x63>
jmp    1198 <isnumeric+0x68>
jmp    12ae <isnumeric+0x17e>
cmpq   $0x0,-0x18(%rbp)
je     11c3 <isnumeric+0x93>
mov    -0x18(%rbp),%rdi
lea    0xe52(%rip),%rsi
call   1050 <strspn@plt>
mov    %eax,%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
je     11e3 <isnumeric+0xb3>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    11ef <isnumeric+0xbf>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11f4 <isnumeric+0xc4>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12a7 <isnumeric+0x177>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     121f <isnumeric+0xef>
jmp    1296 <isnumeric+0x166>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     124c <isnumeric+0x11c>
mov    -0x18(%rbp),%rax
lea    0xdc6(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
jne    1251 <isnumeric+0x121>
jmp    12ae <isnumeric+0x17e>
cmpq   $0x0,-0x18(%rbp)
je     127c <isnumeric+0x14c>
mov    -0x18(%rbp),%rdi
lea    0xd99(%rip),%rsi
call   1050 <strspn@plt>
mov    %eax,%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1291 <isnumeric+0x161>
jmp    12a7 <isnumeric+0x177>
jmp    12ae <isnumeric+0x17e>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11f4 <isnumeric+0xc4>
movl   $0x1,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isnumeric>:
push   %rbp
push   %r14
push   %rbx
xor    %r14d,%r14d
test   %rdi,%rdi
je     11b4 <isnumeric+0x84>
mov    %rdi,%rbp
cmpb   $0x0,(%rdi)
je     11b4 <isnumeric+0x84>
lea    0xeb5(%rip),%rsi
mov    %rbp,%rdi
call   1050 <strspn@plt>
cltq
lea    (%rax,%rbp,1),%rbx
mov    0x0(%rbp,%rax,1),%al
cmp    $0x2d,%al
je     1165 <isnumeric+0x35>
cmp    $0x2b,%al
jne    116c <isnumeric+0x3c>
mov    0x1(%rbx),%al
add    $0x1,%rbx
test   %al,%al
je     11ae <isnumeric+0x7e>
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1165 <isnumeric+0x35>
mov    (%rbx),%al
test   %al,%al
je     11b4 <isnumeric+0x84>
movsbl %al,%esi
lea    0xe73(%rip),%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     11b4 <isnumeric+0x84>
lea    0xe62(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strspn@plt>
cltq
cmpb   $0x0,(%rbx,%rax,1)
jne    11b4 <isnumeric+0x84>
mov    $0x1,%r14d
mov    %r14d,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
@.str = [7 x i8] c" \09\0A\0D\0C\0B\00"
define i32 @isnumeric(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i8*
store i8* %0, i8** %2
store i32 0, i32* %3
%5 = load i8*, i8** %2
store i8* %5, i8** %4
%6 = load i8*, i8** %2
%7 = icmp eq i8* %6, null
br i1 %7, label %8, label %9
8: ; preds = %1
br i1 true, label %16, label %17
9: ; preds = %1
%10 = load i8*, i8** %2
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 0
br i1 %13, label %14, label %15
14: ; preds = %9
br i1 true, label %16, label %17
15: ; preds = %9
br i1 false, label %16, label %17
16: ; preds = %15, %14, %8
br label %82
17: ; preds = %15, %14, %8
%18 = load i8*, i8** %4
%19 = icmp ne i8* %18, null
br i1 %19, label %20, label %26
20: ; preds = %17
%21 = load i8*, i8** %4
%22 = call i32 @strspn(i8* %21, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%23 = load i8*, i8** %4
%24 = sext i32 %22 to i64
%25 = getelementptr inbounds i8, i8* %23, i64 %24
store i8* %25, i8** %4
br label %26
26: ; preds = %20, %17
%27 = load i8*, i8** %4
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 43
br i1 %30, label %36, label %31
31: ; preds = %26
%32 = load i8*, i8** %4
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %34, 45
br i1 %35, label %36, label %39
36: ; preds = %31, %26
%37 = load i8*, i8** %4
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %4
br label %39
39: ; preds = %36, %31
br label %40
40: ; preds = %78, %39
%41 = load i8*, i8** %4
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = icmp ne i32 %43, 0
br i1 %44, label %45, label %81
45: ; preds = %40
%46 = load i8*, i8** %4
%47 = load i8, i8* %46
%48 = call i64 @isdigit(i8 signext %47)
%49 = icmp ne i64 %48, 0
br i1 %49, label %50, label %51
50: ; preds = %45
br label %78
51: ; preds = %45
%52 = load i8*, i8** %4
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp ne i32 %54, 0
br i1 %55, label %56, label %61
56: ; preds = %51
%57 = load i8*, i8** %4
%58 = load i8, i8* %57
%59 = call i8* @strchr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8 signext %58)
%60 = icmp ne i8* %59, null
br i1 %60, label %62, label %61
61: ; preds = %56, %51
br label %82
62: ; preds = %56
%63 = load i8*, i8** %4
%64 = icmp ne i8* %63, null
br i1 %64, label %65, label %71
65: ; preds = %62
%66 = load i8*, i8** %4
%67 = call i32 @strspn(i8* %66, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%68 = load i8*, i8** %4
%69 = sext i32 %67 to i64
%70 = getelementptr inbounds i8, i8* %68, i64 %69
store i8* %70, i8** %4
br label %71
71: ; preds = %65, %62
%72 = load i8*, i8** %4
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %71
br label %81
77: ; preds = %71
br label %82
78: ; preds = %50
%79 = load i8*, i8** %4
%80 = getelementptr inbounds i8, i8* %79, i32 1
store i8* %80, i8** %4
br label %40
81: ; preds = %76, %40
store i32 1, i32* %3
br label %82
82: ; preds = %81, %77, %61, %16
%83 = load i32, i32* %3
ret i32 %83
}

LLVM IR (-O2):
@.str = [7 x i8] c" \09\0A\0D\0C\0B\00"
define i32 @isnumeric(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %40, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %40, label %6
6: ; preds = %3
%7 = tail call i32 @strspn(i8* %0, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i8, i8* %0, i64 %8
%10 = load i8, i8* %9
switch i8 %10, label %14 [
i8 43, label %11
i8 45, label %11
]
11: ; preds = %6, %6
%12 = getelementptr inbounds i8, i8* %9, i64 1
%13 = load i8, i8* %12
br label %14
14: ; preds = %6, %11
%15 = phi i8 [ %13, %11 ], [ %10, %6 ]
%16 = phi i8* [ %12, %11 ], [ %9, %6 ]
%17 = icmp eq i8 %15, 0
br i1 %17, label %39, label %18
18: ; preds = %14, %35
%19 = phi i8 [ %37, %35 ], [ %15, %14 ]
%20 = phi i8* [ %36, %35 ], [ %16, %14 ]
%21 = tail call i64 @isdigit(i8 signext %19)
%22 = icmp eq i64 %21, 0
br i1 %22, label %23, label %35
23: ; preds = %18
%24 = load i8, i8* %20
%25 = icmp eq i8 %24, 0
br i1 %25, label %40, label %26
26: ; preds = %23
%27 = tail call i8* @strchr(i8* dereferenceable(7) getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8 signext %24)
%28 = icmp eq i8* %27, null
br i1 %28, label %40, label %29
29: ; preds = %26
%30 = tail call i32 @strspn(i8* %20, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %20, i64 %31
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 0
br i1 %34, label %39, label %40
35: ; preds = %18
%36 = getelementptr inbounds i8, i8* %20, i64 1
%37 = load i8, i8* %36
%38 = icmp eq i8 %37, 0
br i1 %38, label %39, label %18
39: ; preds = %35, %14, %29
br label %40
40: ; preds = %29, %23, %26, %1, %3, %39
%41 = phi i32 [ 0, %1 ], [ 0, %3 ], [ 1, %39 ], [ 0, %29 ], [ 0, %26 ], [ 0, %23 ]
ret i32 %41
}