int contains(unsigned char *haystack, int h_length, unsigned char *needle,
             int n_length) {
  int offset = 0;
  int i;
  while (offset < h_length - n_length) {
    int found = 0;
    for (i = 0; i < n_length; i++) {
      if (haystack[offset + i] == needle[i]) {
        found++;
      }
    }
    if (found == n_length) {
      ;
      return 1;
    }
    offset++;
  }
  return 0;
}


x86 assembly (clang, -O0):
<contains>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    -0x24(%rbp),%ecx
cmp    %ecx,%eax
jge    11ab <contains+0xab>
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1185 <contains+0x85>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1172 <contains+0x72>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1177 <contains+0x77>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1138 <contains+0x38>
mov    -0x30(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    119d <contains+0x9d>
movl   $0x1,-0x4(%rbp)
jmp    11b2 <contains+0xb2>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1119 <contains+0x19>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<contains>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    %ecx,%esi
xor    %eax,%eax
test   %esi,%esi
cmovle %eax,%esi
mov    %ecx,%r8d
mov    %r8d,%r9d
and    $0xfffffff8,%r9d
lea    -0x8(%r9),%r10
mov    %r10,%r11
shr    $0x3,%r11
add    $0x1,%r11
mov    %r11,%rax
and    $0xfffffffffffffffe,%rax
mov    %rax,-0x8(%rsp)
lea    0xc(%rdi),%r13
movdqa 0xebc(%rip),%xmm0
mov    %rdi,%r15
xor    %r12d,%r12d
jmp    1166 <contains+0x66>
nopl   0x0(%rax)
xor    %ebx,%ebx
add    $0x1,%r12
add    $0x1,%r13
add    $0x1,%r15
cmp    %ecx,%ebx
je     12e0 <contains+0x1e0>
cmp    %rsi,%r12
je     12e7 <contains+0x1e7>
test   %ecx,%ecx
jle    1150 <contains+0x50>
cmp    $0x8,%ecx
jae    1190 <contains+0x90>
xor    %ebp,%ebp
xor    %ebx,%ebx
jmp    12b0 <contains+0x1b0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
pxor   %xmm1,%xmm1
test   %r10,%r10
je     12ce <contains+0x1ce>
mov    -0x8(%rsp),%rbp
xor    %ebx,%ebx
pxor   %xmm2,%xmm2
nopl   0x0(%rax,%rax,1)
movd   -0xc(%r13,%rbx,1),%xmm4
movd   -0x8(%r13,%rbx,1),%xmm5
movd   (%rdx,%rbx,1),%xmm3
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movd   0x4(%rdx,%rbx,1),%xmm4
pcmpeqb %xmm5,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm0,%xmm3
paddd  %xmm1,%xmm3
pand   %xmm0,%xmm4
paddd  %xmm2,%xmm4
movd   -0x4(%r13,%rbx,1),%xmm2
movd   0x0(%r13,%rbx,1),%xmm5
movd   0x8(%rdx,%rbx,1),%xmm1
pcmpeqb %xmm2,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
movd   0xc(%rdx,%rbx,1),%xmm2
pcmpeqb %xmm5,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm0,%xmm1
paddd  %xmm3,%xmm1
pand   %xmm0,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rbp
jne    11b0 <contains+0xb0>
test   $0x1,%r11b
je     1289 <contains+0x189>
lea    (%rbx,%r12,1),%rbp
movd   (%rdi,%rbp,1),%xmm3
movd   0x4(%rdi,%rbp,1),%xmm4
movd   (%rdx,%rbx,1),%xmm5
pcmpeqb %xmm3,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
movd   0x4(%rdx,%rbx,1),%xmm3
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
pand   %xmm0,%xmm5
paddd  %xmm5,%xmm1
pand   %xmm0,%xmm3
paddd  %xmm3,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm2
paddd  %xmm1,%xmm2
pshufd $0x55,%xmm2,%xmm1
paddd  %xmm2,%xmm1
movd   %xmm1,%ebx
mov    %r9,%rbp
cmp    %r8,%r9
je     1152 <contains+0x52>
nop
movzbl (%r15,%rbp,1),%r14d
xor    %eax,%eax
cmp    (%rdx,%rbp,1),%r14b
sete   %al
add    %eax,%ebx
add    $0x1,%rbp
cmp    %rbp,%r8
jne    12b0 <contains+0x1b0>
jmp    1152 <contains+0x52>
xor    %ebx,%ebx
pxor   %xmm2,%xmm2
test   $0x1,%r11b
jne    1247 <contains+0x147>
jmp    1289 <contains+0x189>
mov    $0x1,%eax
jmp    12e9 <contains+0x1e9>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @contains(i8* %0, i32 %1, i8* %2, i32 %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
store i8* %0, i8** %6
store i32 %1, i32* %7
store i8* %2, i8** %8
store i32 %3, i32* %9
store i32 0, i32* %10
br label %13
13: ; preds = %52, %4
%14 = load i32, i32* %10
%15 = load i32, i32* %7
%16 = load i32, i32* %9
%17 = sub nsw i32 %15, %16
%18 = icmp slt i32 %14, %17
br i1 %18, label %19, label %55
19: ; preds = %13
store i32 0, i32* %12
store i32 0, i32* %11
br label %20
20: ; preds = %44, %19
%21 = load i32, i32* %11
%22 = load i32, i32* %9
%23 = icmp slt i32 %21, %22
br i1 %23, label %24, label %47
24: ; preds = %20
%25 = load i8*, i8** %6
%26 = load i32, i32* %10
%27 = load i32, i32* %11
%28 = add nsw i32 %26, %27
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %25, i64 %29
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = load i8*, i8** %8
%34 = load i32, i32* %11
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
%37 = load i8, i8* %36
%38 = zext i8 %37 to i32
%39 = icmp eq i32 %32, %38
br i1 %39, label %40, label %43
40: ; preds = %24
%41 = load i32, i32* %12
%42 = add nsw i32 %41, 1
store i32 %42, i32* %12
br label %43
43: ; preds = %40, %24
br label %44
44: ; preds = %43
%45 = load i32, i32* %11
%46 = add nsw i32 %45, 1
store i32 %46, i32* %11
br label %20
47: ; preds = %20
%48 = load i32, i32* %12
%49 = load i32, i32* %9
%50 = icmp eq i32 %48, %49
br i1 %50, label %51, label %52
51: ; preds = %47
store i32 1, i32* %5
br label %56
52: ; preds = %47
%53 = load i32, i32* %10
%54 = add nsw i32 %53, 1
store i32 %54, i32* %10
br label %13
55: ; preds = %13
store i32 0, i32* %5
br label %56
56: ; preds = %55, %51
%57 = load i32, i32* %5
ret i32 %57
}

LLVM IR (-O2):
define i32 @contains(i8* nocapture %0, i32 %1, i8* nocapture %2, i32 %3) {
%5 = sub i32 %1, %3
%6 = icmp sgt i32 %3, 0
%7 = call i32 @llvm.smax.i32(i32 %5, i32 0)
%8 = zext i32 %7 to i64
%9 = zext i32 %3 to i64
%10 = and i64 %9, 4294967288
%11 = add nsw i64 %10, -8
%12 = lshr exact i64 %11, 3
%13 = add nuw nsw i64 %12, 1
%14 = icmp ult i32 %3, 8
%15 = and i64 %9, 4294967288
%16 = and i64 %13, 1
%17 = icmp eq i64 %11, 0
%18 = and i64 %13, 4611686018427387902
%19 = icmp eq i64 %16, 0
%20 = icmp eq i64 %15, %9
br label %21
21: ; preds = %121, %4
%22 = phi i64 [ %124, %121 ], [ 0, %4 ]
%23 = icmp eq i64 %22, %8
br i1 %23, label %125, label %24
24: ; preds = %21
br i1 %6, label %25, label %121
25: ; preds = %24
br i1 %14, label %105, label %26
26: ; preds = %25
br i1 %17, label %74, label %27
27: ; preds = %26, %27
%28 = phi i64 [ %71, %27 ], [ 0, %26 ]
%29 = phi <4 x i32> [ %69, %27 ], [ zeroinitializer, %26 ]
%30 = phi <4 x i32> [ %70, %27 ], [ zeroinitializer, %26 ]
%31 = phi i64 [ %72, %27 ], [ 0, %26 ]
%32 = add nuw nsw i64 %28, %22
%33 = getelementptr inbounds i8, i8* %0, i64 %32
%34 = bitcast i8* %33 to <4 x i8>*
%35 = load <4 x i8>, <4 x i8>* %34
%36 = getelementptr inbounds i8, i8* %33, i64 4
%37 = bitcast i8* %36 to <4 x i8>*
%38 = load <4 x i8>, <4 x i8>* %37
%39 = getelementptr inbounds i8, i8* %2, i64 %28
%40 = bitcast i8* %39 to <4 x i8>*
%41 = load <4 x i8>, <4 x i8>* %40
%42 = getelementptr inbounds i8, i8* %39, i64 4
%43 = bitcast i8* %42 to <4 x i8>*
%44 = load <4 x i8>, <4 x i8>* %43
%45 = icmp eq <4 x i8> %35, %41
%46 = icmp eq <4 x i8> %38, %44
%47 = zext <4 x i1> %45 to <4 x i32>
%48 = zext <4 x i1> %46 to <4 x i32>
%49 = add <4 x i32> %29, %47
%50 = add <4 x i32> %30, %48
%51 = or i64 %28, 8
%52 = add nuw nsw i64 %51, %22
%53 = getelementptr inbounds i8, i8* %0, i64 %52
%54 = bitcast i8* %53 to <4 x i8>*
%55 = load <4 x i8>, <4 x i8>* %54
%56 = getelementptr inbounds i8, i8* %53, i64 4
%57 = bitcast i8* %56 to <4 x i8>*
%58 = load <4 x i8>, <4 x i8>* %57
%59 = getelementptr inbounds i8, i8* %2, i64 %51
%60 = bitcast i8* %59 to <4 x i8>*
%61 = load <4 x i8>, <4 x i8>* %60
%62 = getelementptr inbounds i8, i8* %59, i64 4
%63 = bitcast i8* %62 to <4 x i8>*
%64 = load <4 x i8>, <4 x i8>* %63
%65 = icmp eq <4 x i8> %55, %61
%66 = icmp eq <4 x i8> %58, %64
%67 = zext <4 x i1> %65 to <4 x i32>
%68 = zext <4 x i1> %66 to <4 x i32>
%69 = add <4 x i32> %49, %67
%70 = add <4 x i32> %50, %68
%71 = add nuw i64 %28, 16
%72 = add i64 %31, 2
%73 = icmp eq i64 %72, %18
br i1 %73, label %74, label %27
74: ; preds = %27, %26
%75 = phi <4 x i32> [ undef, %26 ], [ %69, %27 ]
%76 = phi <4 x i32> [ undef, %26 ], [ %70, %27 ]
%77 = phi i64 [ 0, %26 ], [ %71, %27 ]
%78 = phi <4 x i32> [ zeroinitializer, %26 ], [ %69, %27 ]
%79 = phi <4 x i32> [ zeroinitializer, %26 ], [ %70, %27 ]
br i1 %19, label %100, label %80
80: ; preds = %74
%81 = add nuw nsw i64 %77, %22
%82 = getelementptr inbounds i8, i8* %0, i64 %81
%83 = bitcast i8* %82 to <4 x i8>*
%84 = load <4 x i8>, <4 x i8>* %83
%85 = getelementptr inbounds i8, i8* %82, i64 4
%86 = bitcast i8* %85 to <4 x i8>*
%87 = load <4 x i8>, <4 x i8>* %86
%88 = getelementptr inbounds i8, i8* %2, i64 %77
%89 = bitcast i8* %88 to <4 x i8>*
%90 = load <4 x i8>, <4 x i8>* %89
%91 = getelementptr inbounds i8, i8* %88, i64 4
%92 = bitcast i8* %91 to <4 x i8>*
%93 = load <4 x i8>, <4 x i8>* %92
%94 = icmp eq <4 x i8> %84, %90
%95 = icmp eq <4 x i8> %87, %93
%96 = zext <4 x i1> %94 to <4 x i32>
%97 = zext <4 x i1> %95 to <4 x i32>
%98 = add <4 x i32> %78, %96
%99 = add <4 x i32> %79, %97
br label %100
100: ; preds = %74, %80
%101 = phi <4 x i32> [ %75, %74 ], [ %98, %80 ]
%102 = phi <4 x i32> [ %76, %74 ], [ %99, %80 ]
%103 = add <4 x i32> %102, %101
%104 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %103)
br i1 %20, label %121, label %105
105: ; preds = %25, %100
%106 = phi i64 [ 0, %25 ], [ %15, %100 ]
%107 = phi i32 [ 0, %25 ], [ %104, %100 ]
br label %108
108: ; preds = %105, %108
%109 = phi i64 [ %119, %108 ], [ %106, %105 ]
%110 = phi i32 [ %118, %108 ], [ %107, %105 ]
%111 = add nuw nsw i64 %109, %22
%112 = getelementptr inbounds i8, i8* %0, i64 %111
%113 = load i8, i8* %112
%114 = getelementptr inbounds i8, i8* %2, i64 %109
%115 = load i8, i8* %114
%116 = icmp eq i8 %113, %115
%117 = zext i1 %116 to i32
%118 = add nuw nsw i32 %110, %117
%119 = add nuw nsw i64 %109, 1
%120 = icmp eq i64 %119, %9
br i1 %120, label %121, label %108
121: ; preds = %108, %100, %24
%122 = phi i32 [ 0, %24 ], [ %104, %100 ], [ %118, %108 ]
%123 = icmp eq i32 %122, %3
%124 = add nuw nsw i64 %22, 1
br i1 %123, label %125, label %21
125: ; preds = %21, %121
%126 = phi i32 [ 1, %121 ], [ 0, %21 ]
ret i32 %126
}