#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*/ fail(char *);
scalar_t__ memcmp(char *, char *, int);
int /*<<< orphan*/ pr(char *);
int /*<<< orphan*/ strcat(char *, char *);
scalar_t__ strcmp(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
int strcspn(char *, char *);
int strlen(char *);
int /*<<< orphan*/ strncat(char *, char *, int);
int strncmp(char *, char *, int);
int /*<<< orphan*/ strncpy(char *, char *, int);
char *strpbrk(char *, char *);
int strspn(char *, char *);
char *strtok(char *, char *);
void test_str(void) {
  char v1[128], *sep;
  pr("strlen");
  if (strlen("\0") != 0)
    fail("strlen-1");
  if (strlen("0123456789abcdef") != 16)
    fail("strlen-2");
  pr("strcmp");
  if (strcmp("\0", "\0"))
    fail("strcmp-1");
  if (strcmp("abcdef", "abcdef"))
    fail("strcmp-2");
  if (strcmp("abcdef", "abcdefg") >= 0)
    fail("strcmp-3");
  if (strcmp("abcdefg", "abcdef") <= 0)
    fail("strcmp-4");
  if (strcmp("abcdef0", "abcdef3") >= 0)
    fail("strcmp-5");
  pr("strcpy");
  strcpy(v1, "0123456789ABCDEF");
  if (strcmp(v1, "0123456789ABCDEF"))
    fail("strcpy-1");
  strcpy(v1, "ABCDEF");
  if (strcmp(v1, "ABCDEF"))
    fail("strcpy-2");
  if (v1[7] != '7')
    fail("strcpy-3");
  pr("strcat");
  strcpy(v1, "abcXXXXX");
  v1[3] = 0;
  strcat(v1, "DEF");
  if (strcmp(v1, "abcDEF"))
    fail("strcat-1");
  if (v1[7] != 'X')
    fail("strcat-2");
  pr("strncmp");
  if (strncmp("abcdef", "abcdef", 6))
    fail("strncmp-1");
  if (strncmp("abcdxx", "abcdyy", 4))
    fail("strncmp-2");
  if (strncmp("abcdx0", "abcdy9", 5) != -1)
    fail("strncmp-3");
  if (strncmp("abcdy0", "abcdx9", 5) != 1)
    fail("strncmp-4");
  if (strncmp("abcdef", "abcdef", 10))
    fail("strncmp-5");
  if (strncmp("abcdefg", "abcdef", 7) <= 0)
    fail("strncmp-6");
  if (strncmp("abcdef", "abcdefg", 7) >= 0)
    fail("strncmp-7");
  if (strncmp("abcdefg", "abcdef", 10) <= 0)
    fail("strncmp-8");
  if (strncmp("abcdef", "abcdefg", 10) >= 0)
    fail("strncmp-9");
  pr("strncpy");
  strcpy(v1, "0123456789");
  strncpy(v1, "abcdef", 6);
  if (strcmp(v1, "abcdef6789"))
    fail("strncpy-1");
  strcpy(v1, "0123456789");
  strncpy(v1, "0123", 5);
  if (memcmp(v1, "0123\00056789", 10))
    fail("strncpy-2");
  strncpy(v1, "0123", 10);
  if (memcmp(v1, "0123\0\0\0\0\0\0", 10))
    fail("strncpy-3");
  pr("strncat");
  strcpy(v1, "012345");
  strncat(v1, "6789", 5);
  if (strcmp(v1, "0123456789"))
    fail("strncat-1");
  strncat(v1, "abcdef0000", 6);
  if (strcmp(v1, "0123456789abcdef"))
    fail("strncat-2");
  pr("strspn");
  if (strspn("abcdefg", "abc") != 3)
    fail("strspn-1");
  if (strspn("abcabcabcdefg", "abc") != 9)
    fail("strspn-2");
  if (strspn("abcdefg", "") != 0)
    fail("strspn-3");
  pr("strcspn");
  if (strcspn("abcdefg", "def") != 3)
    fail("strcspn-1");
  if (strcspn("abcabcabcdefg", "def") != 9)
    fail("strcspn-2");
  if (strcspn("abcdefg", "") != 7)
    fail("strcspn-2");
  if (strcspn("abcdefg", "xyz") != 7)
    fail("strcspn-3");
  pr("strpbrk");
  if (strcmp(strpbrk("abcdef", "def"), "def"))
    fail("strpbrk-1");
  if (strcmp(strpbrk("abcabcabcdef", "def"), "def"))
    fail("strpbrk-2");
  if (strpbrk("abcdef", "") != NULL)
    fail("strpbrk-2");
  if (strpbrk("abcdef", "xyz") != NULL)
    fail("strpbrk-3");
  pr("strtok");
  sep = "+-*";
  strcpy(v1, "foo++bar---baz*goo");
  if (strcmp(strtok(v1, sep), "foo"))
    fail("strtok-1");
  if (strcmp(strtok(NULL, sep), "bar"))
    fail("strtok-2");
  if (strcmp(strtok(NULL, sep), "baz"))
    fail("strtok-3");
  if (strcmp(strtok(NULL, sep), "goo"))
    fail("strtok-4");
  if (strtok(NULL, sep) != NULL)
    fail("strtok-5");
  if (strtok(NULL, sep) != NULL)
    fail("strtok-6");
}


x86 assembly (clang, -O0):
<test_str>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
lea    0xe0e(%rip),%rdi
call   1080 <pr@plt>
lea    0x10b8(%rip),%rdi
call   1070 <strlen@plt>
cmp    $0x0,%eax
je     1218 <test_str+0x38>
lea    0xdf4(%rip),%rdi
call   1060 <fail@plt>
lea    0xdf1(%rip),%rdi
call   1070 <strlen@plt>
cmp    $0x10,%eax
je     1239 <test_str+0x59>
lea    0xded(%rip),%rdi
call   1060 <fail@plt>
lea    0xdea(%rip),%rdi
call   1080 <pr@plt>
lea    0x106a(%rip),%rsi
mov    %rsi,%rdi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     126a <test_str+0x8a>
lea    0xdcc(%rip),%rdi
call   1060 <fail@plt>
lea    0xda9(%rip),%rsi
mov    %rsi,%rdi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     128f <test_str+0xaf>
lea    0xdb0(%rip),%rdi
call   1060 <fail@plt>
lea    0xd84(%rip),%rdi
lea    0xf42(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
jl     12b8 <test_str+0xd8>
lea    0xd90(%rip),%rdi
call   1060 <fail@plt>
lea    0xf20(%rip),%rdi
lea    0xd54(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
jg     12e1 <test_str+0x101>
lea    0xd70(%rip),%rdi
call   1060 <fail@plt>
lea    0xd6d(%rip),%rdi
lea    0xd6e(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
jl     130a <test_str+0x12a>
lea    0xd60(%rip),%rdi
call   1060 <fail@plt>
lea    0xd5d(%rip),%rdi
call   1080 <pr@plt>
lea    -0x80(%rbp),%rdi
lea    0xd54(%rip),%rsi
call   1050 <strcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xd44(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     134c <test_str+0x16c>
lea    0xd3f(%rip),%rdi
call   1060 <fail@plt>
lea    -0x80(%rbp),%rdi
lea    0xd28(%rip),%rsi
call   1050 <strcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xd18(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     1382 <test_str+0x1a2>
lea    0xd12(%rip),%rdi
call   1060 <fail@plt>
movsbl -0x79(%rbp),%eax
cmp    $0x37,%eax
je     139b <test_str+0x1bb>
lea    0xd02(%rip),%rdi
call   1060 <fail@plt>
lea    0xcff(%rip),%rdi
call   1080 <pr@plt>
lea    -0x80(%rbp),%rdi
lea    0xcf6(%rip),%rsi
call   1050 <strcpy@plt>
movb   $0x0,-0x7d(%rbp)
lea    -0x80(%rbp),%rdi
lea    0xcbc(%rip),%rsi
call   1100 <strcat@plt>
lea    -0x80(%rbp),%rdi
lea    0xcdb(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     13f1 <test_str+0x211>
lea    0xccc(%rip),%rdi
call   1060 <fail@plt>
movsbl -0x79(%rbp),%eax
cmp    $0x58,%eax
je     140a <test_str+0x22a>
lea    0xcbc(%rip),%rdi
call   1060 <fail@plt>
lea    0xcb9(%rip),%rdi
call   1080 <pr@plt>
lea    0xbfd(%rip),%rsi
mov    $0x6,%edx
mov    %rsi,%rdi
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     143f <test_str+0x25f>
lea    0xc98(%rip),%rdi
call   1060 <fail@plt>
lea    0xc96(%rip),%rdi
lea    0xc96(%rip),%rsi
mov    $0x4,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     146c <test_str+0x28c>
lea    0xc83(%rip),%rdi
call   1060 <fail@plt>
lea    0xc81(%rip),%rdi
lea    0xc81(%rip),%rsi
mov    $0x5,%edx
call   1040 <strncmp@plt>
cmp    $0xffffffff,%eax
je     1499 <test_str+0x2b9>
lea    0xc6e(%rip),%rdi
call   1060 <fail@plt>
lea    0xc6c(%rip),%rdi
lea    0xc6c(%rip),%rsi
mov    $0x5,%edx
call   1040 <strncmp@plt>
cmp    $0x1,%eax
je     14c6 <test_str+0x2e6>
lea    0xc59(%rip),%rdi
call   1060 <fail@plt>
lea    0xb4d(%rip),%rsi
mov    $0xa,%edx
mov    %rsi,%rdi
call   1040 <strncmp@plt>
cmp    $0x0,%eax
je     14ef <test_str+0x30f>
lea    0xc3a(%rip),%rdi
call   1060 <fail@plt>
lea    0xce9(%rip),%rdi
lea    0xb1d(%rip),%rsi
mov    $0x7,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jg     151c <test_str+0x33c>
lea    0xc17(%rip),%rdi
call   1060 <fail@plt>
lea    0xaf7(%rip),%rdi
lea    0xcb5(%rip),%rsi
mov    $0x7,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jl     1549 <test_str+0x369>
lea    0xbf4(%rip),%rdi
call   1060 <fail@plt>
lea    0xc8f(%rip),%rdi
lea    0xac3(%rip),%rsi
mov    $0xa,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jg     1576 <test_str+0x396>
lea    0xbd1(%rip),%rdi
call   1060 <fail@plt>
lea    0xa9d(%rip),%rdi
lea    0xc5b(%rip),%rsi
mov    $0xa,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jl     15a3 <test_str+0x3c3>
lea    0xbae(%rip),%rdi
call   1060 <fail@plt>
lea    0xbac(%rip),%rdi
call   1080 <pr@plt>
lea    -0x80(%rbp),%rdi
lea    0xba4(%rip),%rsi
call   1050 <strcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xa50(%rip),%rsi
mov    $0x6,%edx
call   1030 <strncpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xb8a(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     15fa <test_str+0x41a>
lea    0xb7f(%rip),%rdi
call   1060 <fail@plt>
lea    -0x80(%rbp),%rdi
lea    0xb59(%rip),%rsi
call   1050 <strcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xb69(%rip),%rsi
mov    $0x5,%edx
call   1030 <strncpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xc8e(%rip),%rsi
mov    $0xa,%edx
call   10c0 <memcmp@plt>
cmp    $0x0,%rax
je     164a <test_str+0x46a>
lea    0xb3e(%rip),%rdi
call   1060 <fail@plt>
lea    -0x80(%rbp),%rdi
lea    0xb29(%rip),%rsi
mov    $0xa,%edx
call   1030 <strncpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xc59(%rip),%rsi
mov    $0xa,%edx
call   10c0 <memcmp@plt>
cmp    $0x0,%rax
je     168a <test_str+0x4aa>
lea    0xb08(%rip),%rdi
call   1060 <fail@plt>
lea    0xb06(%rip),%rdi
call   1080 <pr@plt>
lea    -0x80(%rbp),%rdi
lea    0xafe(%rip),%rsi
call   1050 <strcpy@plt>
lea    -0x80(%rbp),%rdi
lea    0xab3(%rip),%rsi
mov    $0x5,%edx
call   1090 <strncat@plt>
lea    -0x80(%rbp),%rdi
lea    0xa98(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     16e1 <test_str+0x501>
lea    0xaca(%rip),%rdi
call   1060 <fail@plt>
lea    -0x80(%rbp),%rdi
lea    0xac4(%rip),%rsi
mov    $0x6,%edx
call   1090 <strncat@plt>
lea    -0x80(%rbp),%rdi
lea    0x90f(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     171c <test_str+0x53c>
lea    0xaa4(%rip),%rdi
call   1060 <fail@plt>
lea    0xaa2(%rip),%rdi
call   1080 <pr@plt>
lea    0xab0(%rip),%rdi
lea    0xa96(%rip),%rsi
call   10a0 <strspn@plt>
cmp    $0x3,%eax
je     1750 <test_str+0x570>
lea    0xa85(%rip),%rdi
call   1060 <fail@plt>
lea    0xa82(%rip),%rdi
lea    0xa6e(%rip),%rsi
call   10a0 <strspn@plt>
cmp    $0x9,%eax
je     1778 <test_str+0x598>
lea    0xa74(%rip),%rdi
call   1060 <fail@plt>
lea    0xa60(%rip),%rdi
lea    0xada(%rip),%rsi
call   10a0 <strspn@plt>
cmp    $0x0,%eax
je     17a0 <test_str+0x5c0>
lea    0xa55(%rip),%rdi
call   1060 <fail@plt>
lea    0xa52(%rip),%rdi
call   1080 <pr@plt>
lea    0xa2c(%rip),%rdi
lea    0x863(%rip),%rsi
call   10b0 <strcspn@plt>
cmp    $0x3,%eax
je     17d4 <test_str+0x5f4>
lea    0xa32(%rip),%rdi
call   1060 <fail@plt>
lea    0x9fe(%rip),%rdi
lea    0x83b(%rip),%rsi
call   10b0 <strcspn@plt>
cmp    $0x9,%eax
je     17fc <test_str+0x61c>
lea    0xa14(%rip),%rdi
call   1060 <fail@plt>
lea    0x9dc(%rip),%rdi
lea    0xa56(%rip),%rsi
call   10b0 <strcspn@plt>
cmp    $0x7,%eax
je     1824 <test_str+0x644>
lea    0x9ec(%rip),%rdi
call   1060 <fail@plt>
lea    0x9b4(%rip),%rdi
lea    0x9e3(%rip),%rsi
call   10b0 <strcspn@plt>
cmp    $0x7,%eax
je     184c <test_str+0x66c>
lea    0x9d2(%rip),%rdi
call   1060 <fail@plt>
lea    0x9d0(%rip),%rdi
call   1080 <pr@plt>
lea    0x7bb(%rip),%rdi
lea    0x7b7(%rip),%rsi
call   10e0 <strpbrk@plt>
mov    %rax,%rdi
lea    0x7a8(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     1890 <test_str+0x6b0>
lea    0x9a0(%rip),%rdi
call   1060 <fail@plt>
lea    0x99e(%rip),%rdi
lea    0x77f(%rip),%rsi
call   10e0 <strpbrk@plt>
mov    %rax,%rdi
lea    0x770(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     18c8 <test_str+0x6e8>
lea    0x97f(%rip),%rdi
call   1060 <fail@plt>
lea    0x74b(%rip),%rdi
lea    0x98a(%rip),%rsi
call   10e0 <strpbrk@plt>
cmp    $0x0,%rax
je     18f1 <test_str+0x711>
lea    0x956(%rip),%rdi
call   1060 <fail@plt>
lea    0x722(%rip),%rdi
lea    0x916(%rip),%rsi
call   10e0 <strpbrk@plt>
cmp    $0x0,%rax
je     191a <test_str+0x73a>
lea    0x937(%rip),%rdi
call   1060 <fail@plt>
lea    0x935(%rip),%rdi
call   1080 <pr@plt>
lea    0x930(%rip),%rax
mov    %rax,-0x88(%rbp)
lea    -0x80(%rbp),%rdi
lea    0x922(%rip),%rsi
call   1050 <strcpy@plt>
lea    -0x80(%rbp),%rdi
mov    -0x88(%rbp),%rsi
call   10f0 <strtok@plt>
mov    %rax,%rdi
lea    0x916(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     1979 <test_str+0x799>
lea    0x904(%rip),%rdi
call   1060 <fail@plt>
mov    -0x88(%rbp),%rsi
xor    %eax,%eax
mov    %eax,%edi
call   10f0 <strtok@plt>
mov    %rax,%rdi
lea    0x8ee(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     19ae <test_str+0x7ce>
lea    0x8dc(%rip),%rdi
call   1060 <fail@plt>
mov    -0x88(%rbp),%rsi
xor    %eax,%eax
mov    %eax,%edi
call   10f0 <strtok@plt>
mov    %rax,%rdi
lea    0x8c6(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     19e3 <test_str+0x803>
lea    0x8b4(%rip),%rdi
call   1060 <fail@plt>
mov    -0x88(%rbp),%rsi
xor    %eax,%eax
mov    %eax,%edi
call   10f0 <strtok@plt>
mov    %rax,%rdi
lea    0x873(%rip),%rsi
call   10d0 <strcmp@plt>
cmp    $0x0,%rax
je     1a18 <test_str+0x838>
lea    0x888(%rip),%rdi
call   1060 <fail@plt>
mov    -0x88(%rbp),%rsi
xor    %eax,%eax
mov    %eax,%edi
call   10f0 <strtok@plt>
cmp    $0x0,%rax
je     1a3e <test_str+0x85e>
lea    0x86b(%rip),%rdi
call   1060 <fail@plt>
mov    -0x88(%rbp),%rsi
xor    %eax,%eax
mov    %eax,%edi
call   10f0 <strtok@plt>
cmp    $0x0,%rax
je     1a64 <test_str+0x884>
lea    0x84e(%rip),%rdi
call   1060 <fail@plt>
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_str>:
push   %r14
push   %rbx
sub    $0x88,%rsp
lea    0xe3f(%rip),%rdi
call   1080 <pr@plt>
lea    0x1098(%rip),%rdi
call   1070 <strlen@plt>
test   %eax,%eax
je     11e2 <test_str+0x32>
lea    0xe2a(%rip),%rdi
call   1060 <fail@plt>
lea    0xe27(%rip),%rdi
call   1070 <strlen@plt>
cmp    $0x10,%eax
je     11ff <test_str+0x4f>
lea    0xe27(%rip),%rdi
call   1060 <fail@plt>
lea    0xe24(%rip),%rdi
call   1080 <pr@plt>
lea    0x1053(%rip),%rdi
mov    %rdi,%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     122b <test_str+0x7b>
lea    0xe0b(%rip),%rdi
call   1060 <fail@plt>
lea    0xde8(%rip),%rdi
mov    %rdi,%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     124b <test_str+0x9b>
lea    0xdf4(%rip),%rdi
call   1060 <fail@plt>
lea    0xdc8(%rip),%rdi
lea    0xdea(%rip),%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
js     126f <test_str+0xbf>
lea    0xde1(%rip),%rdi
call   1060 <fail@plt>
lea    0xdcd(%rip),%rdi
lea    0xd9d(%rip),%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
jg     1293 <test_str+0xe3>
lea    0xdc6(%rip),%rdi
call   1060 <fail@plt>
lea    0xdc3(%rip),%rdi
lea    0xdc4(%rip),%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
js     12b7 <test_str+0x107>
lea    0xdbb(%rip),%rdi
call   1060 <fail@plt>
lea    0xdb8(%rip),%rdi
call   1080 <pr@plt>
lea    0xdb3(%rip),%r14
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    %r14,%rsi
call   1050 <strcpy@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     12f4 <test_str+0x144>
lea    0xd9f(%rip),%rdi
call   1060 <fail@plt>
lea    0xd8c(%rip),%r14
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    %r14,%rsi
call   1050 <strcpy@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     1325 <test_str+0x175>
lea    0xd77(%rip),%rdi
call   1060 <fail@plt>
cmpb   $0x37,0x7(%rsp)
je     1338 <test_str+0x188>
lea    0xd6d(%rip),%rdi
call   1060 <fail@plt>
lea    0xd6a(%rip),%rdi
call   1080 <pr@plt>
lea    0xd65(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1050 <strcpy@plt>
movb   $0x0,0x3(%rsp)
lea    0xd28(%rip),%rsi
mov    %rbx,%rdi
call   10d0 <strcat@plt>
lea    0xd48(%rip),%rsi
mov    %rbx,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     138a <test_str+0x1da>
lea    0xd3b(%rip),%rdi
call   1060 <fail@plt>
cmpb   $0x58,0x7(%rsp)
je     139d <test_str+0x1ed>
lea    0xd31(%rip),%rdi
call   1060 <fail@plt>
lea    0xd2e(%rip),%rdi
call   1080 <pr@plt>
lea    0xc6a(%rip),%rdi
mov    %rdi,%rsi
mov    $0x6,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
je     13cd <test_str+0x21d>
lea    0xd12(%rip),%rdi
call   1060 <fail@plt>
lea    0xd10(%rip),%rdi
lea    0xd10(%rip),%rsi
mov    $0x4,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
je     13f5 <test_str+0x245>
lea    0xd02(%rip),%rdi
call   1060 <fail@plt>
lea    0xd00(%rip),%rdi
lea    0xd00(%rip),%rsi
mov    $0x5,%edx
call   1040 <strncmp@plt>
cmp    $0xffffffff,%eax
je     141e <test_str+0x26e>
lea    0xcf1(%rip),%rdi
call   1060 <fail@plt>
lea    0xcef(%rip),%rdi
lea    0xcef(%rip),%rsi
mov    $0x5,%edx
call   1040 <strncmp@plt>
cmp    $0x1,%eax
je     1447 <test_str+0x297>
lea    0xce0(%rip),%rdi
call   1060 <fail@plt>
lea    0xbcc(%rip),%rdi
mov    %rdi,%rsi
mov    $0xa,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
je     146b <test_str+0x2bb>
lea    0xcc6(%rip),%rdi
call   1060 <fail@plt>
lea    0xbd1(%rip),%rdi
lea    0xba1(%rip),%rsi
mov    $0x7,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
jg     1493 <test_str+0x2e3>
lea    0xca8(%rip),%rdi
call   1060 <fail@plt>
lea    0xb80(%rip),%rdi
lea    0xba2(%rip),%rsi
mov    $0x7,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
js     14bb <test_str+0x30b>
lea    0xc8a(%rip),%rdi
call   1060 <fail@plt>
lea    0xb81(%rip),%rdi
lea    0xb51(%rip),%rsi
mov    $0xa,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
jg     14e3 <test_str+0x333>
lea    0xc6c(%rip),%rdi
call   1060 <fail@plt>
lea    0xb30(%rip),%rdi
lea    0xb52(%rip),%rsi
mov    $0xa,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
js     150b <test_str+0x35b>
lea    0xc4e(%rip),%rdi
call   1060 <fail@plt>
lea    0xc4c(%rip),%rdi
call   1080 <pr@plt>
lea    0xc48(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1050 <strcpy@plt>
lea    0xaea(%rip),%rsi
mov    %rbx,%rdi
mov    $0x6,%edx
call   1030 <strncpy@plt>
lea    0xc2d(%rip),%rsi
mov    %rbx,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     155d <test_str+0x3ad>
lea    0xc24(%rip),%rdi
call   1060 <fail@plt>
lea    0xc02(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1050 <strcpy@plt>
lea    0xc10(%rip),%rsi
mov    %rbx,%rdi
mov    $0x5,%edx
call   1030 <strncpy@plt>
lea    0xcdd(%rip),%rsi
mov    %rbx,%rdi
mov    $0xa,%edx
call   10a0 <memcmp@plt>
test   %rax,%rax
je     15a8 <test_str+0x3f8>
lea    0xbe8(%rip),%rdi
call   1060 <fail@plt>
lea    0xbd7(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0xa,%edx
call   1030 <strncpy@plt>
lea    0xcac(%rip),%rsi
mov    %rbx,%rdi
mov    $0xa,%edx
call   10a0 <memcmp@plt>
test   %rax,%rax
je     15e4 <test_str+0x434>
lea    0xbb6(%rip),%rdi
call   1060 <fail@plt>
lea    0xbb4(%rip),%rdi
call   1080 <pr@plt>
lea    0xbb0(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1050 <strcpy@plt>
lea    0xb63(%rip),%rsi
mov    %rbx,%rdi
mov    $0x5,%edx
call   1090 <strncat@plt>
lea    0xb49(%rip),%rsi
mov    %rbx,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     1636 <test_str+0x486>
lea    0xb7d(%rip),%rdi
call   1060 <fail@plt>
lea    0xb7b(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0x6,%edx
call   1090 <strncat@plt>
lea    0x9bc(%rip),%rsi
mov    %rbx,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     166d <test_str+0x4bd>
lea    0xb5b(%rip),%rdi
call   1060 <fail@plt>
lea    0xb59(%rip),%rdi
call   1080 <pr@plt>
lea    0xb54(%rip),%rdi
call   1080 <pr@plt>
lea    0xb50(%rip),%rdi
call   1080 <pr@plt>
lea    0x985(%rip),%rdi
lea    0x97e(%rip),%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     16b5 <test_str+0x505>
lea    0xb34(%rip),%rdi
call   1060 <fail@plt>
lea    0xb3b(%rip),%rdi
lea    0x95a(%rip),%rsi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     16d9 <test_str+0x529>
lea    0xb27(%rip),%rdi
call   1060 <fail@plt>
lea    0xb25(%rip),%rdi
call   1080 <pr@plt>
lea    0xb24(%rip),%rsi
mov    %rsp,%rbx
mov    %rbx,%rdi
call   1050 <strcpy@plt>
lea    0xb0e(%rip),%rsi
mov    %rbx,%rdi
call   10c0 <strtok@plt>
lea    0xb16(%rip),%rsi
mov    %rax,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     1726 <test_str+0x576>
lea    0xb06(%rip),%rdi
call   1060 <fail@plt>
lea    0xadf(%rip),%rsi
xor    %edi,%edi
call   10c0 <strtok@plt>
lea    0xaf5(%rip),%rsi
mov    %rax,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     1754 <test_str+0x5a4>
lea    0xae5(%rip),%rdi
call   1060 <fail@plt>
lea    0xab1(%rip),%rsi
xor    %edi,%edi
call   10c0 <strtok@plt>
lea    0xad4(%rip),%rsi
mov    %rax,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     1782 <test_str+0x5d2>
lea    0xac4(%rip),%rdi
call   1060 <fail@plt>
lea    0xa83(%rip),%rsi
xor    %edi,%edi
call   10c0 <strtok@plt>
lea    0xa88(%rip),%rsi
mov    %rax,%rdi
call   10b0 <strcmp@plt>
test   %rax,%rax
je     17b0 <test_str+0x600>
lea    0xa9f(%rip),%rdi
call   1060 <fail@plt>
lea    0xa55(%rip),%rsi
xor    %edi,%edi
call   10c0 <strtok@plt>
test   %rax,%rax
je     17cf <test_str+0x61f>
lea    0xa89(%rip),%rdi
call   1060 <fail@plt>
lea    0xa36(%rip),%rsi
xor    %edi,%edi
call   10c0 <strtok@plt>
test   %rax,%rax
je     17ee <test_str+0x63e>
lea    0xa73(%rip),%rdi
call   1060 <fail@plt>
add    $0x88,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@.str = [7 x i8] c"strlen\00"
@.str.1 = [2 x i8] zeroinitializer
@.str.2 = [9 x i8] c"strlen-1\00"
@.str.3 = [17 x i8] c"0123456789abcdef\00"
@.str.4 = [9 x i8] c"strlen-2\00"
@.str.5 = [7 x i8] c"strcmp\00"
@.str.6 = [9 x i8] c"strcmp-1\00"
@.str.7 = [7 x i8] c"abcdef\00"
@.str.8 = [9 x i8] c"strcmp-2\00"
@.str.9 = [8 x i8] c"abcdefg\00"
@.str.10 = [9 x i8] c"strcmp-3\00"
@.str.11 = [9 x i8] c"strcmp-4\00"
@.str.12 = [8 x i8] c"abcdef0\00"
@.str.13 = [8 x i8] c"abcdef3\00"
@.str.14 = [9 x i8] c"strcmp-5\00"
@.str.15 = [7 x i8] c"strcpy\00"
@.str.16 = [17 x i8] c"0123456789ABCDEF\00"
@.str.17 = [9 x i8] c"strcpy-1\00"
@.str.18 = [7 x i8] c"ABCDEF\00"
@.str.19 = [9 x i8] c"strcpy-2\00"
@.str.20 = [9 x i8] c"strcpy-3\00"
@.str.21 = [7 x i8] c"strcat\00"
@.str.22 = [9 x i8] c"abcXXXXX\00"
@.str.23 = [4 x i8] c"DEF\00"
@.str.24 = [7 x i8] c"abcDEF\00"
@.str.25 = [9 x i8] c"strcat-1\00"
@.str.26 = [9 x i8] c"strcat-2\00"
@.str.27 = [8 x i8] c"strncmp\00"
@.str.28 = [10 x i8] c"strncmp-1\00"
@.str.29 = [7 x i8] c"abcdxx\00"
@.str.30 = [7 x i8] c"abcdyy\00"
@.str.31 = [10 x i8] c"strncmp-2\00"
@.str.32 = [7 x i8] c"abcdx0\00"
@.str.33 = [7 x i8] c"abcdy9\00"
@.str.34 = [10 x i8] c"strncmp-3\00"
@.str.35 = [7 x i8] c"abcdy0\00"
@.str.36 = [7 x i8] c"abcdx9\00"
@.str.37 = [10 x i8] c"strncmp-4\00"
@.str.38 = [10 x i8] c"strncmp-5\00"
@.str.39 = [10 x i8] c"strncmp-6\00"
@.str.40 = [10 x i8] c"strncmp-7\00"
@.str.41 = [10 x i8] c"strncmp-8\00"
@.str.42 = [10 x i8] c"strncmp-9\00"
@.str.43 = [8 x i8] c"strncpy\00"
@.str.44 = [11 x i8] c"0123456789\00"
@.str.45 = [11 x i8] c"abcdef6789\00"
@.str.46 = [10 x i8] c"strncpy-1\00"
@.str.47 = [5 x i8] c"0123\00"
@.str.48 = [11 x i8] c"0123\0056789\00"
@.str.49 = [10 x i8] c"strncpy-2\00"
@.str.50 = [11 x i8] c"0123\00\00\00\00\00\00\00"
@.str.51 = [10 x i8] c"strncpy-3\00"
@.str.52 = [8 x i8] c"strncat\00"
@.str.53 = [7 x i8] c"012345\00"
@.str.54 = [5 x i8] c"6789\00"
@.str.55 = [10 x i8] c"strncat-1\00"
@.str.56 = [11 x i8] c"abcdef0000\00"
@.str.57 = [10 x i8] c"strncat-2\00"
@.str.58 = [7 x i8] c"strspn\00"
@.str.59 = [4 x i8] c"abc\00"
@.str.60 = [9 x i8] c"strspn-1\00"
@.str.61 = [14 x i8] c"abcabcabcdefg\00"
@.str.62 = [9 x i8] c"strspn-2\00"
@.str.63 = [1 x i8] zeroinitializer
@.str.64 = [9 x i8] c"strspn-3\00"
@.str.65 = [8 x i8] c"strcspn\00"
@.str.66 = [4 x i8] c"def\00"
@.str.67 = [10 x i8] c"strcspn-1\00"
@.str.68 = [10 x i8] c"strcspn-2\00"
@.str.69 = [4 x i8] c"xyz\00"
@.str.70 = [10 x i8] c"strcspn-3\00"
@.str.71 = [8 x i8] c"strpbrk\00"
@.str.72 = [10 x i8] c"strpbrk-1\00"
@.str.73 = [13 x i8] c"abcabcabcdef\00"
@.str.74 = [10 x i8] c"strpbrk-2\00"
@.str.75 = [10 x i8] c"strpbrk-3\00"
@.str.76 = [7 x i8] c"strtok\00"
@.str.77 = [4 x i8] c"+-*\00"
@.str.78 = [19 x i8] c"foo++bar---baz*goo\00"
@.str.79 = [4 x i8] c"foo\00"
@.str.80 = [9 x i8] c"strtok-1\00"
@.str.81 = [4 x i8] c"bar\00"
@.str.82 = [9 x i8] c"strtok-2\00"
@.str.83 = [4 x i8] c"baz\00"
@.str.84 = [9 x i8] c"strtok-3\00"
@.str.85 = [4 x i8] c"goo\00"
@.str.86 = [9 x i8] c"strtok-4\00"
@.str.87 = [9 x i8] c"strtok-5\00"
@.str.88 = [9 x i8] c"strtok-6\00"
define void @test_str() {
%1 = alloca [128 x i8]
%2 = alloca i8*
%3 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%4 = call i32 @strlen(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%5 = icmp ne i32 %4, 0
br i1 %5, label %6, label %8
6: ; preds = %0
%7 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0))
br label %8
8: ; preds = %6, %0
%9 = call i32 @strlen(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%10 = icmp ne i32 %9, 16
br i1 %10, label %11, label %13
11: ; preds = %8
%12 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.4, i64 0, i64 0))
br label %13
13: ; preds = %11, %8
%14 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0))
%15 = call i64 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%16 = icmp ne i64 %15, 0
br i1 %16, label %17, label %19
17: ; preds = %13
%18 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.6, i64 0, i64 0))
br label %19
19: ; preds = %17, %13
%20 = call i64 @strcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0))
%21 = icmp ne i64 %20, 0
br i1 %21, label %22, label %24
22: ; preds = %19
%23 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.8, i64 0, i64 0))
br label %24
24: ; preds = %22, %19
%25 = call i64 @strcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0))
%26 = icmp sge i64 %25, 0
br i1 %26, label %27, label %29
27: ; preds = %24
%28 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.10, i64 0, i64 0))
br label %29
29: ; preds = %27, %24
%30 = call i64 @strcmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0))
%31 = icmp sle i64 %30, 0
br i1 %31, label %32, label %34
32: ; preds = %29
%33 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0))
br label %34
34: ; preds = %32, %29
%35 = call i64 @strcmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.13, i64 0, i64 0))
%36 = icmp sge i64 %35, 0
br i1 %36, label %37, label %39
37: ; preds = %34
%38 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.14, i64 0, i64 0))
br label %39
39: ; preds = %37, %34
%40 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.15, i64 0, i64 0))
%41 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%42 = call i32 @strcpy(i8* %41, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0))
%43 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%44 = call i64 @strcmp(i8* %43, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0))
%45 = icmp ne i64 %44, 0
br i1 %45, label %46, label %48
46: ; preds = %39
%47 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.17, i64 0, i64 0))
br label %48
48: ; preds = %46, %39
%49 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%50 = call i32 @strcpy(i8* %49, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0))
%51 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%52 = call i64 @strcmp(i8* %51, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0))
%53 = icmp ne i64 %52, 0
br i1 %53, label %54, label %56
54: ; preds = %48
%55 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.19, i64 0, i64 0))
br label %56
56: ; preds = %54, %48
%57 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 7
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp ne i32 %59, 55
br i1 %60, label %61, label %63
61: ; preds = %56
%62 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.20, i64 0, i64 0))
br label %63
63: ; preds = %61, %56
%64 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.21, i64 0, i64 0))
%65 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%66 = call i32 @strcpy(i8* %65, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.22, i64 0, i64 0))
%67 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 3
store i8 0, i8* %67
%68 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%69 = call i32 @strcat(i8* %68, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.23, i64 0, i64 0))
%70 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%71 = call i64 @strcmp(i8* %70, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.24, i64 0, i64 0))
%72 = icmp ne i64 %71, 0
br i1 %72, label %73, label %75
73: ; preds = %63
%74 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.25, i64 0, i64 0))
br label %75
75: ; preds = %73, %63
%76 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 7
%77 = load i8, i8* %76
%78 = sext i8 %77 to i32
%79 = icmp ne i32 %78, 88
br i1 %79, label %80, label %82
80: ; preds = %75
%81 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.26, i64 0, i64 0))
br label %82
82: ; preds = %80, %75
%83 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.27, i64 0, i64 0))
%84 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 6)
%85 = icmp ne i32 %84, 0
br i1 %85, label %86, label %88
86: ; preds = %82
%87 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.28, i64 0, i64 0))
br label %88
88: ; preds = %86, %82
%89 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.29, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.30, i64 0, i64 0), i32 4)
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %93
91: ; preds = %88
%92 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.31, i64 0, i64 0))
br label %93
93: ; preds = %91, %88
%94 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.32, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.33, i64 0, i64 0), i32 5)
%95 = icmp ne i32 %94, -1
br i1 %95, label %96, label %98
96: ; preds = %93
%97 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.34, i64 0, i64 0))
br label %98
98: ; preds = %96, %93
%99 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.35, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.36, i64 0, i64 0), i32 5)
%100 = icmp ne i32 %99, 1
br i1 %100, label %101, label %103
101: ; preds = %98
%102 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.37, i64 0, i64 0))
br label %103
103: ; preds = %101, %98
%104 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 10)
%105 = icmp ne i32 %104, 0
br i1 %105, label %106, label %108
106: ; preds = %103
%107 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.38, i64 0, i64 0))
br label %108
108: ; preds = %106, %103
%109 = call i32 @strncmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 7)
%110 = icmp sle i32 %109, 0
br i1 %110, label %111, label %113
111: ; preds = %108
%112 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.39, i64 0, i64 0))
br label %113
113: ; preds = %111, %108
%114 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i32 7)
%115 = icmp sge i32 %114, 0
br i1 %115, label %116, label %118
116: ; preds = %113
%117 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.40, i64 0, i64 0))
br label %118
118: ; preds = %116, %113
%119 = call i32 @strncmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 10)
%120 = icmp sle i32 %119, 0
br i1 %120, label %121, label %123
121: ; preds = %118
%122 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.41, i64 0, i64 0))
br label %123
123: ; preds = %121, %118
%124 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i32 10)
%125 = icmp sge i32 %124, 0
br i1 %125, label %126, label %128
126: ; preds = %123
%127 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.42, i64 0, i64 0))
br label %128
128: ; preds = %126, %123
%129 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.43, i64 0, i64 0))
%130 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%131 = call i32 @strcpy(i8* %130, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.44, i64 0, i64 0))
%132 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%133 = call i32 @strncpy(i8* %132, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 6)
%134 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%135 = call i64 @strcmp(i8* %134, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.45, i64 0, i64 0))
%136 = icmp ne i64 %135, 0
br i1 %136, label %137, label %139
137: ; preds = %128
%138 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.46, i64 0, i64 0))
br label %139
139: ; preds = %137, %128
%140 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%141 = call i32 @strcpy(i8* %140, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.44, i64 0, i64 0))
%142 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%143 = call i32 @strncpy(i8* %142, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.47, i64 0, i64 0), i32 5)
%144 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%145 = call i64 @memcmp(i8* %144, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.48, i64 0, i64 0), i32 10)
%146 = icmp ne i64 %145, 0
br i1 %146, label %147, label %149
147: ; preds = %139
%148 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.49, i64 0, i64 0))
br label %149
149: ; preds = %147, %139
%150 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%151 = call i32 @strncpy(i8* %150, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.47, i64 0, i64 0), i32 10)
%152 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%153 = call i64 @memcmp(i8* %152, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.50, i64 0, i64 0), i32 10)
%154 = icmp ne i64 %153, 0
br i1 %154, label %155, label %157
155: ; preds = %149
%156 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.51, i64 0, i64 0))
br label %157
157: ; preds = %155, %149
%158 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.52, i64 0, i64 0))
%159 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%160 = call i32 @strcpy(i8* %159, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.53, i64 0, i64 0))
%161 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%162 = call i32 @strncat(i8* %161, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.54, i64 0, i64 0), i32 5)
%163 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%164 = call i64 @strcmp(i8* %163, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.44, i64 0, i64 0))
%165 = icmp ne i64 %164, 0
br i1 %165, label %166, label %168
166: ; preds = %157
%167 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.55, i64 0, i64 0))
br label %168
168: ; preds = %166, %157
%169 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%170 = call i32 @strncat(i8* %169, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.56, i64 0, i64 0), i32 6)
%171 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%172 = call i64 @strcmp(i8* %171, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%173 = icmp ne i64 %172, 0
br i1 %173, label %174, label %176
174: ; preds = %168
%175 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.57, i64 0, i64 0))
br label %176
176: ; preds = %174, %168
%177 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.58, i64 0, i64 0))
%178 = call i32 @strspn(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.59, i64 0, i64 0))
%179 = icmp ne i32 %178, 3
br i1 %179, label %180, label %182
180: ; preds = %176
%181 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.60, i64 0, i64 0))
br label %182
182: ; preds = %180, %176
%183 = call i32 @strspn(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.61, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.59, i64 0, i64 0))
%184 = icmp ne i32 %183, 9
br i1 %184, label %185, label %187
185: ; preds = %182
%186 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.62, i64 0, i64 0))
br label %187
187: ; preds = %185, %182
%188 = call i32 @strspn(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.63, i64 0, i64 0))
%189 = icmp ne i32 %188, 0
br i1 %189, label %190, label %192
190: ; preds = %187
%191 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.64, i64 0, i64 0))
br label %192
192: ; preds = %190, %187
%193 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.65, i64 0, i64 0))
%194 = call i32 @strcspn(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%195 = icmp ne i32 %194, 3
br i1 %195, label %196, label %198
196: ; preds = %192
%197 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.67, i64 0, i64 0))
br label %198
198: ; preds = %196, %192
%199 = call i32 @strcspn(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.61, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%200 = icmp ne i32 %199, 9
br i1 %200, label %201, label %203
201: ; preds = %198
%202 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.68, i64 0, i64 0))
br label %203
203: ; preds = %201, %198
%204 = call i32 @strcspn(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.63, i64 0, i64 0))
%205 = icmp ne i32 %204, 7
br i1 %205, label %206, label %208
206: ; preds = %203
%207 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.68, i64 0, i64 0))
br label %208
208: ; preds = %206, %203
%209 = call i32 @strcspn(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.69, i64 0, i64 0))
%210 = icmp ne i32 %209, 7
br i1 %210, label %211, label %213
211: ; preds = %208
%212 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.70, i64 0, i64 0))
br label %213
213: ; preds = %211, %208
%214 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.71, i64 0, i64 0))
%215 = call i8* @strpbrk(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%216 = call i64 @strcmp(i8* %215, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%217 = icmp ne i64 %216, 0
br i1 %217, label %218, label %220
218: ; preds = %213
%219 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.72, i64 0, i64 0))
br label %220
220: ; preds = %218, %213
%221 = call i8* @strpbrk(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.73, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%222 = call i64 @strcmp(i8* %221, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%223 = icmp ne i64 %222, 0
br i1 %223, label %224, label %226
224: ; preds = %220
%225 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.74, i64 0, i64 0))
br label %226
226: ; preds = %224, %220
%227 = call i8* @strpbrk(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.63, i64 0, i64 0))
%228 = icmp ne i8* %227, null
br i1 %228, label %229, label %231
229: ; preds = %226
%230 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.74, i64 0, i64 0))
br label %231
231: ; preds = %229, %226
%232 = call i8* @strpbrk(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.69, i64 0, i64 0))
%233 = icmp ne i8* %232, null
br i1 %233, label %234, label %236
234: ; preds = %231
%235 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.75, i64 0, i64 0))
br label %236
236: ; preds = %234, %231
%237 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.76, i64 0, i64 0))
store i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0), i8** %2
%238 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%239 = call i32 @strcpy(i8* %238, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.78, i64 0, i64 0))
%240 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%241 = load i8*, i8** %2
%242 = call i8* @strtok(i8* %240, i8* %241)
%243 = call i64 @strcmp(i8* %242, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.79, i64 0, i64 0))
%244 = icmp ne i64 %243, 0
br i1 %244, label %245, label %247
245: ; preds = %236
%246 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.80, i64 0, i64 0))
br label %247
247: ; preds = %245, %236
%248 = load i8*, i8** %2
%249 = call i8* @strtok(i8* null, i8* %248)
%250 = call i64 @strcmp(i8* %249, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.81, i64 0, i64 0))
%251 = icmp ne i64 %250, 0
br i1 %251, label %252, label %254
252: ; preds = %247
%253 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.82, i64 0, i64 0))
br label %254
254: ; preds = %252, %247
%255 = load i8*, i8** %2
%256 = call i8* @strtok(i8* null, i8* %255)
%257 = call i64 @strcmp(i8* %256, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.83, i64 0, i64 0))
%258 = icmp ne i64 %257, 0
br i1 %258, label %259, label %261
259: ; preds = %254
%260 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.84, i64 0, i64 0))
br label %261
261: ; preds = %259, %254
%262 = load i8*, i8** %2
%263 = call i8* @strtok(i8* null, i8* %262)
%264 = call i64 @strcmp(i8* %263, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.85, i64 0, i64 0))
%265 = icmp ne i64 %264, 0
br i1 %265, label %266, label %268
266: ; preds = %261
%267 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.86, i64 0, i64 0))
br label %268
268: ; preds = %266, %261
%269 = load i8*, i8** %2
%270 = call i8* @strtok(i8* null, i8* %269)
%271 = icmp ne i8* %270, null
br i1 %271, label %272, label %274
272: ; preds = %268
%273 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.87, i64 0, i64 0))
br label %274
274: ; preds = %272, %268
%275 = load i8*, i8** %2
%276 = call i8* @strtok(i8* null, i8* %275)
%277 = icmp ne i8* %276, null
br i1 %277, label %278, label %280
278: ; preds = %274
%279 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.88, i64 0, i64 0))
br label %280
280: ; preds = %278, %274
ret void
}

