#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 */
scalar_t__ memcmp(char *, char *, int);
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ strcpy(char *, char *);
size_t strlen(char *);
void print_containString_DFA(char substring[], char symbols[], char name[]) {
  size_t length = strlen(substring);
  size_t jcap = strlen(symbols);
  char temp[length];
  strcpy(temp, substring);
  printf("%s", "bool ");
  if (name == NULL) {
    printf("%s", "GIVE_A_NAME");
  } else {
    printf("%s", name);
  }
  printf(
      "%s",
      "(char string[]){\n\tsize_t icap = strlen(string);\n\tchar c;\n\tint i = "
      "0;\n\tint state = 0;\n\twhile(i < icap){\n\t\tif( (icap - i) < (");
  printf("%zu", length);
  printf(
      "%s",
      " - state) ){\n\t\t\treturn false;\n\t\t}\n\t\tswitch(state){\n\t\t\t");
  if (length > 1) {
    printf("%s", "case 0:\n\t\t\t\tc = string[i];\n\t\t\t\tif(c == '");
    printf("%c", substring[0]);
    printf(
        "%s",
        "'){\n\t\t\t\t\tstate = state + 1;\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t");
  }
  int i = 1, j, k;
  int icap = length - 1;
  while (i < icap) {
    printf("%s", "case ");
    printf("%d", i);
    printf("%s", ":\n\t\t\t\tc = string[i];\n\t\t\t\tif(c == '");
    printf("%c", substring[i]);
    printf("%s", "'){\n\t\t\t\t\tstate = state + "
                 "1;\n\t\t\t\t}\n\t\t\t\telse{\n\t\t\t\t\tswitch(c){");
    j = 0;
    while (j < jcap) {
      if (substring[i] == symbols[j]) {
        j = j + 1;
        continue;
      }
      temp[i] = symbols[j];
      k = 0;
      while (k < i) {
        if (memcmp(temp + k + 1, substring, i - k) == 0) {
          printf("%s", "\n\t\t\t\t\t\tcase '");
          printf("%c", symbols[j]);
          printf("%s", "':\n\t\t\t\t\t\t\tstate = ");
          printf("%d", i - k);
          printf("%s", ";");
          break;
        }
        k = k + 1;
      }
      if (k == i) {
        printf("%s", "\n\t\t\t\t\t\tcase '");
        printf("%c", symbols[j]);
        printf("%s", "':\n\t\t\t\t\t\t\tstate = 0;");
      }
      temp[i] = substring[i];
      j = j + 1;
    }
    printf("%s", "\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t\t");
    i = i + 1;
  }
  printf("%s", "case ");
  printf("%d", icap);
  printf("%s", ":\n\t\t\t\tc = string[i];\n\t\t\t\tif(c == '");
  printf("%c", substring[icap]);
  printf("%s", "'){\n\t\t\t\t\treturn "
               "true;\n\t\t\t\t}\n\t\t\t\telse{\n\t\t\t\t\tswitch(c){");
  j = 0;
  while (j < jcap) {
    if (substring[i] == symbols[j]) {
      j = j + 1;
      continue;
    }
    temp[i] = symbols[j];
    k = 0;
    while (k < i) {
      if (memcmp(temp + k + 1, substring, i - k) == 0) {
        printf("%s", "\n\t\t\t\t\t\tcase '");
        printf("%c", symbols[j]);
        printf("%s", "':\n\t\t\t\t\t\t\tstate = ");
        printf("%d", i - k);
        printf("%s", ";");
        break;
      }
      k = k + 1;
    }
    if (k == i) {
      printf("%s", "\n\t\t\t\t\t\tcase '");
      printf("%c", symbols[j]);
      printf("%s", "':\n\t\t\t\t\t\t\tstate = 0;");
    }
    temp[i] = substring[i];
    j = j + 1;
  }
  printf("%s", "\n\t\t\t\t\t}\n\t\t\t\t}\n\t\t\t\tbreak;\n\t\t}\n\t\ti = i + "
               "1;\n\t}\n\treturn false;\n}");
}


