#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 StrIndex(char const *, char const *);
int /*<<< orphan*/ getchar();
int /*<<< orphan*/ printf(char const *, char const *, ...);
int main(void) {
  const char *OUTPUT_FORMAT_FOUND =
      "Substring \"%s\" was found at index %d in string \"%s\""
      " in a reversed search.\n";
  const char *OUTPUT_FORMAT_NOT_FOUND =
      "Substring \"%s\" was not found in string \"%s\".\n";
  const char *txt1 = "aaaeeaaaeeebxyyz";
  const char *pat1_1 = "aaaeee";
  const char *pat1_2 = "yyz";
  const char *pat1_3 = "bca";
  const char *txt2 = "foofooofooofoobafoobarbabaz";
  const char *pat2_1 = "foofo";
  const char *pat2_2 = "ofoo";
  const char *pat2_3 = "ogoo";
  int index = 0;
  index = StrIndex(txt1, pat1_1);
  if (index != -1) {
    printf(OUTPUT_FORMAT_FOUND, pat1_1, index, txt1);
  } else {
    printf(OUTPUT_FORMAT_NOT_FOUND, pat1_1, txt1);
  }
  index = StrIndex(txt1, pat1_2);
  if (index != -1) {
    printf(OUTPUT_FORMAT_FOUND, pat1_2, index, txt1);
  } else {
    printf(OUTPUT_FORMAT_NOT_FOUND, pat1_2, txt1);
  }
  index = StrIndex(txt1, pat1_3);
  if (index != -1) {
    printf(OUTPUT_FORMAT_FOUND, pat1_3, index, txt1);
  } else {
    printf(OUTPUT_FORMAT_NOT_FOUND, pat1_3, txt1);
  }
  index = StrIndex(txt2, pat2_1);
  if (index != -1) {
    printf(OUTPUT_FORMAT_FOUND, pat2_1, index, txt2);
  } else {
    printf(OUTPUT_FORMAT_NOT_FOUND, pat2_1, txt2);
  }
  index = StrIndex(txt2, pat2_2);
  if (index != -1) {
    printf(OUTPUT_FORMAT_FOUND, pat2_2, index, txt2);
  } else {
    printf(OUTPUT_FORMAT_NOT_FOUND, pat2_2, txt2);
  }
  index = StrIndex(txt1, pat2_3);
  if (index != -1) {
    printf(OUTPUT_FORMAT_FOUND, pat2_3, index, txt2);
  } else {
    printf(OUTPUT_FORMAT_NOT_FOUND, pat2_3, txt2);
  }
  getchar();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeba(%rip),%rax
mov    %rax,-0x10(%rbp)
lea    0xefa(%rip),%rax
mov    %rax,-0x18(%rbp)
lea    0xf1d(%rip),%rax
mov    %rax,-0x20(%rbp)
lea    0xf23(%rip),%rax
mov    %rax,-0x28(%rbp)
lea    0xf14(%rip),%rax
mov    %rax,-0x30(%rbp)
lea    0xf14(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    0xf0d(%rip),%rax
mov    %rax,-0x40(%rbp)
lea    0xf1e(%rip),%rax
mov    %rax,-0x48(%rbp)
lea    0xf19(%rip),%rax
mov    %rax,-0x50(%rbp)
lea    0xf13(%rip),%rax
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x5c(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1050 <StrIndex@plt>
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
je     11e9 <main+0xb9>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x5c(%rbp),%edx
mov    -0x20(%rbp),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
jmp    11fc <main+0xcc>
mov    -0x18(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1050 <StrIndex@plt>
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
je     1231 <main+0x101>
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x5c(%rbp),%edx
mov    -0x20(%rbp),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1244 <main+0x114>
mov    -0x18(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rdi
mov    -0x38(%rbp),%rsi
call   1050 <StrIndex@plt>
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
je     1279 <main+0x149>
mov    -0x10(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x5c(%rbp),%edx
mov    -0x20(%rbp),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
jmp    128c <main+0x15c>
mov    -0x18(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x40(%rbp),%rdi
mov    -0x48(%rbp),%rsi
call   1050 <StrIndex@plt>
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
je     12c1 <main+0x191>
mov    -0x10(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x5c(%rbp),%edx
mov    -0x40(%rbp),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12d4 <main+0x1a4>
mov    -0x18(%rbp),%rdi
mov    -0x48(%rbp),%rsi
mov    -0x40(%rbp),%rdx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x40(%rbp),%rdi
mov    -0x50(%rbp),%rsi
call   1050 <StrIndex@plt>
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
je     1309 <main+0x1d9>
mov    -0x10(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x5c(%rbp),%edx
mov    -0x40(%rbp),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
jmp    131c <main+0x1ec>
mov    -0x18(%rbp),%rdi
mov    -0x50(%rbp),%rsi
mov    -0x40(%rbp),%rdx
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x20(%rbp),%rdi
mov    -0x58(%rbp),%rsi
call   1050 <StrIndex@plt>
mov    %eax,-0x5c(%rbp)
cmpl   $0xffffffff,-0x5c(%rbp)
je     1351 <main+0x221>
mov    -0x10(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    -0x5c(%rbp),%edx
mov    -0x40(%rbp),%rcx
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1364 <main+0x234>
mov    -0x18(%rbp),%rdi
mov    -0x58(%rbp),%rsi
mov    -0x40(%rbp),%rdx
mov    $0x0,%al
call   1030 <printf@plt>
mov    $0x0,%al
call   1040 <getchar@plt>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
lea    0xf41(%rip),%rdi
lea    0xf4b(%rip),%rsi
call   1050 <StrIndex@plt>
cmp    $0xffffffff,%eax
je     1169 <main+0x39>
lea    0xeb0(%rip),%rdi
lea    0xf33(%rip),%rsi
lea    0xf1b(%rip),%rcx
mov    %eax,%edx
xor    %eax,%eax
call   1030 <printf@plt>
jmp    1185 <main+0x55>
lea    0xedb(%rip),%rdi
lea    0xf13(%rip),%rsi
lea    0xefb(%rip),%rdx
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xeed(%rip),%rdi
lea    0xef3(%rip),%rsi
call   1050 <StrIndex@plt>
cmp    $0xffffffff,%eax
je     11bd <main+0x8d>
lea    0xe5c(%rip),%rdi
lea    0xedb(%rip),%rsi
lea    0xec7(%rip),%rcx
mov    %eax,%edx
xor    %eax,%eax
call   1030 <printf@plt>
jmp    11d9 <main+0xa9>
lea    0xe87(%rip),%rdi
lea    0xebb(%rip),%rsi
lea    0xea7(%rip),%rdx
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xe99(%rip),%rdi
lea    0xeaa(%rip),%rsi
call   1050 <StrIndex@plt>
cmp    $0xffffffff,%eax
je     1211 <main+0xe1>
lea    0xe08(%rip),%rdi
lea    0xe92(%rip),%rsi
lea    0xe73(%rip),%rcx
mov    %eax,%edx
xor    %eax,%eax
call   1030 <printf@plt>
jmp    122d <main+0xfd>
lea    0xe33(%rip),%rdi
lea    0xe72(%rip),%rsi
lea    0xe53(%rip),%rdx
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xe61(%rip),%rdi
lea    0xe76(%rip),%rsi
call   1050 <StrIndex@plt>
cmp    $0xffffffff,%eax
je     1265 <main+0x135>
lea    0xdb4(%rip),%rdi
lea    0xe5e(%rip),%rsi
lea    0xe3b(%rip),%rcx
mov    %eax,%edx
xor    %eax,%eax
call   1030 <printf@plt>
jmp    1281 <main+0x151>
lea    0xddf(%rip),%rdi
lea    0xe3e(%rip),%rsi
lea    0xe1b(%rip),%rdx
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xe0d(%rip),%rdi
lea    0xe28(%rip),%rsi
call   1050 <StrIndex@plt>
cmp    $0xffffffff,%eax
je     12b9 <main+0x189>
lea    0xd60(%rip),%rdi
lea    0xe10(%rip),%rsi
lea    0xde7(%rip),%rcx
mov    %eax,%edx
xor    %eax,%eax
call   1030 <printf@plt>
jmp    12d5 <main+0x1a5>
lea    0xd8b(%rip),%rdi
lea    0xdf0(%rip),%rsi
lea    0xdc7(%rip),%rdx
xor    %eax,%eax
call   1030 <printf@plt>
lea    0xd9d(%rip),%rdi
lea    0xdd9(%rip),%rsi
call   1050 <StrIndex@plt>
cmp    $0xffffffff,%eax
je     130d <main+0x1dd>
lea    0xd0c(%rip),%rdi
lea    0xdc1(%rip),%rsi
lea    0xd93(%rip),%rcx
mov    %eax,%edx
xor    %eax,%eax
call   1030 <printf@plt>
jmp    1329 <main+0x1f9>
lea    0xd37(%rip),%rdi
lea    0xda1(%rip),%rsi
lea    0xd73(%rip),%rdx
xor    %eax,%eax
call   1030 <printf@plt>
xor    %eax,%eax
call   1040 <getchar@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [75 x i8] c"Substring \22%s\22 was found at index %d in string \22%s\22 in a reversed search.\0A\00"
@.str.1 = [46 x i8] c"Substring \22%s\22 was not found in string \22%s\22.\0A\00"
@.str.2 = [17 x i8] c"aaaeeaaaeeebxyyz\00"
@.str.3 = [7 x i8] c"aaaeee\00"
@.str.4 = [4 x i8] c"yyz\00"
@.str.5 = [4 x i8] c"bca\00"
@.str.6 = [28 x i8] c"foofooofooofoobafoobarbabaz\00"
@.str.7 = [6 x i8] c"foofo\00"
@.str.8 = [5 x i8] c"ofoo\00"
@.str.9 = [5 x i8] c"ogoo\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i32
store i32 0, i32* %1
store i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8** %2
store i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8** %3
store i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i8** %4
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i8** %5
store i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i8** %6
store i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i8** %7
store i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0), i8** %8
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.7, i64 0, i64 0), i8** %9
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), i8** %10
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i64 0, i64 0), i8** %11
store i32 0, i32* %12
%13 = load i8*, i8** %4
%14 = load i8*, i8** %5
%15 = call i32 @StrIndex(i8* %13, i8* %14)
store i32 %15, i32* %12
%16 = load i32, i32* %12
%17 = icmp ne i32 %16, -1
br i1 %17, label %18, label %24
18: ; preds = %0
%19 = load i8*, i8** %2
%20 = load i8*, i8** %5
%21 = load i32, i32* %12
%22 = load i8*, i8** %4
%23 = call i32 (i8*, i8*, ...) @printf(i8* %19, i8* %20, i32 %21, i8* %22)
br label %29
24: ; preds = %0
%25 = load i8*, i8** %3
%26 = load i8*, i8** %5
%27 = load i8*, i8** %4
%28 = call i32 (i8*, i8*, ...) @printf(i8* %25, i8* %26, i8* %27)
br label %29
29: ; preds = %24, %18
%30 = load i8*, i8** %4
%31 = load i8*, i8** %6
%32 = call i32 @StrIndex(i8* %30, i8* %31)
store i32 %32, i32* %12
%33 = load i32, i32* %12
%34 = icmp ne i32 %33, -1
br i1 %34, label %35, label %41
35: ; preds = %29
%36 = load i8*, i8** %2
%37 = load i8*, i8** %6
%38 = load i32, i32* %12
%39 = load i8*, i8** %4
%40 = call i32 (i8*, i8*, ...) @printf(i8* %36, i8* %37, i32 %38, i8* %39)
br label %46
41: ; preds = %29
%42 = load i8*, i8** %3
%43 = load i8*, i8** %6
%44 = load i8*, i8** %4
%45 = call i32 (i8*, i8*, ...) @printf(i8* %42, i8* %43, i8* %44)
br label %46
46: ; preds = %41, %35
%47 = load i8*, i8** %4
%48 = load i8*, i8** %7
%49 = call i32 @StrIndex(i8* %47, i8* %48)
store i32 %49, i32* %12
%50 = load i32, i32* %12
%51 = icmp ne i32 %50, -1
br i1 %51, label %52, label %58
52: ; preds = %46
%53 = load i8*, i8** %2
%54 = load i8*, i8** %7
%55 = load i32, i32* %12
%56 = load i8*, i8** %4
%57 = call i32 (i8*, i8*, ...) @printf(i8* %53, i8* %54, i32 %55, i8* %56)
br label %63
58: ; preds = %46
%59 = load i8*, i8** %3
%60 = load i8*, i8** %7
%61 = load i8*, i8** %4
%62 = call i32 (i8*, i8*, ...) @printf(i8* %59, i8* %60, i8* %61)
br label %63
63: ; preds = %58, %52
%64 = load i8*, i8** %8
%65 = load i8*, i8** %9
%66 = call i32 @StrIndex(i8* %64, i8* %65)
store i32 %66, i32* %12
%67 = load i32, i32* %12
%68 = icmp ne i32 %67, -1
br i1 %68, label %69, label %75
69: ; preds = %63
%70 = load i8*, i8** %2
%71 = load i8*, i8** %9
%72 = load i32, i32* %12
%73 = load i8*, i8** %8
%74 = call i32 (i8*, i8*, ...) @printf(i8* %70, i8* %71, i32 %72, i8* %73)
br label %80
75: ; preds = %63
%76 = load i8*, i8** %3
%77 = load i8*, i8** %9
%78 = load i8*, i8** %8
%79 = call i32 (i8*, i8*, ...) @printf(i8* %76, i8* %77, i8* %78)
br label %80
80: ; preds = %75, %69
%81 = load i8*, i8** %8
%82 = load i8*, i8** %10
%83 = call i32 @StrIndex(i8* %81, i8* %82)
store i32 %83, i32* %12
%84 = load i32, i32* %12
%85 = icmp ne i32 %84, -1
br i1 %85, label %86, label %92
86: ; preds = %80
%87 = load i8*, i8** %2
%88 = load i8*, i8** %10
%89 = load i32, i32* %12
%90 = load i8*, i8** %8
%91 = call i32 (i8*, i8*, ...) @printf(i8* %87, i8* %88, i32 %89, i8* %90)
br label %97
92: ; preds = %80
%93 = load i8*, i8** %3
%94 = load i8*, i8** %10
%95 = load i8*, i8** %8
%96 = call i32 (i8*, i8*, ...) @printf(i8* %93, i8* %94, i8* %95)
br label %97
97: ; preds = %92, %86
%98 = load i8*, i8** %4
%99 = load i8*, i8** %11
%100 = call i32 @StrIndex(i8* %98, i8* %99)
store i32 %100, i32* %12
%101 = load i32, i32* %12
%102 = icmp ne i32 %101, -1
br i1 %102, label %103, label %109
103: ; preds = %97
%104 = load i8*, i8** %2
%105 = load i8*, i8** %11
%106 = load i32, i32* %12
%107 = load i8*, i8** %8
%108 = call i32 (i8*, i8*, ...) @printf(i8* %104, i8* %105, i32 %106, i8* %107)
br label %114
109: ; preds = %97
%110 = load i8*, i8** %3
%111 = load i8*, i8** %11
%112 = load i8*, i8** %8
%113 = call i32 (i8*, i8*, ...) @printf(i8* %110, i8* %111, i8* %112)
br label %114
114: ; preds = %109, %103
%115 = call i32 (...) @getchar()
ret i32 0
}

LLVM IR (-O2):
@.str = [75 x i8] c"Substring \22%s\22 was found at index %d in string \22%s\22 in a reversed search.\0A\00"
@.str.1 = [46 x i8] c"Substring \22%s\22 was not found in string \22%s\22.\0A\00"
@.str.2 = [17 x i8] c"aaaeeaaaeeebxyyz\00"
@.str.3 = [7 x i8] c"aaaeee\00"
@.str.4 = [4 x i8] c"yyz\00"
@.str.5 = [4 x i8] c"bca\00"
@.str.6 = [28 x i8] c"foofooofooofoobafoobarbabaz\00"
@.str.7 = [6 x i8] c"foofo\00"
@.str.8 = [5 x i8] c"ofoo\00"
@.str.9 = [5 x i8] c"ogoo\00"
define i32 @main() {
%1 = tail call i32 @StrIndex(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0))
%2 = icmp eq i32 %1, -1
br i1 %2, label %5, label %3
3: ; preds = %0
%4 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i32 %1, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %7
5: ; preds = %0
%6 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %7
7: ; preds = %5, %3
%8 = tail call i32 @StrIndex(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0))
%9 = icmp eq i32 %8, -1
br i1 %9, label %12, label %10
10: ; preds = %7
%11 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i32 %8, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %14
12: ; preds = %7
%13 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %14
14: ; preds = %12, %10
%15 = tail call i32 @StrIndex(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0))
%16 = icmp eq i32 %15, -1
br i1 %16, label %19, label %17
17: ; preds = %14
%18 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i32 %15, i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %21
19: ; preds = %14
%20 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %21
21: ; preds = %19, %17
%22 = tail call i32 @StrIndex(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.7, i64 0, i64 0))
%23 = icmp eq i32 %22, -1
br i1 %23, label %26, label %24
24: ; preds = %21
%25 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.7, i64 0, i64 0), i32 %22, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0))
br label %28
26: ; preds = %21
%27 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.7, i64 0, i64 0), i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0))
br label %28
28: ; preds = %26, %24
%29 = tail call i32 @StrIndex(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0))
%30 = icmp eq i32 %29, -1
br i1 %30, label %33, label %31
31: ; preds = %28
%32 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), i32 %29, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0))
br label %35
33: ; preds = %28
%34 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0))
br label %35
35: ; preds = %33, %31
%36 = tail call i32 @StrIndex(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i64 0, i64 0))
%37 = icmp eq i32 %36, -1
br i1 %37, label %40, label %38
38: ; preds = %35
%39 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i64 0, i64 0), i32 %36, i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0))
br label %42
40: ; preds = %35
%41 = tail call i32 (i8*, i8*, ...) @printf(i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.6, i64 0, i64 0))
br label %42
42: ; preds = %40, %38
%43 = tail call i32 (...) @getchar()
ret i32 0
}