#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*/ fprintf(int /*<<< orphan*/, char *);
unsigned char getchar();
int /*<<< orphan*/ memset(unsigned char *, int /*<<< orphan*/, int);
int /*<<< orphan*/ putchar(unsigned char);
int /*<<< orphan*/ stderr;
int evaluate(char *prog, long int plen) {
  unsigned char data[30000];
  unsigned short stack[512];
  int sp = -1, dc = 0, pc = 0;
  int bal, rc = 0;
  memset(data, 0, 30000 * sizeof(char));
  while (prog[pc] != '\0' && pc < plen) {
    switch (prog[pc]) {
    case '>':
      if (dc + 1 >= 30000) {
        fprintf(stderr, "Data ptr overflow\n");
        rc = -1;
        goto out;
      }
      ++dc;
      break;
    case '<':
      if (dc - 1 < 0) {
        fprintf(stderr, "Data ptr underflow\n");
        rc = -2;
        goto out;
      }
      --dc;
      break;
    case '+':
      ++data[dc];
      break;
    case '-':
      --data[dc];
      break;
    case '.':
      putchar(data[dc]);
      break;
    case ',':
      data[dc] = getchar();
      break;
    case '[':
      if (data[dc] == '\0') {
        bal = 1;
        while (bal > 0) {
          ++pc;
          if (pc >= plen) {
            fprintf(stderr, "Unbalanced parenthesis\n");
            rc = -3;
            goto out;
          } else if (prog[pc] == '[')
            ++bal;
          else if (prog[pc] == ']')
            --bal;
        }
      } else {
        if (sp + 1 >= 512) {
          fprintf(stderr, "Stack Overflow\n");
          rc = -4;
          goto out;
        }
        stack[++sp] = pc;
      }
      break;
    case ']':
      if (sp == -1) {
        fprintf(stderr, "Stack Underflow\n");
        rc = -5;
        goto out;
      }
      pc = stack[sp--];
      continue;
    }
    ++pc;
  }
  if (prog[pc] != '\0') {
    fprintf(stderr, "Program counter overflow\n");
    rc = -6;
    goto out;
  }
  if (sp != -1) {
    fprintf(stderr, "Unmatched left parenthesis\n");
    rc = -7;
    goto out;
  }
out:
  return rc;
}


