int isunsignedfloat(char *str) {
  int i = 0;
  if (str[i] == '+')
    i++;
  while (str[i] >= '0' && str[i] <= '9')
    i++;
  if (!str[i])
    return 1;
  if (str[i] == '.')
    i++;
  while (str[i] >= '0' && str[i] <= '9')
    i++;
  if (!str[i])
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<isunsignedfloat>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2b,%eax
jne    112d <isunsignedfloat+0x2d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1132 <isunsignedfloat+0x32>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x15(%rbp)
jl     1161 <isunsignedfloat+0x61>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
setle  %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
test   $0x1,%al
jne    1171 <isunsignedfloat+0x71>
jmp    117f <isunsignedfloat+0x7f>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1132 <isunsignedfloat+0x32>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    119d <isunsignedfloat+0x9d>
movl   $0x1,-0x4(%rbp)
jmp    1232 <isunsignedfloat+0x132>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    11bb <isunsignedfloat+0xbb>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11c0 <isunsignedfloat+0xc0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x16(%rbp)
jl     11ef <isunsignedfloat+0xef>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
setle  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
test   $0x1,%al
jne    11ff <isunsignedfloat+0xff>
jmp    120d <isunsignedfloat+0x10d>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11c0 <isunsignedfloat+0xc0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    122b <isunsignedfloat+0x12b>
movl   $0x1,-0x4(%rbp)
jmp    1232 <isunsignedfloat+0x132>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isunsignedfloat>:
xor    %eax,%eax
cmpb   $0x2b,(%rdi)
sete   %al
nopl   0x0(%rax,%rax,1)
movzbl (%rdi,%rax,1),%ecx
lea    -0x30(%rcx),%edx
add    $0x1,%rax
cmp    $0xa,%dl
jb     1110 <isunsignedfloat+0x10>
test   %cl,%cl
je     1156 <isunsignedfloat+0x56>
cmp    $0x2e,%cl
je     112d <isunsignedfloat+0x2d>
add    $0xffffffffffffffff,%rax
cltq
add    %rax,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdi),%ecx
lea    -0x30(%rcx),%eax
add    $0x1,%rdi
cmp    $0xa,%al
jb     1140 <isunsignedfloat+0x40>
xor    %eax,%eax
test   %cl,%cl
sete   %al
ret
mov    $0x1,%eax
ret

LLVM IR (-O0):
define i32 @isunsignedfloat(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
%5 = load i8*, i8** %3
%6 = load i32, i32* %4
%7 = sext i32 %6 to i64
%8 = getelementptr inbounds i8, i8* %5, i64 %7
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = icmp eq i32 %10, 43
br i1 %11, label %12, label %15
12: ; preds = %1
%13 = load i32, i32* %4
%14 = add nsw i32 %13, 1
store i32 %14, i32* %4
br label %15
15: ; preds = %12, %1
br label %16
16: ; preds = %34, %15
%17 = load i8*, i8** %3
%18 = load i32, i32* %4
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %17, i64 %19
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp sge i32 %22, 48
br i1 %23, label %24, label %32
24: ; preds = %16
%25 = load i8*, i8** %3
%26 = load i32, i32* %4
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i8, i8* %25, i64 %27
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp sle i32 %30, 57
br label %32
32: ; preds = %24, %16
%33 = phi i1 [ false, %16 ], [ %31, %24 ]
br i1 %33, label %34, label %37
34: ; preds = %32
%35 = load i32, i32* %4
%36 = add nsw i32 %35, 1
store i32 %36, i32* %4
br label %16
37: ; preds = %32
%38 = load i8*, i8** %3
%39 = load i32, i32* %4
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %38, i64 %40
%42 = load i8, i8* %41
%43 = icmp ne i8 %42, 0
br i1 %43, label %45, label %44
44: ; preds = %37
store i32 1, i32* %2
br label %87
45: ; preds = %37
%46 = load i8*, i8** %3
%47 = load i32, i32* %4
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %46, i64 %48
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp eq i32 %51, 46
br i1 %52, label %53, label %56
53: ; preds = %45
%54 = load i32, i32* %4
%55 = add nsw i32 %54, 1
store i32 %55, i32* %4
br label %56
56: ; preds = %53, %45
br label %57
57: ; preds = %75, %56
%58 = load i8*, i8** %3
%59 = load i32, i32* %4
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i8, i8* %58, i64 %60
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp sge i32 %63, 48
br i1 %64, label %65, label %73
65: ; preds = %57
%66 = load i8*, i8** %3
%67 = load i32, i32* %4
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i8, i8* %66, i64 %68
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = icmp sle i32 %71, 57
br label %73
73: ; preds = %65, %57
%74 = phi i1 [ false, %57 ], [ %72, %65 ]
br i1 %74, label %75, label %78
75: ; preds = %73
%76 = load i32, i32* %4
%77 = add nsw i32 %76, 1
store i32 %77, i32* %4
br label %57
78: ; preds = %73
%79 = load i8*, i8** %3
%80 = load i32, i32* %4
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i8, i8* %79, i64 %81
%83 = load i8, i8* %82
%84 = icmp ne i8 %83, 0
br i1 %84, label %86, label %85
85: ; preds = %78
store i32 1, i32* %2
br label %87
86: ; preds = %78
store i32 0, i32* %2
br label %87
87: ; preds = %86, %85, %44
%88 = load i32, i32* %2
ret i32 %88
}

LLVM IR (-O2):
define i32 @isunsignedfloat(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 43
%4 = zext i1 %3 to i64
br label %5
5: ; preds = %5, %1
%6 = phi i64 [ %11, %5 ], [ %4, %1 ]
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = load i8, i8* %7
%9 = add i8 %8, -48
%10 = icmp ult i8 %9, 10
%11 = add nuw i64 %6, 1
br i1 %10, label %5, label %12
12: ; preds = %5
switch i8 %8, label %15 [
i8 0, label %29
i8 46, label %13
]
13: ; preds = %12
%14 = add i64 %6, 1
br label %15
15: ; preds = %12, %13
%16 = phi i64 [ %14, %13 ], [ %6, %12 ]
%17 = shl i64 %16, 32
%18 = ashr exact i64 %17, 32
br label %19
19: ; preds = %19, %15
%20 = phi i64 [ %25, %19 ], [ %18, %15 ]
%21 = getelementptr inbounds i8, i8* %0, i64 %20
%22 = load i8, i8* %21
%23 = add i8 %22, -48
%24 = icmp ult i8 %23, 10
%25 = add i64 %20, 1
br i1 %24, label %19, label %26
26: ; preds = %19
%27 = icmp eq i8 %22, 0
%28 = zext i1 %27 to i32
br label %29
29: ; preds = %26, %12
%30 = phi i32 [ 1, %12 ], [ %28, %26 ]
ret i32 %30
}