#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);
scalar_t__ isspace(char);
char *specify_type(const char *const value, int len) {
  int i = 0, letter_count = 0, number_count = 0, double_count = 0,
      space_count = 0;
  char the_char;
  while (i < len) {
    the_char = value[i];
    if (i == 0 && len > 1 && the_char == '-') {
      number_count++;
    } else if (isdigit(the_char)) {
      number_count++;
    } else if (isspace(the_char)) {
      space_count++;
    } else if (the_char == '.' && i < len - 1) {
      double_count++;
    } else
      letter_count++;
    i++;
  }
  if (space_count > 0)
    return "string";
  if (letter_count > 0)
    return "string";
  if (double_count > 1)
    return "string";
  if (double_count > 0)
    return "double";
  if (number_count == 0 || (number_count > 0 && len <= 5))
    return "int";
  if (number_count > 0 && len > 5)
    return "long";
}


x86 assembly (clang, -O0):
<specify_type>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    122f <specify_type+0x10f>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x29(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    119b <specify_type+0x7b>
cmpl   $0x1,-0x14(%rbp)
jle    119b <specify_type+0x7b>
movsbl -0x29(%rbp),%eax
cmp    $0x2d,%eax
jne    119b <specify_type+0x7b>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1221 <specify_type+0x101>
movsbl -0x29(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     11bc <specify_type+0x9c>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    121c <specify_type+0xfc>
movsbl -0x29(%rbp),%edi
call   1040 <isspace@plt>
cmp    $0x0,%rax
je     11dd <specify_type+0xbd>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1217 <specify_type+0xf7>
movsbl -0x29(%rbp),%eax
cmp    $0x2e,%eax
jne    1209 <specify_type+0xe9>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1209 <specify_type+0xe9>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1212 <specify_type+0xf2>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1217 <specify_type+0xf7>
jmp    121c <specify_type+0xfc>
jmp    1221 <specify_type+0x101>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1152 <specify_type+0x32>
cmpl   $0x0,-0x28(%rbp)
jle    1249 <specify_type+0x129>
lea    0xdc0(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    12e4 <specify_type+0x1c4>
cmpl   $0x0,-0x1c(%rbp)
jle    1263 <specify_type+0x143>
lea    0xda6(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    12e4 <specify_type+0x1c4>
cmpl   $0x1,-0x24(%rbp)
jle    127d <specify_type+0x15d>
lea    0xd8c(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    12e4 <specify_type+0x1c4>
cmpl   $0x0,-0x24(%rbp)
jle    1297 <specify_type+0x177>
lea    0xd79(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    12e4 <specify_type+0x1c4>
cmpl   $0x0,-0x20(%rbp)
je     12b5 <specify_type+0x195>
cmpl   $0x0,-0x20(%rbp)
jle    12c5 <specify_type+0x1a5>
cmpl   $0x5,-0x14(%rbp)
jg     12c5 <specify_type+0x1a5>
lea    0xd52(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    12e4 <specify_type+0x1c4>
cmpl   $0x0,-0x20(%rbp)
jle    12e4 <specify_type+0x1c4>
cmpl   $0x5,-0x14(%rbp)
jle    12e4 <specify_type+0x1c4>
lea    0xd32(%rip),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<specify_type>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
lea    0xed9(%rip),%rax
test   %esi,%esi
jle    1225 <specify_type+0x105>
mov    %esi,%r12d
mov    %rdi,%r15
lea    -0x1(%r12),%eax
mov    %rax,0x10(%rsp)
mov    %esi,%ebx
xor    %r13d,%r13d
movl   $0x0,0xc(%rsp)
movl   $0x0,0x4(%rsp)
xor    %ecx,%ecx
movl   $0x0,0x8(%rsp)
jmp    117f <specify_type+0x5f>
xchg   %ax,%ax
mov    (%rsp),%ecx
add    $0x1,%ecx
add    $0x1,%r13
cmp    %r13,%rbx
je     11d9 <specify_type+0xb9>
movzbl (%r15,%r13,1),%r14d
cmp    $0x1,%r12d
je     1195 <specify_type+0x75>
test   %r13,%r13
jne    1195 <specify_type+0x75>
cmp    $0x2d,%r14b
je     1173 <specify_type+0x53>
mov    %ecx,(%rsp)
movsbl %r14b,%ebp
mov    %ebp,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1170 <specify_type+0x50>
mov    %ebp,%edi
call   1040 <isspace@plt>
test   %rax,%rax
je     11bb <specify_type+0x9b>
addl   $0x1,0xc(%rsp)
jmp    11d4 <specify_type+0xb4>
cmp    $0x2e,%r14b
jne    11cf <specify_type+0xaf>
cmp    0x10(%rsp),%r13
jae    11cf <specify_type+0xaf>
addl   $0x1,0x4(%rsp)
jmp    11d4 <specify_type+0xb4>
addl   $0x1,0x8(%rsp)
mov    (%rsp),%ecx
jmp    1176 <specify_type+0x56>
lea    0xe20(%rip),%rax
cmpl   $0x0,0xc(%rsp)
jg     1225 <specify_type+0x105>
cmpl   $0x0,0x8(%rsp)
jg     1225 <specify_type+0x105>
cmpl   $0x1,0x4(%rsp)
jg     1225 <specify_type+0x105>
jne    1200 <specify_type+0xe0>
lea    0xe09(%rip),%rax
jmp    1225 <specify_type+0x105>
lea    0xe07(%rip),%rax
test   %ecx,%ecx
je     1225 <specify_type+0x105>
lea    0xdfc(%rip),%rax
lea    0xdf9(%rip),%rcx
cmovle %rcx,%rax
cmp    $0x6,%r12d
cmovge %rcx,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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