#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 /*<<< orphan*/ printf(char *);
int isDollarFormat(char input[]) {
  int k = 0;
  int j = 0;
  int i;
  if (input[0] > 47 && input[0] < 58) {
    for (i = 1; input[i] != 0; i++) {
      if (!(input[i] > 47 && input[i] < 58))
        k++;
      if (input[i] == '.')
        j++;
    }
    if (j == 1 && k == 1) {
      for (i = 0; input[i] != 0; i++) {
      }
      if (!(input[i - 1] == '.' || input[i - 2] == '.' ||
            input[i - 3] == '.')) {
        printf("input error\n");
        return 0;
      } else
        return 1;
    } else {
      printf("input error try again.\n");
      return 0;
    }
  } else {
    printf("input error try again\n");
    return 0;
  }
}


x86 assembly (clang, -O0):
<isDollarFormat>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jle    1297 <isDollarFormat+0x187>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jge    1297 <isDollarFormat+0x187>
movl   $0x1,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11ca <isDollarFormat+0xba>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2f,%eax
jle    1190 <isDollarFormat+0x80>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jl     1199 <isDollarFormat+0x89>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    11b7 <isDollarFormat+0xa7>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11bc <isDollarFormat+0xac>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1151 <isDollarFormat+0x41>
cmpl   $0x1,-0x18(%rbp)
jne    127f <isDollarFormat+0x16f>
cmpl   $0x1,-0x14(%rbp)
jne    127f <isDollarFormat+0x16f>
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     120d <isDollarFormat+0xfd>
jmp    11ff <isDollarFormat+0xef>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11e5 <isDollarFormat+0xd5>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1273 <isDollarFormat+0x163>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1273 <isDollarFormat+0x163>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     1273 <isDollarFormat+0x163>
lea    0xd9e(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    12aa <isDollarFormat+0x19a>
movl   $0x1,-0x4(%rbp)
jmp    12aa <isDollarFormat+0x19a>
lea    0xd87(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    12aa <isDollarFormat+0x19a>
lea    0xd87(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<isDollarFormat>:
push   %rax
mov    (%rdi),%r9b
lea    -0x30(%r9),%eax
cmp    $0x9,%al
ja     1190 <isDollarFormat+0x80>
mov    0x1(%rdi),%cl
lea    0xef0(%rip),%r8
test   %cl,%cl
je     1197 <isDollarFormat+0x87>
lea    0x2(%rdi),%rsi
xor    %r10d,%r10d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    -0x3a(%rcx),%edx
cmp    $0xf6,%dl
adc    $0x0,%eax
xor    %edx,%edx
cmp    $0x2e,%cl
sete   %dl
add    %edx,%r10d
movzbl (%rsi),%ecx
add    $0x1,%rsi
test   %cl,%cl
jne    1140 <isDollarFormat+0x30>
cmp    $0x1,%r10d
jne    1197 <isDollarFormat+0x87>
cmp    $0x1,%eax
jne    1197 <isDollarFormat+0x87>
test   %r9b,%r9b
je     11a3 <isDollarFormat+0x93>
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%rax),%rcx
cmpb   $0x0,0x1(%rdi,%rax,1)
mov    %rcx,%rax
jne    1180 <isDollarFormat+0x70>
jmp    11a5 <isDollarFormat+0x95>
lea    0xe69(%rip),%r8
mov    %r8,%rdi
call   1030 <puts@plt>
xor    %eax,%eax
pop    %rcx
ret
xor    %ecx,%ecx
lea    -0x1(%rcx),%eax
movslq %eax,%rdx
mov    $0x1,%eax
cmpb   $0x2e,(%rdi,%rdx,1)
je     11a1 <isDollarFormat+0x91>
lea    -0x2(%rcx),%edx
movslq %edx,%rdx
cmpb   $0x2e,(%rdi,%rdx,1)
je     11a1 <isDollarFormat+0x91>
add    $0xfffffffd,%ecx
movslq %ecx,%rcx
cmpb   $0x2e,(%rdi,%rcx,1)
je     11a1 <isDollarFormat+0x91>
lea    0xe58(%rip),%r8
jmp    1197 <isDollarFormat+0x87>

LLVM IR (-O0):
@.str = [13 x i8] c"input error\0A\00"
@.str.1 = [24 x i8] c"input error try again.\0A\00"
@.str.2 = [23 x i8] c"input error try again\0A\00"
define i32 @isDollarFormat(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
%7 = load i8*, i8** %3
%8 = getelementptr inbounds i8, i8* %7, i64 0
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = icmp sgt i32 %10, 47
br i1 %11, label %12, label %112
12: ; preds = %1
%13 = load i8*, i8** %3
%14 = getelementptr inbounds i8, i8* %13, i64 0
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp slt i32 %16, 58
br i1 %17, label %18, label %112
18: ; preds = %12
store i32 1, i32* %6
br label %19
19: ; preds = %58, %18
%20 = load i8*, i8** %3
%21 = load i32, i32* %6
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8, i8* %20, i64 %22
%24 = load i8, i8* %23
%25 = sext i8 %24 to i32
%26 = icmp ne i32 %25, 0
br i1 %26, label %27, label %61
27: ; preds = %19
%28 = load i8*, i8** %3
%29 = load i32, i32* %6
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %28, i64 %30
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = icmp sgt i32 %33, 47
br i1 %34, label %35, label %43
35: ; preds = %27
%36 = load i8*, i8** %3
%37 = load i32, i32* %6
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp slt i32 %41, 58
br i1 %42, label %46, label %43
43: ; preds = %35, %27
%44 = load i32, i32* %4
%45 = add nsw i32 %44, 1
store i32 %45, i32* %4
br label %46
46: ; preds = %43, %35
%47 = load i8*, i8** %3
%48 = load i32, i32* %6
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %47, i64 %49
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %52, 46
br i1 %53, label %54, label %57
54: ; preds = %46
%55 = load i32, i32* %5
%56 = add nsw i32 %55, 1
store i32 %56, i32* %5
br label %57
57: ; preds = %54, %46
br label %58
58: ; preds = %57
%59 = load i32, i32* %6
%60 = add nsw i32 %59, 1
store i32 %60, i32* %6
br label %19
61: ; preds = %19
%62 = load i32, i32* %5
%63 = icmp eq i32 %62, 1
br i1 %63, label %64, label %110
64: ; preds = %61
%65 = load i32, i32* %4
%66 = icmp eq i32 %65, 1
br i1 %66, label %67, label %110
67: ; preds = %64
store i32 0, i32* %6
br label %68
68: ; preds = %77, %67
%69 = load i8*, i8** %3
%70 = load i32, i32* %6
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %69, i64 %71
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %80
76: ; preds = %68
br label %77
77: ; preds = %76
%78 = load i32, i32* %6
%79 = add nsw i32 %78, 1
store i32 %79, i32* %6
br label %68
80: ; preds = %68
%81 = load i8*, i8** %3
%82 = load i32, i32* %6
%83 = sub nsw i32 %82, 1
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %81, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 46
br i1 %88, label %109, label %89
89: ; preds = %80
%90 = load i8*, i8** %3
%91 = load i32, i32* %6
%92 = sub nsw i32 %91, 2
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %90, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 46
br i1 %97, label %109, label %98
98: ; preds = %89
%99 = load i8*, i8** %3
%100 = load i32, i32* %6
%101 = sub nsw i32 %100, 3
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i8, i8* %99, i64 %102
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = icmp eq i32 %105, 46
br i1 %106, label %109, label %107
107: ; preds = %98
%108 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %2
br label %114
109: ; preds = %98, %89, %80
store i32 1, i32* %2
br label %114
110: ; preds = %64, %61
%111 = call i32 @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %2
br label %114
112: ; preds = %12, %1
%113 = call i32 @printf(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %2
br label %114
114: ; preds = %112, %110, %109, %107
%115 = load i32, i32* %2
ret i32 %115
}

LLVM IR (-O2):
@str = [22 x i8] c"input error try again\00"
@str.3 = [23 x i8] c"input error try again.\00"
@str.4 = [12 x i8] c"input error\00"
define i32 @isDollarFormat(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = add i8 %2, -48
%4 = icmp ult i8 %3, 10
br i1 %4, label %5, label %59
5: ; preds = %1
%6 = getelementptr inbounds i8, i8* %0, i64 1
%7 = load i8, i8* %6
%8 = icmp eq i8 %7, 0
br i1 %8, label %59, label %9
9: ; preds = %5, %9
%10 = phi i64 [ %21, %9 ], [ 1, %5 ]
%11 = phi i8 [ %23, %9 ], [ %7, %5 ]
%12 = phi i32 [ %20, %9 ], [ 0, %5 ]
%13 = phi i32 [ %17, %9 ], [ 0, %5 ]
%14 = add i8 %11, -58
%15 = icmp ult i8 %14, -10
%16 = zext i1 %15 to i32
%17 = add nuw nsw i32 %13, %16
%18 = icmp eq i8 %11, 46
%19 = zext i1 %18 to i32
%20 = add nuw nsw i32 %12, %19
%21 = add nuw nsw i64 %10, 1
%22 = getelementptr inbounds i8, i8* %0, i64 %21
%23 = load i8, i8* %22
%24 = icmp eq i8 %23, 0
br i1 %24, label %25, label %9
25: ; preds = %9
%26 = icmp eq i32 %20, 1
%27 = icmp eq i32 %17, 1
%28 = select i1 %26, i1 %27, i1 false
br i1 %28, label %29, label %59
29: ; preds = %25
%30 = icmp eq i8 %2, 0
br i1 %30, label %37, label %31
31: ; preds = %29, %31
%32 = phi i64 [ %36, %31 ], [ 1, %29 ]
%33 = getelementptr inbounds i8, i8* %0, i64 %32
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 0
%36 = add nuw i64 %32, 1
br i1 %35, label %37, label %31
37: ; preds = %31, %29
%38 = phi i64 [ 0, %29 ], [ %32, %31 ]
%39 = shl i64 %38, 32
%40 = add i64 %39, -4294967296
%41 = ashr exact i64 %40, 32
%42 = getelementptr inbounds i8, i8* %0, i64 %41
%43 = load i8, i8* %42
%44 = icmp eq i8 %43, 46
br i1 %44, label %62, label %45
45: ; preds = %37
%46 = shl i64 %38, 32
%47 = add i64 %46, -8589934592
%48 = ashr exact i64 %47, 32
%49 = getelementptr inbounds i8, i8* %0, i64 %48
%50 = load i8, i8* %49
%51 = icmp eq i8 %50, 46
br i1 %51, label %62, label %52
52: ; preds = %45
%53 = shl i64 %38, 32
%54 = add i64 %53, -12884901888
%55 = ashr exact i64 %54, 32
%56 = getelementptr inbounds i8, i8* %0, i64 %55
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 46
br i1 %58, label %62, label %59
59: ; preds = %1, %25, %5, %52
%60 = phi i8* [ getelementptr inbounds ([12 x i8], [12 x i8]* @str.4, i64 0, i64 0), %52 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @str.3, i64 0, i64 0), %5 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @str.3, i64 0, i64 0), %25 ], [ getelementptr inbounds ([22 x i8], [22 x i8]* @str, i64 0, i64 0), %1 ]
%61 = tail call i32 @puts(i8* dereferenceable(1) %60)
br label %62
62: ; preds = %59, %37, %45, %52
%63 = phi i32 [ 1, %52 ], [ 1, %45 ], [ 1, %37 ], [ 0, %59 ]
ret i32 %63
}