#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 classify_char(char);
char *next_nonvoid(char *);
int /*<<< orphan*/ printf(char *, int, ...);
int /*<<< orphan*/ puts(char *);
int check_syntax(char *input) {
  char *ptr;
  char *next;
  int errors = 0;
  int brackets = 0;
  int type;
  next = next_nonvoid(input - 1);
  if (next == NULL) {
    puts("ERROR: Void expression");
    return 1;
  }
  if (*next != '-' && classify_char(*next) == 2) {
    printf("ERROR: Unexpected operator: %c\n", *next);
    errors++;
  }
  for (ptr = input; *ptr != '\0'; ptr++) {
    type = classify_char(*ptr);
    next = next_nonvoid(ptr);
    switch (type) {
    case 0:
      printf("ERROR: Unknown character: %c\n", *ptr);
      errors++;
      break;
    case 2:
      if (next == NULL || *next == ')') {
        printf("ERROR: Unexpected operator: %c\n", *ptr);
        errors++;
      }
      if (next && classify_char(*next) == type) {
        printf("ERROR: Unexpected operator: %c\n", *next);
        errors++;
      }
      break;
    case 3:
      if (classify_char(*(ptr + 1)) == 1 && next && classify_char(*next) == 3) {
        printf("ERROR: Number broken between digits %c and %c\n", *ptr, *next);
        errors++;
      }
      break;
    case 4:
      if (next && *next == ')') {
        puts("ERROR: Void brackets");
        errors++;
      }
      if (next && *next != '-' && classify_char(*next) == 2) {
        printf("ERROR: Unexpected operator: %c\n", *next);
        errors++;
      }
      brackets++;
      break;
    case 5:
      brackets--;
      break;
    case 1:
      break;
    }
  }
  if (brackets < 0) {
    printf("ERROR: %d left brackets '(' missing\n", -brackets);
    errors -= brackets;
  } else if (brackets > 0) {
    printf("ERROR: %d right brackets ')' missing\n", brackets);
    errors += brackets;
  }
  return errors;
}


