#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 */
int ValidFloat(const char *str, int *end) {
  unsigned char past_decimal_point = 0, had_number = 0, expvalid = 1;
  int pos = 0;
  int pos2 = 0;
  if (str[pos] == '-') {
    pos++;
  } else if (str[pos] == '+') {
    pos++;
  }
  while (((str[pos] >= '0') && (str[pos] <= '9')) || (str[pos] == '.')) {
    if (str[pos] == '.') {
      if (past_decimal_point)
        goto VALID_FLOAT_ENDED;
      else
        past_decimal_point = 1;
    } else {
      had_number = 1;
    }
    pos++;
  }
  if (!had_number)
    return 0;
  if ((str[pos] == 'e') || (str[pos] == 'E')) {
    expvalid = ValidFloat(str + pos + 1, &pos2);
    pos += pos2 + 1;
  }
  while ((str[pos] != '\0') && (str[pos] <= ' '))
    pos++;
VALID_FLOAT_ENDED:
  if ((!had_number) || (!expvalid))
    return 0;
  if (end == NULL)
    return 1;
  if ((*end >= 0) && (pos < *end))
    return 0;
  *end = pos;
  return 1;
}


x86 assembly (clang, -O0):
<ValidFloat>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movb   $0x0,-0x19(%rbp)
movb   $0x0,-0x1a(%rbp)
movb   $0x1,-0x1b(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    115d <ValidFloat+0x4d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1180 <ValidFloat+0x70>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2b,%eax
jne    117b <ValidFloat+0x6b>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1180 <ValidFloat+0x70>
jmp    1185 <ValidFloat+0x75>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     11b4 <ValidFloat+0xa4>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
mov    $0x1,%al
cmp    $0x39,%ecx
mov    %al,-0x25(%rbp)
jle    11c9 <ValidFloat+0xb9>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
sete   %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    11d9 <ValidFloat+0xc9>
jmp    1218 <ValidFloat+0x108>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1206 <ValidFloat+0xf6>
cmpb   $0x0,-0x19(%rbp)
je     11fd <ValidFloat+0xed>
jmp    12d6 <ValidFloat+0x1c6>
movb   $0x1,-0x19(%rbp)
jmp    120a <ValidFloat+0xfa>
movb   $0x1,-0x1a(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1185 <ValidFloat+0x75>
cmpb   $0x0,-0x1a(%rbp)
jne    122e <ValidFloat+0x11e>
movl   $0x0,-0x4(%rbp)
jmp    1345 <ValidFloat+0x235>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x65,%eax
je     1258 <ValidFloat+0x148>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x45,%eax
jne    127f <ValidFloat+0x16f>
mov    -0x10(%rbp),%rdi
movslq -0x20(%rbp),%rax
add    %rax,%rdi
add    $0x1,%rdi
lea    -0x24(%rbp),%rsi
call   1030 <ValidFloat@plt>
mov    %al,-0x1b(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1284 <ValidFloat+0x174>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x26(%rbp)
je     12b3 <ValidFloat+0x1a3>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
setle  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
test   $0x1,%al
jne    12c3 <ValidFloat+0x1b3>
jmp    12d1 <ValidFloat+0x1c1>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1284 <ValidFloat+0x174>
jmp    12d6 <ValidFloat+0x1c6>
cmpb   $0x0,-0x1a(%rbp)
je     12ea <ValidFloat+0x1da>
cmpb   $0x0,-0x1b(%rbp)
jne    12f6 <ValidFloat+0x1e6>
movl   $0x0,-0x4(%rbp)
jmp    1345 <ValidFloat+0x235>
cmpq   $0x0,-0x18(%rbp)
jne    130d <ValidFloat+0x1fd>
movl   $0x1,-0x4(%rbp)
jmp    1345 <ValidFloat+0x235>
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
jl     1335 <ValidFloat+0x225>
mov    -0x20(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1335 <ValidFloat+0x225>
movl   $0x0,-0x4(%rbp)
jmp    1345 <ValidFloat+0x235>
mov    -0x20(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ValidFloat>:
push   %r15
push   %r14
push   %rbx
sub    $0x10,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
movl   $0x0,0xc(%rsp)
mov    (%rdi),%al
add    $0xd5,%al
xor    %ebx,%ebx
test   $0xfd,%al
sete   %bl
xor    %ecx,%ecx
xor    %edx,%edx
jmp    114a <ValidFloat+0x3a>
nopl   0x0(%rax,%rax,1)
mov    %ecx,%eax
mov    $0x1,%dl
add    $0x1,%rbx
mov    %eax,%ecx
movzbl (%r15,%rbx,1),%eax
lea    -0x30(%rax),%esi
cmp    $0xa,%sil
jb     1140 <ValidFloat+0x30>
cmp    $0x2e,%al
jne    1164 <ValidFloat+0x54>
mov    $0x1,%al
test   %cl,%cl
je     1144 <ValidFloat+0x34>
jmp    11b5 <ValidFloat+0xa5>
test   %dl,%dl
je     118c <ValidFloat+0x7c>
or     $0x20,%al
cmp    $0x65,%al
jne    1190 <ValidFloat+0x80>
mov    %ebx,%edi
add    %r15,%rdi
add    $0x1,%rdi
lea    0xc(%rsp),%rsi
call   1030 <ValidFloat@plt>
mov    0xc(%rsp),%ecx
add    %ecx,%ebx
add    $0x1,%ebx
jmp    1192 <ValidFloat+0x82>
xor    %ecx,%ecx
jmp    11d7 <ValidFloat+0xc7>
mov    $0x1,%al
movslq %ebx,%rbx
add    $0xffffffffffffffff,%rbx
nopl   0x0(%rax)
movzbl 0x1(%r15,%rbx,1),%ecx
add    $0x1,%rbx
mov    $0x1,%dl
test   %cl,%cl
je     11b5 <ValidFloat+0xa5>
cmp    $0x21,%cl
jl     11a0 <ValidFloat+0x90>
xor    %ecx,%ecx
test   %dl,%dl
je     11d7 <ValidFloat+0xc7>
test   %al,%al
je     11d7 <ValidFloat+0xc7>
test   %r14,%r14
je     11d2 <ValidFloat+0xc2>
mov    (%r14),%eax
test   %eax,%eax
js     11cf <ValidFloat+0xbf>
cmp    %ebx,%eax
jg     11d7 <ValidFloat+0xc7>
mov    %ebx,(%r14)
mov    $0x1,%ecx
mov    %ecx,%eax
add    $0x10,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @ValidFloat(i8* %0, i32* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32*
%6 = alloca i8
%7 = alloca i8
%8 = alloca i8
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %4
store i32* %1, i32** %5
store i8 0, i8* %6
store i8 0, i8* %7
store i8 1, i8* %8
store i32 0, i32* %9
store i32 0, i32* %10
%11 = load i8*, i8** %4
%12 = load i32, i32* %9
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i8, i8* %11, i64 %13
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp eq i32 %16, 45
br i1 %17, label %18, label %21
18: ; preds = %2
%19 = load i32, i32* %9
%20 = add nsw i32 %19, 1
store i32 %20, i32* %9
br label %33
21: ; preds = %2
%22 = load i8*, i8** %4
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 43
br i1 %28, label %29, label %32
29: ; preds = %21
%30 = load i32, i32* %9
%31 = add nsw i32 %30, 1
store i32 %31, i32* %9
br label %32
32: ; preds = %29, %21
br label %33
33: ; preds = %32, %18
br label %34
34: ; preds = %75, %33
%35 = load i8*, i8** %4
%36 = load i32, i32* %9
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = icmp sge i32 %40, 48
br i1 %41, label %42, label %50
42: ; preds = %34
%43 = load i8*, i8** %4
%44 = load i32, i32* %9
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = icmp sle i32 %48, 57
br i1 %49, label %58, label %50
50: ; preds = %42, %34
%51 = load i8*, i8** %4
%52 = load i32, i32* %9
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8, i8* %51, i64 %53
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = icmp eq i32 %56, 46
br label %58
58: ; preds = %50, %42
%59 = phi i1 [ true, %42 ], [ %57, %50 ]
br i1 %59, label %60, label %78
60: ; preds = %58
%61 = load i8*, i8** %4
%62 = load i32, i32* %9
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 46
br i1 %67, label %68, label %74
68: ; preds = %60
%69 = load i8, i8* %6
%70 = icmp ne i8 %69, 0
br i1 %70, label %71, label %72
71: ; preds = %68
br label %133
72: ; preds = %68
store i8 1, i8* %6
br label %73
73: ; preds = %72
br label %75
74: ; preds = %60
store i8 1, i8* %7
br label %75
75: ; preds = %74, %73
%76 = load i32, i32* %9
%77 = add nsw i32 %76, 1
store i32 %77, i32* %9
br label %34
78: ; preds = %58
%79 = load i8, i8* %7
%80 = icmp ne i8 %79, 0
br i1 %80, label %82, label %81
81: ; preds = %78
store i32 0, i32* %3
br label %157
82: ; preds = %78
%83 = load i8*, i8** %4
%84 = load i32, i32* %9
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %83, i64 %85
%87 = load i8, i8* %86
%88 = sext i8 %87 to i32
%89 = icmp eq i32 %88, 101
br i1 %89, label %98, label %90
90: ; preds = %82
%91 = load i8*, i8** %4
%92 = load i32, i32* %9
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 69
br i1 %97, label %98, label %110
98: ; preds = %90, %82
%99 = load i8*, i8** %4
%100 = load i32, i32* %9
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %99, i64 %101
%103 = getelementptr inbounds i8, i8* %102, i64 1
%104 = call i32 @ValidFloat(i8* %103, i32* %10)
%105 = trunc i32 %104 to i8
store i8 %105, i8* %8
%106 = load i32, i32* %10
%107 = add nsw i32 %106, 1
%108 = load i32, i32* %9
%109 = add nsw i32 %108, %107
store i32 %109, i32* %9
br label %110
110: ; preds = %98, %90
br label %111
111: ; preds = %129, %110
%112 = load i8*, i8** %4
%113 = load i32, i32* %9
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = icmp ne i32 %117, 0
br i1 %118, label %119, label %127
119: ; preds = %111
%120 = load i8*, i8** %4
%121 = load i32, i32* %9
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i8, i8* %120, i64 %122
%124 = load i8, i8* %123
%125 = sext i8 %124 to i32
%126 = icmp sle i32 %125, 32
br label %127
127: ; preds = %119, %111
%128 = phi i1 [ false, %111 ], [ %126, %119 ]
br i1 %128, label %129, label %132
129: ; preds = %127
%130 = load i32, i32* %9
%131 = add nsw i32 %130, 1
store i32 %131, i32* %9
br label %111
132: ; preds = %127
br label %133
133: ; preds = %132, %71
%134 = load i8, i8* %7
%135 = icmp ne i8 %134, 0
br i1 %135, label %136, label %139
136: ; preds = %133
%137 = load i8, i8* %8
%138 = icmp ne i8 %137, 0
br i1 %138, label %140, label %139
139: ; preds = %136, %133
store i32 0, i32* %3
br label %157
140: ; preds = %136
%141 = load i32*, i32** %5
%142 = icmp eq i32* %141, null
br i1 %142, label %143, label %144
143: ; preds = %140
store i32 1, i32* %3
br label %157
144: ; preds = %140
%145 = load i32*, i32** %5
%146 = load i32, i32* %145
%147 = icmp sge i32 %146, 0
br i1 %147, label %148, label %154
148: ; preds = %144
%149 = load i32, i32* %9
%150 = load i32*, i32** %5
%151 = load i32, i32* %150
%152 = icmp slt i32 %149, %151
br i1 %152, label %153, label %154
153: ; preds = %148
store i32 0, i32* %3
br label %157
154: ; preds = %148, %144
%155 = load i32, i32* %9
%156 = load i32*, i32** %5
store i32 %155, i32* %156
store i32 1, i32* %3
br label %157
157: ; preds = %154, %153, %143, %139, %81
%158 = load i32, i32* %3
ret i32 %158
}

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