x86 assembly (clang, -O0):
<print_containString_DFA>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdi
sub    %rcx,%rdi
mov    %rdi,-0x50(%rbp)
mov    %rdi,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rsi
call   1030 <strcpy@plt>
lea    0xe5b(%rip),%rdi
lea    0xe57(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
cmpq   $0x0,-0x18(%rbp)
jne    11d8 <print_containString_DFA+0x98>
lea    0xe3b(%rip),%rdi
lea    0xe3d(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
jmp    11ea <print_containString_DFA+0xaa>
mov    -0x18(%rbp),%rsi
lea    0xe1d(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xe0f(%rip),%rdi
lea    0xe1d(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x20(%rbp),%rsi
lea    0xe87(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xde8(%rip),%rdi
lea    0xe76(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
cmpq   $0x1,-0x20(%rbp)
jbe    1270 <print_containString_DFA+0x130>
lea    0xdc8(%rip),%rdi
lea    0xe8d(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x8(%rbp),%rax
movsbl (%rax),%esi
lea    0xea1(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xd9e(%rip),%rdi
lea    0xe8f(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x1,-0x3c(%rbp)
mov    -0x20(%rbp),%rax
sub    $0x1,%rax
mov    %eax,-0x48(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    14a3 <print_containString_DFA+0x363>
lea    0xd6b(%rip),%rdi
lea    0xe8d(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x3c(%rbp),%esi
lea    0xe82(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xd45(%rip),%rdi
lea    0xe10(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xe19(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xd16(%rip),%rdi
lea    0xe41(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x40(%rbp)
movslq -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1480 <print_containString_DFA+0x340>
mov    -0x8(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x40(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    133b <print_containString_DFA+0x1fb>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12ff <print_containString_DFA+0x1bf>
mov    -0x50(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x40(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x3c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    140c <print_containString_DFA+0x2cc>
mov    -0x50(%rbp),%rdi
movslq -0x44(%rbp),%rax
add    %rax,%rdi
add    $0x1,%rdi
mov    -0x8(%rbp),%rsi
mov    -0x3c(%rbp),%edx
sub    -0x44(%rbp),%edx
call   1060 <memcmp@plt>
cmp    $0x0,%rax
jne    13fe <print_containString_DFA+0x2be>
lea    0xc6d(%rip),%rdi
lea    0xdd4(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xd41(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xc3e(%rip),%rdi
lea    0xdb3(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x3c(%rbp),%esi
sub    -0x44(%rbp),%esi
lea    0xd52(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xc15(%rip),%rdi
lea    0xdb0(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
jmp    140c <print_containString_DFA+0x2cc>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1358 <print_containString_DFA+0x218>
mov    -0x44(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jne    145c <print_containString_DFA+0x31c>
lea    0xbe1(%rip),%rdi
lea    0xd48(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xcb5(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xbb2(%rip),%rdi
lea    0xd3a(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x50(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x3c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12ff <print_containString_DFA+0x1bf>
lea    0xb79(%rip),%rdi
lea    0xd16(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1282 <print_containString_DFA+0x142>
lea    0xb56(%rip),%rdi
lea    0xc78(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x48(%rbp),%esi
lea    0xc6d(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xb30(%rip),%rdi
lea    0xbfb(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x8(%rbp),%rax
movslq -0x48(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xc04(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xb01(%rip),%rdi
lea    0xcbb(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
movl   $0x0,-0x40(%rbp)
movslq -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1695 <print_containString_DFA+0x555>
mov    -0x8(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x40(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1550 <print_containString_DFA+0x410>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1514 <print_containString_DFA+0x3d4>
mov    -0x50(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x40(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x3c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jge    1621 <print_containString_DFA+0x4e1>
mov    -0x50(%rbp),%rdi
movslq -0x44(%rbp),%rax
add    %rax,%rdi
add    $0x1,%rdi
mov    -0x8(%rbp),%rsi
mov    -0x3c(%rbp),%edx
sub    -0x44(%rbp),%edx
call   1060 <memcmp@plt>
cmp    $0x0,%rax
jne    1613 <print_containString_DFA+0x4d3>
lea    0xa58(%rip),%rdi
lea    0xbbf(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xb2c(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xa29(%rip),%rdi
lea    0xb9e(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x3c(%rbp),%esi
sub    -0x44(%rbp),%esi
lea    0xb3d(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0xa00(%rip),%rdi
lea    0xb9b(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
jmp    1621 <print_containString_DFA+0x4e1>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    156d <print_containString_DFA+0x42d>
mov    -0x44(%rbp),%eax
cmp    -0x3c(%rbp),%eax
jne    1671 <print_containString_DFA+0x531>
lea    0x9cc(%rip),%rdi
lea    0xb33(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x10(%rbp),%rax
movslq -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%esi
lea    0xaa0(%rip),%rdi
mov    $0x0,%al
call   1050 <printf@plt>
lea    0x99d(%rip),%rdi
lea    0xb25(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x50(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    (%rcx,%rdx,1),%dl
movslq -0x3c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    1514 <print_containString_DFA+0x3d4>
lea    0x964(%rip),%rdi
lea    0xb54(%rip),%rsi
mov    $0x0,%al
call   1050 <printf@plt>
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_containString_DFA>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r13
mov    %rsi,%rbx
mov    %rdi,%r14
call   1050 <strlen@plt>
mov    %rax,%r12
mov    %rbx,-0x40(%rbp)
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %rax,-0x50(%rbp)
mov    %rsp,%rdi
lea    0xf(%r12),%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%rdi
mov    %rdi,%rsp
mov    %rdi,-0x38(%rbp)
mov    %r14,-0x30(%rbp)
mov    %r14,%rsi
call   1040 <strcpy@plt>
lea    0xe55(%rip),%rdi
lea    0xe51(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xe40(%rip),%rdi
test   %r13,%r13
je     11ca <print_containString_DFA+0x7a>
mov    %r13,%rsi
jmp    11d1 <print_containString_DFA+0x81>
lea    0xe38(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xe21(%rip),%r15
lea    0xe2f(%rip),%rsi
mov    %r15,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xe9a(%rip),%rdi
mov    %r12,%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xe8d(%rip),%rsi
mov    %r15,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
cmp    $0x2,%r12
mov    -0x50(%rbp),%r13
jb     1251 <print_containString_DFA+0x101>
lea    0xddd(%rip),%r15
lea    0xea2(%rip),%rsi
mov    %r15,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
mov    -0x30(%rbp),%rax
movsbl (%rax),%edi
call   1030 <putchar@plt>
lea    0xeae(%rip),%rsi
mov    %r15,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
lea    -0x1(%r12),%r14d
mov    $0x1,%eax
cmp    $0x2,%r14d
jl     1438 <print_containString_DFA+0x2e8>
mov    %r14d,-0x5c(%rbp)
mov    %r14d,%eax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    $0x1,%r14d
lea    0xd77(%rip),%rbx
jmp    12b6 <print_containString_DFA+0x166>
nopl   0x0(%rax,%rax,1)
lea    0xd69(%rip),%rbx
mov    %rbx,%rdi
lea    0xf00(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
add    $0x1,%r14
cmp    -0x58(%rbp),%r14
je     1431 <print_containString_DFA+0x2e1>
mov    %rbx,%rdi
lea    0xe66(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xe5e(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    %rbx,%rdi
lea    0xdf0(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
mov    -0x30(%rbp),%rax
movsbl (%rax,%r14,1),%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
lea    0xe2e(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
test   %r13,%r13
je     1290 <print_containString_DFA+0x140>
mov    -0x30(%rbp),%rax
mov    (%rax,%r14,1),%al
xor    %r12d,%r12d
jmp    1341 <print_containString_DFA+0x1f1>
nopw   0x0(%rax,%rax,1)
mov    -0x30(%rbp),%rax
mov    (%rax,%r14,1),%al
mov    -0x38(%rbp),%rcx
mov    %al,(%rcx,%r14,1)
mov    -0x50(%rbp),%r13
add    $0x1,%r12
cmp    %r13,%r12
je     1290 <print_containString_DFA+0x140>
mov    -0x40(%rbp),%rcx
mov    (%rcx,%r12,1),%cl
cmp    %cl,%al
je     1334 <print_containString_DFA+0x1e4>
mov    -0x38(%rbp),%rax
mov    %cl,(%rax,%r14,1)
mov    -0x48(%rbp),%r15
xor    %r13d,%r13d
nopl   0x0(%rax)
lea    (%r14,%r13,1),%edx
mov    %r15,%rdi
mov    -0x30(%rbp),%rsi
call   1070 <memcmp@plt>
test   %rax,%rax
je     1390 <print_containString_DFA+0x240>
add    $0xffffffffffffffff,%r13
add    $0x1,%r15
mov    %r14,%rax
add    %r13,%rax
jne    1360 <print_containString_DFA+0x210>
mov    %r14,%r13
jmp    13e9 <print_containString_DFA+0x299>
nopw   0x0(%rax,%rax,1)
lea    (%r14,%r13,1),%r15d
lea    0xc65(%rip),%rbx
mov    %rbx,%rdi
lea    0xdc6(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
mov    -0x40(%rbp),%rax
movsbl (%rax,%r12,1),%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
lea    0xdb5(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xd5a(%rip),%rdi
mov    %r15d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    $0x3b,%edi
call   1030 <putchar@plt>
neg    %r13
mov    %r13d,%eax
cmp    %rax,%r14
jne    1320 <print_containString_DFA+0x1d0>
lea    0xc04(%rip),%rbx
mov    %rbx,%rdi
lea    0xd65(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
mov    -0x40(%rbp),%rax
movsbl (%rax,%r12,1),%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
lea    0xd67(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
jmp    1320 <print_containString_DFA+0x1d0>
mov    -0x5c(%rbp),%r14d
mov    %r14d,%eax
mov    %eax,-0x48(%rbp)
lea    0xbbe(%rip),%r12
lea    0xcdd(%rip),%rsi
mov    %r12,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xcd2(%rip),%rdi
mov    %r14d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xc67(%rip),%rsi
mov    %r12,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
movslq %r14d,%rax
mov    -0x30(%rbp),%rcx
movsbl (%rcx,%rax,1),%edi
call   1030 <putchar@plt>
lea    0xd32(%rip),%rsi
mov    %r12,%rdi
xor    %eax,%eax
call   1060 <printf@plt>
test   %r13,%r13
je     15ca <print_containString_DFA+0x47a>
mov    -0x48(%rbp),%edx
mov    -0x30(%rbp),%rax
mov    (%rax,%rdx,1),%al
mov    -0x38(%rbp),%rcx
lea    0x1(%rcx),%r15
xor    %r12d,%r12d
mov    %rdx,-0x58(%rbp)
mov    -0x40(%rbp),%r14
jmp    14df <print_containString_DFA+0x38f>
xchg   %ax,%ax
mov    -0x30(%rbp),%rax
mov    -0x58(%rbp),%rdx
mov    (%rax,%rdx,1),%al
mov    -0x38(%rbp),%rcx
mov    %al,(%rcx,%rdx,1)
add    $0x1,%r12
cmp    %r13,%r12
je     15ca <print_containString_DFA+0x47a>
mov    -0x40(%rbp),%rcx
mov    (%rcx,%r12,1),%cl
cmp    %cl,%al
je     14d2 <print_containString_DFA+0x382>
mov    -0x38(%rbp),%rax
mov    %cl,(%rax,%rdx,1)
mov    %rdx,%r13
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
lea    (%r15,%rbx,1),%rdi
mov    -0x30(%rbp),%rsi
mov    %r13d,%edx
call   1070 <memcmp@plt>
test   %rax,%rax
je     1530 <print_containString_DFA+0x3e0>
add    $0x1,%rbx
add    $0xffffffffffffffff,%r13
jne    1500 <print_containString_DFA+0x3b0>
mov    -0x48(%rbp),%eax
mov    %eax,%ebx
mov    -0x50(%rbp),%r13
cmp    %ebx,%eax
jne    14c0 <print_containString_DFA+0x370>
jmp    158e <print_containString_DFA+0x43e>
xchg   %ax,%ax
lea    0xac9(%rip),%rdi
lea    0xc2d(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
movsbl (%r14,%r12,1),%edi
call   1030 <putchar@plt>
lea    0xaaa(%rip),%rdi
lea    0xc1c(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    0xbc1(%rip),%rdi
mov    %r13d,%esi
xor    %eax,%eax
call   1060 <printf@plt>
mov    $0x3b,%edi
call   1030 <putchar@plt>
mov    -0x50(%rbp),%r13
mov    -0x48(%rbp),%eax
cmp    %ebx,%eax
jne    14c0 <print_containString_DFA+0x370>
lea    0xa6b(%rip),%rbx
mov    %rbx,%rdi
lea    0xbcc(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
mov    -0x40(%rbp),%rax
movsbl (%rax,%r12,1),%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
lea    0xbce(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
jmp    14c0 <print_containString_DFA+0x370>
lea    0xa2f(%rip),%rdi
lea    0xc1c(%rip),%rsi
xor    %eax,%eax
call   1060 <printf@plt>
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%s\00"
@.str.1 = [6 x i8] c"bool \00"
@.str.2 = [12 x i8] c"GIVE_A_NAME\00"
@.str.3 = [124 x i8] c"(char string[]){\0A\09size_t icap = strlen(string);\0A\09char c;\0A\09int i = 0;\0A\09int state = 0;\0A\09while(i < icap){\0A\09\09if( (icap - i) < (\00"
@.str.4 = [4 x i8] c"%zu\00"
@.str.5 = [55 x i8] c" - state) ){\0A\09\09\09return false;\0A\09\09}\0A\09\09switch(state){\0A\09\09\09\00"
@.str.6 = [41 x i8] c"case 0:\0A\09\09\09\09c = string[i];\0A\09\09\09\09if(c == '\00"
@.str.7 = [3 x i8] c"%c\00"
@.str.8 = [49 x i8] c"'){\0A\09\09\09\09\09state = state + 1;\0A\09\09\09\09}\0A\09\09\09\09break;\0A\09\09\09\00"
@.str.9 = [6 x i8] c"case \00"
@.str.10 = [3 x i8] c"%d\00"
@.str.11 = [35 x i8] c":\0A\09\09\09\09c = string[i];\0A\09\09\09\09if(c == '\00"
@.str.12 = [60 x i8] c"'){\0A\09\09\09\09\09state = state + 1;\0A\09\09\09\09}\0A\09\09\09\09else{\0A\09\09\09\09\09switch(c){\00"
@.str.13 = [14 x i8] c"\0A\09\09\09\09\09\09case '\00"
@.str.14 = [19 x i8] c"':\0A\09\09\09\09\09\09\09state = \00"
@.str.15 = [2 x i8] c";\00"
@.str.16 = [21 x i8] c"':\0A\09\09\09\09\09\09\09state = 0;\00"
@.str.17 = [29 x i8] c"\0A\09\09\09\09\09}\0A\09\09\09\09}\0A\09\09\09\09break;\0A\09\09\09\00"
@.str.18 = [54 x i8] c"'){\0A\09\09\09\09\09return true;\0A\09\09\09\09}\0A\09\09\09\09else{\0A\09\09\09\09\09switch(c){\00"
@.str.19 = [62 x i8] c"\0A\09\09\09\09\09}\0A\09\09\09\09}\0A\09\09\09\09break;\0A\09\09}\0A\09\09i = i + 1;\0A\09}\0A\09return false;\0A}\00"
define void @print_containString_DFA(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
%15 = load i8*, i8** %4
%16 = call i64 @strlen(i8* %15)
store i64 %16, i64* %7
%17 = load i8*, i8** %5
%18 = call i64 @strlen(i8* %17)
store i64 %18, i64* %8
%19 = load i64, i64* %7
%20 = call i8* @llvm.stacksave()
store i8* %20, i8** %9
%21 = alloca i8, i64 %19
store i64 %19, i64* %10
%22 = load i8*, i8** %4
%23 = call i32 @strcpy(i8* %21, i8* %22)
%24 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0))
%25 = load i8*, i8** %6
%26 = icmp eq i8* %25, null
br i1 %26, label %27, label %29
27: ; preds = %3
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.2, i64 0, i64 0))
br label %32
29: ; preds = %3
%30 = load i8*, i8** %6
%31 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* %30)
br label %32
32: ; preds = %29, %27
%33 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([124 x i8], [124 x i8]* @.str.3, i64 0, i64 0))
%34 = load i64, i64* %7
%35 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i64 %34)
%36 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.5, i64 0, i64 0))
%37 = load i64, i64* %7
%38 = icmp ugt i64 %37, 1
br i1 %38, label %39, label %47
39: ; preds = %32
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.6, i64 0, i64 0))
%41 = load i8*, i8** %4
%42 = getelementptr inbounds i8, i8* %41, i64 0
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %44)
%46 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.8, i64 0, i64 0))
br label %47
47: ; preds = %39, %32
store i32 1, i32* %11
%48 = load i64, i64* %7
%49 = sub i64 %48, 1
%50 = trunc i64 %49 to i32
store i32 %50, i32* %14
br label %51
51: ; preds = %157, %47
%52 = load i32, i32* %11
%53 = load i32, i32* %14
%54 = icmp slt i32 %52, %53
br i1 %54, label %55, label %161
55: ; preds = %51
%56 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.9, i64 0, i64 0))
%57 = load i32, i32* %11
%58 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %57)
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.11, i64 0, i64 0))
%60 = load i8*, i8** %4
%61 = load i32, i32* %11
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i8, i8* %60, i64 %62
%64 = load i8, i8* %63
%65 = sext i8 %64 to i32
%66 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %65)
%67 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.12, i64 0, i64 0))
store i32 0, i32* %12
br label %68
68: ; preds = %146, %87, %55
%69 = load i32, i32* %12
%70 = sext i32 %69 to i64
%71 = load i64, i64* %8
%72 = icmp ult i64 %70, %71
br i1 %72, label %73, label %157
73: ; preds = %68
%74 = load i8*, i8** %4
%75 = load i32, i32* %11
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %74, i64 %76
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = load i8*, i8** %5
%81 = load i32, i32* %12
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %80, i64 %82
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = icmp eq i32 %79, %85
br i1 %86, label %87, label %90
87: ; preds = %73
%88 = load i32, i32* %12
%89 = add nsw i32 %88, 1
store i32 %89, i32* %12
br label %68
90: ; preds = %73
%91 = load i8*, i8** %5
%92 = load i32, i32* %12
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = load i8, i8* %94
%96 = load i32, i32* %11
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i8, i8* %21, i64 %97
store i8 %95, i8* %98
store i32 0, i32* %13
br label %99
99: ; preds = %129, %90
%100 = load i32, i32* %13
%101 = load i32, i32* %11
%102 = icmp slt i32 %100, %101
br i1 %102, label %103, label %132
103: ; preds = %99
%104 = load i32, i32* %13
%105 = sext i32 %104 to i64
%106 = getelementptr inbounds i8, i8* %21, i64 %105
%107 = getelementptr inbounds i8, i8* %106, i64 1
%108 = load i8*, i8** %4
%109 = load i32, i32* %11
%110 = load i32, i32* %13
%111 = sub nsw i32 %109, %110
%112 = call i64 @memcmp(i8* %107, i8* %108, i32 %111)
%113 = icmp eq i64 %112, 0
br i1 %113, label %114, label %129
114: ; preds = %103
%115 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%116 = load i8*, i8** %5
%117 = load i32, i32* %12
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %116, i64 %118
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %121)
%123 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0))
%124 = load i32, i32* %11
%125 = load i32, i32* %13
%126 = sub nsw i32 %124, %125
%127 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %126)
%128 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.15, i64 0, i64 0))
br label %132
129: ; preds = %103
%130 = load i32, i32* %13
%131 = add nsw i32 %130, 1
store i32 %131, i32* %13
br label %99
132: ; preds = %114, %99
%133 = load i32, i32* %13
%134 = load i32, i32* %11
%135 = icmp eq i32 %133, %134
br i1 %135, label %136, label %146
136: ; preds = %132
%137 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%138 = load i8*, i8** %5
%139 = load i32, i32* %12
%140 = sext i32 %139 to i64
%141 = getelementptr inbounds i8, i8* %138, i64 %140
%142 = load i8, i8* %141
%143 = sext i8 %142 to i32
%144 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %143)
%145 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0))
br label %146
146: ; preds = %136, %132
%147 = load i8*, i8** %4
%148 = load i32, i32* %11
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i8, i8* %147, i64 %149
%151 = load i8, i8* %150
%152 = load i32, i32* %11
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i8, i8* %21, i64 %153
store i8 %151, i8* %154
%155 = load i32, i32* %12
%156 = add nsw i32 %155, 1
store i32 %156, i32* %12
br label %68
157: ; preds = %68
%158 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.17, i64 0, i64 0))
%159 = load i32, i32* %11
%160 = add nsw i32 %159, 1
store i32 %160, i32* %11
br label %51
161: ; preds = %51
%162 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.9, i64 0, i64 0))
%163 = load i32, i32* %14
%164 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %163)
%165 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.11, i64 0, i64 0))
%166 = load i8*, i8** %4
%167 = load i32, i32* %14
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i8, i8* %166, i64 %168
%170 = load i8, i8* %169
%171 = sext i8 %170 to i32
%172 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %171)
%173 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.18, i64 0, i64 0))
store i32 0, i32* %12
br label %174
174: ; preds = %252, %193, %161
%175 = load i32, i32* %12
%176 = sext i32 %175 to i64
%177 = load i64, i64* %8
%178 = icmp ult i64 %176, %177
br i1 %178, label %179, label %263
179: ; preds = %174
%180 = load i8*, i8** %4
%181 = load i32, i32* %11
%182 = sext i32 %181 to i64
%183 = getelementptr inbounds i8, i8* %180, i64 %182
%184 = load i8, i8* %183
%185 = sext i8 %184 to i32
%186 = load i8*, i8** %5
%187 = load i32, i32* %12
%188 = sext i32 %187 to i64
%189 = getelementptr inbounds i8, i8* %186, i64 %188
%190 = load i8, i8* %189
%191 = sext i8 %190 to i32
%192 = icmp eq i32 %185, %191
br i1 %192, label %193, label %196
193: ; preds = %179
%194 = load i32, i32* %12
%195 = add nsw i32 %194, 1
store i32 %195, i32* %12
br label %174
196: ; preds = %179
%197 = load i8*, i8** %5
%198 = load i32, i32* %12
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds i8, i8* %197, i64 %199
%201 = load i8, i8* %200
%202 = load i32, i32* %11
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i8, i8* %21, i64 %203
store i8 %201, i8* %204
store i32 0, i32* %13
br label %205
205: ; preds = %235, %196
%206 = load i32, i32* %13
%207 = load i32, i32* %11
%208 = icmp slt i32 %206, %207
br i1 %208, label %209, label %238
209: ; preds = %205
%210 = load i32, i32* %13
%211 = sext i32 %210 to i64
%212 = getelementptr inbounds i8, i8* %21, i64 %211
%213 = getelementptr inbounds i8, i8* %212, i64 1
%214 = load i8*, i8** %4
%215 = load i32, i32* %11
%216 = load i32, i32* %13
%217 = sub nsw i32 %215, %216
%218 = call i64 @memcmp(i8* %213, i8* %214, i32 %217)
%219 = icmp eq i64 %218, 0
br i1 %219, label %220, label %235
220: ; preds = %209
%221 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%222 = load i8*, i8** %5
%223 = load i32, i32* %12
%224 = sext i32 %223 to i64
%225 = getelementptr inbounds i8, i8* %222, i64 %224
%226 = load i8, i8* %225
%227 = sext i8 %226 to i32
%228 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %227)
%229 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0))
%230 = load i32, i32* %11
%231 = load i32, i32* %13
%232 = sub nsw i32 %230, %231
%233 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %232)
%234 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.15, i64 0, i64 0))
br label %238
235: ; preds = %209
%236 = load i32, i32* %13
%237 = add nsw i32 %236, 1
store i32 %237, i32* %13
br label %205
238: ; preds = %220, %205
%239 = load i32, i32* %13
%240 = load i32, i32* %11
%241 = icmp eq i32 %239, %240
br i1 %241, label %242, label %252
242: ; preds = %238
%243 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%244 = load i8*, i8** %5
%245 = load i32, i32* %12
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds i8, i8* %244, i64 %246
%248 = load i8, i8* %247
%249 = sext i8 %248 to i32
%250 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %249)
%251 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0))
br label %252
252: ; preds = %242, %238
%253 = load i8*, i8** %4
%254 = load i32, i32* %11
%255 = sext i32 %254 to i64
%256 = getelementptr inbounds i8, i8* %253, i64 %255
%257 = load i8, i8* %256
%258 = load i32, i32* %11
%259 = sext i32 %258 to i64
%260 = getelementptr inbounds i8, i8* %21, i64 %259
store i8 %257, i8* %260
%261 = load i32, i32* %12
%262 = add nsw i32 %261, 1
store i32 %262, i32* %12
br label %174
263: ; preds = %174
%264 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.19, i64 0, i64 0))
%265 = load i8*, i8** %9
ret void
}

LLVM IR (-O2):
@.str = [3 x i8] c"%s\00"
@.str.1 = [6 x i8] c"bool \00"
@.str.2 = [12 x i8] c"GIVE_A_NAME\00"
@.str.3 = [124 x i8] c"(char string[]){\0A\09size_t icap = strlen(string);\0A\09char c;\0A\09int i = 0;\0A\09int state = 0;\0A\09while(i < icap){\0A\09\09if( (icap - i) < (\00"
@.str.4 = [4 x i8] c"%zu\00"
@.str.5 = [55 x i8] c" - state) ){\0A\09\09\09return false;\0A\09\09}\0A\09\09switch(state){\0A\09\09\09\00"
@.str.6 = [41 x i8] c"case 0:\0A\09\09\09\09c = string[i];\0A\09\09\09\09if(c == '\00"
@.str.8 = [49 x i8] c"'){\0A\09\09\09\09\09state = state + 1;\0A\09\09\09\09}\0A\09\09\09\09break;\0A\09\09\09\00"
@.str.9 = [6 x i8] c"case \00"
@.str.10 = [3 x i8] c"%d\00"
@.str.11 = [35 x i8] c":\0A\09\09\09\09c = string[i];\0A\09\09\09\09if(c == '\00"
@.str.12 = [60 x i8] c"'){\0A\09\09\09\09\09state = state + 1;\0A\09\09\09\09}\0A\09\09\09\09else{\0A\09\09\09\09\09switch(c){\00"
@.str.13 = [14 x i8] c"\0A\09\09\09\09\09\09case '\00"
@.str.14 = [19 x i8] c"':\0A\09\09\09\09\09\09\09state = \00"
@.str.16 = [21 x i8] c"':\0A\09\09\09\09\09\09\09state = 0;\00"
@.str.17 = [29 x i8] c"\0A\09\09\09\09\09}\0A\09\09\09\09}\0A\09\09\09\09break;\0A\09\09\09\00"
@.str.18 = [54 x i8] c"'){\0A\09\09\09\09\09return true;\0A\09\09\09\09}\0A\09\09\09\09else{\0A\09\09\09\09\09switch(c){\00"
@.str.19 = [62 x i8] c"\0A\09\09\09\09\09}\0A\09\09\09\09}\0A\09\09\09\09break;\0A\09\09}\0A\09\09i = i + 1;\0A\09}\0A\09return false;\0A}\00"
define void @print_containString_DFA(i8* %0, i8* nocapture %1, i8* %2) {
%4 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%5 = tail call i64 @strlen(i8* dereferenceable(1) %1)
%6 = alloca i8, i64 %4
%7 = call i32 @strcpy(i8* %6, i8* %0)
%8 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0))
%9 = icmp eq i8* %2, null
br i1 %9, label %10, label %12
10: ; preds = %3
%11 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.2, i64 0, i64 0))
br label %14
12: ; preds = %3
%13 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* %2)
br label %14
14: ; preds = %12, %10
%15 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([124 x i8], [124 x i8]* @.str.3, i64 0, i64 0))
%16 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i64 %4)
%17 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.5, i64 0, i64 0))
%18 = icmp ugt i64 %4, 1
br i1 %18, label %19, label %25
19: ; preds = %14
%20 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.6, i64 0, i64 0))
%21 = load i8, i8* %0
%22 = sext i8 %21 to i32
%23 = call i32 @putchar(i32 %22)
%24 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([49 x i8], [49 x i8]* @.str.8, i64 0, i64 0))
br label %25
25: ; preds = %19, %14
%26 = trunc i64 %4 to i32
%27 = add i32 %26, -1
%28 = icmp sgt i32 %27, 1
br i1 %28, label %29, label %93
29: ; preds = %25
%30 = icmp eq i64 %5, 0
%31 = zext i32 %27 to i64
%32 = getelementptr inbounds i8, i8* %6, i64 1
br label %33
33: ; preds = %29, %89
%34 = phi i64 [ 1, %29 ], [ %91, %89 ]
%35 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.9, i64 0, i64 0))
%36 = trunc i64 %34 to i32
%37 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %36)
%38 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.11, i64 0, i64 0))
%39 = getelementptr inbounds i8, i8* %0, i64 %34
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = call i32 @putchar(i32 %41)
%43 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.12, i64 0, i64 0))
br i1 %30, label %89, label %44
44: ; preds = %33
%45 = getelementptr inbounds i8, i8* %6, i64 %34
%46 = load i8, i8* %39
br label %47
47: ; preds = %44, %53
%48 = phi i8 [ %46, %44 ], [ %54, %53 ]
%49 = phi i64 [ 0, %44 ], [ %55, %53 ]
%50 = getelementptr inbounds i8, i8* %1, i64 %49
%51 = load i8, i8* %50
%52 = icmp eq i8 %48, %51
br i1 %52, label %53, label %57
53: ; preds = %47, %87
%54 = phi i8 [ %88, %87 ], [ %48, %47 ]
%55 = add nuw i64 %49, 1
%56 = icmp eq i64 %55, %5
br i1 %56, label %89, label %47
57: ; preds = %47
store i8 %51, i8* %45
br label %58
58: ; preds = %57, %74
%59 = phi i64 [ 0, %57 ], [ %75, %74 ]
%60 = getelementptr inbounds i8, i8* %32, i64 %59
%61 = sub nsw i64 %34, %59
%62 = trunc i64 %61 to i32
%63 = call i64 @memcmp(i8* %60, i8* %0, i32 %62)
%64 = icmp eq i64 %63, 0
br i1 %64, label %65, label %74
65: ; preds = %58
%66 = trunc i64 %61 to i32
%67 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%68 = load i8, i8* %50
%69 = sext i8 %68 to i32
%70 = call i32 @putchar(i32 %69)
%71 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0))
%72 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %66)
%73 = call i32 @putchar(i32 59)
br label %77
74: ; preds = %58
%75 = add nuw nsw i64 %59, 1
%76 = icmp eq i64 %75, %34
br i1 %76, label %77, label %58
77: ; preds = %74, %65
%78 = phi i64 [ %59, %65 ], [ %34, %74 ]
%79 = and i64 %78, 4294967295
%80 = icmp eq i64 %34, %79
br i1 %80, label %81, label %87
81: ; preds = %77
%82 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%83 = load i8, i8* %50
%84 = sext i8 %83 to i32
%85 = call i32 @putchar(i32 %84)
%86 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0))
br label %87
87: ; preds = %81, %77
%88 = load i8, i8* %39
store i8 %88, i8* %45
br label %53
89: ; preds = %53, %33
%90 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.17, i64 0, i64 0))
%91 = add nuw nsw i64 %34, 1
%92 = icmp eq i64 %91, %31
br i1 %92, label %93, label %33
93: ; preds = %89, %25
%94 = phi i32 [ 1, %25 ], [ %27, %89 ]
%95 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.9, i64 0, i64 0))
%96 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %27)
%97 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.11, i64 0, i64 0))
%98 = sext i32 %27 to i64
%99 = getelementptr inbounds i8, i8* %0, i64 %98
%100 = load i8, i8* %99
%101 = sext i8 %100 to i32
%102 = call i32 @putchar(i32 %101)
%103 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.18, i64 0, i64 0))
%104 = icmp eq i64 %5, 0
br i1 %104, label %152, label %105
105: ; preds = %93
%106 = zext i32 %94 to i64
%107 = getelementptr inbounds i8, i8* %0, i64 %106
%108 = getelementptr inbounds i8, i8* %6, i64 %106
%109 = load i8, i8* %107
%110 = getelementptr inbounds i8, i8* %6, i64 1
br label %111
111: ; preds = %105, %117
%112 = phi i8 [ %109, %105 ], [ %118, %117 ]
%113 = phi i64 [ 0, %105 ], [ %119, %117 ]
%114 = getelementptr inbounds i8, i8* %1, i64 %113
%115 = load i8, i8* %114
%116 = icmp eq i8 %112, %115
br i1 %116, label %117, label %121
117: ; preds = %111, %150
%118 = phi i8 [ %151, %150 ], [ %112, %111 ]
%119 = add nuw i64 %113, 1
%120 = icmp eq i64 %119, %5
br i1 %120, label %152, label %111
121: ; preds = %111
store i8 %115, i8* %108
br label %122
122: ; preds = %121, %138
%123 = phi i64 [ 0, %121 ], [ %139, %138 ]
%124 = getelementptr inbounds i8, i8* %110, i64 %123
%125 = trunc i64 %123 to i32
%126 = sub i32 %94, %125
%127 = call i64 @memcmp(i8* %124, i8* %0, i32 %126)
%128 = icmp eq i64 %127, 0
br i1 %128, label %129, label %138
129: ; preds = %122
%130 = trunc i64 %123 to i32
%131 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%132 = load i8, i8* %114
%133 = sext i8 %132 to i32
%134 = call i32 @putchar(i32 %133)
%135 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i64 0, i64 0))
%136 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.10, i64 0, i64 0), i32 %126)
%137 = call i32 @putchar(i32 59)
br label %141
138: ; preds = %122
%139 = add nuw nsw i64 %123, 1
%140 = icmp eq i64 %139, %106
br i1 %140, label %141, label %122
141: ; preds = %138, %129
%142 = phi i32 [ %130, %129 ], [ %94, %138 ]
%143 = icmp eq i32 %94, %142
br i1 %143, label %144, label %150
144: ; preds = %141
%145 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.13, i64 0, i64 0))
%146 = load i8, i8* %114
%147 = sext i8 %146 to i32
%148 = call i32 @putchar(i32 %147)
%149 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.16, i64 0, i64 0))
br label %150
150: ; preds = %144, %141
%151 = load i8, i8* %107
store i8 %151, i8* %108
br label %117
152: ; preds = %117, %93
%153 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.19, i64 0, i64 0))
ret void
}