int is_fractional_part_float(s)
char *s;
{
  char *x;
  if (*s == '-')
    s++;
  if (*s == '.')
    s++;
  else
    return (0);
  for (x = s; isdigit(*s); s++)
    continue;
  return (s > x ? !*s || is_exponent(s) : 0);
}


x86 assembly (clang, -O0):
<is_fractional_part_float>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1148 <is_fractional_part_float+0x28>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1169 <is_fractional_part_float+0x49>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1175 <is_fractional_part_float+0x55>
movl   $0x0,-0x4(%rbp)
jmp    11fc <is_fractional_part_float+0xdc>
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     11a8 <is_fractional_part_float+0x88>
jmp    1197 <is_fractional_part_float+0x77>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    117d <is_fractional_part_float+0x5d>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jbe    11ec <is_fractional_part_float+0xcc>
mov    -0x10(%rbp),%rcx
mov    $0x1,%al
cmpb   $0x0,(%rcx)
mov    %al,-0x19(%rbp)
je     11dc <is_fractional_part_float+0xbc>
mov    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1040 <is_exponent@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
jmp    11f6 <is_fractional_part_float+0xd6>
xor    %eax,%eax
mov    %eax,-0x20(%rbp)
jmp    11f6 <is_fractional_part_float+0xd6>
mov    -0x20(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_fractional_part_float>:
push   %rax
xor    %ecx,%ecx
cmpb   $0x2d,(%rdi)
sete   %cl
xor    %eax,%eax
cmpb   $0x2e,(%rdi,%rcx,1)
jne    1160 <is_fractional_part_float+0x50>
add    %rcx,%rdi
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
movsbl 0x1(%rdi,%rcx,1),%edx
lea    -0x30(%rdx),%eax
add    $0x1,%rcx
cmp    $0xa,%eax
jb     1130 <is_fractional_part_float+0x20>
xor    %eax,%eax
cmp    $0x2,%rcx
jb     1160 <is_fractional_part_float+0x50>
test   %dl,%dl
je     1162 <is_fractional_part_float+0x52>
add    %rcx,%rdi
xor    %eax,%eax
call   1030 <is_exponent@plt>
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
setne  %al
pop    %rcx
ret
mov    $0x1,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @is_fractional_part_float(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8*
store i8* %0, i8** %3
%5 = load i8*, i8** %3
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp eq i32 %7, 45
br i1 %8, label %9, label %12
9: ; preds = %1
%10 = load i8*, i8** %3
%11 = getelementptr inbounds i8, i8* %10, i32 1
store i8* %11, i8** %3
br label %12
12: ; preds = %9, %1
%13 = load i8*, i8** %3
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp eq i32 %15, 46
br i1 %16, label %17, label %20
17: ; preds = %12
%18 = load i8*, i8** %3
%19 = getelementptr inbounds i8, i8* %18, i32 1
store i8* %19, i8** %3
br label %21
20: ; preds = %12
store i32 0, i32* %2
br label %51
21: ; preds = %17
%22 = load i8*, i8** %3
store i8* %22, i8** %4
br label %23
23: ; preds = %30, %21
%24 = load i8*, i8** %3
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = call i32 @isdigit(i32 %26)
%28 = icmp ne i32 %27, 0
br i1 %28, label %29, label %33
29: ; preds = %23
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 %23
33: ; preds = %23
%34 = load i8*, i8** %3
%35 = load i8*, i8** %4
%36 = icmp ugt i8* %34, %35
br i1 %36, label %37, label %48
37: ; preds = %33
%38 = load i8*, i8** %3
%39 = load i8, i8* %38
%40 = icmp ne i8 %39, 0
br i1 %40, label %41, label %45
41: ; preds = %37
%42 = load i8*, i8** %3
%43 = call i32 (i8*, ...) bitcast (i32 (...)* @is_exponent to i32 (i8*, ...)*)(i8* %42)
%44 = icmp ne i32 %43, 0
br label %45
45: ; preds = %41, %37
%46 = phi i1 [ true, %37 ], [ %44, %41 ]
%47 = zext i1 %46 to i32
br label %49
48: ; preds = %33
br label %49
49: ; preds = %48, %45
%50 = phi i32 [ %47, %45 ], [ 0, %48 ]
store i32 %50, i32* %2
br label %51
51: ; preds = %49, %20
%52 = load i32, i32* %2
ret i32 %52
}

LLVM IR (-O2):
define i32 @is_fractional_part_float(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 45
%4 = zext i1 %3 to i64
%5 = getelementptr i8, i8* %0, i64 %4
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 46
br i1 %7, label %8, label %25
8: ; preds = %1, %8
%9 = phi i64 [ %15, %8 ], [ 1, %1 ]
%10 = getelementptr inbounds i8, i8* %5, i64 %9
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = add nsw i32 %12, -48
%14 = icmp ult i32 %13, 10
%15 = add nuw nsw i64 %9, 1
br i1 %14, label %8, label %16
16: ; preds = %8
%17 = getelementptr inbounds i8, i8* %5, i64 %9
%18 = icmp ugt i64 %9, 1
br i1 %18, label %19, label %25
19: ; preds = %16
%20 = icmp eq i8 %11, 0
br i1 %20, label %25, label %21
21: ; preds = %19
%22 = tail call i32 (i8*, ...) bitcast (i32 (...)* @is_exponent to i32 (i8*, ...)*)(i8* %17)
%23 = icmp ne i32 %22, 0
%24 = zext i1 %23 to i32
br label %25
25: ; preds = %16, %21, %19, %1
%26 = phi i32 [ 0, %1 ], [ 0, %16 ], [ 1, %19 ], [ %24, %21 ]
ret i32 %26
}