#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 binary(char const *, char const *, char const *);
int /*<<< orphan*/ errx(int, char *);
scalar_t__ isBinary(char const *);
scalar_t__ strcmp(char const *, char *);
int unary(char const *, char const *);
bool test(int count, const char *args[]) {
  if (count == 0) {
    return false;
  } else if (count == 1) {
    return *args[0];
  } else if (count == 2) {
    if (strcmp(args[0], "!") == 0) {
      return !*args[1];
    } else {
      return unary(args[0], args[1]);
    }
  } else if (count == 3) {
    if (isBinary(args[1])) {
      return binary(args[0], args[1], args[2]);
    } else if (strcmp(args[0], "!") == 0) {
      return !test(2, args + 1);
    }
  } else if (count == 4) {
    if (strcmp(args[0], "!") == 0) {
      return !test(3, args + 1);
    }
  }
  errx(2, "too many operands");
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1185 <test+0x25>
movl   $0x0,-0x4(%rbp)
jmp    130c <test+0x1ac>
cmpl   $0x1,-0x8(%rbp)
jne    11a1 <test+0x41>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    130c <test+0x1ac>
cmpl   $0x2,-0x8(%rbp)
jne    1201 <test+0xa1>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
lea    0xe47(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%rax
jne    11e5 <test+0x85>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
cmpb   $0x0,(%rax)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130c <test+0x1ac>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rsi
call   1050 <unary@plt>
mov    %eax,-0x4(%rbp)
jmp    130c <test+0x1ac>
cmpl   $0x3,-0x8(%rbp)
jne    1294 <test+0x134>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rdi
call   1070 <isBinary@plt>
cmp    $0x0,%rax
je     1246 <test+0xe6>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rsi
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rdx
call   1030 <binary@plt>
mov    %eax,-0x4(%rbp)
jmp    130c <test+0x1ac>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
lea    0xdac(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%rax
jne    128a <test+0x12a>
mov    -0x10(%rbp),%rsi
add    $0x8,%rsi
mov    $0x2,%edi
call   1080 <test@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130c <test+0x1ac>
jmp    128f <test+0x12f>
jmp    12ec <test+0x18c>
cmpl   $0x4,-0x8(%rbp)
jne    12e7 <test+0x187>
mov    -0x10(%rbp),%rax
mov    (%rax),%rdi
lea    0xd54(%rip),%rsi
call   1060 <strcmp@plt>
cmp    $0x0,%rax
jne    12e2 <test+0x182>
mov    -0x10(%rbp),%rsi
add    $0x8,%rsi
mov    $0x3,%edi
call   1080 <test@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    130c <test+0x1ac>
jmp    12e7 <test+0x187>
jmp    12ec <test+0x18c>
jmp    12f1 <test+0x191>
jmp    12f6 <test+0x196>
jmp    12fb <test+0x19b>
mov    $0x2,%edi
lea    0xcfb(%rip),%rsi
call   1040 <errx@plt>
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbx
cmp    $0x4,%edi
ja     1219 <test+0xb9>
mov    %rsi,%rbx
mov    %edi,%eax
lea    0xe8a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    (%rbx),%rax
movsbl (%rax),%edi
jmp    122a <test+0xca>
mov    (%rbx),%rdi
lea    0xe80(%rip),%rsi
call   1060 <strcmp@plt>
test   %rax,%rax
je     11f9 <test+0x99>
mov    (%rbx),%rdi
mov    0x8(%rbx),%rsi
pop    %rbx
jmp    1050 <unary@plt>
mov    0x8(%rbx),%rdi
call   1070 <isBinary@plt>
mov    (%rbx),%rdi
test   %rax,%rax
je     1208 <test+0xa8>
mov    0x8(%rbx),%rsi
mov    0x10(%rbx),%rdx
pop    %rbx
jmp    1030 <binary@plt>
mov    (%rbx),%rdi
lea    0xe40(%rip),%rsi
call   1060 <strcmp@plt>
test   %rax,%rax
jne    1219 <test+0xb9>
add    $0x8,%rbx
mov    $0x3,%edi
mov    %rbx,%rsi
call   1080 <test@plt>
xor    %edi,%edi
test   %eax,%eax
sete   %dil
jmp    122a <test+0xca>
mov    0x8(%rbx),%rax
xor    %edi,%edi
cmpb   $0x0,(%rax)
sete   %dil
jmp    122a <test+0xca>
lea    0xe05(%rip),%rsi
call   1060 <strcmp@plt>
test   %rax,%rax
je     122e <test+0xce>
lea    0xdf6(%rip),%rsi
mov    $0x2,%edi
call   1040 <errx@plt>
mov    %edi,%eax
pop    %rbx
ret
mov    0x8(%rbx),%rdi
lea    0xddb(%rip),%rsi
call   1060 <strcmp@plt>
test   %rax,%rax
je     1252 <test+0xf2>
mov    0x8(%rbx),%rdi
mov    0x10(%rbx),%rsi
call   1050 <unary@plt>
jmp    11ef <test+0x8f>
mov    0x10(%rbx),%rcx
xor    %eax,%eax
cmpb   $0x0,(%rcx)
sete   %al
jmp    11ef <test+0x8f>

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

LLVM IR (-O2):
@.str = [2 x i8] c"!\00"
@.str.1 = [18 x i8] c"too many operands\00"
define i32 @test(i32 %0, i8** nocapture %1) {
switch i32 %0, label %66 [
i32 0, label %59
i32 1, label %3
i32 2, label %7
i32 3, label %22
i32 4, label %55
]
3: ; preds = %2
%4 = load i8*, i8** %1
%5 = load i8, i8* %4
%6 = sext i8 %5 to i32
br label %59
7: ; preds = %2
%8 = load i8*, i8** %1
%9 = tail call i64 @strcmp(i8* %8, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%10 = icmp eq i64 %9, 0
br i1 %10, label %11, label %17
11: ; preds = %7
%12 = getelementptr inbounds i8*, i8** %1, i64 1
%13 = load i8*, i8** %12
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 0
%16 = zext i1 %15 to i32
br label %59
17: ; preds = %7
%18 = load i8*, i8** %1
%19 = getelementptr inbounds i8*, i8** %1, i64 1
%20 = load i8*, i8** %19
%21 = tail call i32 @unary(i8* %18, i8* %20)
br label %59
22: ; preds = %2
%23 = getelementptr inbounds i8*, i8** %1, i64 1
%24 = load i8*, i8** %23
%25 = tail call i64 @isBinary(i8* %24)
%26 = icmp eq i64 %25, 0
%27 = load i8*, i8** %1
br i1 %26, label %33, label %28
28: ; preds = %22
%29 = load i8*, i8** %23
%30 = getelementptr inbounds i8*, i8** %1, i64 2
%31 = load i8*, i8** %30
%32 = tail call i32 @binary(i8* %27, i8* %29, i8* %31)
br label %59
33: ; preds = %22
%34 = tail call i64 @strcmp(i8* %27, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%35 = icmp eq i64 %34, 0
br i1 %35, label %36, label %66
36: ; preds = %33
%37 = load i8*, i8** %23
%38 = tail call i64 @strcmp(i8* %37, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%39 = icmp eq i64 %38, 0
br i1 %39, label %40, label %46
40: ; preds = %36
%41 = getelementptr inbounds i8*, i8** %1, i64 2
%42 = load i8*, i8** %41
%43 = load i8, i8* %42
%44 = icmp eq i8 %43, 0
%45 = zext i1 %44 to i32
br label %51
46: ; preds = %36
%47 = load i8*, i8** %23
%48 = getelementptr inbounds i8*, i8** %1, i64 2
%49 = load i8*, i8** %48
%50 = tail call i32 @unary(i8* %47, i8* %49)
br label %51
51: ; preds = %40, %46
%52 = phi i32 [ %45, %40 ], [ %50, %46 ]
%53 = icmp eq i32 %52, 0
%54 = zext i1 %53 to i32
br label %59
55: ; preds = %2
%56 = load i8*, i8** %1
%57 = tail call i64 @strcmp(i8* %56, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%58 = icmp eq i64 %57, 0
br i1 %58, label %61, label %66
59: ; preds = %3, %11, %17, %28, %51, %66, %2, %61
%60 = phi i32 [ %65, %61 ], [ %6, %3 ], [ %16, %11 ], [ %21, %17 ], [ %32, %28 ], [ %54, %51 ], [ undef, %66 ], [ %0, %2 ]
ret i32 %60
61: ; preds = %55
%62 = getelementptr inbounds i8*, i8** %1, i64 1
%63 = tail call i32 @test(i32 3, i8** %62)
%64 = icmp eq i32 %63, 0
%65 = zext i1 %64 to i32
br label %59
66: ; preds = %2, %33, %55
%67 = tail call i32 @errx(i32 2, i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0))
br label %59
}