#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*/ bin(char *);
char *partone(char *);
char *parttwo(char *);
char *segment(char *, int, int);
int strlen(char *);
int varchar(char);
int parse(char *g) {
  if (g[0] == 'X' && g[1] == '[' && varchar(g[2]) == 1 && varchar(g[3]) == 1 &&
      g[4] == ']' && g[5] == '\0') {
    return 1;
  }
  if (g[0] == '-') {
    char *tail = segment(g, 2, strlen(g) + 1);
    int check = parse(tail);
    if (check != 0) {
      return 2;
    }
  }
  if (g[0] == '(' && g[strlen(g) - 1] == ')') {
    if (bin(g) != '0') {
      char *fmla1 = partone(g);
      char *fmla2 = parttwo(g);
      int check1 = parse(fmla1);
      int check2 = parse(fmla2);
      if (check1 != 0 && check2 != 0) {
        return 3;
      }
    }
  }
  if (g[0] == 'E' && varchar(g[1]) == 1) {
    char *tail = segment(g, 3, strlen(g) + 1);
    int check = parse(tail);
    if (check != 0) {
      return 4;
    }
  }
  if (*g == 'A' && varchar(g[1]) == 1) {
    char *tail = segment(g, 3, strlen(g) + 1);
    int check = parse(tail);
    if (check != 0) {
      return 5;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<parse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x58,%eax
jne    11fa <parse+0x8a>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x5b,%eax
jne    11fa <parse+0x8a>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    11fa <parse+0x8a>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    11fa <parse+0x8a>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x5d,%eax
jne    11fa <parse+0x8a>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x0,%eax
jne    11fa <parse+0x8a>
movl   $0x1,-0x4(%rbp)
jmp    13f2 <parse+0x282>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1259 <parse+0xe9>
mov    -0x10(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x60(%rbp),%rdi
mov    %eax,%edx
add    $0x1,%edx
mov    $0x2,%esi
call   1050 <segment@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1080 <parse@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1254 <parse+0xe4>
movl   $0x2,-0x4(%rbp)
jmp    13f2 <parse+0x282>
jmp    1259 <parse+0xe9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    1301 <parse+0x191>
mov    -0x10(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x68(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x29,%eax
jne    1301 <parse+0x191>
mov    -0x10(%rbp),%rdi
call   1030 <bin@plt>
cmp    $0x30,%eax
je     12fc <parse+0x18c>
mov    -0x10(%rbp),%rdi
call   1090 <partone@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1060 <parttwo@plt>
mov    %rax,-0x30(%rbp)
mov    -0x28(%rbp),%rdi
call   1080 <parse@plt>
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%rdi
call   1080 <parse@plt>
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x34(%rbp)
je     12f7 <parse+0x187>
cmpl   $0x0,-0x38(%rbp)
je     12f7 <parse+0x187>
movl   $0x3,-0x4(%rbp)
jmp    13f2 <parse+0x282>
jmp    12fc <parse+0x18c>
jmp    1301 <parse+0x191>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x45,%eax
jne    1376 <parse+0x206>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    1376 <parse+0x206>
mov    -0x10(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x70(%rbp),%rdi
mov    %eax,%edx
add    $0x1,%edx
mov    $0x3,%esi
call   1050 <segment@plt>
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
call   1080 <parse@plt>
mov    %eax,-0x44(%rbp)
cmpl   $0x0,-0x44(%rbp)
je     1371 <parse+0x201>
movl   $0x4,-0x4(%rbp)
jmp    13f2 <parse+0x282>
jmp    1376 <parse+0x206>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jne    13eb <parse+0x27b>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    13eb <parse+0x27b>
mov    -0x10(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x78(%rbp),%rdi
mov    %eax,%edx
add    $0x1,%edx
mov    $0x3,%esi
call   1050 <segment@plt>
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rdi
call   1080 <parse@plt>
mov    %eax,-0x54(%rbp)
cmpl   $0x0,-0x54(%rbp)
je     13e6 <parse+0x276>
movl   $0x5,-0x4(%rbp)
jmp    13f2 <parse+0x282>
jmp    13eb <parse+0x27b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rbx
mov    (%rdi),%al
cmp    $0x58,%al
jne    11b1 <parse+0x41>
cmpb   $0x5b,0x1(%rbx)
jne    11af <parse+0x3f>
movsbl 0x2(%rbx),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    11af <parse+0x3f>
movsbl 0x3(%rbx),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    11af <parse+0x3f>
cmpb   $0x5d,0x4(%rbx)
jne    11af <parse+0x3f>
cmpb   $0x0,0x5(%rbx)
je     12bd <parse+0x14d>
mov    (%rbx),%al
cmp    $0x2d,%al
jne    11e4 <parse+0x74>
mov    %rbx,%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edx
mov    $0x2,%ebp
mov    %rbx,%rdi
mov    $0x2,%esi
call   1050 <segment@plt>
mov    %rax,%rdi
call   1080 <parse@plt>
test   %eax,%eax
jne    12b6 <parse+0x146>
mov    (%rbx),%al
cmp    $0x28,%al
jne    123d <parse+0xcd>
mov    %rbx,%rdi
call   1040 <strlen@plt>
cltq
cmpb   $0x29,-0x1(%rax,%rbx,1)
jne    123b <parse+0xcb>
mov    %rbx,%rdi
call   1030 <bin@plt>
cmp    $0x30,%eax
je     123b <parse+0xcb>
mov    %rbx,%rdi
call   1090 <partone@plt>
mov    %rax,%rbp
mov    %rbx,%rdi
call   1060 <parttwo@plt>
mov    %rax,%r14
mov    %rbp,%rdi
call   1080 <parse@plt>
mov    %eax,%ebp
mov    %r14,%rdi
call   1080 <parse@plt>
test   %ebp,%ebp
je     123b <parse+0xcb>
mov    $0x3,%ebp
test   %eax,%eax
jne    12b6 <parse+0x146>
mov    (%rbx),%al
cmp    $0x45,%al
jne    1278 <parse+0x108>
movsbl 0x1(%rbx),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    1278 <parse+0x108>
mov    %rbx,%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edx
mov    %rbx,%rdi
mov    $0x3,%esi
call   1050 <segment@plt>
mov    %rax,%rdi
call   1080 <parse@plt>
mov    $0x4,%ebp
test   %eax,%eax
jne    12b6 <parse+0x146>
cmpb   $0x41,(%rbx)
jne    12b4 <parse+0x144>
movsbl 0x1(%rbx),%edi
call   1070 <varchar@plt>
cmp    $0x1,%eax
jne    12b4 <parse+0x144>
mov    %rbx,%rdi
call   1040 <strlen@plt>
lea    0x1(%rax),%edx
mov    %rbx,%rdi
mov    $0x3,%esi
call   1050 <segment@plt>
mov    %rax,%rdi
call   1080 <parse@plt>
mov    $0x5,%ebp
test   %eax,%eax
jne    12b6 <parse+0x146>
xor    %ebp,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret
mov    $0x1,%ebp
jmp    12b6 <parse+0x146>

LLVM IR (-O0):
define i32 @parse(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i8*
%11 = alloca i32
%12 = alloca i8*
%13 = alloca i32
store i8* %0, i8** %3
%14 = load i8*, i8** %3
%15 = getelementptr inbounds i8, i8* %14, i64 0
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp eq i32 %17, 88
br i1 %18, label %19, label %50
19: ; preds = %1
%20 = load i8*, i8** %3
%21 = getelementptr inbounds i8, i8* %20, i64 1
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 91
br i1 %24, label %25, label %50
25: ; preds = %19
%26 = load i8*, i8** %3
%27 = getelementptr inbounds i8, i8* %26, i64 2
%28 = load i8, i8* %27
%29 = call i32 @varchar(i8 signext %28)
%30 = icmp eq i32 %29, 1
br i1 %30, label %31, label %50
31: ; preds = %25
%32 = load i8*, i8** %3
%33 = getelementptr inbounds i8, i8* %32, i64 3
%34 = load i8, i8* %33
%35 = call i32 @varchar(i8 signext %34)
%36 = icmp eq i32 %35, 1
br i1 %36, label %37, label %50
37: ; preds = %31
%38 = load i8*, i8** %3
%39 = getelementptr inbounds i8, i8* %38, i64 4
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp eq i32 %41, 93
br i1 %42, label %43, label %50
43: ; preds = %37
%44 = load i8*, i8** %3
%45 = getelementptr inbounds i8, i8* %44, i64 5
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = icmp eq i32 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %43
store i32 1, i32* %2
br label %153
50: ; preds = %43, %37, %31, %25, %19, %1
%51 = load i8*, i8** %3
%52 = getelementptr inbounds i8, i8* %51, i64 0
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp eq i32 %54, 45
br i1 %55, label %56, label %68
56: ; preds = %50
%57 = load i8*, i8** %3
%58 = load i8*, i8** %3
%59 = call i32 @strlen(i8* %58)
%60 = add nsw i32 %59, 1
%61 = call i8* @segment(i8* %57, i32 2, i32 %60)
store i8* %61, i8** %4
%62 = load i8*, i8** %4
%63 = call i32 @parse(i8* %62)
store i32 %63, i32* %5
%64 = load i32, i32* %5
%65 = icmp ne i32 %64, 0
br i1 %65, label %66, label %67
66: ; preds = %56
store i32 2, i32* %2
br label %153
67: ; preds = %56
br label %68
68: ; preds = %67, %50
%69 = load i8*, i8** %3
%70 = getelementptr inbounds i8, i8* %69, i64 0
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp eq i32 %72, 40
br i1 %73, label %74, label %105
74: ; preds = %68
%75 = load i8*, i8** %3
%76 = load i8*, i8** %3
%77 = call i32 @strlen(i8* %76)
%78 = sub nsw i32 %77, 1
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %75, i64 %79
%81 = load i8, i8* %80
%82 = sext i8 %81 to i32
%83 = icmp eq i32 %82, 41
br i1 %83, label %84, label %105
84: ; preds = %74
%85 = load i8*, i8** %3
%86 = call i32 @bin(i8* %85)
%87 = icmp ne i32 %86, 48
br i1 %87, label %88, label %104
88: ; preds = %84
%89 = load i8*, i8** %3
%90 = call i8* @partone(i8* %89)
store i8* %90, i8** %6
%91 = load i8*, i8** %3
%92 = call i8* @parttwo(i8* %91)
store i8* %92, i8** %7
%93 = load i8*, i8** %6
%94 = call i32 @parse(i8* %93)
store i32 %94, i32* %8
%95 = load i8*, i8** %7
%96 = call i32 @parse(i8* %95)
store i32 %96, i32* %9
%97 = load i32, i32* %8
%98 = icmp ne i32 %97, 0
br i1 %98, label %99, label %103
99: ; preds = %88
%100 = load i32, i32* %9
%101 = icmp ne i32 %100, 0
br i1 %101, label %102, label %103
102: ; preds = %99
store i32 3, i32* %2
br label %153
103: ; preds = %99, %88
br label %104
104: ; preds = %103, %84
br label %105
105: ; preds = %104, %74, %68
%106 = load i8*, i8** %3
%107 = getelementptr inbounds i8, i8* %106, i64 0
%108 = load i8, i8* %107
%109 = sext i8 %108 to i32
%110 = icmp eq i32 %109, 69
br i1 %110, label %111, label %129
111: ; preds = %105
%112 = load i8*, i8** %3
%113 = getelementptr inbounds i8, i8* %112, i64 1
%114 = load i8, i8* %113
%115 = call i32 @varchar(i8 signext %114)
%116 = icmp eq i32 %115, 1
br i1 %116, label %117, label %129
117: ; preds = %111
%118 = load i8*, i8** %3
%119 = load i8*, i8** %3
%120 = call i32 @strlen(i8* %119)
%121 = add nsw i32 %120, 1
%122 = call i8* @segment(i8* %118, i32 3, i32 %121)
store i8* %122, i8** %10
%123 = load i8*, i8** %10
%124 = call i32 @parse(i8* %123)
store i32 %124, i32* %11
%125 = load i32, i32* %11
%126 = icmp ne i32 %125, 0
br i1 %126, label %127, label %128
127: ; preds = %117
store i32 4, i32* %2
br label %153
128: ; preds = %117
br label %129
129: ; preds = %128, %111, %105
%130 = load i8*, i8** %3
%131 = load i8, i8* %130
%132 = sext i8 %131 to i32
%133 = icmp eq i32 %132, 65
br i1 %133, label %134, label %152
134: ; preds = %129
%135 = load i8*, i8** %3
%136 = getelementptr inbounds i8, i8* %135, i64 1
%137 = load i8, i8* %136
%138 = call i32 @varchar(i8 signext %137)
%139 = icmp eq i32 %138, 1
br i1 %139, label %140, label %152
140: ; preds = %134
%141 = load i8*, i8** %3
%142 = load i8*, i8** %3
%143 = call i32 @strlen(i8* %142)
%144 = add nsw i32 %143, 1
%145 = call i8* @segment(i8* %141, i32 3, i32 %144)
store i8* %145, i8** %12
%146 = load i8*, i8** %12
%147 = call i32 @parse(i8* %146)
store i32 %147, i32* %13
%148 = load i32, i32* %13
%149 = icmp ne i32 %148, 0
br i1 %149, label %150, label %151
150: ; preds = %140
store i32 5, i32* %2
br label %153
151: ; preds = %140
br label %152
152: ; preds = %151, %134, %129
store i32 0, i32* %2
br label %153
153: ; preds = %152, %150, %127, %102, %66, %49
%154 = load i32, i32* %2
ret i32 %154
}

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