#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*/ append();
char current();
int /*<<< orphan*/ expect_ch(char);
int operator();
int punctuation(void) {
  if ('@' == current()) {
    expect_ch('@');
    if ('[' == current()) {
      expect_ch('[');
      return 7;
    } else if ('{' == current()) {
      expect_ch('{');
      return 8;
    } else {
      return operator();
    }
  } else if ('<' == current()) {
    expect_ch('<');
    if ('-' == current()) {
      expect_ch('-');
      return 9;
    } else {
      return operator();
    }
  } else {
    switch (current()) {
    case '=':
      append();
      return 10;
      break;
    case ';':
      append();
      return 11;
      break;
    case ':':
      append();
      return 12;
      break;
    case '|':
      append();
      return 13;
      break;
    case '(':
      append();
      return 14;
      break;
    case ')':
      append();
      return 15;
      break;
    case '[':
      append();
      return 16;
      break;
    case ']':
      append();
      return 17;
      break;
    case '{':
      append();
      return 18;
      break;
    case '}':
      append();
      return 19;
      break;
    default:
      return operator();
      break;
    }
  }
}


x86 assembly (clang, -O0):
<punctuation>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    $0x0,%al
call   1060 <current@plt>
movsbl %al,%ecx
mov    $0x40,%eax
cmp    %ecx,%eax
jne    11d2 <punctuation+0x92>
mov    $0x40,%edi
call   1050 <expect_ch@plt>
mov    $0x0,%al
call   1060 <current@plt>
movsbl %al,%ecx
mov    $0x5b,%eax
cmp    %ecx,%eax
jne    1196 <punctuation+0x56>
mov    $0x5b,%edi
call   1050 <expect_ch@plt>
movl   $0x7,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1060 <current@plt>
movsbl %al,%ecx
mov    $0x7b,%eax
cmp    %ecx,%eax
jne    11c3 <punctuation+0x83>
mov    $0x7b,%edi
call   1050 <expect_ch@plt>
movl   $0x8,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1040 <operator@plt>
mov    %eax,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1060 <current@plt>
movsbl %al,%ecx
mov    $0x3c,%eax
cmp    %ecx,%eax
jne    122f <punctuation+0xef>
mov    $0x3c,%edi
call   1050 <expect_ch@plt>
mov    $0x0,%al
call   1060 <current@plt>
movsbl %al,%ecx
mov    $0x2d,%eax
cmp    %ecx,%eax
jne    1220 <punctuation+0xe0>
mov    $0x2d,%edi
call   1050 <expect_ch@plt>
movl   $0x9,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1040 <operator@plt>
mov    %eax,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
xor    %eax,%eax
call   1060 <current@plt>
movsbl %al,%eax
add    $0xffffffd8,%eax
mov    %eax,%ecx
mov    %rcx,-0x10(%rbp)
sub    $0x55,%eax
ja     131d <punctuation+0x1dd>
mov    -0x10(%rbp),%rax
lea    0xdaa(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    $0x0,%al
call   1030 <append@plt>
movl   $0xa,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0xb,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0xc,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0xd,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0xe,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0xf,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0x10,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0x11,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0x12,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1030 <append@plt>
movl   $0x13,-0x4(%rbp)
jmp    1327 <punctuation+0x1e7>
mov    $0x0,%al
call   1040 <operator@plt>
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<punctuation>:
push   %rax
xor    %eax,%eax
call   1060 <current@plt>
cmp    $0x40,%al
jne    1172 <punctuation+0x32>
mov    $0x40,%edi
call   1050 <expect_ch@plt>
xor    %eax,%eax
call   1060 <current@plt>
cmp    $0x5b,%al
jne    11a3 <punctuation+0x63>
mov    $0x5b,%edi
call   1050 <expect_ch@plt>
mov    $0x7,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1060 <current@plt>
cmp    $0x3c,%al
jne    11bf <punctuation+0x7f>
mov    $0x3c,%edi
call   1050 <expect_ch@plt>
xor    %eax,%eax
call   1060 <current@plt>
cmp    $0x2d,%al
jne    11ef <punctuation+0xaf>
mov    $0x2d,%edi
call   1050 <expect_ch@plt>
mov    $0x9,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1060 <current@plt>
cmp    $0x7b,%al
jne    11ef <punctuation+0xaf>
mov    $0x7b,%edi
call   1050 <expect_ch@plt>
mov    $0x8,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1060 <current@plt>
movsbl %al,%eax
add    $0xffffffd8,%eax
cmp    $0x55,%eax
ja     11ef <punctuation+0xaf>
lea    0xe28(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
xor    %eax,%eax
call   1030 <append@plt>
mov    $0xe,%eax
pop    %rcx
ret
xor    %eax,%eax
pop    %rcx
jmp    1040 <operator@plt>
xor    %eax,%eax
call   1030 <append@plt>
mov    $0xf,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0xc,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0xb,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0xa,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0x10,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0x11,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0x12,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0xd,%eax
pop    %rcx
ret
xor    %eax,%eax
call   1030 <append@plt>
mov    $0x13,%eax
pop    %rcx
ret

LLVM IR (-O0):
define i32 @punctuation() {
%1 = alloca i32
%2 = call signext i8 (...) @current()
%3 = sext i8 %2 to i32
%4 = icmp eq i32 64, %3
br i1 %4, label %5, label %20
5: ; preds = %0
%6 = call i32 @expect_ch(i8 signext 64)
%7 = call signext i8 (...) @current()
%8 = sext i8 %7 to i32
%9 = icmp eq i32 91, %8
br i1 %9, label %10, label %12
10: ; preds = %5
%11 = call i32 @expect_ch(i8 signext 91)
store i32 7, i32* %1
br label %58
12: ; preds = %5
%13 = call signext i8 (...) @current()
%14 = sext i8 %13 to i32
%15 = icmp eq i32 123, %14
br i1 %15, label %16, label %18
16: ; preds = %12
%17 = call i32 @expect_ch(i8 signext 123)
store i32 8, i32* %1
br label %58
18: ; preds = %12
%19 = call i32 (...) @operator()
store i32 %19, i32* %1
br label %58
20: ; preds = %0
%21 = call signext i8 (...) @current()
%22 = sext i8 %21 to i32
%23 = icmp eq i32 60, %22
br i1 %23, label %24, label %33
24: ; preds = %20
%25 = call i32 @expect_ch(i8 signext 60)
%26 = call signext i8 (...) @current()
%27 = sext i8 %26 to i32
%28 = icmp eq i32 45, %27
br i1 %28, label %29, label %31
29: ; preds = %24
%30 = call i32 @expect_ch(i8 signext 45)
store i32 9, i32* %1
br label %58
31: ; preds = %24
%32 = call i32 (...) @operator()
store i32 %32, i32* %1
br label %58
33: ; preds = %20
%34 = call signext i8 (...) @current()
%35 = sext i8 %34 to i32
switch i32 %35, label %56 [
i32 61, label %36
i32 59, label %38
i32 58, label %40
i32 124, label %42
i32 40, label %44
i32 41, label %46
i32 91, label %48
i32 93, label %50
i32 123, label %52
i32 125, label %54
]
36: ; preds = %33
%37 = call i32 (...) @append()
store i32 10, i32* %1
br label %58
38: ; preds = %33
%39 = call i32 (...) @append()
store i32 11, i32* %1
br label %58
40: ; preds = %33
%41 = call i32 (...) @append()
store i32 12, i32* %1
br label %58
42: ; preds = %33
%43 = call i32 (...) @append()
store i32 13, i32* %1
br label %58
44: ; preds = %33
%45 = call i32 (...) @append()
store i32 14, i32* %1
br label %58
46: ; preds = %33
%47 = call i32 (...) @append()
store i32 15, i32* %1
br label %58
48: ; preds = %33
%49 = call i32 (...) @append()
store i32 16, i32* %1
br label %58
50: ; preds = %33
%51 = call i32 (...) @append()
store i32 17, i32* %1
br label %58
52: ; preds = %33
%53 = call i32 (...) @append()
store i32 18, i32* %1
br label %58
54: ; preds = %33
%55 = call i32 (...) @append()
store i32 19, i32* %1
br label %58
56: ; preds = %33
%57 = call i32 (...) @operator()
store i32 %57, i32* %1
br label %58
58: ; preds = %56, %54, %52, %50, %48, %46, %44, %42, %40, %38, %36, %31, %29, %18, %16, %10
%59 = load i32, i32* %1
ret i32 %59
}

LLVM IR (-O2):
define i32 @punctuation() {
%1 = tail call signext i8 (...) @current()
%2 = icmp eq i8 %1, 64
br i1 %2, label %3, label %16
3: ; preds = %0
%4 = tail call i32 @expect_ch(i8 signext 64)
%5 = tail call signext i8 (...) @current()
%6 = icmp eq i8 %5, 91
br i1 %6, label %7, label %9
7: ; preds = %3
%8 = tail call i32 @expect_ch(i8 signext 91)
br label %52
9: ; preds = %3
%10 = tail call signext i8 (...) @current()
%11 = icmp eq i8 %10, 123
br i1 %11, label %12, label %14
12: ; preds = %9
%13 = tail call i32 @expect_ch(i8 signext 123)
br label %52
14: ; preds = %9
%15 = tail call i32 (...) @operator()
br label %52
16: ; preds = %0
%17 = tail call signext i8 (...) @current()
%18 = icmp eq i8 %17, 60
br i1 %18, label %19, label %27
19: ; preds = %16
%20 = tail call i32 @expect_ch(i8 signext 60)
%21 = tail call signext i8 (...) @current()
%22 = icmp eq i8 %21, 45
br i1 %22, label %23, label %25
23: ; preds = %19
%24 = tail call i32 @expect_ch(i8 signext 45)
br label %52
25: ; preds = %19
%26 = tail call i32 (...) @operator()
br label %52
27: ; preds = %16
%28 = tail call signext i8 (...) @current()
%29 = sext i8 %28 to i32
switch i32 %29, label %50 [
i32 61, label %30
i32 59, label %32
i32 58, label %34
i32 124, label %36
i32 40, label %38
i32 41, label %40
i32 91, label %42
i32 93, label %44
i32 123, label %46
i32 125, label %48
]
30: ; preds = %27
%31 = tail call i32 (...) @append()
br label %52
32: ; preds = %27
%33 = tail call i32 (...) @append()
br label %52
34: ; preds = %27
%35 = tail call i32 (...) @append()
br label %52
36: ; preds = %27
%37 = tail call i32 (...) @append()
br label %52
38: ; preds = %27
%39 = tail call i32 (...) @append()
br label %52
40: ; preds = %27
%41 = tail call i32 (...) @append()
br label %52
42: ; preds = %27
%43 = tail call i32 (...) @append()
br label %52
44: ; preds = %27
%45 = tail call i32 (...) @append()
br label %52
46: ; preds = %27
%47 = tail call i32 (...) @append()
br label %52
48: ; preds = %27
%49 = tail call i32 (...) @append()
br label %52
50: ; preds = %27
%51 = tail call i32 (...) @operator()
br label %52
52: ; preds = %50, %48, %46, %44, %42, %40, %38, %36, %34, %32, %30, %25, %23, %14, %12, %7
%53 = phi i32 [ 7, %7 ], [ 8, %12 ], [ %15, %14 ], [ 9, %23 ], [ %26, %25 ], [ %51, %50 ], [ 19, %48 ], [ 18, %46 ], [ 17, %44 ], [ 16, %42 ], [ 15, %40 ], [ 14, %38 ], [ 13, %36 ], [ 12, %34 ], [ 11, %32 ], [ 10, %30 ]
ret i32 %53
}