#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 any(char *, char *);
int /*<<< orphan*/ printf(char *, int, int, ...);
char *strpbrk(char *, char *);
int main(void) {
  char *leftstr[] = {"",
                     "a",
                     "antidisestablishmentarianism",
                     "beautifications",
                     "characteristically",
                     "deterministically",
                     "electroencephalography",
                     "familiarisation",
                     "gastrointestinal",
                     "heterogeneousness",
                     "incomprehensibility",
                     "justifications",
                     "knowledgeable",
                     "lexicographically",
                     "microarchitectures",
                     "nondeterministically",
                     "organizationally",
                     "phenomenologically",
                     "quantifications",
                     "representationally",
                     "straightforwardness",
                     "telecommunications",
                     "uncontrollability",
                     "vulnerabilities",
                     "wholeheartedly",
                     "xylophonically",
                     "youthfulness",
                     "zoologically"};
  char *rightstr[] = {"",      "a",       "the",  "quick",   "brown", "dog",
                      "jumps", "over",    "lazy", "fox",     "get",   "rid",
                      "of",    "windows", "and",  "install", "linux"};
  size_t numlefts = sizeof leftstr / sizeof leftstr[0];
  size_t numrights = sizeof rightstr / sizeof rightstr[0];
  size_t left = 0;
  size_t right = 0;
  int passed = 0;
  int failed = 0;
  int pos = -1;
  char *ptr = NULL;
  for (left = 0; left < numlefts; left++) {
    for (right = 0; right < numrights; right++) {
      pos = any(leftstr[left], rightstr[right]);
      ptr = strpbrk(leftstr[left], rightstr[right]);
      if (-1 == pos) {
        if (ptr != NULL) {
          printf("Test %d/%d failed.\n", left, right);
          ++failed;
        } else {
          printf("Test %d/%d passed.\n", left, right);
          ++passed;
        }
      } else {
        if (ptr == NULL) {
          printf("Test %d/%d failed.\n", left, right);
          ++failed;
        } else {
          if (ptr - leftstr[left] == pos) {
            printf("Test %d/%d passed.\n", left, right);
            ++passed;
          } else {
            printf("Test %d/%d failed.\n", left, right);
            ++failed;
          }
        }
      }
    }
  }
  printf("\n\nTotal passes %d, fails %d, total tests %d\n", passed, failed,
         passed + failed);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1c0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0xf0(%rbp),%rdi
lea    0x2b50(%rip),%rsi
mov    $0xe0,%edx
call   1040 <memcpy@plt>
lea    -0x180(%rbp),%rdi
lea    0x2c18(%rip),%rsi
mov    $0x88,%edx
call   1040 <memcpy@plt>
movq   $0x1c,-0x188(%rbp)
movq   $0x11,-0x190(%rbp)
movq   $0x0,-0x198(%rbp)
movq   $0x0,-0x1a0(%rbp)
movl   $0x0,-0x1a4(%rbp)
movl   $0x0,-0x1a8(%rbp)
movl   $0xffffffff,-0x1ac(%rbp)
ff ff ff
movq   $0x0,-0x1b8(%rbp)
movq   $0x0,-0x198(%rbp)
mov    -0x198(%rbp),%rax
cmp    -0x188(%rbp),%rax
jae    13ff <main+0x2bf>
movq   $0x0,-0x1a0(%rbp)
mov    -0x1a0(%rbp),%rax
cmp    -0x190(%rbp),%rax
jae    13e3 <main+0x2a3>
mov    -0x198(%rbp),%rax
mov    -0xf0(%rbp,%rax,8),%rdi
ff
mov    -0x1a0(%rbp),%rax
mov    -0x180(%rbp,%rax,8),%rsi
ff
call   1060 <any@plt>
mov    %eax,-0x1ac(%rbp)
mov    -0x198(%rbp),%rax
mov    -0xf0(%rbp,%rax,8),%rdi
ff
mov    -0x1a0(%rbp),%rax
mov    -0x180(%rbp,%rax,8),%rsi
ff
call   1050 <strpbrk@plt>
mov    %rax,-0x1b8(%rbp)
mov    $0xffffffff,%eax
cmp    -0x1ac(%rbp),%eax
jne    12ef <main+0x1af>
cmpq   $0x0,-0x1b8(%rbp)
je     12bb <main+0x17b>
mov    -0x198(%rbp),%rax
mov    %eax,%esi
mov    -0x1a0(%rbp),%rax
mov    %eax,%edx
lea    0xf6c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1a8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a8(%rbp)
jmp    12ea <main+0x1aa>
mov    -0x198(%rbp),%rax
mov    %eax,%esi
mov    -0x1a0(%rbp),%rax
mov    %eax,%edx
lea    0xf4c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a4(%rbp)
jmp    13c7 <main+0x287>
cmpq   $0x0,-0x1b8(%rbp)
jne    1331 <main+0x1f1>
mov    -0x198(%rbp),%rax
mov    %eax,%esi
mov    -0x1a0(%rbp),%rax
mov    %eax,%edx
lea    0xef6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1a8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a8(%rbp)
jmp    13c2 <main+0x282>
mov    -0x1b8(%rbp),%rax
mov    -0x198(%rbp),%rcx
mov    -0xf0(%rbp,%rcx,8),%rcx
ff
sub    %rcx,%rax
movslq -0x1ac(%rbp),%rcx
cmp    %rcx,%rax
jne    138e <main+0x24e>
mov    -0x198(%rbp),%rax
mov    %eax,%esi
mov    -0x1a0(%rbp),%rax
mov    %eax,%edx
lea    0xead(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1a4(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a4(%rbp)
jmp    13bd <main+0x27d>
mov    -0x198(%rbp),%rax
mov    %eax,%esi
mov    -0x1a0(%rbp),%rax
mov    %eax,%edx
lea    0xe65(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x1a8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1a8(%rbp)
jmp    13c2 <main+0x282>
jmp    13c7 <main+0x287>
jmp    13cc <main+0x28c>
mov    -0x1a0(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x1a0(%rbp)
jmp    1201 <main+0xc1>
jmp    13e8 <main+0x2a8>
mov    -0x198(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x198(%rbp)
jmp    11e2 <main+0xa2>
mov    -0x1a4(%rbp),%esi
mov    -0x1a8(%rbp),%edx
mov    -0x1a4(%rbp),%ecx
add    -0x1a8(%rbp),%ecx
lea    0xe16(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x1c0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %eax,%eax
mov    %rax,0x10(%rsp)
xor    %ebx,%ebx
jmp    115e <main+0x2e>
add    $0x1,%rbx
cmp    $0x1c,%rbx
je     1208 <main+0xd8>
lea    0x2b4b(%rip),%rax
mov    (%rax,%rbx,8),%rbp
lea    0x2c20(%rip),%r13
xor    %r15d,%r15d
jmp    11b3 <main+0x83>
cs nopw 0x0(%rax,%rax,1)
nop
test   %rax,%rax
je     11e6 <main+0xb6>
lea    0x1080(%rip),%rdi
mov    %ebx,%esi
mov    %r15d,%edx
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x8(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x8(%rsp)
add    $0x1,%r15
add    $0x8,%r13
cmp    $0x11,%r15
je     1150 <main+0x20>
mov    0x0(%r13),%r14
mov    %rbp,%rdi
mov    %r14,%rsi
call   1050 <any@plt>
mov    %eax,%r12d
mov    %rbp,%rdi
mov    %r14,%rsi
call   1040 <strpbrk@plt>
cmp    $0xffffffff,%r12d
je     1180 <main+0x50>
test   %rax,%rax
je     1185 <main+0x55>
sub    %rbp,%rax
movslq %r12d,%rcx
cmp    %rcx,%rax
jne    1185 <main+0x55>
lea    0x1033(%rip),%rdi
mov    %ebx,%esi
mov    %r15d,%edx
xor    %eax,%eax
call   1030 <printf@plt>
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %rax,0x10(%rsp)
jmp    11a5 <main+0x75>
mov    0x8(%rsp),%rdx
mov    0x10(%rsp),%rsi
lea    (%rdx,%rsi,1),%ecx
lea    0x1018(%rip),%rdi
xor    %eax,%eax
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [1 x i8] zeroinitializer
@.str.1 = [2 x i8] c"a\00"
@.str.2 = [29 x i8] c"antidisestablishmentarianism\00"
@.str.3 = [16 x i8] c"beautifications\00"
@.str.4 = [19 x i8] c"characteristically\00"
@.str.5 = [18 x i8] c"deterministically\00"
@.str.6 = [23 x i8] c"electroencephalography\00"
@.str.7 = [16 x i8] c"familiarisation\00"
@.str.8 = [17 x i8] c"gastrointestinal\00"
@.str.9 = [18 x i8] c"heterogeneousness\00"
@.str.10 = [20 x i8] c"incomprehensibility\00"
@.str.11 = [15 x i8] c"justifications\00"
@.str.12 = [14 x i8] c"knowledgeable\00"
@.str.13 = [18 x i8] c"lexicographically\00"
@.str.14 = [19 x i8] c"microarchitectures\00"
@.str.15 = [21 x i8] c"nondeterministically\00"
@.str.16 = [17 x i8] c"organizationally\00"
@.str.17 = [19 x i8] c"phenomenologically\00"
@.str.18 = [16 x i8] c"quantifications\00"
@.str.19 = [19 x i8] c"representationally\00"
@.str.20 = [20 x i8] c"straightforwardness\00"
@.str.21 = [19 x i8] c"telecommunications\00"
@.str.22 = [18 x i8] c"uncontrollability\00"
@.str.23 = [16 x i8] c"vulnerabilities\00"
@.str.24 = [15 x i8] c"wholeheartedly\00"
@.str.25 = [15 x i8] c"xylophonically\00"
@.str.26 = [13 x i8] c"youthfulness\00"
@.str.27 = [13 x i8] c"zoologically\00"
@__const.main.leftstr = [28 x i8*] [i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.18, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.19, i32 0, i32 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.20, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.21, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.22, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.23, i32 0, i32 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.24, i32 0, i32 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.25, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.26, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.27, i32 0, i32 0)]
@.str.28 = [4 x i8] c"the\00"
@.str.29 = [6 x i8] c"quick\00"
@.str.30 = [6 x i8] c"brown\00"
@.str.31 = [4 x i8] c"dog\00"
@.str.32 = [6 x i8] c"jumps\00"
@.str.33 = [5 x i8] c"over\00"
@.str.34 = [5 x i8] c"lazy\00"
@.str.35 = [4 x i8] c"fox\00"
@.str.36 = [4 x i8] c"get\00"
@.str.37 = [4 x i8] c"rid\00"
@.str.38 = [3 x i8] c"of\00"
@.str.39 = [8 x i8] c"windows\00"
@.str.40 = [4 x i8] c"and\00"
@.str.41 = [8 x i8] c"install\00"
@.str.42 = [6 x i8] c"linux\00"
@__const.main.rightstr = [17 x i8*] [i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.28, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.29, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.30, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.31, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.32, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.33, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.34, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.35, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.36, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.37, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.38, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.39, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.40, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.41, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.42, i32 0, i32 0)]
@.str.43 = [20 x i8] c"Test %d/%d failed.\0A\00"
@.str.44 = [20 x i8] c"Test %d/%d passed.\0A\00"
@.str.45 = [45 x i8] c"\0A\0ATotal passes %d, fails %d, total tests %d\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [28 x i8*]
%3 = alloca [17 x i8*]
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
store i32 0, i32* %1
%12 = bitcast [28 x i8*]* %2 to i8*
%13 = bitcast [17 x i8*]* %3 to i8*
store i64 28, i64* %4
store i64 17, i64* %5
store i64 0, i64* %6
store i64 0, i64* %7
store i32 0, i32* %8
store i32 0, i32* %9
store i32 -1, i32* %10
store i8* null, i8** %11
store i64 0, i64* %6
br label %14
14: ; preds = %105, %0
%15 = load i64, i64* %6
%16 = load i64, i64* %4
%17 = icmp ult i64 %15, %16
br i1 %17, label %18, label %108
18: ; preds = %14
store i64 0, i64* %7
br label %19
19: ; preds = %101, %18
%20 = load i64, i64* %7
%21 = load i64, i64* %5
%22 = icmp ult i64 %20, %21
br i1 %22, label %23, label %104
23: ; preds = %19
%24 = load i64, i64* %6
%25 = getelementptr inbounds [28 x i8*], [28 x i8*]* %2, i64 0, i64 %24
%26 = load i8*, i8** %25
%27 = load i64, i64* %7
%28 = getelementptr inbounds [17 x i8*], [17 x i8*]* %3, i64 0, i64 %27
%29 = load i8*, i8** %28
%30 = call i32 @any(i8* %26, i8* %29)
store i32 %30, i32* %10
%31 = load i64, i64* %6
%32 = getelementptr inbounds [28 x i8*], [28 x i8*]* %2, i64 0, i64 %31
%33 = load i8*, i8** %32
%34 = load i64, i64* %7
%35 = getelementptr inbounds [17 x i8*], [17 x i8*]* %3, i64 0, i64 %34
%36 = load i8*, i8** %35
%37 = call i8* @strpbrk(i8* %33, i8* %36)
store i8* %37, i8** %11
%38 = load i32, i32* %10
%39 = icmp eq i32 -1, %38
br i1 %39, label %40, label %60
40: ; preds = %23
%41 = load i8*, i8** %11
%42 = icmp ne i8* %41, null
br i1 %42, label %43, label %51
43: ; preds = %40
%44 = load i64, i64* %6
%45 = trunc i64 %44 to i32
%46 = load i64, i64* %7
%47 = trunc i64 %46 to i32
%48 = call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.43, i64 0, i64 0), i32 %45, i32 %47)
%49 = load i32, i32* %9
%50 = add nsw i32 %49, 1
store i32 %50, i32* %9
br label %59
51: ; preds = %40
%52 = load i64, i64* %6
%53 = trunc i64 %52 to i32
%54 = load i64, i64* %7
%55 = trunc i64 %54 to i32
%56 = call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.44, i64 0, i64 0), i32 %53, i32 %55)
%57 = load i32, i32* %8
%58 = add nsw i32 %57, 1
store i32 %58, i32* %8
br label %59
59: ; preds = %51, %43
br label %100
60: ; preds = %23
%61 = load i8*, i8** %11
%62 = icmp eq i8* %61, null
br i1 %62, label %63, label %71
63: ; preds = %60
%64 = load i64, i64* %6
%65 = trunc i64 %64 to i32
%66 = load i64, i64* %7
%67 = trunc i64 %66 to i32
%68 = call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.43, i64 0, i64 0), i32 %65, i32 %67)
%69 = load i32, i32* %9
%70 = add nsw i32 %69, 1
store i32 %70, i32* %9
br label %99
71: ; preds = %60
%72 = load i8*, i8** %11
%73 = load i64, i64* %6
%74 = getelementptr inbounds [28 x i8*], [28 x i8*]* %2, i64 0, i64 %73
%75 = load i8*, i8** %74
%76 = ptrtoint i8* %72 to i64
%77 = ptrtoint i8* %75 to i64
%78 = sub i64 %76, %77
%79 = load i32, i32* %10
%80 = sext i32 %79 to i64
%81 = icmp eq i64 %78, %80
br i1 %81, label %82, label %90
82: ; preds = %71
%83 = load i64, i64* %6
%84 = trunc i64 %83 to i32
%85 = load i64, i64* %7
%86 = trunc i64 %85 to i32
%87 = call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.44, i64 0, i64 0), i32 %84, i32 %86)
%88 = load i32, i32* %8
%89 = add nsw i32 %88, 1
store i32 %89, i32* %8
br label %98
90: ; preds = %71
%91 = load i64, i64* %6
%92 = trunc i64 %91 to i32
%93 = load i64, i64* %7
%94 = trunc i64 %93 to i32
%95 = call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.43, i64 0, i64 0), i32 %92, i32 %94)
%96 = load i32, i32* %9
%97 = add nsw i32 %96, 1
store i32 %97, i32* %9
br label %98
98: ; preds = %90, %82
br label %99
99: ; preds = %98, %63
br label %100
100: ; preds = %99, %59
br label %101
101: ; preds = %100
%102 = load i64, i64* %7
%103 = add i64 %102, 1
store i64 %103, i64* %7
br label %19
104: ; preds = %19
br label %105
105: ; preds = %104
%106 = load i64, i64* %6
%107 = add i64 %106, 1
store i64 %107, i64* %6
br label %14
108: ; preds = %14
%109 = load i32, i32* %8
%110 = load i32, i32* %9
%111 = load i32, i32* %8
%112 = load i32, i32* %9
%113 = add nsw i32 %111, %112
%114 = call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.45, i64 0, i64 0), i32 %109, i32 %110, i32 %113)
ret i32 0
}

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
@.str.1 = [2 x i8] c"a\00"
@.str.2 = [29 x i8] c"antidisestablishmentarianism\00"
@.str.3 = [16 x i8] c"beautifications\00"
@.str.4 = [19 x i8] c"characteristically\00"
@.str.5 = [18 x i8] c"deterministically\00"
@.str.6 = [23 x i8] c"electroencephalography\00"
@.str.7 = [16 x i8] c"familiarisation\00"
@.str.8 = [17 x i8] c"gastrointestinal\00"
@.str.9 = [18 x i8] c"heterogeneousness\00"
@.str.10 = [20 x i8] c"incomprehensibility\00"
@.str.11 = [15 x i8] c"justifications\00"
@.str.12 = [14 x i8] c"knowledgeable\00"
@.str.13 = [18 x i8] c"lexicographically\00"
@.str.14 = [19 x i8] c"microarchitectures\00"
@.str.15 = [21 x i8] c"nondeterministically\00"
@.str.16 = [17 x i8] c"organizationally\00"
@.str.17 = [19 x i8] c"phenomenologically\00"
@.str.18 = [16 x i8] c"quantifications\00"
@.str.19 = [19 x i8] c"representationally\00"
@.str.20 = [20 x i8] c"straightforwardness\00"
@.str.21 = [19 x i8] c"telecommunications\00"
@.str.22 = [18 x i8] c"uncontrollability\00"
@.str.23 = [16 x i8] c"vulnerabilities\00"
@.str.24 = [15 x i8] c"wholeheartedly\00"
@.str.25 = [15 x i8] c"xylophonically\00"
@.str.26 = [13 x i8] c"youthfulness\00"
@.str.27 = [13 x i8] c"zoologically\00"
@__const.main.leftstr = [28 x i8*] [i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.18, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.19, i32 0, i32 0), i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.20, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.21, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.22, i32 0, i32 0), i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.23, i32 0, i32 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.24, i32 0, i32 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.25, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.26, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.27, i32 0, i32 0)]
@.str.28 = [4 x i8] c"the\00"
@.str.29 = [6 x i8] c"quick\00"
@.str.30 = [6 x i8] c"brown\00"
@.str.31 = [4 x i8] c"dog\00"
@.str.32 = [6 x i8] c"jumps\00"
@.str.33 = [5 x i8] c"over\00"
@.str.34 = [5 x i8] c"lazy\00"
@.str.35 = [4 x i8] c"fox\00"
@.str.36 = [4 x i8] c"get\00"
@.str.37 = [4 x i8] c"rid\00"
@.str.38 = [3 x i8] c"of\00"
@.str.39 = [8 x i8] c"windows\00"
@.str.40 = [4 x i8] c"and\00"
@.str.41 = [8 x i8] c"install\00"
@.str.42 = [6 x i8] c"linux\00"
@__const.main.rightstr = [17 x i8*] [i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.28, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.29, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.30, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.31, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.32, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.33, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.34, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.35, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.36, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.37, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.38, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.39, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.40, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.41, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.42, i32 0, i32 0)]
@.str.43 = [20 x i8] c"Test %d/%d failed.\0A\00"
@.str.44 = [20 x i8] c"Test %d/%d passed.\0A\00"
@.str.45 = [45 x i8] c"\0A\0ATotal passes %d, fails %d, total tests %d\0A\00"
define i32 @main() {
br label %1
1: ; preds = %0, %49
%2 = phi i32 [ 0, %0 ], [ %46, %49 ]
%3 = phi i32 [ 0, %0 ], [ %45, %49 ]
%4 = phi i64 [ 0, %0 ], [ %50, %49 ]
%5 = getelementptr inbounds [28 x i8*], [28 x i8*]* @__const.main.leftstr, i64 0, i64 %4
%6 = load i8*, i8** %5
%7 = ptrtoint i8* %6 to i64
%8 = trunc i64 %4 to i32
br label %9
9: ; preds = %1, %44
%10 = phi i32 [ %2, %1 ], [ %46, %44 ]
%11 = phi i32 [ %3, %1 ], [ %45, %44 ]
%12 = phi i64 [ 0, %1 ], [ %47, %44 ]
%13 = getelementptr inbounds [17 x i8*], [17 x i8*]* @__const.main.rightstr, i64 0, i64 %12
%14 = load i8*, i8** %13
%15 = tail call i32 @any(i8* %6, i8* %14)
%16 = tail call i8* @strpbrk(i8* %6, i8* %14)
%17 = icmp eq i32 %15, -1
%18 = icmp eq i8* %16, null
br i1 %17, label %19, label %27
19: ; preds = %9
%20 = trunc i64 %12 to i32
br i1 %18, label %24, label %21
21: ; preds = %19
%22 = tail call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.43, i64 0, i64 0), i32 %8, i32 %20)
%23 = add nsw i32 %10, 1
br label %44
24: ; preds = %19
%25 = tail call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.44, i64 0, i64 0), i32 %8, i32 %20)
%26 = add nsw i32 %11, 1
br label %44
27: ; preds = %9
br i1 %18, label %28, label %32
28: ; preds = %27
%29 = trunc i64 %12 to i32
%30 = tail call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.43, i64 0, i64 0), i32 %8, i32 %29)
%31 = add nsw i32 %10, 1
br label %44
32: ; preds = %27
%33 = ptrtoint i8* %16 to i64
%34 = sub i64 %33, %7
%35 = sext i32 %15 to i64
%36 = icmp eq i64 %34, %35
%37 = trunc i64 %12 to i32
br i1 %36, label %38, label %41
38: ; preds = %32
%39 = tail call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.44, i64 0, i64 0), i32 %8, i32 %37)
%40 = add nsw i32 %11, 1
br label %44
41: ; preds = %32
%42 = tail call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.43, i64 0, i64 0), i32 %8, i32 %37)
%43 = add nsw i32 %10, 1
br label %44
44: ; preds = %24, %21, %38, %41, %28
%45 = phi i32 [ %11, %21 ], [ %26, %24 ], [ %11, %28 ], [ %40, %38 ], [ %11, %41 ]
%46 = phi i32 [ %23, %21 ], [ %10, %24 ], [ %31, %28 ], [ %10, %38 ], [ %43, %41 ]
%47 = add nuw nsw i64 %12, 1
%48 = icmp eq i64 %47, 17
br i1 %48, label %49, label %9
49: ; preds = %44
%50 = add nuw nsw i64 %4, 1
%51 = icmp eq i64 %50, 28
br i1 %51, label %52, label %1
52: ; preds = %49
%53 = add nsw i32 %46, %45
%54 = tail call i32 (i8*, i32, i32, ...) @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.45, i64 0, i64 0), i32 %45, i32 %46, i32 %53)
ret i32 0
}