x86 assembly (clang, -O0):
<evaluate>:
push   %rbp
mov    %rsp,%rbp
sub    $0x7960,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0xffffffff,-0x7944(%rbp)
ff ff ff
movl   $0x0,-0x7948(%rbp)
movl   $0x0,-0x794c(%rbp)
movl   $0x0,-0x7954(%rbp)
lea    -0x7540(%rbp),%rdi
xor    %esi,%esi
mov    $0x7530,%edx
call   1040 <memset@plt>
mov    -0x8(%rbp),%rax
movslq -0x794c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x7955(%rbp)
je     11c2 <evaluate+0x82>
movslq -0x794c(%rbp),%rax
cmp    -0x10(%rbp),%rax
setl   %al
mov    %al,-0x7955(%rbp)
mov    -0x7955(%rbp),%al
test   $0x1,%al
jne    11d5 <evaluate+0x95>
jmp    14b9 <evaluate+0x379>
mov    -0x8(%rbp),%rax
movslq -0x794c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0xffffffd5,%eax
mov    %eax,%ecx
mov    %rcx,-0x7960(%rbp)
sub    $0x32,%eax
ja     14a5 <evaluate+0x365>
mov    -0x7960(%rbp),%rax
lea    0xdf9(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x7948(%rbp),%eax
add    $0x1,%eax
cmp    $0x7530,%eax
jl     1248 <evaluate+0x108>
mov    0x2db5(%rip),%rax
mov    (%rax),%edi
lea    0xe98(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xffffffff,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
mov    -0x7948(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7948(%rbp)
jmp    14a5 <evaluate+0x365>
mov    -0x7948(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jge    1292 <evaluate+0x152>
mov    0x2d6b(%rip),%rax
mov    (%rax),%edi
lea    0xe61(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xfffffffe,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
mov    -0x7948(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x7948(%rbp)
jmp    14a5 <evaluate+0x365>
movslq -0x7948(%rbp),%rax
mov    -0x7540(%rbp,%rax,1),%cl
add    $0x1,%cl
mov    %cl,-0x7540(%rbp,%rax,1)
jmp    14a5 <evaluate+0x365>
movslq -0x7948(%rbp),%rax
mov    -0x7540(%rbp,%rax,1),%cl
add    $0xff,%cl
mov    %cl,-0x7540(%rbp,%rax,1)
jmp    14a5 <evaluate+0x365>
movslq -0x7948(%rbp),%rax
movzbl -0x7540(%rbp,%rax,1),%edi
ff
call   1030 <putchar@plt>
jmp    14a5 <evaluate+0x365>
mov    $0x0,%al
call   1050 <getchar@plt>
mov    %al,%cl
movslq -0x7948(%rbp),%rax
mov    %cl,-0x7540(%rbp,%rax,1)
jmp    14a5 <evaluate+0x365>
movslq -0x7948(%rbp),%rax
movzbl -0x7540(%rbp,%rax,1),%eax
ff
cmp    $0x0,%eax
jne    13ef <evaluate+0x2af>
movl   $0x1,-0x7950(%rbp)
cmpl   $0x0,-0x7950(%rbp)
jle    13ea <evaluate+0x2aa>
mov    -0x794c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x794c(%rbp)
movslq -0x794c(%rbp),%rax
cmp    -0x10(%rbp),%rax
jl     1388 <evaluate+0x248>
mov    0x2c75(%rip),%rax
mov    (%rax),%edi
lea    0xd7f(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xfffffffd,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
mov    -0x8(%rbp),%rax
movslq -0x794c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
jne    13b4 <evaluate+0x274>
mov    -0x7950(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7950(%rbp)
jmp    13e0 <evaluate+0x2a0>
mov    -0x8(%rbp),%rax
movslq -0x794c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5d,%eax
jne    13db <evaluate+0x29b>
mov    -0x7950(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x7950(%rbp)
jmp    13e0 <evaluate+0x2a0>
jmp    13e5 <evaluate+0x2a5>
jmp    1337 <evaluate+0x1f7>
jmp    1449 <evaluate+0x309>
mov    -0x7944(%rbp),%eax
add    $0x1,%eax
cmp    $0x200,%eax
jl     1427 <evaluate+0x2e7>
mov    0x2bd6(%rip),%rax
mov    (%rax),%edi
lea    0xcf8(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xfffffffc,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
mov    -0x794c(%rbp),%eax
mov    %ax,%cx
mov    -0x7944(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x7944(%rbp)
cltq
mov    %cx,-0x7940(%rbp,%rax,2)
ff
jmp    14a5 <evaluate+0x365>
cmpl   $0xffffffff,-0x7944(%rbp)
jne    147f <evaluate+0x33f>
mov    0x2b7e(%rip),%rax
mov    (%rax),%edi
lea    0xcb0(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xfffffffb,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
mov    -0x7944(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x7944(%rbp)
cltq
movzwl -0x7940(%rbp,%rax,2),%eax
ff
mov    %eax,-0x794c(%rbp)
jmp    118e <evaluate+0x4e>
mov    -0x794c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x794c(%rbp)
jmp    118e <evaluate+0x4e>
mov    -0x8(%rbp),%rax
movslq -0x794c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     14f5 <evaluate+0x3b5>
mov    0x2b08(%rip),%rax
mov    (%rax),%edi
lea    0xc4b(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xfffffffa,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
cmpl   $0xffffffff,-0x7944(%rbp)
je     1526 <evaluate+0x3e6>
mov    0x2ad7(%rip),%rax
mov    (%rax),%edi
lea    0xc34(%rip),%rsi
call   1060 <fprintf@plt>
movl   $0xfffffff9,-0x7954(%rbp)
ff ff ff
jmp    152b <evaluate+0x3eb>
jmp    152b <evaluate+0x3eb>
mov    -0x7954(%rbp),%eax
add    $0x7960,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<evaluate>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x7938,%rsp
mov    %rsi,%r15
mov    %rdi,%rbx
lea    0x400(%rsp),%rdi
xor    %esi,%esi
mov    $0x7530,%edx
call   1040 <memset@plt>
mov    (%rbx),%al
mov    $0xffffffff,%ebp
test   %al,%al
setne  %cl
je     12c7 <evaluate+0x187>
test   %r15,%r15
jle    12c7 <evaluate+0x187>
mov    $0xffffffff,%ebp
lea    0xe6e(%rip),%r14
xor    %r13d,%r13d
xor    %r12d,%r12d
movslq %ebp,%rcx
movsbl %al,%eax
cmp    $0x5d,%eax
jne    11d0 <evaluate+0x90>
cmp    $0xffffffffffffffff,%rcx
je     12de <evaluate+0x19e>
movzwl (%rsp,%rcx,2),%r13d
movzbl (%rbx,%r13,1),%eax
add    $0xffffffff,%ebp
test   %al,%al
je     12ec <evaluate+0x1ac>
add    $0xffffffffffffffff,%rcx
cmp    %r15,%r13
jl     119b <evaluate+0x5b>
jmp    12ec <evaluate+0x1ac>
add    $0xffffffd5,%eax
cmp    $0x30,%eax
ja     1270 <evaluate+0x130>
movslq (%r14,%rax,4),%rax
add    %r14,%rax
jmp    *%rax
movslq %r12d,%rax
addb   $0x1,0x400(%rsp,%rax,1)
01
jmp    1270 <evaluate+0x130>
xor    %eax,%eax
call   1050 <getchar@plt>
movslq %r12d,%rcx
mov    %al,0x400(%rsp,%rcx,1)
jmp    1270 <evaluate+0x130>
movslq %r12d,%rax
addb   $0xff,0x400(%rsp,%rax,1)
ff
jmp    1270 <evaluate+0x130>
movslq %r12d,%rax
movzbl 0x400(%rsp,%rax,1),%edi
call   1030 <putchar@plt>
jmp    1270 <evaluate+0x130>
test   %r12d,%r12d
jle    1330 <evaluate+0x1f0>
add    $0xffffffff,%r12d
jmp    1270 <evaluate+0x130>
cmp    $0x752e,%r12d
jg     133e <evaluate+0x1fe>
add    $0x1,%r12d
jmp    1270 <evaluate+0x130>
movslq %r12d,%rax
cmpb   $0x0,0x400(%rsp,%rax,1)
je     128e <evaluate+0x14e>
cmp    $0x1fe,%ebp
jg     134c <evaluate+0x20c>
add    $0x1,%ebp
movslq %ebp,%rax
mov    %r13w,(%rsp,%rax,2)
nopw   0x0(%rax,%rax,1)
movslq %r13d,%r13
mov    0x1(%rbx,%r13,1),%al
test   %al,%al
setne  %cl
je     12c7 <evaluate+0x187>
add    $0x1,%r13
cmp    %r15,%r13
jl     1198 <evaluate+0x58>
jmp    12c7 <evaluate+0x187>
movslq %r13d,%rax
add    $0x1,%rax
mov    $0x1,%ecx
jmp    12af <evaluate+0x16f>
nopl   0x0(%rax)
add    $0xffffffff,%ecx
add    $0x1,%r13d
add    $0x1,%rax
test   %ecx,%ecx
jle    1270 <evaluate+0x130>
cmp    %r15,%rax
jge    1322 <evaluate+0x1e2>
movzbl (%rbx,%rax,1),%edx
cmp    $0x5d,%dl
je     12a0 <evaluate+0x160>
cmp    $0x5b,%dl
jne    12a3 <evaluate+0x163>
add    $0x1,%ecx
jmp    12a3 <evaluate+0x163>
test   %cl,%cl
jne    12f0 <evaluate+0x1b0>
cmp    $0xffffffff,%ebp
je     131e <evaluate+0x1de>
mov    $0xfffffff9,%ebx
lea    0xe62(%rip),%rsi
jmp    12fc <evaluate+0x1bc>
mov    $0xfffffffb,%ebx
lea    0xe29(%rip),%rsi
jmp    12fc <evaluate+0x1bc>
test   %al,%al
je     12cb <evaluate+0x18b>
mov    $0xfffffffa,%ebx
lea    0xe28(%rip),%rsi
mov    0x2cdd(%rip),%rax
mov    (%rax),%edi
call   1060 <fprintf@plt>
mov    %ebx,%eax
add    $0x7938,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %ebx,%ebx
jmp    130a <evaluate+0x1ca>
mov    $0xfffffffd,%ebx
lea    0xdbd(%rip),%rsi
jmp    12fc <evaluate+0x1bc>
mov    $0xfffffffe,%ebx
lea    0xd9b(%rip),%rsi
jmp    12fc <evaluate+0x1bc>
mov    $0xffffffff,%ebx
lea    0xd7a(%rip),%rsi
jmp    12fc <evaluate+0x1bc>
mov    $0xfffffffc,%ebx
lea    0xdab(%rip),%rsi
jmp    12fc <evaluate+0x1bc>

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

LLVM IR (-O2):
@stderr = global i32 0
@.str = [19 x i8] c"Data ptr overflow\0A\00"
@.str.1 = [20 x i8] c"Data ptr underflow\0A\00"
@.str.2 = [24 x i8] c"Unbalanced parenthesis\0A\00"
@.str.3 = [16 x i8] c"Stack Overflow\0A\00"
@.str.4 = [17 x i8] c"Stack Underflow\0A\00"
@.str.5 = [26 x i8] c"Program counter overflow\0A\00"
@.str.6 = [28 x i8] c"Unmatched left parenthesis\0A\00"
define i32 @evaluate(i8* nocapture %0, i64 %1) {
%3 = alloca [30000 x i8]
%4 = alloca [512 x i16]
%5 = getelementptr inbounds [30000 x i8], [30000 x i8]* %3, i64 0, i64 0
%6 = bitcast [512 x i16]* %4 to i8*
%7 = call i32 @memset(i8* %5, i32 0, i32 30000)
%8 = load i8, i8* %0
%9 = icmp ne i8 %8, 0
%10 = icmp sgt i64 %1, 0
%11 = and i1 %9, %10
br i1 %11, label %12, label %116
12: ; preds = %2, %103
%13 = phi i8 [ %110, %103 ], [ %8, %2 ]
%14 = phi i32 [ %107, %103 ], [ 0, %2 ]
%15 = phi i32 [ %105, %103 ], [ 0, %2 ]
%16 = phi i32 [ %104, %103 ], [ -1, %2 ]
%17 = sext i32 %16 to i64
br label %18
18: ; preds = %12, %88
%19 = phi i64 [ %17, %12 ], [ %89, %88 ]
%20 = phi i8 [ %13, %12 ], [ %95, %88 ]
%21 = phi i32 [ %14, %12 ], [ %92, %88 ]
%22 = sext i8 %20 to i32
switch i32 %22, label %101 [
i32 62, label %23
i32 60, label %28
i32 43, label %33
i32 45, label %39
i32 46, label %45
i32 44, label %51
i32 91, label %56
i32 93, label %86
]
23: ; preds = %18
%24 = icmp sgt i32 %15, 29998
br i1 %24, label %122, label %25
25: ; preds = %23
%26 = trunc i64 %19 to i32
%27 = add nsw i32 %15, 1
br label %103
28: ; preds = %18
%29 = icmp slt i32 %15, 1
br i1 %29, label %122, label %30
30: ; preds = %28
%31 = trunc i64 %19 to i32
%32 = add nsw i32 %15, -1
br label %103
33: ; preds = %18
%34 = trunc i64 %19 to i32
%35 = sext i32 %15 to i64
%36 = getelementptr inbounds [30000 x i8], [30000 x i8]* %3, i64 0, i64 %35
%37 = load i8, i8* %36
%38 = add i8 %37, 1
store i8 %38, i8* %36
br label %103
39: ; preds = %18
%40 = trunc i64 %19 to i32
%41 = sext i32 %15 to i64
%42 = getelementptr inbounds [30000 x i8], [30000 x i8]* %3, i64 0, i64 %41
%43 = load i8, i8* %42
%44 = add i8 %43, -1
store i8 %44, i8* %42
br label %103
45: ; preds = %18
%46 = trunc i64 %19 to i32
%47 = sext i32 %15 to i64
%48 = getelementptr inbounds [30000 x i8], [30000 x i8]* %3, i64 0, i64 %47
%49 = load i8, i8* %48
%50 = call i32 @putchar(i8 zeroext %49)
br label %103
51: ; preds = %18
%52 = trunc i64 %19 to i32
%53 = call zeroext i8 (...) @getchar()
%54 = sext i32 %15 to i64
%55 = getelementptr inbounds [30000 x i8], [30000 x i8]* %3, i64 0, i64 %54
store i8 %53, i8* %55
br label %103
56: ; preds = %18
%57 = trunc i64 %19 to i32
%58 = sext i32 %15 to i64
%59 = getelementptr inbounds [30000 x i8], [30000 x i8]* %3, i64 0, i64 %58
%60 = load i8, i8* %59
%61 = icmp eq i8 %60, 0
br i1 %61, label %62, label %79
62: ; preds = %56
%63 = sext i32 %21 to i64
br label %64
64: ; preds = %62, %76
%65 = phi i64 [ %63, %62 ], [ %67, %76 ]
%66 = phi i32 [ 1, %62 ], [ %77, %76 ]
%67 = add i64 %65, 1
%68 = icmp slt i64 %67, %1
br i1 %68, label %69, label %122
69: ; preds = %64
%70 = getelementptr inbounds i8, i8* %0, i64 %67
%71 = load i8, i8* %70
switch i8 %71, label %76 [
i8 91, label %72
i8 93, label %74
]
72: ; preds = %69
%73 = add nuw nsw i32 %66, 1
br label %76
74: ; preds = %69
%75 = add nsw i32 %66, -1
br label %76
76: ; preds = %69, %72, %74
%77 = phi i32 [ %73, %72 ], [ %75, %74 ], [ %66, %69 ]
%78 = icmp sgt i32 %77, 0
br i1 %78, label %64, label %99
79: ; preds = %56
%80 = add nsw i32 %57, 1
%81 = icmp sgt i32 %57, 510
br i1 %81, label %122, label %82
82: ; preds = %79
%83 = trunc i32 %21 to i16
%84 = sext i32 %80 to i64
%85 = getelementptr inbounds [512 x i16], [512 x i16]* %4, i64 0, i64 %84
store i16 %83, i16* %85
br label %103
86: ; preds = %18
%87 = icmp eq i64 %19, -1
br i1 %87, label %122, label %88
88: ; preds = %86
%89 = add nsw i64 %19, -1
%90 = getelementptr inbounds [512 x i16], [512 x i16]* %4, i64 0, i64 %19
%91 = load i16, i16* %90
%92 = zext i16 %91 to i32
%93 = zext i16 %91 to i64
%94 = getelementptr inbounds i8, i8* %0, i64 %93
%95 = load i8, i8* %94
%96 = icmp ne i8 %95, 0
%97 = icmp slt i64 %93, %1
%98 = select i1 %96, i1 %97, i1 false
br i1 %98, label %18, label %114
99: ; preds = %76
%100 = trunc i64 %67 to i32
br label %103
101: ; preds = %18
%102 = trunc i64 %19 to i32
br label %103
103: ; preds = %101, %99, %82, %51, %45, %39, %33, %30, %25
%104 = phi i32 [ %80, %82 ], [ %52, %51 ], [ %46, %45 ], [ %40, %39 ], [ %34, %33 ], [ %31, %30 ], [ %26, %25 ], [ %57, %99 ], [ %102, %101 ]
%105 = phi i32 [ %15, %82 ], [ %15, %51 ], [ %15, %45 ], [ %15, %39 ], [ %15, %33 ], [ %32, %30 ], [ %27, %25 ], [ %15, %99 ], [ %15, %101 ]
%106 = phi i32 [ %21, %82 ], [ %21, %51 ], [ %21, %45 ], [ %21, %39 ], [ %21, %33 ], [ %21, %30 ], [ %21, %25 ], [ %100, %99 ], [ %21, %101 ]
%107 = add nsw i32 %106, 1
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8, i8* %0, i64 %108
%110 = load i8, i8* %109
%111 = icmp ne i8 %110, 0
%112 = icmp slt i64 %108, %1
%113 = select i1 %111, i1 %112, i1 false
br i1 %113, label %12, label %116
114: ; preds = %88
%115 = trunc i64 %89 to i32
br i1 %96, label %122, label %119
116: ; preds = %103, %2
%117 = phi i32 [ -1, %2 ], [ %104, %103 ]
%118 = phi i1 [ %9, %2 ], [ %111, %103 ]
br i1 %118, label %122, label %119
119: ; preds = %114, %116
%120 = phi i32 [ %115, %114 ], [ %117, %116 ]
%121 = icmp eq i32 %120, -1
br i1 %121, label %127, label %122
122: ; preds = %79, %28, %23, %86, %64, %119, %116, %114
%123 = phi i8* [ getelementptr inbounds ([26 x i8], [26 x i8]* @.str.5, i64 0, i64 0), %114 ], [ getelementptr inbounds ([26 x i8], [26 x i8]* @.str.5, i64 0, i64 0), %116 ], [ getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0), %119 ], [ getelementptr inbounds ([24 x i8], [24 x i8]* @.str.2, i64 0, i64 0), %64 ], [ getelementptr inbounds ([17 x i8], [17 x i8]* @.str.4, i64 0, i64 0), %86 ], [ getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0), %23 ], [ getelementptr inbounds ([20 x i8], [20 x i8]* @.str.1, i64 0, i64 0), %28 ], [ getelementptr inbounds ([16 x i8], [16 x i8]* @.str.3, i64 0, i64 0), %79 ]
%124 = phi i32 [ -6, %114 ], [ -6, %116 ], [ -7, %119 ], [ -3, %64 ], [ -5, %86 ], [ -1, %23 ], [ -2, %28 ], [ -4, %79 ]
%125 = load i32, i32* @stderr
%126 = call i32 @fprintf(i32 %125, i8* %123)
br label %127
127: ; preds = %122, %119
%128 = phi i32 [ 0, %119 ], [ %124, %122 ]
ret i32 %128
}