x86 assembly (clang, -O0):
<check_syntax>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
add    $0xffffffffffffffff,%rdi
call   1060 <next_nonvoid@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
jne    118e <check_syntax+0x4e>
lea    0xe9b(%rip),%rdi
call   1030 <puts@plt>
movl   $0x1,-0x4(%rbp)
jmp    143a <check_syntax+0x2fa>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     11d1 <check_syntax+0x91>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1050 <classify_char@plt>
cmp    $0x2,%eax
jne    11d1 <check_syntax+0x91>
mov    -0x20(%rbp),%rax
movsbl (%rax),%esi
lea    0xe6e(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     13de <check_syntax+0x29e>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1050 <classify_char@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rdi
call   1060 <next_nonvoid@plt>
mov    %rax,-0x20(%rbp)
mov    -0x2c(%rbp),%eax
mov    %rax,-0x38(%rbp)
sub    $0x5,%rax
ja     13c8 <check_syntax+0x288>
mov    -0x38(%rbp),%rax
lea    0xddf(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x18(%rbp),%rax
movsbl (%rax),%esi
lea    0xe17(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13c8 <check_syntax+0x288>
cmpq   $0x0,-0x20(%rbp)
je     1268 <check_syntax+0x128>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1286 <check_syntax+0x146>
mov    -0x18(%rbp),%rax
movsbl (%rax),%esi
lea    0xdb9(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     12c4 <check_syntax+0x184>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1050 <classify_char@plt>
cmp    -0x2c(%rbp),%eax
jne    12c4 <check_syntax+0x184>
mov    -0x20(%rbp),%rax
movsbl (%rax),%esi
lea    0xd7b(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13c8 <check_syntax+0x288>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1050 <classify_char@plt>
cmp    $0x1,%eax
jne    1324 <check_syntax+0x1e4>
cmpq   $0x0,-0x20(%rbp)
je     1324 <check_syntax+0x1e4>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1050 <classify_char@plt>
cmp    $0x3,%eax
jne    1324 <check_syntax+0x1e4>
mov    -0x18(%rbp),%rax
movsbl (%rax),%esi
mov    -0x20(%rbp),%rax
movsbl (%rax),%edx
lea    0xd59(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13c8 <check_syntax+0x288>
cmpq   $0x0,-0x20(%rbp)
je     1359 <check_syntax+0x219>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1359 <check_syntax+0x219>
lea    0xd51(%rip),%rdi
call   1030 <puts@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     13a7 <check_syntax+0x267>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     13a7 <check_syntax+0x267>
mov    -0x20(%rbp),%rax
movsbl (%rax),%edi
call   1050 <classify_char@plt>
cmp    $0x2,%eax
jne    13a7 <check_syntax+0x267>
mov    -0x20(%rbp),%rax
movsbl (%rax),%esi
lea    0xc98(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    13c8 <check_syntax+0x288>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    13c8 <check_syntax+0x288>
jmp    13c8 <check_syntax+0x288>
jmp    13cd <check_syntax+0x28d>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11d9 <check_syntax+0x99>
cmpl   $0x0,-0x28(%rbp)
jge    140b <check_syntax+0x2cb>
xor    %esi,%esi
sub    -0x28(%rbp),%esi
lea    0xcbd(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x28(%rbp),%ecx
mov    -0x24(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x24(%rbp)
jmp    1434 <check_syntax+0x2f4>
cmpl   $0x0,-0x28(%rbp)
jle    142f <check_syntax+0x2ef>
mov    -0x28(%rbp),%esi
lea    0xcb7(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x28(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1434 <check_syntax+0x2f4>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_syntax>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbx
add    $0xffffffffffffffff,%rdi
call   1060 <next_nonvoid@plt>
test   %rax,%rax
je     130f <check_syntax+0x1cf>
mov    %rax,%rbp
mov    (%rax),%al
xor    %r15d,%r15d
cmp    $0x2d,%al
je     1191 <check_syntax+0x51>
movsbl %al,%edi
call   1050 <classify_char@plt>
cmp    $0x2,%eax
jne    1191 <check_syntax+0x51>
movsbl 0x0(%rbp),%esi
lea    0xeab(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
mov    $0x1,%r15d
mov    (%rbx),%al
test   %al,%al
je     1339 <check_syntax+0x1f9>
lea    0xe5e(%rip),%r12
xor    %r14d,%r14d
jmp    11c0 <check_syntax+0x80>
add    $0xffffffff,%r14d
nopl   0x0(%rax,%rax,1)
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
je     12f2 <check_syntax+0x1b2>
movsbl %al,%edi
call   1050 <classify_char@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1060 <next_nonvoid@plt>
cmp    $0x5,%ebp
ja     11b0 <check_syntax+0x70>
mov    %rax,%r13
mov    %ebp,%eax
movslq (%r12,%rax,4),%rax
add    %r12,%rax
jmp    *%rax
movsbl (%rbx),%esi
lea    0xe60(%rip),%rdi
jmp    12e2 <check_syntax+0x1a2>
test   %r13,%r13
je     12d8 <check_syntax+0x198>
movzbl 0x0(%r13),%eax
cmp    $0x29,%al
jne    1220 <check_syntax+0xe0>
movsbl (%rbx),%esi
lea    0xe1f(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%r15d
movzbl 0x0(%r13),%eax
movsbl %al,%edi
call   1050 <classify_char@plt>
cmp    $0x2,%eax
jne    11b0 <check_syntax+0x70>
movsbl 0x0(%r13),%esi
jmp    12db <check_syntax+0x19b>
movsbl 0x1(%rbx),%edi
call   1050 <classify_char@plt>
cmp    $0x1,%eax
jne    11b0 <check_syntax+0x70>
test   %r13,%r13
je     11b0 <check_syntax+0x70>
movsbl 0x0(%r13),%edi
call   1050 <classify_char@plt>
cmp    $0x3,%eax
jne    11b0 <check_syntax+0x70>
movsbl (%rbx),%esi
movsbl 0x0(%r13),%edx
lea    0xdf9(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%r15d
jmp    11b0 <check_syntax+0x70>
test   %r13,%r13
je     12cf <check_syntax+0x18f>
movzbl 0x0(%r13),%eax
cmp    $0x29,%al
jne    12a7 <check_syntax+0x167>
lea    0xe03(%rip),%rdi
call   1030 <puts@plt>
add    $0x1,%r15d
movzbl 0x0(%r13),%eax
cmp    $0x2d,%al
je     12cf <check_syntax+0x18f>
movsbl %al,%edi
call   1050 <classify_char@plt>
cmp    $0x2,%eax
jne    12cf <check_syntax+0x18f>
movsbl 0x0(%r13),%esi
lea    0xd6b(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%r15d
add    $0x1,%r14d
jmp    11b0 <check_syntax+0x70>
movsbl (%rbx),%esi
lea    0xd4d(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
add    $0x1,%r15d
jmp    11b0 <check_syntax+0x70>
test   %r14d,%r14d
js     1323 <check_syntax+0x1e3>
je     1339 <check_syntax+0x1f9>
lea    0xdd6(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1040 <printf@plt>
add    %r14d,%r15d
jmp    1339 <check_syntax+0x1f9>
lea    0xd02(%rip),%rdi
call   1030 <puts@plt>
mov    $0x1,%r15d
jmp    1339 <check_syntax+0x1f9>
mov    %r14d,%esi
neg    %esi
lea    0xd82(%rip),%rdi
xor    %eax,%eax
call   1040 <printf@plt>
sub    %r14d,%r15d
mov    %r15d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [23 x i8] c"ERROR: Void expression\00"
@.str.1 = [32 x i8] c"ERROR: Unexpected operator: %c\0A\00"
@.str.2 = [30 x i8] c"ERROR: Unknown character: %c\0A\00"
@.str.3 = [47 x i8] c"ERROR: Number broken between digits %c and %c\0A\00"
@.str.4 = [21 x i8] c"ERROR: Void brackets\00"
@.str.5 = [37 x i8] c"ERROR: %d left brackets '(' missing\0A\00"
@.str.6 = [38 x i8] c"ERROR: %d right brackets ')' missing\0A\00"
define i32 @check_syntax(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %6
store i32 0, i32* %7
%9 = load i8*, i8** %3
%10 = getelementptr inbounds i8, i8* %9, i64 -1
%11 = call i8* @next_nonvoid(i8* %10)
store i8* %11, i8** %5
%12 = load i8*, i8** %5
%13 = icmp eq i8* %12, null
br i1 %13, label %14, label %16
14: ; preds = %1
%15 = call i32 @puts(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %2
br label %176
16: ; preds = %1
%17 = load i8*, i8** %5
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp ne i32 %19, 45
br i1 %20, label %21, label %33
21: ; preds = %16
%22 = load i8*, i8** %5
%23 = load i8, i8* %22
%24 = call i32 @classify_char(i8 signext %23)
%25 = icmp eq i32 %24, 2
br i1 %25, label %26, label %33
26: ; preds = %21
%27 = load i8*, i8** %5
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %29)
%31 = load i32, i32* %6
%32 = add nsw i32 %31, 1
store i32 %32, i32* %6
br label %33
33: ; preds = %26, %21, %16
%34 = load i8*, i8** %3
store i8* %34, i8** %4
br label %35
35: ; preds = %151, %33
%36 = load i8*, i8** %4
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %154
40: ; preds = %35
%41 = load i8*, i8** %4
%42 = load i8, i8* %41
%43 = call i32 @classify_char(i8 signext %42)
store i32 %43, i32* %8
%44 = load i8*, i8** %4
%45 = call i8* @next_nonvoid(i8* %44)
store i8* %45, i8** %5
%46 = load i32, i32* %8
switch i32 %46, label %150 [
i32 0, label %47
i32 2, label %54
i32 3, label %86
i32 4, label %111
i32 5, label %146
i32 1, label %149
]
47: ; preds = %40
%48 = load i8*, i8** %4
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i32 %50)
%52 = load i32, i32* %6
%53 = add nsw i32 %52, 1
store i32 %53, i32* %6
br label %150
54: ; preds = %40
%55 = load i8*, i8** %5
%56 = icmp eq i8* %55, null
br i1 %56, label %62, label %57
57: ; preds = %54
%58 = load i8*, i8** %5
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = icmp eq i32 %60, 41
br i1 %61, label %62, label %69
62: ; preds = %57, %54
%63 = load i8*, i8** %4
%64 = load i8, i8* %63
%65 = sext i8 %64 to i32
%66 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %65)
%67 = load i32, i32* %6
%68 = add nsw i32 %67, 1
store i32 %68, i32* %6
br label %69
69: ; preds = %62, %57
%70 = load i8*, i8** %5
%71 = icmp ne i8* %70, null
br i1 %71, label %72, label %85
72: ; preds = %69
%73 = load i8*, i8** %5
%74 = load i8, i8* %73
%75 = call i32 @classify_char(i8 signext %74)
%76 = load i32, i32* %8
%77 = icmp eq i32 %75, %76
br i1 %77, label %78, label %85
78: ; preds = %72
%79 = load i8*, i8** %5
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %81)
%83 = load i32, i32* %6
%84 = add nsw i32 %83, 1
store i32 %84, i32* %6
br label %85
85: ; preds = %78, %72, %69
br label %150
86: ; preds = %40
%87 = load i8*, i8** %4
%88 = getelementptr inbounds i8, i8* %87, i64 1
%89 = load i8, i8* %88
%90 = call i32 @classify_char(i8 signext %89)
%91 = icmp eq i32 %90, 1
br i1 %91, label %92, label %110
92: ; preds = %86
%93 = load i8*, i8** %5
%94 = icmp ne i8* %93, null
br i1 %94, label %95, label %110
95: ; preds = %92
%96 = load i8*, i8** %5
%97 = load i8, i8* %96
%98 = call i32 @classify_char(i8 signext %97)
%99 = icmp eq i32 %98, 3
br i1 %99, label %100, label %110
100: ; preds = %95
%101 = load i8*, i8** %4
%102 = load i8, i8* %101
%103 = sext i8 %102 to i32
%104 = load i8*, i8** %5
%105 = load i8, i8* %104
%106 = sext i8 %105 to i32
%107 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.3, i64 0, i64 0), i32 %103, i32 %106)
%108 = load i32, i32* %6
%109 = add nsw i32 %108, 1
store i32 %109, i32* %6
br label %110
110: ; preds = %100, %95, %92, %86
br label %150
111: ; preds = %40
%112 = load i8*, i8** %5
%113 = icmp ne i8* %112, null
br i1 %113, label %114, label %123
114: ; preds = %111
%115 = load i8*, i8** %5
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = icmp eq i32 %117, 41
br i1 %118, label %119, label %123
119: ; preds = %114
%120 = call i32 @puts(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.4, i64 0, i64 0))
%121 = load i32, i32* %6
%122 = add nsw i32 %121, 1
store i32 %122, i32* %6
br label %123
123: ; preds = %119, %114, %111
%124 = load i8*, i8** %5
%125 = icmp ne i8* %124, null
br i1 %125, label %126, label %143
126: ; preds = %123
%127 = load i8*, i8** %5
%128 = load i8, i8* %127
%129 = sext i8 %128 to i32
%130 = icmp ne i32 %129, 45
br i1 %130, label %131, label %143
131: ; preds = %126
%132 = load i8*, i8** %5
%133 = load i8, i8* %132
%134 = call i32 @classify_char(i8 signext %133)
%135 = icmp eq i32 %134, 2
br i1 %135, label %136, label %143
136: ; preds = %131
%137 = load i8*, i8** %5
%138 = load i8, i8* %137
%139 = sext i8 %138 to i32
%140 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %139)
%141 = load i32, i32* %6
%142 = add nsw i32 %141, 1
store i32 %142, i32* %6
br label %143
143: ; preds = %136, %131, %126, %123
%144 = load i32, i32* %7
%145 = add nsw i32 %144, 1
store i32 %145, i32* %7
br label %150
146: ; preds = %40
%147 = load i32, i32* %7
%148 = add nsw i32 %147, -1
store i32 %148, i32* %7
br label %150
149: ; preds = %40
br label %150
150: ; preds = %40, %149, %146, %143, %110, %85, %47
br label %151
151: ; preds = %150
%152 = load i8*, i8** %4
%153 = getelementptr inbounds i8, i8* %152, i32 1
store i8* %153, i8** %4
br label %35
154: ; preds = %35
%155 = load i32, i32* %7
%156 = icmp slt i32 %155, 0
br i1 %156, label %157, label %164
157: ; preds = %154
%158 = load i32, i32* %7
%159 = sub nsw i32 0, %158
%160 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.5, i64 0, i64 0), i32 %159)
%161 = load i32, i32* %7
%162 = load i32, i32* %6
%163 = sub nsw i32 %162, %161
store i32 %163, i32* %6
br label %174
164: ; preds = %154
%165 = load i32, i32* %7
%166 = icmp sgt i32 %165, 0
br i1 %166, label %167, label %173
167: ; preds = %164
%168 = load i32, i32* %7
%169 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.6, i64 0, i64 0), i32 %168)
%170 = load i32, i32* %7
%171 = load i32, i32* %6
%172 = add nsw i32 %171, %170
store i32 %172, i32* %6
br label %173
173: ; preds = %167, %164
br label %174
174: ; preds = %173, %157
%175 = load i32, i32* %6
store i32 %175, i32* %2
br label %176
176: ; preds = %174, %14
%177 = load i32, i32* %2
ret i32 %177
}

LLVM IR (-O2):
@.str = [23 x i8] c"ERROR: Void expression\00"
@.str.1 = [32 x i8] c"ERROR: Unexpected operator: %c\0A\00"
@.str.2 = [30 x i8] c"ERROR: Unknown character: %c\0A\00"
@.str.3 = [47 x i8] c"ERROR: Number broken between digits %c and %c\0A\00"
@.str.4 = [21 x i8] c"ERROR: Void brackets\00"
@.str.5 = [37 x i8] c"ERROR: %d left brackets '(' missing\0A\00"
@.str.6 = [38 x i8] c"ERROR: %d right brackets ')' missing\0A\00"
define i32 @check_syntax(i8* %0) {
%2 = getelementptr inbounds i8, i8* %0, i64 -1
%3 = tail call i8* @next_nonvoid(i8* %2)
%4 = icmp eq i8* %3, null
br i1 %4, label %5, label %7
5: ; preds = %1
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0))
br label %120
7: ; preds = %1
%8 = load i8, i8* %3
%9 = icmp eq i8 %8, 45
br i1 %9, label %17, label %10
10: ; preds = %7
%11 = tail call i32 @classify_char(i8 signext %8)
%12 = icmp eq i32 %11, 2
br i1 %12, label %13, label %17
13: ; preds = %10
%14 = load i8, i8* %3
%15 = sext i8 %14 to i32
%16 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %15)
br label %17
17: ; preds = %13, %10, %7
%18 = phi i32 [ 1, %13 ], [ 0, %10 ], [ 0, %7 ]
%19 = load i8, i8* %0
%20 = icmp eq i8 %19, 0
br i1 %20, label %120, label %21
21: ; preds = %17, %103
%22 = phi i8 [ %107, %103 ], [ %19, %17 ]
%23 = phi i32 [ %105, %103 ], [ 0, %17 ]
%24 = phi i32 [ %104, %103 ], [ %18, %17 ]
%25 = phi i8* [ %106, %103 ], [ %0, %17 ]
%26 = tail call i32 @classify_char(i8 signext %22)
%27 = tail call i8* @next_nonvoid(i8* %25)
switch i32 %26, label %103 [
i32 0, label %28
i32 2, label %33
i32 3, label %59
i32 4, label %77
i32 5, label %101
]
28: ; preds = %21
%29 = load i8, i8* %25
%30 = sext i8 %29 to i32
%31 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.2, i64 0, i64 0), i32 %30)
%32 = add nsw i32 %24, 1
br label %103
33: ; preds = %21
%34 = icmp eq i8* %27, null
br i1 %34, label %35, label %40
35: ; preds = %33
%36 = load i8, i8* %25
%37 = sext i8 %36 to i32
%38 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %37)
%39 = add nsw i32 %24, 1
br label %103
40: ; preds = %33
%41 = load i8, i8* %27
%42 = icmp eq i8 %41, 41
br i1 %42, label %43, label %49
43: ; preds = %40
%44 = load i8, i8* %25
%45 = sext i8 %44 to i32
%46 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %45)
%47 = add nsw i32 %24, 1
%48 = load i8, i8* %27
br label %49
49: ; preds = %40, %43
%50 = phi i8 [ %48, %43 ], [ %41, %40 ]
%51 = phi i32 [ %47, %43 ], [ %24, %40 ]
%52 = tail call i32 @classify_char(i8 signext %50)
%53 = icmp eq i32 %52, 2
br i1 %53, label %54, label %103
54: ; preds = %49
%55 = load i8, i8* %27
%56 = sext i8 %55 to i32
%57 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %56)
%58 = add nsw i32 %51, 1
br label %103
59: ; preds = %21
%60 = getelementptr inbounds i8, i8* %25, i64 1
%61 = load i8, i8* %60
%62 = tail call i32 @classify_char(i8 signext %61)
%63 = icmp eq i32 %62, 1
%64 = icmp ne i8* %27, null
%65 = select i1 %63, i1 %64, i1 false
br i1 %65, label %66, label %103
66: ; preds = %59
%67 = load i8, i8* %27
%68 = tail call i32 @classify_char(i8 signext %67)
%69 = icmp eq i32 %68, 3
br i1 %69, label %70, label %103
70: ; preds = %66
%71 = load i8, i8* %25
%72 = sext i8 %71 to i32
%73 = load i8, i8* %27
%74 = sext i8 %73 to i32
%75 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.3, i64 0, i64 0), i32 %72, i32 %74)
%76 = add nsw i32 %24, 1
br label %103
77: ; preds = %21
%78 = icmp eq i8* %27, null
br i1 %78, label %98, label %79
79: ; preds = %77
%80 = load i8, i8* %27
%81 = icmp eq i8 %80, 41
br i1 %81, label %82, label %86
82: ; preds = %79
%83 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([21 x i8], [21 x i8]* @.str.4, i64 0, i64 0))
%84 = add nsw i32 %24, 1
%85 = load i8, i8* %27
br label %86
86: ; preds = %82, %79
%87 = phi i8 [ %85, %82 ], [ %80, %79 ]
%88 = phi i32 [ %84, %82 ], [ %24, %79 ]
%89 = icmp eq i8 %87, 45
br i1 %89, label %98, label %90
90: ; preds = %86
%91 = tail call i32 @classify_char(i8 signext %87)
%92 = icmp eq i32 %91, 2
br i1 %92, label %93, label %98
93: ; preds = %90
%94 = load i8, i8* %27
%95 = sext i8 %94 to i32
%96 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.1, i64 0, i64 0), i32 %95)
%97 = add nsw i32 %88, 1
br label %98
98: ; preds = %77, %93, %90, %86
%99 = phi i32 [ %97, %93 ], [ %88, %90 ], [ %88, %86 ], [ %24, %77 ]
%100 = add nsw i32 %23, 1
br label %103
101: ; preds = %21
%102 = add nsw i32 %23, -1
br label %103
103: ; preds = %35, %28, %98, %101, %21, %54, %49, %70, %66, %59
%104 = phi i32 [ %24, %21 ], [ %24, %101 ], [ %99, %98 ], [ %76, %70 ], [ %24, %66 ], [ %24, %59 ], [ %58, %54 ], [ %51, %49 ], [ %32, %28 ], [ %39, %35 ]
%105 = phi i32 [ %23, %21 ], [ %102, %101 ], [ %100, %98 ], [ %23, %70 ], [ %23, %66 ], [ %23, %59 ], [ %23, %54 ], [ %23, %49 ], [ %23, %28 ], [ %23, %35 ]
%106 = getelementptr inbounds i8, i8* %25, i64 1
%107 = load i8, i8* %106
%108 = icmp eq i8 %107, 0
br i1 %108, label %109, label %21
109: ; preds = %103
%110 = icmp slt i32 %105, 0
br i1 %110, label %111, label %115
111: ; preds = %109
%112 = sub nsw i32 0, %105
%113 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.5, i64 0, i64 0), i32 %112)
%114 = sub nsw i32 %104, %105
br label %120
115: ; preds = %109
%116 = icmp eq i32 %105, 0
br i1 %116, label %120, label %117
117: ; preds = %115
%118 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.6, i64 0, i64 0), i32 %105)
%119 = add nsw i32 %105, %104
br label %120
120: ; preds = %17, %111, %117, %115, %5
%121 = phi i32 [ 1, %5 ], [ %114, %111 ], [ %119, %117 ], [ %104, %115 ], [ %18, %17 ]
ret i32 %121
}