#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 */
unsigned int braf_tapeAccessCheck(int, int, int);
unsigned int braf_valOverflowCheck(char *, int, int);
unsigned int braf_valUnderflowCheck(char *, int, int);
char getchar();
int /*<<< orphan*/ printf(char *, int, ...);
int /*<<< orphan*/ putchar(char);
unsigned int braf_interpretCode(const char *code, char *dataPtr,
                                const bool verbose) {
  int rw = 1;
  int col = 1;
  int loop = 0;
  unsigned int chkResults = 0;
  char currChar = '\0';
  int tapeIndex = 1;
  for (int index = 0; code[index] != '\0'; index++) {
    currChar = code[index];
    if (currChar == '+') {
      if (verbose) {
        printf("Cell #%d value incremented.\nOriginal Value: %d\t", tapeIndex,
               (int)*dataPtr);
        (*dataPtr)++;
        printf("New value: %d\n", (int)*dataPtr);
      } else {
        (*dataPtr)++;
      }
      chkResults = braf_valOverflowCheck(dataPtr, col, rw);
      if (chkResults) {
        return 1;
      }
    } else if (currChar == '-') {
      if (verbose) {
        printf("Cell #%d value decremented.\nOriginal Value: %d\t", tapeIndex,
               (int)*dataPtr);
        (*dataPtr)--;
        printf("New value: %d\n", (int)*dataPtr);
      } else {
        (*dataPtr)--;
      }
      chkResults = braf_valUnderflowCheck(dataPtr, col, rw);
      if (chkResults) {
        return 1;
      }
    } else if (currChar == '<') {
      if (verbose) {
        printf("Active cell shifted to the left. \nPrevious active cell: %d\t",
               tapeIndex);
        tapeIndex--;
        printf("Current active cell: %d\n", tapeIndex);
      } else {
        tapeIndex--;
      }
      chkResults = braf_tapeAccessCheck(tapeIndex, col, rw);
      if (chkResults) {
        return 1;
      }
      dataPtr--;
    } else if (currChar == '>') {
      if (verbose) {
        printf("Active cell shifted to the right. \nPrevious active cell: %d\t",
               tapeIndex);
        tapeIndex++;
        printf("Current active cell: %d\n", tapeIndex);
      } else {
        tapeIndex++;
      }
      chkResults = braf_tapeAccessCheck(tapeIndex, col, rw);
      if (chkResults) {
        return 1;
      }
      dataPtr++;
    } else if (currChar == '.') {
      putchar(*dataPtr);
    } else if (currChar == ',') {
      *dataPtr = getchar();
    } else if (currChar == '[') {
      col++;
      continue;
    } else if (currChar == ']' && *dataPtr) {
      loop = 1;
      while (loop > 0) {
        currChar = code[--index];
        col--;
        if (currChar == '[') {
          loop--;
        } else if (currChar == ']') {
          loop++;
        }
      }
    } else if (currChar == '\n') {
      col = 0;
      rw++;
    }
    col++;
  }
  return 0;
}


