#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 atoi(char *);
int /*<<< orphan*/ exit(int /*<<< orphan*/);
scalar_t__ is_comment(char *);
scalar_t__ not_ker(char *, int);
int /*<<< orphan*/ plintf(char *, char *);
int /*<<< orphan*/ printf(char *, char *);
int /*<<< orphan*/ sprintf(char *, char *, int);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
void subsk(char *big, char *new, int k, int flag) {
  int i, n = strlen(big), inew, add, inum, j, m, isign, ok, multflag = 0;
  char ch, chp, num[20];
  inew = 0;
  i = 0;
  if (is_comment(big)) {
    strcpy(new, big);
    return;
  }
  while (1) {
    ch = big[i];
    chp = big[i + 1];
    if (ch == '[' && chp != 'j' && not_ker(big, i)) {
      ok = 1;
      add = 0;
      inum = 0;
      isign = 1;
      i++;
      while (ok) {
        ch = big[i];
        if (ch == ']') {
          i++;
          num[inum] = 0;
          add = atoi(num);
          sprintf(num, "%d", add);
          m = strlen(num);
          for (j = 0; j < m; j++) {
            new[inew] = num[j];
            inew++;
          }
          ok = 0;
        } else {
          i++;
          num[inum] = ch;
          inum++;
        }
      }
    } else if (ch == '[' && chp == 'j') {
      if (flag == 0) {
        printf(" Illegal use of [j] at %s \n", big);
        exit(0);
      }
      add = 0;
      inum = 0;
      isign = 1;
      i += 2;
      ok = 1;
      while (ok) {
        if (i >= n) {
          new[inew] = 0;
          plintf("Error in %s The expression does not terminate. Perhaps a ] "
                 "is missing.\n",
                 big);
          exit(0);
        }
        ch = big[i];
        switch (ch) {
        case '+':
          isign = 1;
          i++;
          break;
        case '-':
          isign = -1;
          i++;
          break;
        case '*':
          i++;
          isign = 1;
          multflag = 1;
          break;
        case ']':
          i++;
          num[inum] = 0;
          if (multflag == 0) {
            add = atoi(num) * isign + k;
          } else {
            add = atoi(num) * k;
            multflag = 0;
          }
          sprintf(num, "%d", add);
          m = strlen(num);
          for (j = 0; j < m; j++) {
            new[inew] = num[j];
            inew++;
          }
          ok = 0;
          break;
        default:
          i++;
          num[inum] = ch;
          inum++;
          break;
        }
      }
    } else {
      new[inew] = ch;
      i++;
      inew++;
    }
    if (i >= n)
      break;
  }
  new[inew] = 0;
}


