#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 atomic_formula(char *);
scalar_t__ existential_formula(char *);
scalar_t__ filtering(char *, int /*<<< orphan*/);
char *partone(char *);
char *parttwo(char *);
char *slicer(char *, int);
scalar_t__ universal_formula(char *);
int parse(char *g) {
  if (filtering(g, 0) > 0) {
    if (g[0] == 'X') {
      return atomic_formula(g);
    } else if (g[0] == 'E') {
      if (existential_formula(g) > 0)
        return 4;
      else
        return 0;
    } else if (g[0] == 'A') {
      if (universal_formula(g) > 0)
        return 5;
      else
        return 0;
    } else if (g[0] == '(') {
      if ((parse(partone(g)) && parse(parttwo(g))) > 0)
        return 3;
      else
        return 0;
    } else if (g[0] == '-') {
      if (parse(slicer(g, 1)) > 0)
        return 2;
      else
        return 0;
    }
  }
}


x86 assembly (clang, -O0):
<parse>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
xor    %esi,%esi
call   1030 <filtering@plt>
cmp    $0x0,%rax
jle    130c <parse+0x18c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x58,%eax
jne    11c2 <parse+0x42>
mov    -0x10(%rbp),%rdi
call   1060 <atomic_formula@plt>
mov    %eax,-0x4(%rbp)
jmp    130c <parse+0x18c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x45,%eax
jne    11fd <parse+0x7d>
mov    -0x10(%rbp),%rdi
call   1040 <existential_formula@plt>
cmp    $0x0,%rax
jle    11f1 <parse+0x71>
movl   $0x4,-0x4(%rbp)
jmp    130c <parse+0x18c>
movl   $0x0,-0x4(%rbp)
jmp    130c <parse+0x18c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jne    1238 <parse+0xb8>
mov    -0x10(%rbp),%rdi
call   1090 <universal_formula@plt>
cmp    $0x0,%rax
jle    122c <parse+0xac>
movl   $0x5,-0x4(%rbp)
jmp    130c <parse+0x18c>
movl   $0x0,-0x4(%rbp)
jmp    130c <parse+0x18c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    12ac <parse+0x12c>
mov    -0x10(%rbp),%rdi
call   1080 <partone@plt>
mov    %rax,%rdi
call   1070 <parse@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x11(%rbp)
je     1283 <parse+0x103>
mov    -0x10(%rbp),%rdi
call   1050 <parttwo@plt>
mov    %rax,%rdi
call   1070 <parse@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
jle    12a0 <parse+0x120>
movl   $0x3,-0x4(%rbp)
jmp    130c <parse+0x18c>
movl   $0x0,-0x4(%rbp)
jmp    130c <parse+0x18c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    12f3 <parse+0x173>
mov    -0x10(%rbp),%rdi
mov    $0x1,%esi
call   10a0 <slicer@plt>
mov    %rax,%rdi
call   1070 <parse@plt>
cmp    $0x0,%eax
jle    12e7 <parse+0x167>
movl   $0x2,-0x4(%rbp)
jmp    130c <parse+0x18c>
movl   $0x0,-0x4(%rbp)
jmp    130c <parse+0x18c>
jmp    12f8 <parse+0x178>
jmp    12fd <parse+0x17d>
jmp    1302 <parse+0x182>
jmp    1307 <parse+0x187>
jmp    130c <parse+0x18c>
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<parse>:
push   %rbx
mov    %rdi,%rbx
xor    %esi,%esi
call   1030 <filtering@plt>
test   %rax,%rax
jle    11e1 <parse+0x61>
mov    (%rbx),%cl
add    $0xd8,%cl
cmp    $0x30,%cl
ja     123d <parse+0xbd>
movzbl %cl,%eax
lea    0xe58(%rip),%rcx
movslq (%rcx,%rax,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
mov    %rbx,%rdi
call   1080 <partone@plt>
mov    %rax,%rdi
call   1070 <parse@plt>
test   %eax,%eax
je     123b <parse+0xbb>
mov    %rbx,%rdi
call   1050 <parttwo@plt>
mov    %rax,%rdi
call   1070 <parse@plt>
xor    %ecx,%ecx
test   %eax,%eax
setne  %cl
lea    (%rcx,%rcx,2),%eax
pop    %rbx
ret
pop    %rbx
ret
mov    %rbx,%rdi
mov    $0x1,%esi
call   10a0 <slicer@plt>
mov    %rax,%rdi
call   1070 <parse@plt>
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
setg   %al
add    %eax,%eax
pop    %rbx
ret
mov    %rbx,%rdi
call   1090 <universal_formula@plt>
xor    %ecx,%ecx
test   %rax,%rax
setg   %cl
lea    (%rcx,%rcx,4),%eax
pop    %rbx
ret
mov    %rbx,%rdi
call   1040 <existential_formula@plt>
mov    %rax,%rcx
xor    %eax,%eax
test   %rcx,%rcx
setg   %al
shl    $0x2,%eax
pop    %rbx
ret
mov    %rbx,%rdi
pop    %rbx
jmp    1060 <atomic_formula@plt>
xor    %eax,%eax
pop    %rbx
ret

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

LLVM IR (-O2):
define i32 @parse(i8* %0) {
%2 = tail call i64 @filtering(i8* %0, i32 0)
%3 = icmp sgt i64 %2, 0
br i1 %3, label %4, label %20
4: ; preds = %1
%5 = load i8, i8* %0
switch i8 %5, label %20 [
i8 88, label %6
i8 69, label %8
i8 65, label %12
i8 40, label %16
i8 45, label %27
]
6: ; preds = %4
%7 = tail call i32 @atomic_formula(i8* %0)
br label %20
8: ; preds = %4
%9 = tail call i64 @existential_formula(i8* %0)
%10 = icmp sgt i64 %9, 0
%11 = select i1 %10, i32 4, i32 0
br label %20
12: ; preds = %4
%13 = tail call i64 @universal_formula(i8* %0)
%14 = icmp sgt i64 %13, 0
%15 = select i1 %14, i32 5, i32 0
br label %20
16: ; preds = %4
%17 = tail call i8* @partone(i8* %0)
%18 = tail call i32 @parse(i8* %17)
%19 = icmp eq i32 %18, 0
br i1 %19, label %20, label %22
20: ; preds = %1, %6, %8, %12, %4, %16, %27, %22
%21 = phi i32 [ %26, %22 ], [ %31, %27 ], [ %7, %6 ], [ undef, %1 ], [ %11, %8 ], [ %15, %12 ], [ undef, %4 ], [ 0, %16 ]
ret i32 %21
22: ; preds = %16
%23 = tail call i8* @parttwo(i8* %0)
%24 = tail call i32 @parse(i8* %23)
%25 = icmp eq i32 %24, 0
%26 = select i1 %25, i32 0, i32 3
br label %20
27: ; preds = %4
%28 = tail call i8* @slicer(i8* %0, i32 1)
%29 = tail call i32 @parse(i8* %28)
%30 = icmp sgt i32 %29, 0
%31 = select i1 %30, i32 2, i32 0
br label %20
}