x86 assembly (clang, -O0):
<braf_interpretCode>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0x1,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movb   $0x0,-0x2d(%rbp)
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     152f <braf_interpretCode+0x3cf>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2d(%rbp)
movsbl -0x2d(%rbp),%eax
cmp    $0x2b,%eax
jne    1250 <braf_interpretCode+0xf0>
cmpl   $0x0,-0x1c(%rbp)
je     1218 <braf_interpretCode+0xb8>
mov    -0x34(%rbp),%esi
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
lea    0xe14(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
add    $0x1,%cl
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
movsbl (%rax),%esi
lea    0xe24(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    1223 <braf_interpretCode+0xc3>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
add    $0x1,%cl
mov    %cl,(%rax)
mov    -0x18(%rbp),%rdi
mov    -0x24(%rbp),%esi
mov    -0x20(%rbp),%edx
call   1030 <braf_valOverflowCheck@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     124b <braf_interpretCode+0xeb>
movl   $0x1,-0x4(%rbp)
jmp    1536 <braf_interpretCode+0x3d6>
jmp    1518 <braf_interpretCode+0x3b8>
movsbl -0x2d(%rbp),%eax
cmp    $0x2d,%eax
jne    12dc <braf_interpretCode+0x17c>
cmpl   $0x0,-0x1c(%rbp)
je     12a4 <braf_interpretCode+0x144>
mov    -0x34(%rbp),%esi
mov    -0x18(%rbp),%rax
movsbl (%rax),%edx
lea    0xdc7(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
add    $0xff,%cl
mov    %cl,(%rax)
mov    -0x18(%rbp),%rax
movsbl (%rax),%esi
lea    0xd98(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    12af <braf_interpretCode+0x14f>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
add    $0xff,%cl
mov    %cl,(%rax)
mov    -0x18(%rbp),%rdi
mov    -0x24(%rbp),%esi
mov    -0x20(%rbp),%edx
call   1080 <braf_valUnderflowCheck@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     12d7 <braf_interpretCode+0x177>
movl   $0x1,-0x4(%rbp)
jmp    1536 <braf_interpretCode+0x3d6>
jmp    1513 <braf_interpretCode+0x3b3>
movsbl -0x2d(%rbp),%eax
cmp    $0x3c,%eax
jne    1364 <braf_interpretCode+0x204>
cmpl   $0x0,-0x1c(%rbp)
je     1323 <braf_interpretCode+0x1c3>
mov    -0x34(%rbp),%esi
lea    0xd72(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%esi
lea    0xd94(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    132c <braf_interpretCode+0x1cc>
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edi
mov    -0x24(%rbp),%esi
mov    -0x20(%rbp),%edx
call   1050 <braf_tapeAccessCheck@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1353 <braf_interpretCode+0x1f3>
movl   $0x1,-0x4(%rbp)
jmp    1536 <braf_interpretCode+0x3d6>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    150e <braf_interpretCode+0x3ae>
movsbl -0x2d(%rbp),%eax
cmp    $0x3e,%eax
jne    13ec <braf_interpretCode+0x28c>
cmpl   $0x0,-0x1c(%rbp)
je     13ab <braf_interpretCode+0x24b>
mov    -0x34(%rbp),%esi
lea    0xd3f(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%esi
lea    0xd0c(%rip),%rdi
mov    $0x0,%al
call   1060 <printf@plt>
jmp    13b4 <braf_interpretCode+0x254>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%edi
mov    -0x24(%rbp),%esi
mov    -0x20(%rbp),%edx
call   1050 <braf_tapeAccessCheck@plt>
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     13db <braf_interpretCode+0x27b>
movl   $0x1,-0x4(%rbp)
jmp    1536 <braf_interpretCode+0x3d6>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1509 <braf_interpretCode+0x3a9>
movsbl -0x2d(%rbp),%eax
cmp    $0x2e,%eax
jne    140a <braf_interpretCode+0x2aa>
mov    -0x18(%rbp),%rax
movsbl (%rax),%edi
call   1040 <putchar@plt>
jmp    1504 <braf_interpretCode+0x3a4>
movsbl -0x2d(%rbp),%eax
cmp    $0x2c,%eax
jne    142b <braf_interpretCode+0x2cb>
mov    $0x0,%al
call   1070 <getchar@plt>
mov    %al,%cl
mov    -0x18(%rbp),%rax
mov    %cl,(%rax)
jmp    14ff <braf_interpretCode+0x39f>
movsbl -0x2d(%rbp),%eax
cmp    $0x5b,%eax
jne    1446 <braf_interpretCode+0x2e6>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1521 <braf_interpretCode+0x3c1>
movsbl -0x2d(%rbp),%eax
cmp    $0x5d,%eax
jne    14d3 <braf_interpretCode+0x373>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     14d3 <braf_interpretCode+0x373>
movl   $0x1,-0x28(%rbp)
cmpl   $0x0,-0x28(%rbp)
jle    14ce <braf_interpretCode+0x36e>
mov    -0x10(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x38(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x2d(%rbp)
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
movsbl -0x2d(%rbp),%eax
cmp    $0x5b,%eax
jne    14ae <braf_interpretCode+0x34e>
mov    -0x28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x28(%rbp)
jmp    14c9 <braf_interpretCode+0x369>
movsbl -0x2d(%rbp),%eax
cmp    $0x5d,%eax
jne    14c4 <braf_interpretCode+0x364>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    14c9 <braf_interpretCode+0x369>
jmp    146a <braf_interpretCode+0x30a>
jmp    14f5 <braf_interpretCode+0x395>
movsbl -0x2d(%rbp),%eax
cmp    $0xa,%eax
jne    14f0 <braf_interpretCode+0x390>
movl   $0x0,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    14f5 <braf_interpretCode+0x395>
jmp    14fa <braf_interpretCode+0x39a>
jmp    14ff <braf_interpretCode+0x39f>
jmp    1504 <braf_interpretCode+0x3a4>
jmp    1509 <braf_interpretCode+0x3a9>
jmp    150e <braf_interpretCode+0x3ae>
jmp    1513 <braf_interpretCode+0x3b3>
jmp    1518 <braf_interpretCode+0x3b8>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11a1 <braf_interpretCode+0x41>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<braf_interpretCode>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,0xc(%rsp)
mov    %rsi,%rbx
mov    %rdi,%rbp
lea    -0x1(%rdi),%rax
mov    %rax,0x10(%rsp)
movl   $0x0,0x4(%rsp)
movl   $0x1,0x8(%rsp)
lea    0xe68(%rip),%r15
mov    $0x1,%r14d
mov    $0x1,%r13d
xor    %r12d,%r12d
jmp    11c8 <braf_interpretCode+0x68>
addl   $0x1,0x8(%rsp)
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r14d
add    $0x1,%r12d
movslq %r12d,%rax
movzbl 0x0(%rbp,%rax,1),%ecx
cmp    $0x3e,%rcx
ja     121a <braf_interpretCode+0xba>
movslq (%r15,%rcx,4),%rax
add    %r15,%rax
jmp    *%rax
movsbl (%rbx),%edx
cmpl   $0x0,0xc(%rsp)
je     1315 <braf_interpretCode+0x1b5>
lea    0xf08(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    (%rbx),%al
add    $0x1,%al
mov    %al,(%rbx)
movsbl %al,%esi
lea    0xf1e(%rip),%rdi
xor    %eax,%eax
call   1060 <printf@plt>
jmp    131a <braf_interpretCode+0x1ba>
cmp    $0x5d,%cl
jne    11c0 <braf_interpretCode+0x60>
cmpb   $0x0,(%rbx)
je     11c0 <braf_interpretCode+0x60>
add    0x10(%rsp),%rax
mov    $0x1,%ecx
jmp    1247 <braf_interpretCode+0xe7>
add    $0x1,%ecx
add    $0xffffffff,%r12d
add    $0xffffffffffffffff,%rax
add    $0xffffffff,%r14d
test   %ecx,%ecx
jle    11c0 <braf_interpretCode+0x60>
movzbl (%rax),%edx
cmp    $0x5d,%dl
je     1230 <braf_interpretCode+0xd0>
cmp    $0x5b,%dl
jne    1233 <braf_interpretCode+0xd3>
add    $0xffffffff,%ecx
jmp    1233 <braf_interpretCode+0xd3>
xor    %eax,%eax
call   1070 <getchar@plt>
mov    %al,(%rbx)
jmp    11c0 <braf_interpretCode+0x60>
movsbl (%rbx),%edx
cmpl   $0x0,0xc(%rsp)
je     1333 <braf_interpretCode+0x1d3>
lea    0xebf(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    (%rbx),%al
add    $0xff,%al
mov    %al,(%rbx)
movsbl %al,%esi
lea    0xe96(%rip),%rdi
xor    %eax,%eax
call   1060 <printf@plt>
jmp    1338 <braf_interpretCode+0x1d8>
movsbl (%rbx),%edi
call   1040 <putchar@plt>
jmp    11c0 <braf_interpretCode+0x60>
cmpl   $0x0,0xc(%rsp)
je     1351 <braf_interpretCode+0x1f1>
lea    0xeaa(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0xffffffff,%r13d
lea    0xed1(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
jmp    1355 <braf_interpretCode+0x1f5>
cmpl   $0x0,0xc(%rsp)
je     1371 <braf_interpretCode+0x211>
lea    0xecc(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0x1,%r13d
lea    0xe9e(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
jmp    1375 <braf_interpretCode+0x215>
add    $0x1,%dl
mov    %dl,(%rbx)
mov    %rbx,%rdi
mov    %r14d,%esi
mov    0x8(%rsp),%edx
call   1030 <braf_valOverflowCheck@plt>
test   %eax,%eax
je     11c0 <braf_interpretCode+0x60>
jmp    1391 <braf_interpretCode+0x231>
add    $0xff,%dl
mov    %dl,(%rbx)
mov    %rbx,%rdi
mov    %r14d,%esi
mov    0x8(%rsp),%edx
call   1080 <braf_valUnderflowCheck@plt>
test   %eax,%eax
je     11c0 <braf_interpretCode+0x60>
jmp    1391 <braf_interpretCode+0x231>
add    $0xffffffff,%r13d
mov    %r13d,%edi
mov    %r14d,%esi
mov    0x8(%rsp),%edx
call   1050 <braf_tapeAccessCheck@plt>
test   %eax,%eax
jne    1391 <braf_interpretCode+0x231>
add    $0xffffffffffffffff,%rbx
jmp    11c0 <braf_interpretCode+0x60>
add    $0x1,%r13d
mov    %r13d,%edi
mov    %r14d,%esi
mov    0x8(%rsp),%edx
call   1050 <braf_tapeAccessCheck@plt>
test   %eax,%eax
jne    1391 <braf_interpretCode+0x231>
add    $0x1,%rbx
jmp    11c0 <braf_interpretCode+0x60>
movl   $0x1,0x4(%rsp)
mov    0x4(%rsp),%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [48 x i8] c"Cell #%d value incremented.\0AOriginal Value: %d\09\00"
@.str.1 = [15 x i8] c"New value: %d\0A\00"
@.str.2 = [48 x i8] c"Cell #%d value decremented.\0AOriginal Value: %d\09\00"
@.str.3 = [60 x i8] c"Active cell shifted to the left. \0APrevious active cell: %d\09\00"
@.str.4 = [25 x i8] c"Current active cell: %d\0A\00"
@.str.5 = [61 x i8] c"Active cell shifted to the right. \0APrevious active cell: %d\09\00"
define i32 @braf_interpretCode(i8* %0, i8* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i8
%13 = alloca i32
%14 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
store i32 1, i32* %8
store i32 1, i32* %9
store i32 0, i32* %10
store i32 0, i32* %11
store i8 0, i8* %12
store i32 1, i32* %13
store i32 0, i32* %14
br label %15
15: ; preds = %228, %3
%16 = load i8*, i8** %5
%17 = load i32, i32* %14
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i8, i8* %16, i64 %18
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = icmp ne i32 %21, 0
br i1 %22, label %23, label %231
23: ; preds = %15
%24 = load i8*, i8** %5
%25 = load i32, i32* %14
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
store i8 %28, i8* %12
%29 = load i8, i8* %12
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 43
br i1 %31, label %32, label %61
32: ; preds = %23
%33 = load i32, i32* %7
%34 = icmp ne i32 %33, 0
br i1 %34, label %35, label %48
35: ; preds = %32
%36 = load i32, i32* %13
%37 = load i8*, i8** %6
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str, i64 0, i64 0), i32 %36, i32 %39)
%41 = load i8*, i8** %6
%42 = load i8, i8* %41
%43 = add i8 %42, 1
store i8 %43, i8* %41
%44 = load i8*, i8** %6
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %46)
br label %52
48: ; preds = %32
%49 = load i8*, i8** %6
%50 = load i8, i8* %49
%51 = add i8 %50, 1
store i8 %51, i8* %49
br label %52
52: ; preds = %48, %35
%53 = load i8*, i8** %6
%54 = load i32, i32* %9
%55 = load i32, i32* %8
%56 = call i32 @braf_valOverflowCheck(i8* %53, i32 %54, i32 %55)
store i32 %56, i32* %11
%57 = load i32, i32* %11
%58 = icmp ne i32 %57, 0
br i1 %58, label %59, label %60
59: ; preds = %52
store i32 1, i32* %4
br label %232
60: ; preds = %52
br label %225
61: ; preds = %23
%62 = load i8, i8* %12
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 45
br i1 %64, label %65, label %94
65: ; preds = %61
%66 = load i32, i32* %7
%67 = icmp ne i32 %66, 0
br i1 %67, label %68, label %81
68: ; preds = %65
%69 = load i32, i32* %13
%70 = load i8*, i8** %6
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.2, i64 0, i64 0), i32 %69, i32 %72)
%74 = load i8*, i8** %6
%75 = load i8, i8* %74
%76 = add i8 %75, -1
store i8 %76, i8* %74
%77 = load i8*, i8** %6
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %79)
br label %85
81: ; preds = %65
%82 = load i8*, i8** %6
%83 = load i8, i8* %82
%84 = add i8 %83, -1
store i8 %84, i8* %82
br label %85
85: ; preds = %81, %68
%86 = load i8*, i8** %6
%87 = load i32, i32* %9
%88 = load i32, i32* %8
%89 = call i32 @braf_valUnderflowCheck(i8* %86, i32 %87, i32 %88)
store i32 %89, i32* %11
%90 = load i32, i32* %11
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %93
92: ; preds = %85
store i32 1, i32* %4
br label %232
93: ; preds = %85
br label %224
94: ; preds = %61
%95 = load i8, i8* %12
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 60
br i1 %97, label %98, label %122
98: ; preds = %94
%99 = load i32, i32* %7
%100 = icmp ne i32 %99, 0
br i1 %100, label %101, label %108
101: ; preds = %98
%102 = load i32, i32* %13
%103 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), i32 %102)
%104 = load i32, i32* %13
%105 = add nsw i32 %104, -1
store i32 %105, i32* %13
%106 = load i32, i32* %13
%107 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.4, i64 0, i64 0), i32 %106)
br label %111
108: ; preds = %98
%109 = load i32, i32* %13
%110 = add nsw i32 %109, -1
store i32 %110, i32* %13
br label %111
111: ; preds = %108, %101
%112 = load i32, i32* %13
%113 = load i32, i32* %9
%114 = load i32, i32* %8
%115 = call i32 @braf_tapeAccessCheck(i32 %112, i32 %113, i32 %114)
store i32 %115, i32* %11
%116 = load i32, i32* %11
%117 = icmp ne i32 %116, 0
br i1 %117, label %118, label %119
118: ; preds = %111
store i32 1, i32* %4
br label %232
119: ; preds = %111
%120 = load i8*, i8** %6
%121 = getelementptr inbounds i8, i8* %120, i32 -1
store i8* %121, i8** %6
br label %223
122: ; preds = %94
%123 = load i8, i8* %12
%124 = sext i8 %123 to i32
%125 = icmp eq i32 %124, 62
br i1 %125, label %126, label %150
126: ; preds = %122
%127 = load i32, i32* %7
%128 = icmp ne i32 %127, 0
br i1 %128, label %129, label %136
129: ; preds = %126
%130 = load i32, i32* %13
%131 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.5, i64 0, i64 0), i32 %130)
%132 = load i32, i32* %13
%133 = add nsw i32 %132, 1
store i32 %133, i32* %13
%134 = load i32, i32* %13
%135 = call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.4, i64 0, i64 0), i32 %134)
br label %139
136: ; preds = %126
%137 = load i32, i32* %13
%138 = add nsw i32 %137, 1
store i32 %138, i32* %13
br label %139
139: ; preds = %136, %129
%140 = load i32, i32* %13
%141 = load i32, i32* %9
%142 = load i32, i32* %8
%143 = call i32 @braf_tapeAccessCheck(i32 %140, i32 %141, i32 %142)
store i32 %143, i32* %11
%144 = load i32, i32* %11
%145 = icmp ne i32 %144, 0
br i1 %145, label %146, label %147
146: ; preds = %139
store i32 1, i32* %4
br label %232
147: ; preds = %139
%148 = load i8*, i8** %6
%149 = getelementptr inbounds i8, i8* %148, i32 1
store i8* %149, i8** %6
br label %222
150: ; preds = %122
%151 = load i8, i8* %12
%152 = sext i8 %151 to i32
%153 = icmp eq i32 %152, 46
br i1 %153, label %154, label %158
154: ; preds = %150
%155 = load i8*, i8** %6
%156 = load i8, i8* %155
%157 = call i32 @putchar(i8 signext %156)
br label %221
158: ; preds = %150
%159 = load i8, i8* %12
%160 = sext i8 %159 to i32
%161 = icmp eq i32 %160, 44
br i1 %161, label %162, label %165
162: ; preds = %158
%163 = call signext i8 (...) @getchar()
%164 = load i8*, i8** %6
store i8 %163, i8* %164
br label %220
165: ; preds = %158
%166 = load i8, i8* %12
%167 = sext i8 %166 to i32
%168 = icmp eq i32 %167, 91
br i1 %168, label %169, label %172
169: ; preds = %165
%170 = load i32, i32* %9
%171 = add nsw i32 %170, 1
store i32 %171, i32* %9
br label %228
172: ; preds = %165
%173 = load i8, i8* %12
%174 = sext i8 %173 to i32
%175 = icmp eq i32 %174, 93
br i1 %175, label %176, label %210
176: ; preds = %172
%177 = load i8*, i8** %6
%178 = load i8, i8* %177
%179 = sext i8 %178 to i32
%180 = icmp ne i32 %179, 0
br i1 %180, label %181, label %210
181: ; preds = %176
store i32 1, i32* %10
br label %182
182: ; preds = %208, %181
%183 = load i32, i32* %10
%184 = icmp sgt i32 %183, 0
br i1 %184, label %185, label %209
185: ; preds = %182
%186 = load i8*, i8** %5
%187 = load i32, i32* %14
%188 = add nsw i32 %187, -1
store i32 %188, i32* %14
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i8, i8* %186, i64 %189
%191 = load i8, i8* %190
store i8 %191, i8* %12
%192 = load i32, i32* %9
%193 = add nsw i32 %192, -1
store i32 %193, i32* %9
%194 = load i8, i8* %12
%195 = sext i8 %194 to i32
%196 = icmp eq i32 %195, 91
br i1 %196, label %197, label %200
197: ; preds = %185
%198 = load i32, i32* %10
%199 = add nsw i32 %198, -1
store i32 %199, i32* %10
br label %208
200: ; preds = %185
%201 = load i8, i8* %12
%202 = sext i8 %201 to i32
%203 = icmp eq i32 %202, 93
br i1 %203, label %204, label %207
204: ; preds = %200
%205 = load i32, i32* %10
%206 = add nsw i32 %205, 1
store i32 %206, i32* %10
br label %207
207: ; preds = %204, %200
br label %208
208: ; preds = %207, %197
br label %182
209: ; preds = %182
br label %218
210: ; preds = %176, %172
%211 = load i8, i8* %12
%212 = sext i8 %211 to i32
%213 = icmp eq i32 %212, 10
br i1 %213, label %214, label %217
214: ; preds = %210
store i32 0, i32* %9
%215 = load i32, i32* %8
%216 = add nsw i32 %215, 1
store i32 %216, i32* %8
br label %217
217: ; preds = %214, %210
br label %218
218: ; preds = %217, %209
br label %219
219: ; preds = %218
br label %220
220: ; preds = %219, %162
br label %221
221: ; preds = %220, %154
br label %222
222: ; preds = %221, %147
br label %223
223: ; preds = %222, %119
br label %224
224: ; preds = %223, %93
br label %225
225: ; preds = %224, %60
%226 = load i32, i32* %9
%227 = add nsw i32 %226, 1
store i32 %227, i32* %9
br label %228
228: ; preds = %225, %169
%229 = load i32, i32* %14
%230 = add nsw i32 %229, 1
store i32 %230, i32* %14
br label %15
231: ; preds = %15
store i32 0, i32* %4
br label %232
232: ; preds = %231, %146, %118, %92, %59
%233 = load i32, i32* %4
ret i32 %233
}

LLVM IR (-O2):
@.str = [48 x i8] c"Cell #%d value incremented.\0AOriginal Value: %d\09\00"
@.str.1 = [15 x i8] c"New value: %d\0A\00"
@.str.2 = [48 x i8] c"Cell #%d value decremented.\0AOriginal Value: %d\09\00"
@.str.3 = [60 x i8] c"Active cell shifted to the left. \0APrevious active cell: %d\09\00"
@.str.4 = [25 x i8] c"Current active cell: %d\0A\00"
@.str.5 = [61 x i8] c"Active cell shifted to the right. \0APrevious active cell: %d\09\00"
define i32 @braf_interpretCode(i8* nocapture %0, i8* %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br label %5
5: ; preds = %95, %3
%6 = phi i8* [ %1, %3 ], [ %96, %95 ]
%7 = phi i32 [ 1, %3 ], [ %97, %95 ]
%8 = phi i32 [ 1, %3 ], [ %101, %95 ]
%9 = phi i32 [ 1, %3 ], [ %99, %95 ]
%10 = phi i32 [ 0, %3 ], [ %102, %95 ]
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %0, i64 %11
%13 = load i8, i8* %12
switch i8 %13, label %95 [
i8 0, label %103
i8 43, label %14
i8 45, label %28
i8 60, label %42
i8 62, label %55
i8 46, label %68
i8 44, label %71
i8 10, label %91
i8 93, label %73
]
14: ; preds = %5
%15 = load i8, i8* %6
br i1 %4, label %23, label %16
16: ; preds = %14
%17 = sext i8 %15 to i32
%18 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str, i64 0, i64 0), i32 %9, i32 %17)
%19 = load i8, i8* %6
%20 = add i8 %19, 1
store i8 %20, i8* %6
%21 = sext i8 %20 to i32
%22 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %21)
br label %25
23: ; preds = %14
%24 = add i8 %15, 1
store i8 %24, i8* %6
br label %25
25: ; preds = %23, %16
%26 = tail call i32 @braf_valOverflowCheck(i8* %6, i32 %8, i32 %7)
%27 = icmp eq i32 %26, 0
br i1 %27, label %95, label %103
28: ; preds = %5
%29 = load i8, i8* %6
br i1 %4, label %37, label %30
30: ; preds = %28
%31 = sext i8 %29 to i32
%32 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([48 x i8], [48 x i8]* @.str.2, i64 0, i64 0), i32 %9, i32 %31)
%33 = load i8, i8* %6
%34 = add i8 %33, -1
store i8 %34, i8* %6
%35 = sext i8 %34 to i32
%36 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.1, i64 0, i64 0), i32 %35)
br label %39
37: ; preds = %28
%38 = add i8 %29, -1
store i8 %38, i8* %6
br label %39
39: ; preds = %37, %30
%40 = tail call i32 @braf_valUnderflowCheck(i8* %6, i32 %8, i32 %7)
%41 = icmp eq i32 %40, 0
br i1 %41, label %95, label %103
42: ; preds = %5
br i1 %4, label %47, label %43
43: ; preds = %42
%44 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.3, i64 0, i64 0), i32 %9)
%45 = add nsw i32 %9, -1
%46 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.4, i64 0, i64 0), i32 %45)
br label %49
47: ; preds = %42
%48 = add nsw i32 %9, -1
br label %49
49: ; preds = %47, %43
%50 = phi i32 [ %45, %43 ], [ %48, %47 ]
%51 = tail call i32 @braf_tapeAccessCheck(i32 %50, i32 %8, i32 %7)
%52 = icmp eq i32 %51, 0
br i1 %52, label %53, label %103
53: ; preds = %49
%54 = getelementptr inbounds i8, i8* %6, i64 -1
br label %95
55: ; preds = %5
br i1 %4, label %60, label %56
56: ; preds = %55
%57 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str.5, i64 0, i64 0), i32 %9)
%58 = add nsw i32 %9, 1
%59 = tail call i32 (i8*, i32, ...) @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.4, i64 0, i64 0), i32 %58)
br label %62
60: ; preds = %55
%61 = add nsw i32 %9, 1
br label %62
62: ; preds = %60, %56
%63 = phi i32 [ %58, %56 ], [ %61, %60 ]
%64 = tail call i32 @braf_tapeAccessCheck(i32 %63, i32 %8, i32 %7)
%65 = icmp eq i32 %64, 0
br i1 %65, label %66, label %103
66: ; preds = %62
%67 = getelementptr inbounds i8, i8* %6, i64 1
br label %95
68: ; preds = %5
%69 = load i8, i8* %6
%70 = tail call i32 @putchar(i8 signext %69)
br label %95
71: ; preds = %5
%72 = tail call signext i8 (...) @getchar()
store i8 %72, i8* %6
br label %95
73: ; preds = %5
%74 = load i8, i8* %6
%75 = icmp eq i8 %74, 0
br i1 %75, label %95, label %76
76: ; preds = %73, %88
%77 = phi i64 [ %80, %88 ], [ %11, %73 ]
%78 = phi i32 [ %89, %88 ], [ 1, %73 ]
%79 = phi i32 [ %83, %88 ], [ %8, %73 ]
%80 = add i64 %77, -1
%81 = getelementptr inbounds i8, i8* %0, i64 %80
%82 = load i8, i8* %81
%83 = add nsw i32 %79, -1
switch i8 %82, label %88 [
i8 91, label %84
i8 93, label %86
]
84: ; preds = %76
%85 = add nsw i32 %78, -1
br label %88
86: ; preds = %76
%87 = add nuw nsw i32 %78, 1
br label %88
88: ; preds = %76, %86, %84
%89 = phi i32 [ %85, %84 ], [ %87, %86 ], [ %78, %76 ]
%90 = icmp sgt i32 %89, 0
br i1 %90, label %76, label %93
91: ; preds = %5
%92 = add nsw i32 %7, 1
br label %95
93: ; preds = %88
%94 = trunc i64 %80 to i32
br label %95
95: ; preds = %93, %73, %25, %53, %68, %91, %71, %66, %39, %5
%96 = phi i8* [ %6, %25 ], [ %6, %39 ], [ %54, %53 ], [ %67, %66 ], [ %6, %68 ], [ %6, %71 ], [ %6, %91 ], [ %6, %5 ], [ %6, %73 ], [ %6, %93 ]
%97 = phi i32 [ %7, %25 ], [ %7, %39 ], [ %7, %53 ], [ %7, %66 ], [ %7, %68 ], [ %7, %71 ], [ %92, %91 ], [ %7, %5 ], [ %7, %73 ], [ %7, %93 ]
%98 = phi i32 [ %8, %25 ], [ %8, %39 ], [ %8, %53 ], [ %8, %66 ], [ %8, %68 ], [ %8, %71 ], [ 0, %91 ], [ %8, %5 ], [ %8, %73 ], [ %83, %93 ]
%99 = phi i32 [ %9, %25 ], [ %9, %39 ], [ %50, %53 ], [ %63, %66 ], [ %9, %68 ], [ %9, %71 ], [ %9, %91 ], [ %9, %5 ], [ %9, %73 ], [ %9, %93 ]
%100 = phi i32 [ %10, %25 ], [ %10, %39 ], [ %10, %53 ], [ %10, %66 ], [ %10, %68 ], [ %10, %71 ], [ %10, %91 ], [ %10, %5 ], [ %10, %73 ], [ %94, %93 ]
%101 = add nsw i32 %98, 1
%102 = add nsw i32 %100, 1
br label %5
103: ; preds = %62, %49, %39, %25, %5
%104 = phi i32 [ 0, %5 ], [ 1, %25 ], [ 1, %39 ], [ 1, %49 ], [ 1, %62 ]
ret i32 %104
}