#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*/ makeBMTable1(char *, int, int *);
int /*<<< orphan*/ printf(char *, ...);
int bmStrstr(char *text, int txtLen, char *pattern, int patLen, int txtIdx) {
  int bmTable[256];
  int patIdx, shtIdx, i1, i2;
  if (0)
    printf("txtIdx = [");
  if (txtLen < patLen) {
    if (0)
      printf("]\n");
    return -1;
  }
  txtLen -= patLen;
  makeBMTable1(pattern, patLen, bmTable);
  while (txtIdx <= txtLen) {
    patIdx = patLen;
    if (0)
      printf("%d, ", txtIdx);
    for (; patIdx > 0; --patIdx)
      if (text[txtIdx + patIdx - 1] != pattern[patIdx - 1] &&
          text[txtIdx + patIdx - 1] != 'x')
        break;
    if (patIdx == 0) {
      if (0)
        printf("]\n");
      return txtIdx;
    }
    i1 = bmTable[text[txtIdx + patIdx - 1]];
    shtIdx = patIdx;
    if (i1) {
      i2 = patLen - patIdx;
      shtIdx = (i1 < i2) ? 1 : i1 - i2;
    }
    txtIdx += shtIdx;
  }
  if (0)
    printf("]\n");
  return -1;
}


x86 assembly (clang, -O0):
<bmStrstr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x450,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1145 <bmStrstr+0x35>
movl   $0xffffffff,-0x4(%rbp)
jmp    12b3 <bmStrstr+0x1a3>
mov    -0x24(%rbp),%ecx
mov    -0x14(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x24(%rbp),%esi
lea    -0x430(%rbp),%rdx
call   1030 <makeBMTable1@plt>
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     12ac <bmStrstr+0x19c>
mov    -0x24(%rbp),%eax
mov    %eax,-0x434(%rbp)
cmpl   $0x0,-0x434(%rbp)
jle    11f6 <bmStrstr+0xe6>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x434(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
mov    -0x434(%rbp),%edx
sub    $0x1,%edx
movslq %edx,%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     11dd <bmStrstr+0xcd>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x434(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x78,%eax
je     11dd <bmStrstr+0xcd>
jmp    11f6 <bmStrstr+0xe6>
jmp    11e2 <bmStrstr+0xd2>
mov    -0x434(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x434(%rbp)
jmp    1178 <bmStrstr+0x68>
cmpl   $0x0,-0x434(%rbp)
jne    120e <bmStrstr+0xfe>
mov    -0x28(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12b3 <bmStrstr+0x1a3>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x434(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbq (%rax,%rcx,1),%rax
mov    -0x430(%rbp,%rax,4),%eax
mov    %eax,-0x43c(%rbp)
mov    -0x434(%rbp),%eax
mov    %eax,-0x438(%rbp)
cmpl   $0x0,-0x43c(%rbp)
je     129b <bmStrstr+0x18b>
mov    -0x24(%rbp),%eax
sub    -0x434(%rbp),%eax
mov    %eax,-0x440(%rbp)
mov    -0x43c(%rbp),%eax
cmp    -0x440(%rbp),%eax
jge    127d <bmStrstr+0x16d>
mov    $0x1,%eax
mov    %eax,-0x444(%rbp)
jmp    128f <bmStrstr+0x17f>
mov    -0x43c(%rbp),%eax
sub    -0x440(%rbp),%eax
mov    %eax,-0x444(%rbp)
mov    -0x444(%rbp),%eax
mov    %eax,-0x438(%rbp)
mov    -0x438(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
jmp    1163 <bmStrstr+0x53>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x450,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<bmStrstr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x408,%rsp
mov    %esi,%r12d
mov    $0xffffffff,%eax
sub    %ecx,%r12d
jl     1150 <bmStrstr+0x40>
mov    %r8d,%r15d
mov    %ecx,%ebp
mov    %rdx,%r13
mov    %rdi,%r14
mov    %rsp,%rdx
mov    %r13,%rdi
mov    %ecx,%esi
call   1030 <makeBMTable1@plt>
cmp    %r15d,%r12d
jge    1162 <bmStrstr+0x52>
mov    $0xffffffff,%eax
add    $0x408,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movslq %ebp,%rax
mov    %ebp,%r9d
lea    -0x1(%rbp),%r10d
mov    $0x1,%r8d
jmp    11a1 <bmStrstr+0x91>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbq (%r14,%rcx,1),%rcx
mov    (%rsp,%rcx,4),%ecx
mov    %ebp,%esi
sub    %edx,%esi
mov    %ecx,%edi
sub    %esi,%edi
cmovl  %r8d,%edi
test   %ecx,%ecx
cmove  %edx,%edi
add    %edi,%r15d
cmp    %r12d,%r15d
jg     114b <bmStrstr+0x3b>
lea    (%r10,%r15,1),%esi
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
lea    (%rax,%rdi,1),%rcx
test   %rcx,%rcx
jle    11f0 <bmStrstr+0xe0>
mov    %edi,%edx
lea    (%rsi,%rdx,1),%ecx
movslq %ecx,%rcx
movzbl (%r14,%rcx,1),%ebx
add    $0xffffffffffffffff,%rdi
cmp    $0x78,%bl
je     11b0 <bmStrstr+0xa0>
add    %ebp,%edx
add    $0xffffffff,%edx
cmp    0x0(%r13,%rdx,1),%bl
je     11b0 <bmStrstr+0xa0>
lea    (%r9,%rdi,1),%edx
add    $0x1,%edx
jmp    1180 <bmStrstr+0x70>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%r9,%rdi,1),%rdx
test   %edx,%edx
je     11ff <bmStrstr+0xef>
add    %edi,%esi
movslq %esi,%rcx
jmp    1180 <bmStrstr+0x70>
mov    %r15d,%eax
jmp    1150 <bmStrstr+0x40>

LLVM IR (-O0):
define i32 @bmStrstr(i8* %0, i32 %1, i8* %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i8*
%10 = alloca i32
%11 = alloca i32
%12 = alloca [256 x i32]
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i8* %0, i8** %7
store i32 %1, i32* %8
store i8* %2, i8** %9
store i32 %3, i32* %10
store i32 %4, i32* %11
%17 = load i32, i32* %8
%18 = load i32, i32* %10
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %21
20: ; preds = %5
store i32 -1, i32* %6
br label %111
21: ; preds = %5
%22 = load i32, i32* %10
%23 = load i32, i32* %8
%24 = sub nsw i32 %23, %22
store i32 %24, i32* %8
%25 = load i8*, i8** %9
%26 = load i32, i32* %10
%27 = getelementptr inbounds [256 x i32], [256 x i32]* %12, i64 0, i64 0
%28 = call i32 @makeBMTable1(i8* %25, i32 %26, i32* %27)
br label %29
29: ; preds = %106, %21
%30 = load i32, i32* %11
%31 = load i32, i32* %8
%32 = icmp sle i32 %30, %31
br i1 %32, label %33, label %110
33: ; preds = %29
%34 = load i32, i32* %10
store i32 %34, i32* %13
br label %35
35: ; preds = %69, %33
%36 = load i32, i32* %13
%37 = icmp sgt i32 %36, 0
br i1 %37, label %38, label %72
38: ; preds = %35
%39 = load i8*, i8** %7
%40 = load i32, i32* %11
%41 = load i32, i32* %13
%42 = add nsw i32 %40, %41
%43 = sub nsw i32 %42, 1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i8, i8* %39, i64 %44
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = load i8*, i8** %9
%49 = load i32, i32* %13
%50 = sub nsw i32 %49, 1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %48, i64 %51
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp ne i32 %47, %54
br i1 %55, label %56, label %68
56: ; preds = %38
%57 = load i8*, i8** %7
%58 = load i32, i32* %11
%59 = load i32, i32* %13
%60 = add nsw i32 %58, %59
%61 = sub nsw i32 %60, 1
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds i8, i8* %57, i64 %62
%64 = load i8, i8* %63
%65 = sext i8 %64 to i32
%66 = icmp ne i32 %65, 120
br i1 %66, label %67, label %68
67: ; preds = %56
br label %72
68: ; preds = %56, %38
br label %69
69: ; preds = %68
%70 = load i32, i32* %13
%71 = add nsw i32 %70, -1
store i32 %71, i32* %13
br label %35
72: ; preds = %67, %35
%73 = load i32, i32* %13
%74 = icmp eq i32 %73, 0
br i1 %74, label %75, label %77
75: ; preds = %72
%76 = load i32, i32* %11
store i32 %76, i32* %6
br label %111
77: ; preds = %72
%78 = load i8*, i8** %7
%79 = load i32, i32* %11
%80 = load i32, i32* %13
%81 = add nsw i32 %79, %80
%82 = sub nsw i32 %81, 1
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %78, i64 %83
%85 = load i8, i8* %84
%86 = sext i8 %85 to i64
%87 = getelementptr inbounds [256 x i32], [256 x i32]* %12, i64 0, i64 %86
%88 = load i32, i32* %87
store i32 %88, i32* %15
%89 = load i32, i32* %13
store i32 %89, i32* %14
%90 = load i32, i32* %15
%91 = icmp ne i32 %90, 0
br i1 %91, label %92, label %106
92: ; preds = %77
%93 = load i32, i32* %10
%94 = load i32, i32* %13
%95 = sub nsw i32 %93, %94
store i32 %95, i32* %16
%96 = load i32, i32* %15
%97 = load i32, i32* %16
%98 = icmp slt i32 %96, %97
br i1 %98, label %99, label %100
99: ; preds = %92
br label %104
100: ; preds = %92
%101 = load i32, i32* %15
%102 = load i32, i32* %16
%103 = sub nsw i32 %101, %102
br label %104
104: ; preds = %100, %99
%105 = phi i32 [ 1, %99 ], [ %103, %100 ]
store i32 %105, i32* %14
br label %106
106: ; preds = %104, %77
%107 = load i32, i32* %14
%108 = load i32, i32* %11
%109 = add nsw i32 %108, %107
store i32 %109, i32* %11
br label %29
110: ; preds = %29
store i32 -1, i32* %6
br label %111
111: ; preds = %110, %75, %20
%112 = load i32, i32* %6
ret i32 %112
}

LLVM IR (-O2):
define i32 @bmStrstr(i8* nocapture %0, i32 %1, i8* %2, i32 %3, i32 %4) {
%6 = alloca [256 x i32]
%7 = bitcast [256 x i32]* %6 to i8*
%8 = icmp slt i32 %1, %3
br i1 %8, label %60, label %9
9: ; preds = %5
%10 = sub nsw i32 %1, %3
%11 = getelementptr inbounds [256 x i32], [256 x i32]* %6, i64 0, i64 0
%12 = call i32 @makeBMTable1(i8* %2, i32 %3, i32* %11)
%13 = icmp slt i32 %10, %4
br i1 %13, label %60, label %14
14: ; preds = %9
%15 = sext i32 %3 to i64
br label %16
16: ; preds = %14, %44
%17 = phi i32 [ %58, %44 ], [ %4, %14 ]
br label %18
18: ; preds = %16, %22
%19 = phi i64 [ %15, %16 ], [ %28, %22 ]
%20 = icmp sgt i64 %19, 0
%21 = trunc i64 %19 to i32
br i1 %20, label %22, label %35
22: ; preds = %18
%23 = add i32 %21, -1
%24 = add i32 %23, %17
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %0, i64 %25
%27 = load i8, i8* %26
%28 = add nsw i64 %19, -1
%29 = and i64 %28, 4294967295
%30 = getelementptr inbounds i8, i8* %2, i64 %29
%31 = load i8, i8* %30
%32 = icmp eq i8 %27, %31
%33 = icmp eq i8 %27, 120
%34 = or i1 %33, %32
br i1 %34, label %18, label %42
35: ; preds = %18
%36 = trunc i64 %19 to i32
%37 = icmp eq i32 %36, 0
br i1 %37, label %60, label %38
38: ; preds = %35
%39 = add i32 %36, -1
%40 = add i32 %39, %17
%41 = sext i32 %40 to i64
br label %44
42: ; preds = %22
%43 = trunc i64 %19 to i32
br label %44
44: ; preds = %42, %38
%45 = phi i32 [ %36, %38 ], [ %43, %42 ]
%46 = phi i64 [ %41, %38 ], [ %25, %42 ]
%47 = getelementptr inbounds i8, i8* %0, i64 %46
%48 = load i8, i8* %47
%49 = sext i8 %48 to i64
%50 = getelementptr inbounds [256 x i32], [256 x i32]* %6, i64 0, i64 %49
%51 = load i32, i32* %50
%52 = icmp eq i32 %51, 0
%53 = sub nsw i32 %3, %45
%54 = icmp slt i32 %51, %53
%55 = sub nsw i32 %51, %53
%56 = select i1 %54, i32 1, i32 %55
%57 = select i1 %52, i32 %45, i32 %56
%58 = add nsw i32 %57, %17
%59 = icmp sgt i32 %58, %10
br i1 %59, label %60, label %16
60: ; preds = %35, %44, %9, %5
%61 = phi i32 [ -1, %5 ], [ -1, %9 ], [ %17, %35 ], [ -1, %44 ]
ret i32 %61
}