LLVM IR (-O2):
@.str = [7 x i8] c"strlen\00"
@.str.1 = [2 x i8] zeroinitializer
@.str.2 = [9 x i8] c"strlen-1\00"
@.str.3 = [17 x i8] c"0123456789abcdef\00"
@.str.4 = [9 x i8] c"strlen-2\00"
@.str.5 = [7 x i8] c"strcmp\00"
@.str.6 = [9 x i8] c"strcmp-1\00"
@.str.7 = [7 x i8] c"abcdef\00"
@.str.8 = [9 x i8] c"strcmp-2\00"
@.str.9 = [8 x i8] c"abcdefg\00"
@.str.10 = [9 x i8] c"strcmp-3\00"
@.str.11 = [9 x i8] c"strcmp-4\00"
@.str.12 = [8 x i8] c"abcdef0\00"
@.str.13 = [8 x i8] c"abcdef3\00"
@.str.14 = [9 x i8] c"strcmp-5\00"
@.str.15 = [7 x i8] c"strcpy\00"
@.str.16 = [17 x i8] c"0123456789ABCDEF\00"
@.str.17 = [9 x i8] c"strcpy-1\00"
@.str.18 = [7 x i8] c"ABCDEF\00"
@.str.19 = [9 x i8] c"strcpy-2\00"
@.str.20 = [9 x i8] c"strcpy-3\00"
@.str.21 = [7 x i8] c"strcat\00"
@.str.22 = [9 x i8] c"abcXXXXX\00"
@.str.23 = [4 x i8] c"DEF\00"
@.str.24 = [7 x i8] c"abcDEF\00"
@.str.25 = [9 x i8] c"strcat-1\00"
@.str.26 = [9 x i8] c"strcat-2\00"
@.str.27 = [8 x i8] c"strncmp\00"
@.str.28 = [10 x i8] c"strncmp-1\00"
@.str.29 = [7 x i8] c"abcdxx\00"
@.str.30 = [7 x i8] c"abcdyy\00"
@.str.31 = [10 x i8] c"strncmp-2\00"
@.str.32 = [7 x i8] c"abcdx0\00"
@.str.33 = [7 x i8] c"abcdy9\00"
@.str.34 = [10 x i8] c"strncmp-3\00"
@.str.35 = [7 x i8] c"abcdy0\00"
@.str.36 = [7 x i8] c"abcdx9\00"
@.str.37 = [10 x i8] c"strncmp-4\00"
@.str.38 = [10 x i8] c"strncmp-5\00"
@.str.39 = [10 x i8] c"strncmp-6\00"
@.str.40 = [10 x i8] c"strncmp-7\00"
@.str.41 = [10 x i8] c"strncmp-8\00"
@.str.42 = [10 x i8] c"strncmp-9\00"
@.str.43 = [8 x i8] c"strncpy\00"
@.str.44 = [11 x i8] c"0123456789\00"
@.str.45 = [11 x i8] c"abcdef6789\00"
@.str.46 = [10 x i8] c"strncpy-1\00"
@.str.47 = [5 x i8] c"0123\00"
@.str.48 = [11 x i8] c"0123\0056789\00"
@.str.49 = [10 x i8] c"strncpy-2\00"
@.str.50 = [11 x i8] c"0123\00\00\00\00\00\00\00"
@.str.51 = [10 x i8] c"strncpy-3\00"
@.str.52 = [8 x i8] c"strncat\00"
@.str.53 = [7 x i8] c"012345\00"
@.str.54 = [5 x i8] c"6789\00"
@.str.55 = [10 x i8] c"strncat-1\00"
@.str.56 = [11 x i8] c"abcdef0000\00"
@.str.57 = [10 x i8] c"strncat-2\00"
@.str.58 = [7 x i8] c"strspn\00"
@.str.65 = [8 x i8] c"strcspn\00"
@.str.66 = [4 x i8] c"def\00"
@.str.71 = [8 x i8] c"strpbrk\00"
@.str.72 = [10 x i8] c"strpbrk-1\00"
@.str.73 = [13 x i8] c"abcabcabcdef\00"
@.str.74 = [10 x i8] c"strpbrk-2\00"
@.str.76 = [7 x i8] c"strtok\00"
@.str.77 = [4 x i8] c"+-*\00"
@.str.78 = [19 x i8] c"foo++bar---baz*goo\00"
@.str.79 = [4 x i8] c"foo\00"
@.str.80 = [9 x i8] c"strtok-1\00"
@.str.81 = [4 x i8] c"bar\00"
@.str.82 = [9 x i8] c"strtok-2\00"
@.str.83 = [4 x i8] c"baz\00"
@.str.84 = [9 x i8] c"strtok-3\00"
@.str.85 = [4 x i8] c"goo\00"
@.str.86 = [9 x i8] c"strtok-4\00"
@.str.87 = [9 x i8] c"strtok-5\00"
@.str.88 = [9 x i8] c"strtok-6\00"
define void @test_str() {
%1 = alloca [128 x i8]
%2 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 0
%3 = tail call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%4 = tail call i32 @strlen(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%5 = icmp eq i32 %4, 0
br i1 %5, label %8, label %6
6: ; preds = %0
%7 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0))
br label %8
8: ; preds = %6, %0
%9 = tail call i32 @strlen(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%10 = icmp eq i32 %9, 16
br i1 %10, label %13, label %11
11: ; preds = %8
%12 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.4, i64 0, i64 0))
br label %13
13: ; preds = %11, %8
%14 = tail call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0))
%15 = tail call i64 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0))
%16 = icmp eq i64 %15, 0
br i1 %16, label %19, label %17
17: ; preds = %13
%18 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.6, i64 0, i64 0))
br label %19
19: ; preds = %17, %13
%20 = tail call i64 @strcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0))
%21 = icmp eq i64 %20, 0
br i1 %21, label %24, label %22
22: ; preds = %19
%23 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.8, i64 0, i64 0))
br label %24
24: ; preds = %22, %19
%25 = tail call i64 @strcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0))
%26 = icmp sgt i64 %25, -1
br i1 %26, label %27, label %29
27: ; preds = %24
%28 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.10, i64 0, i64 0))
br label %29
29: ; preds = %27, %24
%30 = tail call i64 @strcmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0))
%31 = icmp slt i64 %30, 1
br i1 %31, label %32, label %34
32: ; preds = %29
%33 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0))
br label %34
34: ; preds = %32, %29
%35 = tail call i64 @strcmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.13, i64 0, i64 0))
%36 = icmp sgt i64 %35, -1
br i1 %36, label %37, label %39
37: ; preds = %34
%38 = tail call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.14, i64 0, i64 0))
br label %39
39: ; preds = %37, %34
%40 = tail call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.15, i64 0, i64 0))
%41 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0))
%42 = call i64 @strcmp(i8* %2, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i64 0, i64 0))
%43 = icmp eq i64 %42, 0
br i1 %43, label %46, label %44
44: ; preds = %39
%45 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.17, i64 0, i64 0))
br label %46
46: ; preds = %44, %39
%47 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0))
%48 = call i64 @strcmp(i8* %2, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.18, i64 0, i64 0))
%49 = icmp eq i64 %48, 0
br i1 %49, label %52, label %50
50: ; preds = %46
%51 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.19, i64 0, i64 0))
br label %52
52: ; preds = %50, %46
%53 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 7
%54 = load i8, i8* %53
%55 = icmp eq i8 %54, 55
br i1 %55, label %58, label %56
56: ; preds = %52
%57 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.20, i64 0, i64 0))
br label %58
58: ; preds = %56, %52
%59 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.21, i64 0, i64 0))
%60 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.22, i64 0, i64 0))
%61 = getelementptr inbounds [128 x i8], [128 x i8]* %1, i64 0, i64 3
store i8 0, i8* %61
%62 = call i32 @strcat(i8* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.23, i64 0, i64 0))
%63 = call i64 @strcmp(i8* %2, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.24, i64 0, i64 0))
%64 = icmp eq i64 %63, 0
br i1 %64, label %67, label %65
65: ; preds = %58
%66 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.25, i64 0, i64 0))
br label %67
67: ; preds = %65, %58
%68 = load i8, i8* %53
%69 = icmp eq i8 %68, 88
br i1 %69, label %72, label %70
70: ; preds = %67
%71 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.26, i64 0, i64 0))
br label %72
72: ; preds = %70, %67
%73 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.27, i64 0, i64 0))
%74 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 6)
%75 = icmp eq i32 %74, 0
br i1 %75, label %78, label %76
76: ; preds = %72
%77 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.28, i64 0, i64 0))
br label %78
78: ; preds = %76, %72
%79 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.29, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.30, i64 0, i64 0), i32 4)
%80 = icmp eq i32 %79, 0
br i1 %80, label %83, label %81
81: ; preds = %78
%82 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.31, i64 0, i64 0))
br label %83
83: ; preds = %81, %78
%84 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.32, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.33, i64 0, i64 0), i32 5)
%85 = icmp eq i32 %84, -1
br i1 %85, label %88, label %86
86: ; preds = %83
%87 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.34, i64 0, i64 0))
br label %88
88: ; preds = %86, %83
%89 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.35, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.36, i64 0, i64 0), i32 5)
%90 = icmp eq i32 %89, 1
br i1 %90, label %93, label %91
91: ; preds = %88
%92 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.37, i64 0, i64 0))
br label %93
93: ; preds = %91, %88
%94 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 10)
%95 = icmp eq i32 %94, 0
br i1 %95, label %98, label %96
96: ; preds = %93
%97 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.38, i64 0, i64 0))
br label %98
98: ; preds = %96, %93
%99 = call i32 @strncmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 7)
%100 = icmp slt i32 %99, 1
br i1 %100, label %101, label %103
101: ; preds = %98
%102 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.39, i64 0, i64 0))
br label %103
103: ; preds = %101, %98
%104 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i32 7)
%105 = icmp sgt i32 %104, -1
br i1 %105, label %106, label %108
106: ; preds = %103
%107 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.40, i64 0, i64 0))
br label %108
108: ; preds = %106, %103
%109 = call i32 @strncmp(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 10)
%110 = icmp slt i32 %109, 1
br i1 %110, label %111, label %113
111: ; preds = %108
%112 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.41, i64 0, i64 0))
br label %113
113: ; preds = %111, %108
%114 = call i32 @strncmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.9, i64 0, i64 0), i32 10)
%115 = icmp sgt i32 %114, -1
br i1 %115, label %116, label %118
116: ; preds = %113
%117 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.42, i64 0, i64 0))
br label %118
118: ; preds = %116, %113
%119 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.43, i64 0, i64 0))
%120 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.44, i64 0, i64 0))
%121 = call i32 @strncpy(i8* %2, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 0), i32 6)
%122 = call i64 @strcmp(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.45, i64 0, i64 0))
%123 = icmp eq i64 %122, 0
br i1 %123, label %126, label %124
124: ; preds = %118
%125 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.46, i64 0, i64 0))
br label %126
126: ; preds = %124, %118
%127 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.44, i64 0, i64 0))
%128 = call i32 @strncpy(i8* %2, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.47, i64 0, i64 0), i32 5)
%129 = call i64 @memcmp(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.48, i64 0, i64 0), i32 10)
%130 = icmp eq i64 %129, 0
br i1 %130, label %133, label %131
131: ; preds = %126
%132 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.49, i64 0, i64 0))
br label %133
133: ; preds = %131, %126
%134 = call i32 @strncpy(i8* %2, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.47, i64 0, i64 0), i32 10)
%135 = call i64 @memcmp(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.50, i64 0, i64 0), i32 10)
%136 = icmp eq i64 %135, 0
br i1 %136, label %139, label %137
137: ; preds = %133
%138 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.51, i64 0, i64 0))
br label %139
139: ; preds = %137, %133
%140 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.52, i64 0, i64 0))
%141 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.53, i64 0, i64 0))
%142 = call i32 @strncat(i8* %2, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.54, i64 0, i64 0), i32 5)
%143 = call i64 @strcmp(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.44, i64 0, i64 0))
%144 = icmp eq i64 %143, 0
br i1 %144, label %147, label %145
145: ; preds = %139
%146 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.55, i64 0, i64 0))
br label %147
147: ; preds = %145, %139
%148 = call i32 @strncat(i8* %2, i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.56, i64 0, i64 0), i32 6)
%149 = call i64 @strcmp(i8* %2, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.3, i64 0, i64 0))
%150 = icmp eq i64 %149, 0
br i1 %150, label %153, label %151
151: ; preds = %147
%152 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.57, i64 0, i64 0))
br label %153
153: ; preds = %151, %147
%154 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.58, i64 0, i64 0))
%155 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.65, i64 0, i64 0))
%156 = call i32 @pr(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.71, i64 0, i64 0))
%157 = call i64 @strcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.7, i64 0, i64 3), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%158 = icmp eq i64 %157, 0
br i1 %158, label %161, label %159
159: ; preds = %153
%160 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.72, i64 0, i64 0))
br label %161
161: ; preds = %159, %153
%162 = call i64 @strcmp(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.73, i64 0, i64 9), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.66, i64 0, i64 0))
%163 = icmp eq i64 %162, 0
br i1 %163, label %166, label %164
164: ; preds = %161
%165 = call i32 @fail(i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.74, i64 0, i64 0))
br label %166
166: ; preds = %164, %161
%167 = call i32 @pr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.76, i64 0, i64 0))
%168 = call i32 @strcpy(i8* %2, i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.78, i64 0, i64 0))
%169 = call i8* @strtok(i8* %2, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0))
%170 = call i64 @strcmp(i8* %169, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.79, i64 0, i64 0))
%171 = icmp eq i64 %170, 0
br i1 %171, label %174, label %172
172: ; preds = %166
%173 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.80, i64 0, i64 0))
br label %174
174: ; preds = %172, %166
%175 = call i8* @strtok(i8* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0))
%176 = call i64 @strcmp(i8* %175, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.81, i64 0, i64 0))
%177 = icmp eq i64 %176, 0
br i1 %177, label %180, label %178
178: ; preds = %174
%179 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.82, i64 0, i64 0))
br label %180
180: ; preds = %178, %174
%181 = call i8* @strtok(i8* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0))
%182 = call i64 @strcmp(i8* %181, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.83, i64 0, i64 0))
%183 = icmp eq i64 %182, 0
br i1 %183, label %186, label %184
184: ; preds = %180
%185 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.84, i64 0, i64 0))
br label %186
186: ; preds = %184, %180
%187 = call i8* @strtok(i8* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0))
%188 = call i64 @strcmp(i8* %187, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.85, i64 0, i64 0))
%189 = icmp eq i64 %188, 0
br i1 %189, label %192, label %190
190: ; preds = %186
%191 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.86, i64 0, i64 0))
br label %192
192: ; preds = %190, %186
%193 = call i8* @strtok(i8* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0))
%194 = icmp eq i8* %193, null
br i1 %194, label %197, label %195
195: ; preds = %192
%196 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.87, i64 0, i64 0))
br label %197
197: ; preds = %195, %192
%198 = call i8* @strtok(i8* null, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.77, i64 0, i64 0))
%199 = icmp eq i8* %198, null
br i1 %199, label %202, label %200
200: ; preds = %197
%201 = call i32 @fail(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.88, i64 0, i64 0))
br label %202
202: ; preds = %200, %197
ret void
}