#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);
int IsFalseLabel(char *s) {
  if (*s != '-' && *s != '+')
    return (0);
  if (!isdigit(*++s))
    return (0);
  for (s++; isdigit(*s); s++)
    ;
  if (*s == 0)
    return (1);
  if (*s++ != 'D')
    return (0);
  return (*s == 0);
}


x86 assembly (clang, -O0):
<IsFalseLabel>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     1148 <IsFalseLabel+0x38>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2b,%eax
je     1148 <IsFalseLabel+0x38>
movl   $0x0,-0x4(%rbp)
jmp    1206 <IsFalseLabel+0xf6>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl 0x1(%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    1176 <IsFalseLabel+0x66>
movl   $0x0,-0x4(%rbp)
jmp    1206 <IsFalseLabel+0xf6>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     11ae <IsFalseLabel+0x9e>
jmp    119d <IsFalseLabel+0x8d>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1182 <IsFalseLabel+0x72>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11ca <IsFalseLabel+0xba>
movl   $0x1,-0x4(%rbp)
jmp    1206 <IsFalseLabel+0xf6>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
cmp    $0x44,%eax
je     11f1 <IsFalseLabel+0xe1>
movl   $0x0,-0x4(%rbp)
jmp    1206 <IsFalseLabel+0xf6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<IsFalseLabel>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    (%rdi),%al
xor    %ebp,%ebp
cmp    $0x2d,%al
je     1122 <IsFalseLabel+0x12>
cmp    $0x2b,%al
jne    116c <IsFalseLabel+0x5c>
movsbl 0x1(%rbx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     116c <IsFalseLabel+0x5c>
add    $0x2,%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbl (%rbx),%edi
call   1030 <isdigit@plt>
add    $0x1,%rbx
test   %rax,%rax
jne    1140 <IsFalseLabel+0x30>
mov    -0x1(%rbx),%al
test   %al,%al
je     1167 <IsFalseLabel+0x57>
cmp    $0x44,%al
jne    116c <IsFalseLabel+0x5c>
xor    %ebp,%ebp
cmpb   $0x0,(%rbx)
sete   %bpl
jmp    116c <IsFalseLabel+0x5c>
mov    $0x1,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @IsFalseLabel(i8* nocapture %0) {
%2 = load i8, i8* %0
switch i8 %2, label %23 [
i8 45, label %3
i8 43, label %3
]
3: ; preds = %1, %1
%4 = getelementptr inbounds i8, i8* %0, i64 1
%5 = load i8, i8* %4
%6 = tail call i64 @isdigit(i8 signext %5)
%7 = icmp eq i64 %6, 0
br i1 %7, label %23, label %8
8: ; preds = %3
%9 = getelementptr inbounds i8, i8* %0, i64 2
br label %10
10: ; preds = %10, %8
%11 = phi i8* [ %9, %8 ], [ %15, %10 ]
%12 = load i8, i8* %11
%13 = tail call i64 @isdigit(i8 signext %12)
%14 = icmp eq i64 %13, 0
%15 = getelementptr inbounds i8, i8* %11, i64 1
br i1 %14, label %16, label %10
16: ; preds = %10
%17 = load i8, i8* %11
switch i8 %17, label %18 [
i8 0, label %23
i8 68, label %19
]
18: ; preds = %16
br label %23
19: ; preds = %16
%20 = load i8, i8* %15
%21 = icmp eq i8 %20, 0
%22 = zext i1 %21 to i32
br label %23
23: ; preds = %16, %3, %1, %19, %18
%24 = phi i32 [ 0, %18 ], [ %22, %19 ], [ 0, %1 ], [ 0, %3 ], [ 1, %16 ]
ret i32 %24
}