x86 assembly (clang, -O0):
<subsk>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x40(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <is_comment@plt>
cmp    $0x0,%rax
je     11ec <subsk+0x5c>
mov    -0x10(%rbp),%rdi
mov    -0x8(%rbp),%rsi
call   1030 <strcpy@plt>
jmp    158f <subsk+0x3ff>
jmp    11f1 <subsk+0x61>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x41(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x42(%rbp)
movsbl -0x41(%rbp),%eax
cmp    $0x5b,%eax
jne    1339 <subsk+0x1a9>
movsbl -0x42(%rbp),%eax
cmp    $0x6a,%eax
je     1339 <subsk+0x1a9>
mov    -0x8(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1090 <not_ker@plt>
cmp    $0x0,%rax
je     1339 <subsk+0x1a9>
movl   $0x1,-0x3c(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
je     1334 <subsk+0x1a4>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x41(%rbp)
movsbl -0x41(%rbp),%eax
cmp    $0x5d,%eax
jne    1312 <subsk+0x182>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movslq -0x2c(%rbp),%rax
movb   $0x0,-0x60(%rbp,%rax,1)
lea    -0x60(%rbp),%rdi
call   1080 <atoi@plt>
mov    %eax,-0x28(%rbp)
lea    -0x60(%rbp),%rdi
mov    -0x28(%rbp),%edx
lea    0xd48(%rip),%rsi
call   10a0 <sprintf@plt>
lea    -0x60(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    1306 <subsk+0x176>
movslq -0x30(%rbp),%rax
mov    -0x60(%rbp,%rax,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    12d0 <subsk+0x140>
movl   $0x0,-0x3c(%rbp)
jmp    132f <subsk+0x19f>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x41(%rbp),%cl
movslq -0x2c(%rbp),%rax
mov    %cl,-0x60(%rbp,%rax,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1267 <subsk+0xd7>
jmp    156d <subsk+0x3dd>
movsbl -0x41(%rbp),%eax
cmp    $0x5b,%eax
jne    1548 <subsk+0x3b8>
movsbl -0x42(%rbp),%eax
cmp    $0x6a,%eax
jne    1548 <subsk+0x3b8>
cmpl   $0x0,-0x18(%rbp)
jne    1374 <subsk+0x1e4>
mov    -0x8(%rbp),%rsi
lea    0xc9b(%rip),%rdi
call   1050 <printf@plt>
xor    %edi,%edi
call   10b0 <exit@plt>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x1,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x1,-0x3c(%rbp)
cmpl   $0x0,-0x3c(%rbp)
je     1543 <subsk+0x3b3>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     13d2 <subsk+0x242>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rsi
lea    0xc59(%rip),%rdi
call   1070 <plintf@plt>
xor    %edi,%edi
call   10b0 <exit@plt>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x41(%rbp)
movsbl -0x41(%rbp),%eax
mov    %eax,-0x64(%rbp)
sub    $0x2a,%eax
je     1452 <subsk+0x2c2>
jmp    13f5 <subsk+0x265>
mov    -0x64(%rbp),%eax
sub    $0x2b,%eax
je     1428 <subsk+0x298>
jmp    1406 <subsk+0x276>
mov    -0x64(%rbp),%eax
sub    $0x2d,%eax
je     143d <subsk+0x2ad>
jmp    1417 <subsk+0x287>
mov    -0x64(%rbp),%eax
sub    $0x5d,%eax
je     146e <subsk+0x2de>
jmp    1521 <subsk+0x391>
movl   $0x1,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    153e <subsk+0x3ae>
movl   $0xffffffff,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    153e <subsk+0x3ae>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x1,-0x38(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    153e <subsk+0x3ae>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movslq -0x2c(%rbp),%rax
movb   $0x0,-0x60(%rbp,%rax,1)
cmpl   $0x0,-0x40(%rbp)
jne    14a2 <subsk+0x312>
lea    -0x60(%rbp),%rdi
call   1080 <atoi@plt>
imul   -0x38(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    14b9 <subsk+0x329>
lea    -0x60(%rbp),%rdi
call   1080 <atoi@plt>
imul   -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x40(%rbp)
lea    -0x60(%rbp),%rdi
mov    -0x28(%rbp),%edx
lea    0xb39(%rip),%rsi
call   10a0 <sprintf@plt>
lea    -0x60(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x34(%rbp),%eax
jge    1515 <subsk+0x385>
movslq -0x30(%rbp),%rax
mov    -0x60(%rbp,%rax,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    14df <subsk+0x34f>
movl   $0x0,-0x3c(%rbp)
jmp    153e <subsk+0x3ae>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x41(%rbp),%cl
movslq -0x2c(%rbp),%rax
mov    %cl,-0x60(%rbp,%rax,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1399 <subsk+0x209>
jmp    1568 <subsk+0x3d8>
mov    -0x41(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    156d <subsk+0x3dd>
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jl     157e <subsk+0x3ee>
jmp    1583 <subsk+0x3f3>
jmp    11f1 <subsk+0x61>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<subsk>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %ecx,%r14d
mov    %edx,%r15d
mov    %rsi,%rbp
mov    %rdi,%rbx
call   1040 <strlen@plt>
mov    %eax,%r12d
mov    %rbx,%rdi
call   1070 <is_comment@plt>
test   %rax,%rax
je     11e8 <subsk+0x48>
mov    %rbp,%rdi
mov    %rbx,%rsi
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <strcpy@plt>
mov    %r15d,0x10(%rsp)
mov    %r14d,0x14(%rsp)
mov    %rbp,0x8(%rsp)
movslq %r12d,%r14
xor    %r13d,%r13d
xor    %r15d,%r15d
mov    %r12d,%edx
mov    %r12d,0x4(%rsp)
jmp    1230 <subsk+0x90>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rbp
movslq %r13d,%rax
mov    0x8(%rsp),%rcx
mov    %r12b,(%rcx,%rax,1)
add    $0x1,%r13d
mov    %ebp,%r15d
cmp    %edx,%r15d
jge    1414 <subsk+0x274>
movslq %r15d,%rbp
mov    (%rbx,%rbp,1),%r12b
mov    0x1(%rbx,%rbp,1),%al
cmp    $0x5b,%r12b
jne    1280 <subsk+0xe0>
cmp    $0x6a,%al
je     1280 <subsk+0xe0>
mov    %rbx,%rdi
mov    %r15d,%esi
call   10a0 <not_ker@plt>
mov    0x4(%rsp),%edx
test   %rax,%rax
je     1210 <subsk+0x70>
mov    0x1(%rbp,%rbx,1),%cl
xor    %eax,%eax
cmp    $0x5d,%cl
jne    1398 <subsk+0x1f8>
lea    0x20(%rsp),%r12
jmp    13b6 <subsk+0x216>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    $0x5b,%r12b
jne    1210 <subsk+0x70>
cmp    $0x6a,%al
jne    1210 <subsk+0x70>
cmpl   $0x0,0x14(%rsp)
je     1451 <subsk+0x2b1>
lea    0x2(%r15),%eax
cmp    %edx,%eax
jge    142f <subsk+0x28f>
cltq
add    $0x3,%r15d
mov    $0x1,%r12d
xor    %ecx,%ecx
xor    %ebp,%ebp
jmp    12dc <subsk+0x13c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    $0x1,%r12d
mov    $0x1,%ebp
add    $0x1,%rax
add    $0x1,%r15d
cmp    %r14,%rax
jge    142f <subsk+0x28f>
movzbl (%rbx,%rax,1),%edx
movsbl %dl,%esi
cmp    $0x2c,%esi
jg     1300 <subsk+0x160>
cmp    $0x2a,%esi
je     12c0 <subsk+0x120>
cmp    $0x2b,%esi
jne    1312 <subsk+0x172>
mov    $0x1,%r12d
jmp    12cb <subsk+0x12b>
nopw   0x0(%rax,%rax,1)
cmp    $0x2d,%esi
jne    130d <subsk+0x16d>
mov    $0xffffffff,%r12d
jmp    12cb <subsk+0x12b>
cmp    $0x5d,%esi
je     1320 <subsk+0x180>
movslq %ecx,%rsi
mov    %dl,0x20(%rsp,%rsi,1)
add    $0x1,%ecx
jmp    12cb <subsk+0x12b>
xchg   %ax,%ax
mov    %r13,0x18(%rsp)
movslq %ecx,%rax
movb   $0x0,0x20(%rsp,%rax,1)
lea    0x20(%rsp),%r13
mov    %r13,%rdi
call   1090 <atoi@plt>
imul   %eax,%r12d
mov    0x10(%rsp),%ecx
add    %ecx,%r12d
imul   %ecx,%eax
test   %ebp,%ebp
cmovne %eax,%r12d
mov    %r13,%rdi
lea    0xca8(%rip),%rsi
mov    %r12d,%edx
mov    %r13,%r12
call   10b0 <sprintf@plt>
mov    %r13,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    1406 <subsk+0x266>
mov    %eax,%ebp
mov    0x18(%rsp),%r13
movslq %r13d,%rdi
add    0x8(%rsp),%rdi
mov    %eax,%edx
mov    %r12,%rsi
call   1060 <memcpy@plt>
add    %ebp,%r13d
mov    0x4(%rsp),%edx
jmp    1227 <subsk+0x87>
xor    %eax,%eax
lea    0x20(%rsp),%r12
nop
mov    %cl,0x20(%rsp,%rax,1)
movzbl 0x2(%rbx,%rbp,1),%ecx
add    $0x1,%rbp
add    $0x1,%rax
cmp    $0x5d,%cl
jne    13a0 <subsk+0x200>
mov    %eax,%eax
movb   $0x0,0x20(%rsp,%rax,1)
mov    %r12,%rdi
call   1090 <atoi@plt>
mov    %r12,%rdi
lea    0xc31(%rip),%rsi
mov    %eax,%edx
call   10b0 <sprintf@plt>
mov    %r12,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    13fa <subsk+0x25a>
mov    %eax,%r15d
movslq %r13d,%rdi
add    0x8(%rsp),%rdi
mov    %eax,%edx
mov    %r12,%rsi
call   1060 <memcpy@plt>
add    %r15d,%r13d
mov    0x4(%rsp),%edx
add    $0x2,%ebp
jmp    1224 <subsk+0x84>
mov    0x4(%rsp),%edx
mov    0x18(%rsp),%r13
jmp    1227 <subsk+0x87>
movslq %r13d,%rax
mov    0x8(%rsp),%rcx
movb   $0x0,(%rcx,%rax,1)
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movslq %r13d,%rax
mov    0x8(%rsp),%rcx
movb   $0x0,(%rcx,%rax,1)
lea    0xbdd(%rip),%rdi
mov    %rbx,%rsi
call   1080 <plintf@plt>
xor    %edi,%edi
call   10c0 <exit@plt>
lea    0xbab(%rip),%rdi
mov    %rbx,%rsi
call   1050 <printf@plt>
xor    %edi,%edi
call   10c0 <exit@plt>

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

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
@.str.1 = [28 x i8] c" Illegal use of [j] at %s \0A\00"
@.str.2 = [72 x i8] c"Error in %s The expression does not terminate. Perhaps a ] is missing.\0A\00"
define void @subsk(i8* %0, i8* %1, i32 %2, i32 %3) {
%5 = alloca [20 x i8]
%6 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 0
%7 = tail call i32 @strlen(i8* %0)
%8 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 0
%9 = tail call i64 @is_comment(i8* %0)
%10 = icmp eq i64 %9, 0
br i1 %10, label %11, label %14
11: ; preds = %4
%12 = icmp eq i32 %3, 0
%13 = sext i32 %7 to i64
br label %16
14: ; preds = %4
%15 = tail call i32 @strcpy(i8* %1, i8* %0)
br label %135
16: ; preds = %11, %128
%17 = phi i32 [ %129, %128 ], [ 0, %11 ]
%18 = phi i32 [ %130, %128 ], [ 0, %11 ]
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %0, i64 %19
%21 = load i8, i8* %20
%22 = add nsw i32 %18, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %0, i64 %23
%25 = load i8, i8* %24
%26 = icmp eq i8 %21, 91
%27 = icmp ne i8 %25, 106
%28 = select i1 %26, i1 %27, i1 false
br i1 %28, label %29, label %62
29: ; preds = %16
%30 = call i64 @not_ker(i8* %0, i32 %18)
%31 = icmp eq i64 %30, 0
br i1 %31, label %116, label %32
32: ; preds = %29
%33 = add nsw i64 %19, 1
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = icmp eq i8 %35, 93
br i1 %36, label %37, label %51
37: ; preds = %51, %32
%38 = phi i64 [ %19, %32 ], [ %53, %51 ]
%39 = phi i32 [ 0, %32 ], [ %57, %51 ]
%40 = zext i32 %39 to i64
%41 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %40
store i8 0, i8* %41
%42 = call i32 @atoi(i8* %8)
%43 = call i32 @sprintf(i8* %8, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %42)
%44 = call i32 @strlen(i8* %8)
%45 = icmp sgt i32 %44, 0
br i1 %45, label %46, label %120
46: ; preds = %37
%47 = sext i32 %17 to i64
%48 = getelementptr i8, i8* %1, i64 %47
%49 = zext i32 %44 to i64
%50 = add i32 %17, %44
br label %120
51: ; preds = %32, %51
%52 = phi i8 [ %60, %51 ], [ %35, %32 ]
%53 = phi i64 [ %58, %51 ], [ %33, %32 ]
%54 = phi i32 [ %57, %51 ], [ 0, %32 ]
%55 = zext i32 %54 to i64
%56 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %55
store i8 %52, i8* %56
%57 = add nuw nsw i32 %54, 1
%58 = add i64 %53, 1
%59 = getelementptr inbounds i8, i8* %0, i64 %58
%60 = load i8, i8* %59
%61 = icmp eq i8 %60, 93
br i1 %61, label %37, label %51
62: ; preds = %16
%63 = icmp eq i8 %25, 106
%64 = select i1 %26, i1 %63, i1 false
br i1 %64, label %65, label %116
65: ; preds = %62
br i1 %12, label %66, label %69
66: ; preds = %65
%67 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.1, i64 0, i64 0), i8* %0)
%68 = call i32 @exit(i32 0)
unreachable
69: ; preds = %65
%70 = add i32 %18, 2
%71 = icmp slt i32 %70, %7
br i1 %71, label %72, label %74
72: ; preds = %69
%73 = sext i32 %70 to i64
br label %79
74: ; preds = %69, %110
%75 = sext i32 %17 to i64
%76 = getelementptr inbounds i8, i8* %1, i64 %75
store i8 0, i8* %76
%77 = call i32 @plintf(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.2, i64 0, i64 0), i8* %0)
%78 = call i32 @exit(i32 0)
unreachable
79: ; preds = %72, %110
%80 = phi i32 [ 0, %72 ], [ %111, %110 ]
%81 = phi i32 [ 1, %72 ], [ %112, %110 ]
%82 = phi i32 [ 0, %72 ], [ %113, %110 ]
%83 = phi i64 [ %73, %72 ], [ %114, %110 ]
%84 = getelementptr inbounds i8, i8* %0, i64 %83
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
switch i32 %86, label %106 [
i32 43, label %110
i32 45, label %87
i32 42, label %88
i32 93, label %89
]
87: ; preds = %79
br label %110
88: ; preds = %79
br label %110
89: ; preds = %79
%90 = sext i32 %80 to i64
%91 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %90
store i8 0, i8* %91
%92 = icmp eq i32 %82, 0
%93 = call i32 @atoi(i8* %8)
%94 = mul nsw i32 %93, %81
%95 = add nsw i32 %94, %2
%96 = mul nsw i32 %93, %2
%97 = select i1 %92, i32 %95, i32 %96
%98 = call i32 @sprintf(i8* %8, i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %97)
%99 = call i32 @strlen(i8* %8)
%100 = icmp sgt i32 %99, 0
br i1 %100, label %101, label %124
101: ; preds = %89
%102 = sext i32 %17 to i64
%103 = getelementptr i8, i8* %1, i64 %102
%104 = zext i32 %99 to i64
%105 = add i32 %17, %99
br label %124
106: ; preds = %79
%107 = sext i32 %80 to i64
%108 = getelementptr inbounds [20 x i8], [20 x i8]* %5, i64 0, i64 %107
store i8 %85, i8* %108
%109 = add nsw i32 %80, 1
br label %110
110: ; preds = %79, %106, %88, %87
%111 = phi i32 [ %109, %106 ], [ %80, %88 ], [ %80, %87 ], [ %80, %79 ]
%112 = phi i32 [ %81, %106 ], [ 1, %88 ], [ -1, %87 ], [ 1, %79 ]
%113 = phi i32 [ %82, %106 ], [ 1, %88 ], [ %82, %87 ], [ %82, %79 ]
%114 = add nsw i64 %83, 1
%115 = icmp slt i64 %114, %13
br i1 %115, label %79, label %74
116: ; preds = %29, %62
%117 = sext i32 %17 to i64
%118 = getelementptr inbounds i8, i8* %1, i64 %117
store i8 %21, i8* %118
%119 = add nsw i32 %17, 1
br label %128
120: ; preds = %37, %46
%121 = phi i32 [ %50, %46 ], [ %17, %37 ]
%122 = trunc i64 %38 to i32
%123 = add i32 %122, 2
br label %128
124: ; preds = %89, %101
%125 = phi i32 [ %105, %101 ], [ %17, %89 ]
%126 = trunc i64 %83 to i32
%127 = add i32 %126, 1
br label %128
128: ; preds = %124, %120, %116
%129 = phi i32 [ %119, %116 ], [ %121, %120 ], [ %125, %124 ]
%130 = phi i32 [ %22, %116 ], [ %123, %120 ], [ %127, %124 ]
%131 = icmp slt i32 %130, %7
br i1 %131, label %16, label %132
132: ; preds = %128
%133 = sext i32 %129 to i64
%134 = getelementptr inbounds i8, i8* %1, i64 %133
store i8 0, i8* %134
br label %135
135: ; preds = %132, %14
ret void
}