#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*/ printf(char *, ...);
scalar_t__ strcmp(char *, char *);
int strlen(char *);
int main() {
  char regex[] = "(01+1+21+0)*";
  char string[] = "0121120";
  int m, n, i, j = 0, k = 0;
  char components[10][10];
  for (i = 0; i < strlen(regex); i++) {
    if (regex[i] == '(') {
    } else if (regex[i] == '+') {
      components[j][k] = 0;
      j++;
      k = 0;
    } else if (regex[i] == ')') {
      components[j][k] = 0;
      break;
    } else {
      components[j][k++] = regex[i];
    }
  }
  m = j + 1;
  printf("Components are \n");
  for (i = 0; i < m; i++)
    printf("-%s- ", components[i]);
  printf("\n");
  if (regex[strlen(regex) - 1] != '*') {
    for (i = 0; i < m; i++) {
      if (strcmp(components[i], string) == 0) {
        printf("String accepted\n");
        return 0;
      }
    }
    printf("String rejected\n");
    return 0;
  }
  for (i = 0; i < strlen(string);) {
    int p = i;
    for (j = 0; j < m; j++) {
      printf("i=%d j=%d\n", i, j);
      if (string[i] == components[j][0]) {
        int t = i;
        for (k = 0; k < strlen(components[j]); k++) {
          printf("k=%d \n", k);
          if (components[j][k] == string[t])
            t++;
          else
            break;
        }
        printf("-t=%d i=%d length=%d-", t, i, strlen(components[j]));
        if (t == strlen(components[j]) + i)
          i = t;
      }
    }
    if (p == i) {
      printf("String rejected\n");
      return 0;
    }
  }
  printf("String accepted\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
movl   $0x0,-0x4(%rbp)
mov    0xeb7(%rip),%rax
mov    %rax,-0x11(%rbp)
mov    0xeb5(%rip),%eax
mov    %eax,-0x9(%rbp)
mov    0xeb0(%rip),%al
mov    %al,-0x5(%rbp)
mov    0xea7(%rip),%rax
mov    %rax,-0x19(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0xac(%rbp)
lea    -0x11(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0xac(%rbp),%eax
cmp    %ecx,%eax
jge    1272 <main+0x142>
movslq -0x28(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
cmp    $0x28,%eax
jne    11b8 <main+0x88>
jmp    125f <main+0x12f>
movslq -0x28(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
cmp    $0x2b,%eax
jne    11f9 <main+0xc9>
movslq -0x2c(%rbp),%rcx
lea    -0xa0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
jmp    125a <main+0x12a>
movslq -0x28(%rbp),%rax
movsbl -0x11(%rbp,%rax,1),%eax
cmp    $0x29,%eax
jne    122a <main+0xfa>
movslq -0x2c(%rbp),%rcx
lea    -0xa0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1272 <main+0x142>
movslq -0x28(%rbp),%rax
mov    -0x11(%rbp,%rax,1),%dl
movslq -0x2c(%rbp),%rcx
lea    -0xa0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x30(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    125a <main+0x12a>
jmp    125f <main+0x12f>
jmp    1264 <main+0x134>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    117f <main+0x4f>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
lea    0xd93(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    12ca <main+0x19a>
movslq -0x28(%rbp),%rax
lea    -0xa0(%rbp),%rsi
imul   $0xa,%rax,%rax
add    %rax,%rsi
lea    0xd71(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1290 <main+0x160>
lea    0xd8d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
lea    -0x11(%rbp),%rdi
call   1030 <strlen@plt>
sub    $0x1,%eax
cltq
movsbl -0x11(%rbp,%rax,1),%eax
cmp    $0x2a,%eax
je     1373 <main+0x243>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1359 <main+0x229>
movslq -0x28(%rbp),%rax
lea    -0xa0(%rbp),%rdi
imul   $0xa,%rax,%rax
add    %rax,%rdi
lea    -0x19(%rbp),%rsi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
jne    1346 <main+0x216>
lea    0xcf9(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    157f <main+0x44f>
jmp    134b <main+0x21b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12fb <main+0x1cb>
lea    0xcdd(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    157f <main+0x44f>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0xb0(%rbp)
lea    -0x19(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0xb0(%rbp),%eax
cmp    %ecx,%eax
jge    156a <main+0x43a>
mov    -0x28(%rbp),%eax
mov    %eax,-0xa4(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    153c <main+0x40c>
mov    -0x28(%rbp),%esi
mov    -0x2c(%rbp),%edx
lea    0xc89(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movslq -0x28(%rbp),%rax
movsbl -0x19(%rbp,%rax,1),%eax
movslq -0x2c(%rbp),%rdx
lea    -0xa0(%rbp),%rcx
imul   $0xa,%rdx,%rdx
add    %rdx,%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1529 <main+0x3f9>
mov    -0x28(%rbp),%eax
mov    %eax,-0xa8(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0xb4(%rbp)
movslq -0x2c(%rbp),%rax
lea    -0xa0(%rbp),%rdi
imul   $0xa,%rax,%rax
add    %rax,%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0xb4(%rbp),%eax
cmp    %ecx,%eax
jge    149d <main+0x36d>
mov    -0x30(%rbp),%esi
lea    0xc1d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movslq -0x2c(%rbp),%rcx
lea    -0xa0(%rbp),%rax
imul   $0xa,%rcx,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0xa8(%rbp),%rcx
movsbl -0x19(%rbp,%rcx,1),%ecx
cmp    %ecx,%eax
jne    1485 <main+0x355>
mov    -0xa8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xa8(%rbp)
jmp    148a <main+0x35a>
jmp    149d <main+0x36d>
jmp    148f <main+0x35f>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1402 <main+0x2d2>
mov    -0xa8(%rbp),%eax
mov    %eax,-0xc0(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0xbc(%rbp)
movslq -0x2c(%rbp),%rax
lea    -0xa0(%rbp),%rdi
imul   $0xa,%rax,%rax
add    %rax,%rdi
call   1030 <strlen@plt>
mov    -0xc0(%rbp),%esi
mov    -0xbc(%rbp),%edx
mov    %eax,%ecx
lea    0xb82(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0xa8(%rbp),%eax
mov    %eax,-0xb8(%rbp)
movslq -0x2c(%rbp),%rax
lea    -0xa0(%rbp),%rdi
imul   $0xa,%rax,%rax
add    %rax,%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0xb8(%rbp),%eax
add    -0x28(%rbp),%ecx
cmp    %ecx,%eax
jne    1524 <main+0x3f4>
mov    -0xa8(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1529 <main+0x3f9>
jmp    152e <main+0x3fe>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    13ac <main+0x27c>
mov    -0xa4(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    1565 <main+0x435>
lea    0xaeb(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    157f <main+0x44f>
jmp    137a <main+0x24a>
lea    0xabb(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
movabs $0x2a29302b31322b,%rax
mov    %rax,0x1d(%rsp)
movabs $0x31322b312b313028,%rax
2b 32 31
mov    %rax,0x18(%rsp)
movabs $0x30323131323130,%rax
mov    %rax,0x8(%rsp)
lea    0x18(%rsp),%r14
mov    %r14,%rdi
call   1050 <strlen@plt>
test   %eax,%eax
jle    120a <main+0xba>
xor    %ebx,%ebx
lea    0x18(%rsp),%r15
xor    %ebp,%ebp
xor    %r12d,%r12d
jmp    11df <main+0x8f>
nopl   (%rax)
movslq %r12d,%rax
movslq %ebp,%rcx
lea    (%rax,%rax,4),%rax
lea    (%rsp,%rax,2),%rax
add    $0x30,%rax
movb   $0x0,(%rcx,%rax,1)
add    $0x1,%r12d
xor    %ebp,%ebp
add    $0x1,%rbx
mov    %r15,%rdi
call   1050 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    1230 <main+0xe0>
movzbl 0x18(%rsp,%rbx,1),%eax
cmp    $0x28,%al
je     11cc <main+0x7c>
cmp    $0x2b,%al
je     11b0 <main+0x60>
cmp    $0x29,%al
je     121a <main+0xca>
movslq %r12d,%rcx
movslq %ebp,%rdx
add    $0x1,%ebp
lea    (%rcx,%rcx,4),%rcx
lea    (%rsp,%rcx,2),%rcx
add    $0x30,%rcx
mov    %al,(%rdx,%rcx,1)
jmp    11cc <main+0x7c>
lea    0xe2a(%rip),%rdi
call   1040 <puts@plt>
xor    %ebp,%ebp
jmp    1243 <main+0xf3>
movslq %r12d,%rax
movslq %ebp,%rcx
lea    (%rax,%rax,4),%rax
lea    (%rsp,%rax,2),%rax
add    $0x30,%rax
movb   $0x0,(%rcx,%rax,1)
lea    0xe04(%rip),%rdi
call   1040 <puts@plt>
mov    %r12,%rbp
test   %ebp,%ebp
js     127e <main+0x12e>
mov    %rbp,%r12
lea    0x1(%rbp),%ebx
lea    0x30(%rsp),%rbp
lea    0xdb8(%rip),%r15
cs nopw 0x0(%rax,%rax,1)
nop
mov    %r15,%rdi
mov    %rbp,%rsi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0xa,%rbp
add    $0xffffffffffffffff,%rbx
jne    1260 <main+0x110>
mov    %r12,%rbp
xor    %ebx,%ebx
jmp    1280 <main+0x130>
mov    $0x1,%bl
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %r14,%rdi
call   1050 <strlen@plt>
cltq
cmpb   $0x2a,-0x1(%rax,%r14,1)
jne    13d7 <main+0x287>
add    $0x1,%ebp
mov    %rbp,%r14
lea    0xd66(%rip),%r15
xor    %ebp,%ebp
mov    %r14,0x28(%rsp)
mov    %ebx,0x10(%rsp)
jmp    12d1 <main+0x181>
nopw   0x0(%rax,%rax,1)
mov    %rbx,%r14
cmp    %ebp,0x4(%rsp)
mov    0x10(%rsp),%ebx
je     141f <main+0x2cf>
lea    0x8(%rsp),%rdi
call   1050 <strlen@plt>
cmp    %eax,%ebp
jge    1428 <main+0x2d8>
mov    %ebp,0x4(%rsp)
test   %bl,%bl
mov    %r14,%rbx
jne    12c0 <main+0x170>
lea    0x30(%rsp),%r12
xor    %r14d,%r14d
mov    0x4(%rsp),%ebp
jmp    1352 <main+0x202>
nopl   0x0(%rax)
add    %rbx,%r13
mov    %r13,%rbx
mov    %r15,%rdi
call   1050 <strlen@plt>
lea    0xd10(%rip),%rdi
mov    %ebx,%esi
mov    0x14(%rsp),%ebp
mov    %ebp,%edx
mov    %eax,%ecx
xor    %eax,%eax
call   1060 <printf@plt>
mov    %r15,%rdi
call   1050 <strlen@plt>
add    %ebp,%eax
cmp    %eax,%ebx
cmove  %ebx,%ebp
lea    0xcd7(%rip),%r15
mov    0x28(%rsp),%rbx
add    $0x1,%r14
add    $0xa,%r12
cmp    %rbx,%r14
je     12c0 <main+0x170>
mov    %r15,%rdi
mov    %ebp,%esi
mov    %r14d,%edx
xor    %eax,%eax
call   1060 <printf@plt>
movslq %ebp,%r13
mov    0x8(%rsp,%r13,1),%cl
lea    (%r14,%r14,4),%rax
cmp    0x30(%rsp,%rax,2),%cl
jne    1341 <main+0x1f1>
lea    (%rsp,%rax,2),%r15
add    $0x30,%r15
mov    %r15,%rdi
call   1050 <strlen@plt>
mov    %ebp,0x14(%rsp)
mov    %ebp,%ebx
test   %eax,%eax
jle    1306 <main+0x1b6>
lea    (%rsp,%r13,1),%rbp
add    $0x8,%rbp
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
lea    0xc77(%rip),%rdi
mov    %ebx,%esi
xor    %eax,%eax
call   1060 <printf@plt>
movzbl (%r12,%rbx,1),%eax
cmp    0x0(%rbp,%rbx,1),%al
jne    1300 <main+0x1b0>
add    $0x1,%rbx
mov    %r15,%rdi
call   1050 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     13a0 <main+0x250>
jmp    1300 <main+0x1b0>
lea    0xc6d(%rip),%rdi
test   %bl,%bl
jne    1434 <main+0x2e4>
mov    %rdi,%r12
add    $0x1,%ebp
lea    0x30(%rsp),%rbx
lea    0x8(%rsp),%r15
lea    0xc62(%rip),%r14
nopl   0x0(%rax)
mov    %rbx,%rdi
mov    %r15,%rsi
call   1070 <strcmp@plt>
test   %rax,%rax
je     1431 <main+0x2e1>
add    $0xa,%rbx
add    $0xffffffffffffffff,%rbp
jne    1400 <main+0x2b0>
mov    %r12,%rdi
jmp    1434 <main+0x2e4>
lea    0xc25(%rip),%rdi
jmp    1434 <main+0x2e4>
lea    0xc2c(%rip),%rdi
jmp    1434 <main+0x2e4>
mov    %r14,%rdi
call   1040 <puts@plt>
xor    %eax,%eax
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@__const.main.regex = [13 x i8] c"(01+1+21+0)*\00"
@.str.1 = [6 x i8] c"-%s- \00"
@.str.5 = [11 x i8] c"i=%d j=%d\0A\00"
@.str.6 = [7 x i8] c"k=%d \0A\00"
@.str.7 = [22 x i8] c"-t=%d i=%d length=%d-\00"
@str = [16 x i8] c"Components are \00"
@str.10 = [16 x i8] c"String rejected\00"
@str.11 = [16 x i8] c"String accepted\00"
define i32 @main() {
%1 = alloca [13 x i8]
%2 = alloca i64
%3 = bitcast i64* %2 to [8 x i8]*
%4 = alloca [10 x [10 x i8]]
%5 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 0
%6 = bitcast i64* %2 to i8*
store i64 13565985742270768, i64* %2
%7 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 0, i64 0
%8 = call i32 @strlen(i8* %5)
%9 = icmp sgt i32 %8, 0
br i1 %9, label %12, label %10
10: ; preds = %0
%11 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str, i64 0, i64 0))
br label %43
12: ; preds = %0, %32
%13 = phi i64 [ %35, %32 ], [ 0, %0 ]
%14 = phi i32 [ %34, %32 ], [ 0, %0 ]
%15 = phi i32 [ %33, %32 ], [ 0, %0 ]
%16 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 %13
%17 = load i8, i8* %16
switch i8 %17, label %27 [
i8 40, label %32
i8 43, label %18
i8 41, label %23
]
18: ; preds = %12
%19 = sext i32 %15 to i64
%20 = sext i32 %14 to i64
%21 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %19, i64 %20
store i8 0, i8* %21
%22 = add nsw i32 %15, 1
br label %32
23: ; preds = %12
%24 = sext i32 %15 to i64
%25 = sext i32 %14 to i64
%26 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %24, i64 %25
store i8 0, i8* %26
br label %39
27: ; preds = %12
%28 = sext i32 %15 to i64
%29 = add nsw i32 %14, 1
%30 = sext i32 %14 to i64
%31 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %28, i64 %30
store i8 %17, i8* %31
br label %32
32: ; preds = %12, %27, %18
%33 = phi i32 [ %15, %12 ], [ %22, %18 ], [ %15, %27 ]
%34 = phi i32 [ %14, %12 ], [ 0, %18 ], [ %29, %27 ]
%35 = add nuw nsw i64 %13, 1
%36 = call i32 @strlen(i8* %5)
%37 = sext i32 %36 to i64
%38 = icmp slt i64 %35, %37
br i1 %38, label %12, label %39
39: ; preds = %32, %23
%40 = phi i32 [ %15, %23 ], [ %33, %32 ]
%41 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str, i64 0, i64 0))
%42 = icmp slt i32 %40, 0
br i1 %42, label %53, label %43
43: ; preds = %10, %39
%44 = phi i32 [ 0, %10 ], [ %40, %39 ]
%45 = add nuw i32 %44, 1
%46 = zext i32 %45 to i64
br label %47
47: ; preds = %43, %47
%48 = phi i64 [ 0, %43 ], [ %51, %47 ]
%49 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %48, i64 0
%50 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* %49)
%51 = add nuw nsw i64 %48, 1
%52 = icmp eq i64 %51, %46
br i1 %52, label %53, label %47
53: ; preds = %47, %39
%54 = phi i1 [ true, %39 ], [ false, %47 ]
%55 = phi i32 [ %40, %39 ], [ %44, %47 ]
%56 = call i32 @putchar(i32 10)
%57 = call i32 @strlen(i8* %5)
%58 = add nsw i32 %57, -1
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [13 x i8], [13 x i8]* %1, i64 0, i64 %59
%61 = load i8, i8* %60
%62 = icmp eq i8 %61, 42
br i1 %62, label %67, label %63
63: ; preds = %53
br i1 %54, label %131, label %64
64: ; preds = %63
%65 = add i32 %55, 1
%66 = zext i32 %65 to i64
br label %73
67: ; preds = %53
%68 = add i32 %55, 1
%69 = zext i32 %68 to i64
br label %78
70: ; preds = %73
%71 = add nuw nsw i64 %74, 1
%72 = icmp eq i64 %71, %66
br i1 %72, label %131, label %73
73: ; preds = %64, %70
%74 = phi i64 [ 0, %64 ], [ %71, %70 ]
%75 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %74, i64 0
%76 = call i64 @strcmp(i8* %75, i8* %6)
%77 = icmp eq i64 %76, 0
br i1 %77, label %131, label %70
78: ; preds = %67, %128
%79 = phi i32 [ %129, %128 ], [ 0, %67 ]
%80 = call i32 @strlen(i8* %6)
%81 = icmp slt i32 %79, %80
br i1 %81, label %82, label %131
82: ; preds = %78
br i1 %54, label %128, label %83
83: ; preds = %82, %124
%84 = phi i64 [ %126, %124 ], [ 0, %82 ]
%85 = phi i32 [ %125, %124 ], [ %79, %82 ]
%86 = trunc i64 %84 to i32
%87 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([11 x i8], [11 x i8]* @.str.5, i64 0, i64 0), i32 %85, i32 %86)
%88 = sext i32 %85 to i64
%89 = getelementptr inbounds [8 x i8], [8 x i8]* %3, i64 0, i64 %88
%90 = load i8, i8* %89
%91 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %84, i64 0
%92 = load i8, i8* %91
%93 = icmp eq i8 %90, %92
br i1 %93, label %94, label %124
94: ; preds = %83
%95 = call i32 @strlen(i8* %91)
%96 = icmp sgt i32 %95, 0
br i1 %96, label %97, label %116
97: ; preds = %94, %107
%98 = phi i64 [ %109, %107 ], [ 0, %94 ]
%99 = phi i64 [ %108, %107 ], [ %88, %94 ]
%100 = trunc i64 %98 to i32
%101 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str.6, i64 0, i64 0), i32 %100)
%102 = getelementptr inbounds [10 x [10 x i8]], [10 x [10 x i8]]* %4, i64 0, i64 %84, i64 %98
%103 = load i8, i8* %102
%104 = getelementptr inbounds [8 x i8], [8 x i8]* %3, i64 0, i64 %99
%105 = load i8, i8* %104
%106 = icmp eq i8 %103, %105
br i1 %106, label %107, label %113
107: ; preds = %97
%108 = add nsw i64 %99, 1
%109 = add nuw nsw i64 %98, 1
%110 = call i32 @strlen(i8* %91)
%111 = sext i32 %110 to i64
%112 = icmp slt i64 %109, %111
br i1 %112, label %97, label %113
113: ; preds = %97, %107
%114 = phi i64 [ %108, %107 ], [ %99, %97 ]
%115 = trunc i64 %114 to i32
br label %116
116: ; preds = %113, %94
%117 = phi i32 [ %85, %94 ], [ %115, %113 ]
%118 = call i32 @strlen(i8* %91)
%119 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str.7, i64 0, i64 0), i32 %117, i32 %85, i32 %118)
%120 = call i32 @strlen(i8* %91)
%121 = add nsw i32 %120, %85
%122 = icmp eq i32 %117, %121
%123 = select i1 %122, i32 %117, i32 %85
br label %124
124: ; preds = %83, %116
%125 = phi i32 [ %123, %116 ], [ %85, %83 ]
%126 = add nuw nsw i64 %84, 1
%127 = icmp eq i64 %126, %69
br i1 %127, label %128, label %83
128: ; preds = %124, %82
%129 = phi i32 [ %79, %82 ], [ %125, %124 ]
%130 = icmp eq i32 %79, %129
br i1 %130, label %131, label %78
131: ; preds = %70, %73, %78, %128, %63
%132 = phi i8* [ getelementptr inbounds ([16 x i8], [16 x i8]* @str.10, i64 0, i64 0), %63 ], [ getelementptr inbounds ([16 x i8], [16 x i8]* @str.10, i64 0, i64 0), %128 ], [ getelementptr inbounds ([16 x i8], [16 x i8]* @str.11, i64 0, i64 0), %78 ], [ getelementptr inbounds ([16 x i8], [16 x i8]* @str.11, i64 0, i64 0), %73 ], [ getelementptr inbounds ([16 x i8], [16 x i8]* @str.10, i64 0, i64 0), %70 ]
%133 = call i32 @puts(i8* dereferenceable(1) %132)
ret i32 0
}