#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 strlen(char *);
int check(char *text) {
  int sineste = 0, coneste = 0;
  int i, size = strlen(text);
  for (i = 0; i < size; i++) {
    if (!sineste &&
        (text[i] == 'A' || text[i] == 'B' || text[i] == 'C' || text[i] == 'E' ||
         text[i] == 'H' || text[i] == 'I' || text[i] == 'O' || text[i] == 'S' ||
         text[i] == 'T' || text[i] == 'Y')) {
      sineste = 1;
    } else if (!coneste &&
               (text[i] == '4' || text[i] == '8' || text[i] == '(' ||
                text[i] == '3' || text[i] == '#' || text[i] == '1' ||
                text[i] == '0' || text[i] == '5' || text[i] == '7' ||
                text[i] == '&')) {
      coneste = 1;
    }
    if (coneste && sineste) {
      return -1;
    }
  }
  if (coneste) {
    return 1;
  } else if (sineste) {
    return 0;
  }
}


x86 assembly (clang, -O0):
<check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    134c <check+0x23c>
cmpl   $0x0,-0x14(%rbp)
jne    1231 <check+0x121>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x42,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x43,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x45,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x48,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x49,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x4f,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x53,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x54,%eax
je     1225 <check+0x115>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x59,%eax
jne    1231 <check+0x121>
movl   $0x1,-0x14(%rbp)
jmp    1319 <check+0x209>
cmpl   $0x0,-0x18(%rbp)
jne    1314 <check+0x204>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x34,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x38,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x28,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x33,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x23,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x35,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x37,%eax
je     130d <check+0x1fd>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x26,%eax
jne    1314 <check+0x204>
movl   $0x1,-0x18(%rbp)
jmp    1319 <check+0x209>
cmpl   $0x0,-0x18(%rbp)
je     1339 <check+0x229>
cmpl   $0x0,-0x14(%rbp)
je     1339 <check+0x229>
movl   $0xffffffff,-0x4(%rbp)
jmp    137d <check+0x26d>
jmp    133e <check+0x22e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113d <check+0x2d>
cmpl   $0x0,-0x18(%rbp)
je     1362 <check+0x252>
movl   $0x1,-0x4(%rbp)
jmp    137d <check+0x26d>
cmpl   $0x0,-0x14(%rbp)
je     1378 <check+0x268>
movl   $0x0,-0x4(%rbp)
jmp    137d <check+0x26d>
jmp    137d <check+0x26d>
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
test   %eax,%eax
jle    119e <check+0x8e>
mov    %eax,%eax
xor    %ecx,%ecx
mov    $0x10c4197,%r9d
movabs $0x1bb014800000000,%r8
01 bb 01
xor    %edx,%edx
xor    %edi,%edi
jmp    1149 <check+0x39>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rcx
cmp    %rcx,%rax
je     11a0 <check+0x90>
test   %edi,%edi
je     1170 <check+0x60>
mov    $0x1,%esi
test   %edx,%edx
jne    118d <check+0x7d>
movzbl (%r14,%rcx,1),%ebx
xor    %edx,%edx
cmp    $0x38,%rbx
ja     1140 <check+0x30>
bt     %rbx,%r8
jb     118d <check+0x7d>
jmp    1140 <check+0x30>
nopl   0x0(%rax,%rax,1)
movzbl (%r14,%rcx,1),%ebx
add    $0xbf,%bl
cmp    $0x18,%bl
ja     114d <check+0x3d>
movzbl %bl,%esi
bt     %rsi,%r9
jae    114d <check+0x3d>
mov    $0x1,%edi
mov    %edx,%esi
mov    %esi,%edx
test   %esi,%esi
je     1140 <check+0x30>
test   %edi,%edi
je     1140 <check+0x30>
mov    $0xffffffff,%eax
jmp    11a7 <check+0x97>
xor    %edx,%edx
xor    %eax,%eax
test   %edx,%edx
setne  %al
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @check(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
%8 = load i8*, i8** %3
%9 = call i32 @strlen(i8* %8)
store i32 %9, i32* %7
store i32 0, i32* %6
br label %10
10: ; preds = %191, %1
%11 = load i32, i32* %6
%12 = load i32, i32* %7
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %194
14: ; preds = %10
%15 = load i32, i32* %4
%16 = icmp ne i32 %15, 0
br i1 %16, label %98, label %17
17: ; preds = %14
%18 = load i8*, i8** %3
%19 = load i32, i32* %6
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 65
br i1 %24, label %97, label %25
25: ; preds = %17
%26 = load i8*, i8** %3
%27 = load i32, i32* %6
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8, i8* %26, i64 %28
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = icmp eq i32 %31, 66
br i1 %32, label %97, label %33
33: ; preds = %25
%34 = load i8*, i8** %3
%35 = load i32, i32* %6
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %34, i64 %36
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %39, 67
br i1 %40, label %97, label %41
41: ; preds = %33
%42 = load i8*, i8** %3
%43 = load i32, i32* %6
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %42, i64 %44
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = icmp eq i32 %47, 69
br i1 %48, label %97, label %49
49: ; preds = %41
%50 = load i8*, i8** %3
%51 = load i32, i32* %6
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %50, i64 %52
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp eq i32 %55, 72
br i1 %56, label %97, label %57
57: ; preds = %49
%58 = load i8*, i8** %3
%59 = load i32, i32* %6
%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 eq i32 %63, 73
br i1 %64, label %97, label %65
65: ; preds = %57
%66 = load i8*, i8** %3
%67 = load i32, i32* %6
%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 eq i32 %71, 79
br i1 %72, label %97, label %73
73: ; preds = %65
%74 = load i8*, i8** %3
%75 = load i32, i32* %6
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %74, i64 %76
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %79, 83
br i1 %80, label %97, label %81
81: ; preds = %73
%82 = load i8*, i8** %3
%83 = load i32, i32* %6
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 84
br i1 %88, label %97, label %89
89: ; preds = %81
%90 = load i8*, i8** %3
%91 = load i32, i32* %6
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %90, i64 %92
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = icmp eq i32 %95, 89
br i1 %96, label %97, label %98
97: ; preds = %89, %81, %73, %65, %57, %49, %41, %33, %25, %17
store i32 1, i32* %4
br label %183
98: ; preds = %89, %14
%99 = load i32, i32* %5
%100 = icmp ne i32 %99, 0
br i1 %100, label %182, label %101
101: ; preds = %98
%102 = load i8*, i8** %3
%103 = load i32, i32* %6
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i8, i8* %102, i64 %104
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = icmp eq i32 %107, 52
br i1 %108, label %181, label %109
109: ; preds = %101
%110 = load i8*, i8** %3
%111 = load i32, i32* %6
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %110, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = icmp eq i32 %115, 56
br i1 %116, label %181, label %117
117: ; preds = %109
%118 = load i8*, i8** %3
%119 = load i32, i32* %6
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds i8, i8* %118, i64 %120
%122 = load i8, i8* %121
%123 = sext i8 %122 to i32
%124 = icmp eq i32 %123, 40
br i1 %124, label %181, label %125
125: ; preds = %117
%126 = load i8*, i8** %3
%127 = load i32, i32* %6
%128 = sext i32 %127 to i64
%129 = getelementptr inbounds i8, i8* %126, i64 %128
%130 = load i8, i8* %129
%131 = sext i8 %130 to i32
%132 = icmp eq i32 %131, 51
br i1 %132, label %181, label %133
133: ; preds = %125
%134 = load i8*, i8** %3
%135 = load i32, i32* %6
%136 = sext i32 %135 to i64
%137 = getelementptr inbounds i8, i8* %134, i64 %136
%138 = load i8, i8* %137
%139 = sext i8 %138 to i32
%140 = icmp eq i32 %139, 35
br i1 %140, label %181, label %141
141: ; preds = %133
%142 = load i8*, i8** %3
%143 = load i32, i32* %6
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i8, i8* %142, i64 %144
%146 = load i8, i8* %145
%147 = sext i8 %146 to i32
%148 = icmp eq i32 %147, 49
br i1 %148, label %181, label %149
149: ; preds = %141
%150 = load i8*, i8** %3
%151 = load i32, i32* %6
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
%154 = load i8, i8* %153
%155 = sext i8 %154 to i32
%156 = icmp eq i32 %155, 48
br i1 %156, label %181, label %157
157: ; preds = %149
%158 = load i8*, i8** %3
%159 = load i32, i32* %6
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i8, i8* %158, i64 %160
%162 = load i8, i8* %161
%163 = sext i8 %162 to i32
%164 = icmp eq i32 %163, 53
br i1 %164, label %181, label %165
165: ; preds = %157
%166 = load i8*, i8** %3
%167 = load i32, i32* %6
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i8, i8* %166, i64 %168
%170 = load i8, i8* %169
%171 = sext i8 %170 to i32
%172 = icmp eq i32 %171, 55
br i1 %172, label %181, label %173
173: ; preds = %165
%174 = load i8*, i8** %3
%175 = load i32, i32* %6
%176 = sext i32 %175 to i64
%177 = getelementptr inbounds i8, i8* %174, i64 %176
%178 = load i8, i8* %177
%179 = sext i8 %178 to i32
%180 = icmp eq i32 %179, 38
br i1 %180, label %181, label %182
181: ; preds = %173, %165, %157, %149, %141, %133, %125, %117, %109, %101
store i32 1, i32* %5
br label %182
182: ; preds = %181, %173, %98
br label %183
183: ; preds = %182, %97
%184 = load i32, i32* %5
%185 = icmp ne i32 %184, 0
br i1 %185, label %186, label %190
186: ; preds = %183
%187 = load i32, i32* %4
%188 = icmp ne i32 %187, 0
br i1 %188, label %189, label %190
189: ; preds = %186
store i32 -1, i32* %2
br label %203
190: ; preds = %186, %183
br label %191
191: ; preds = %190
%192 = load i32, i32* %6
%193 = add nsw i32 %192, 1
store i32 %193, i32* %6
br label %10
194: ; preds = %10
%195 = load i32, i32* %5
%196 = icmp ne i32 %195, 0
br i1 %196, label %197, label %198
197: ; preds = %194
store i32 1, i32* %2
br label %203
198: ; preds = %194
%199 = load i32, i32* %4
%200 = icmp ne i32 %199, 0
br i1 %200, label %201, label %202
201: ; preds = %198
store i32 0, i32* %2
br label %203
202: ; preds = %198
br label %203
203: ; preds = %189, %197, %201, %202
%204 = load i32, i32* %2
ret i32 %204
}

