#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*/ exit(int);
int /*<<< orphan*/ printf(char *);
unsigned int strlen(char const *);
int shiftor(const char *text, const char *pattern) {
  unsigned int psize;
  unsigned long int R;
  unsigned long int mask[256];
  unsigned int i;
  psize = strlen(pattern);
  if (psize > 31) {
    printf("Pattern trop long !\n");
    exit(-1);
  }
  R = ~1;
  for (i = 0; i < 256; i++)
    mask[i] = ~0;
  for (i = 0; i < psize; i++)
    mask[pattern[i]] &= ~(1UL << i);
  i = 0;
  while (text[i]) {
    R |= mask[text[i]];
    R <<= 1;
    if (!(R & (1UL << psize)))
      return i - psize + 1;
    i++;
  }
  return -1;
}


x86 assembly (clang, -O0):
<shiftor>:
push   %rbp
mov    %rsp,%rbp
sub    $0x840,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x1f,-0x1c(%rbp)
jbe    116f <shiftor+0x3f>
lea    0xea0(%rip),%rdi
call   1040 <printf@plt>
mov    $0xffffffff,%edi
call   1050 <exit@plt>
movq   $0xfffffffffffffffe,-0x28(%rbp)
ff
movl   $0x0,-0x834(%rbp)
cmpl   $0x100,-0x834(%rbp)
jae    11b7 <shiftor+0x87>
mov    -0x834(%rbp),%eax
movq   $0xffffffffffffffff,-0x830(%rbp,%rax,8)
ff ff ff ff ff
mov    -0x834(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x834(%rbp)
jmp    1181 <shiftor+0x51>
movl   $0x0,-0x834(%rbp)
mov    -0x834(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jae    121a <shiftor+0xea>
mov    -0x834(%rbp),%eax
mov    %eax,%ecx
mov    $0x1,%eax
shl    %cl,%rax
mov    %rax,%rcx
xor    $0xffffffffffffffff,%rcx
mov    -0x18(%rbp),%rax
mov    -0x834(%rbp),%edx
movsbq (%rax,%rdx,1),%rax
and    -0x830(%rbp,%rax,8),%rcx
ff
mov    %rcx,-0x830(%rbp,%rax,8)
ff
mov    -0x834(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x834(%rbp)
jmp    11c1 <shiftor+0x91>
movl   $0x0,-0x834(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x834(%rbp),%ecx
cmpb   $0x0,(%rax,%rcx,1)
je     12aa <shiftor+0x17a>
mov    -0x10(%rbp),%rax
mov    -0x834(%rbp),%ecx
movsbq (%rax,%rcx,1),%rax
mov    -0x830(%rbp,%rax,8),%rax
ff
or     -0x28(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    $0x1,%edx
shl    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
cmp    $0x0,%rax
jne    1296 <shiftor+0x166>
mov    -0x834(%rbp),%eax
sub    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12b1 <shiftor+0x181>
mov    -0x834(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x834(%rbp)
jmp    1224 <shiftor+0xf4>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x840,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<shiftor>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x808,%rsp
mov    %rsi,%rbp
mov    %rdi,%r15
mov    %rsi,%rdi
call   1040 <strlen@plt>
cmp    $0x1f,%eax
ja     1253 <shiftor+0x113>
mov    %eax,%r14d
mov    %rsp,%rdi
mov    $0x800,%edx
mov    $0xff,%esi
call   1050 <memset@plt>
test   %r14d,%r14d
je     11f1 <shiftor+0xb1>
mov    %r14d,%edx
cmp    $0x1,%r14d
jne    118b <shiftor+0x4b>
xor    %eax,%eax
jmp    11d6 <shiftor+0x96>
mov    %edx,%esi
and    $0xfffffffe,%esi
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    $0xfffffffffffffffe,%rdi
mov    %eax,%ecx
rol    %cl,%rdi
movsbq 0x0(%rbp,%rax,1),%rcx
and    %rdi,(%rsp,%rcx,8)
lea    0x1(%rax),%ecx
mov    $0xfffffffffffffffe,%rdi
rol    %cl,%rdi
movsbq 0x1(%rbp,%rax,1),%rcx
and    %rdi,(%rsp,%rcx,8)
add    $0x2,%rax
cmp    %rsi,%rax
jne    11a0 <shiftor+0x60>
test   $0x1,%dl
je     11f1 <shiftor+0xb1>
mov    $0xfffffffffffffffe,%rdx
mov    %eax,%ecx
rol    %cl,%rdx
movsbq 0x0(%rbp,%rax,1),%rax
and    %rdx,(%rsp,%rax,8)
mov    (%r15),%bl
mov    $0xffffffff,%eax
test   %bl,%bl
je     1245 <shiftor+0x105>
mov    $0x1,%edx
mov    %r14d,%ecx
shl    %cl,%rdx
mov    $0xfffffffffffffffe,%rsi
mov    $0x1,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbq %bl,%rdi
or     (%rsp,%rdi,8),%rsi
add    %rsi,%rsi
test   %rdx,%rsi
je     1240 <shiftor+0x100>
mov    %ecx,%edi
movzbl (%r15,%rdi,1),%ebx
add    $0x1,%ecx
test   %bl,%bl
jne    1220 <shiftor+0xe0>
jmp    1245 <shiftor+0x105>
sub    %r14d,%ecx
mov    %ecx,%eax
add    $0x808,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0xda6(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%edi
call   1060 <exit@plt>

LLVM IR (-O0):
@.str = [21 x i8] c"Pattern trop long !\0A\00"
define i32 @shiftor(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i64
%8 = alloca [256 x i64]
%9 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
%10 = load i8*, i8** %5
%11 = call i32 @strlen(i8* %10)
store i32 %11, i32* %6
%12 = load i32, i32* %6
%13 = icmp ugt i32 %12, 31
br i1 %13, label %14, label %17
14: ; preds = %2
%15 = call i32 @printf(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0))
%16 = call i32 @exit(i32 -1)
unreachable
17: ; preds = %2
store i64 -2, i64* %7
store i32 0, i32* %9
br label %18
18: ; preds = %25, %17
%19 = load i32, i32* %9
%20 = icmp ult i32 %19, 256
br i1 %20, label %21, label %28
21: ; preds = %18
%22 = load i32, i32* %9
%23 = zext i32 %22 to i64
%24 = getelementptr inbounds [256 x i64], [256 x i64]* %8, i64 0, i64 %23
store i64 -1, i64* %24
br label %25
25: ; preds = %21
%26 = load i32, i32* %9
%27 = add i32 %26, 1
store i32 %27, i32* %9
br label %18
28: ; preds = %18
store i32 0, i32* %9
br label %29
29: ; preds = %47, %28
%30 = load i32, i32* %9
%31 = load i32, i32* %6
%32 = icmp ult i32 %30, %31
br i1 %32, label %33, label %50
33: ; preds = %29
%34 = load i32, i32* %9
%35 = zext i32 %34 to i64
%36 = shl i64 1, %35
%37 = xor i64 %36, -1
%38 = load i8*, i8** %5
%39 = load i32, i32* %9
%40 = zext i32 %39 to i64
%41 = getelementptr inbounds i8, i8* %38, i64 %40
%42 = load i8, i8* %41
%43 = sext i8 %42 to i64
%44 = getelementptr inbounds [256 x i64], [256 x i64]* %8, i64 0, i64 %43
%45 = load i64, i64* %44
%46 = and i64 %45, %37
store i64 %46, i64* %44
br label %47
47: ; preds = %33
%48 = load i32, i32* %9
%49 = add i32 %48, 1
store i32 %49, i32* %9
br label %29
50: ; preds = %29
store i32 0, i32* %9
br label %51
51: ; preds = %82, %50
%52 = load i8*, i8** %4
%53 = load i32, i32* %9
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %52, i64 %54
%56 = load i8, i8* %55
%57 = icmp ne i8 %56, 0
br i1 %57, label %58, label %85
58: ; preds = %51
%59 = load i8*, i8** %4
%60 = load i32, i32* %9
%61 = zext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
%63 = load i8, i8* %62
%64 = sext i8 %63 to i64
%65 = getelementptr inbounds [256 x i64], [256 x i64]* %8, i64 0, i64 %64
%66 = load i64, i64* %65
%67 = load i64, i64* %7
%68 = or i64 %67, %66
store i64 %68, i64* %7
%69 = load i64, i64* %7
%70 = shl i64 %69, 1
store i64 %70, i64* %7
%71 = load i64, i64* %7
%72 = load i32, i32* %6
%73 = zext i32 %72 to i64
%74 = shl i64 1, %73
%75 = and i64 %71, %74
%76 = icmp ne i64 %75, 0
br i1 %76, label %82, label %77
77: ; preds = %58
%78 = load i32, i32* %9
%79 = load i32, i32* %6
%80 = sub i32 %78, %79
%81 = add i32 %80, 1
store i32 %81, i32* %3
br label %86
82: ; preds = %58
%83 = load i32, i32* %9
%84 = add i32 %83, 1
store i32 %84, i32* %9
br label %51
85: ; preds = %51
store i32 -1, i32* %3
br label %86
86: ; preds = %85, %77
%87 = load i32, i32* %3
ret i32 %87
}

LLVM IR (-O2):
@str = [20 x i8] c"Pattern trop long !\00"
define i32 @shiftor(i8* nocapture %0, i8* %1) {
%3 = alloca [256 x i64]
%4 = bitcast [256 x i64]* %3 to i8*
%5 = tail call i32 @strlen(i8* %1)
%6 = icmp ugt i32 %5, 31
br i1 %6, label %9, label %7
7: ; preds = %2
%8 = icmp eq i32 %5, 0
br i1 %8, label %30, label %12
9: ; preds = %2
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @str, i64 0, i64 0))
%11 = tail call i32 @exit(i32 -1)
unreachable
12: ; preds = %7
%13 = zext i32 %5 to i64
%14 = and i64 %13, 1
%15 = icmp eq i32 %5, 1
br i1 %15, label %18, label %16
16: ; preds = %12
%17 = and i64 %13, 4294967294
br label %36
18: ; preds = %36, %12
%19 = phi i64 [ 0, %12 ], [ %56, %36 ]
%20 = icmp eq i64 %14, 0
br i1 %20, label %30, label %21
21: ; preds = %18
%22 = shl nuw i64 1, %19
%23 = xor i64 %22, -1
%24 = getelementptr inbounds i8, i8* %1, i64 %19
%25 = load i8, i8* %24
%26 = sext i8 %25 to i64
%27 = getelementptr inbounds [256 x i64], [256 x i64]* %3, i64 0, i64 %26
%28 = load i64, i64* %27
%29 = and i64 %28, %23
store i64 %29, i64* %27
br label %30
30: ; preds = %21, %18, %7
%31 = load i8, i8* %0
%32 = icmp eq i8 %31, 0
br i1 %32, label %79, label %33
33: ; preds = %30
%34 = zext i32 %5 to i64
%35 = shl nuw i64 1, %34
br label %59
36: ; preds = %36, %16
%37 = phi i64 [ 0, %16 ], [ %56, %36 ]
%38 = phi i64 [ 0, %16 ], [ %57, %36 ]
%39 = shl nuw i64 1, %37
%40 = xor i64 %39, -1
%41 = getelementptr inbounds i8, i8* %1, i64 %37
%42 = load i8, i8* %41
%43 = sext i8 %42 to i64
%44 = getelementptr inbounds [256 x i64], [256 x i64]* %3, i64 0, i64 %43
%45 = load i64, i64* %44
%46 = and i64 %45, %40
store i64 %46, i64* %44
%47 = or i64 %37, 1
%48 = shl nuw i64 1, %47
%49 = xor i64 %48, -1
%50 = getelementptr inbounds i8, i8* %1, i64 %47
%51 = load i8, i8* %50
%52 = sext i8 %51 to i64
%53 = getelementptr inbounds [256 x i64], [256 x i64]* %3, i64 0, i64 %52
%54 = load i64, i64* %53
%55 = and i64 %54, %49
store i64 %55, i64* %53
%56 = add nuw nsw i64 %37, 2
%57 = add i64 %38, 2
%58 = icmp eq i64 %57, %17
br i1 %58, label %18, label %36
59: ; preds = %33, %73
%60 = phi i8 [ %31, %33 ], [ %77, %73 ]
%61 = phi i32 [ 0, %33 ], [ %74, %73 ]
%62 = phi i64 [ -2, %33 ], [ %67, %73 ]
%63 = sext i8 %60 to i64
%64 = getelementptr inbounds [256 x i64], [256 x i64]* %3, i64 0, i64 %63
%65 = load i64, i64* %64
%66 = or i64 %65, %62
%67 = shl i64 %66, 1
%68 = and i64 %67, %35
%69 = icmp eq i64 %68, 0
br i1 %69, label %70, label %73
70: ; preds = %59
%71 = sub i32 1, %5
%72 = add i32 %71, %61
br label %79
73: ; preds = %59
%74 = add i32 %61, 1
%75 = zext i32 %74 to i64
%76 = getelementptr inbounds i8, i8* %0, i64 %75
%77 = load i8, i8* %76
%78 = icmp eq i8 %77, 0
br i1 %78, label %79, label %59
79: ; preds = %73, %30, %70
%80 = phi i32 [ %72, %70 ], [ -1, %30 ], [ -1, %73 ]
ret i32 %80
}