LLVM IR (-O2):
define i32 @check(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp sgt i32 %2, 0
br i1 %3, label %4, label %30
4: ; preds = %1
%5 = zext i32 %2 to i64
br label %6
6: ; preds = %4, %25
%7 = phi i64 [ 0, %4 ], [ %28, %25 ]
%8 = phi i32 [ 0, %4 ], [ %26, %25 ]
%9 = phi i32 [ 0, %4 ], [ %27, %25 ]
%10 = icmp eq i32 %9, 0
br i1 %10, label %11, label %14
11: ; preds = %6
%12 = getelementptr inbounds i8, i8* %0, i64 %7
%13 = load i8, i8* %12
switch i8 %13, label %14 [
i8 65, label %19
i8 66, label %19
i8 67, label %19
i8 69, label %19
i8 72, label %19
i8 73, label %19
i8 79, label %19
i8 83, label %19
i8 84, label %19
i8 89, label %19
]
14: ; preds = %11, %6
%15 = icmp eq i32 %8, 0
br i1 %15, label %16, label %19
16: ; preds = %14
%17 = getelementptr inbounds i8, i8* %0, i64 %7
%18 = load i8, i8* %17
switch i8 %18, label %25 [
i8 52, label %19
i8 56, label %19
i8 40, label %19
i8 51, label %19
i8 35, label %19
i8 49, label %19
i8 48, label %19
i8 53, label %19
i8 55, label %19
i8 38, label %19
]
19: ; preds = %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %11, %11, %11, %11, %11, %11, %11, %11, %11, %11, %14
%20 = phi i32 [ %9, %14 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ 1, %11 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ], [ %9, %16 ]
%21 = phi i32 [ 1, %14 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ %8, %11 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ], [ 1, %16 ]
%22 = icmp ne i32 %21, 0
%23 = icmp ne i32 %20, 0
%24 = select i1 %22, i1 %23, i1 false
br i1 %24, label %34, label %25
25: ; preds = %16, %19
%26 = phi i32 [ %21, %19 ], [ 0, %16 ]
%27 = phi i32 [ %20, %19 ], [ %9, %16 ]
%28 = add nuw nsw i64 %7, 1
%29 = icmp eq i64 %28, %5
br i1 %29, label %30, label %6
30: ; preds = %25, %1
%31 = phi i32 [ 0, %1 ], [ %26, %25 ]
%32 = icmp ne i32 %31, 0
%33 = zext i1 %32 to i32
br label %34
34: ; preds = %19, %30
%35 = phi i32 [ %33, %30 ], [ -1, %19 ]
ret i32 %35
}