int a_contains_b(int *a, int n, int *b, int m) {
  int i, j, status;
  status = 0;
  for (i = 0; i < n; i += 1) {
    for (j = 0; j < m; j += 1) {
      if (a[i] == b[j]) {
        status = 1;
      }
    }
    if (status == 0) {
      return 0;
      break;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<a_contains_b>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    119e <a_contains_b+0x9e>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1175 <a_contains_b+0x75>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x20(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1162 <a_contains_b+0x62>
movl   $0x1,-0x30(%rbp)
jmp    1167 <a_contains_b+0x67>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1133 <a_contains_b+0x33>
cmpl   $0x0,-0x30(%rbp)
jne    118b <a_contains_b+0x8b>
movl   $0x0,-0x4(%rbp)
jmp    11a5 <a_contains_b+0xa5>
jmp    1190 <a_contains_b+0x90>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1120 <a_contains_b+0x20>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<a_contains_b>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %esi,%esi
jle    129a <a_contains_b+0x19a>
mov    %esi,%r8d
mov    %ecx,%r13d
mov    %r13d,%r9d
and    $0xfffffff8,%r9d
lea    -0x8(%r9),%r10
mov    %r10,%r11
shr    $0x3,%r11
add    $0x1,%r11
mov    %r11,%r14
and    $0xfffffffffffffffe,%r14
xor    %r15d,%r15d
mov    $0x1,%r12d
xor    %eax,%eax
test   %ecx,%ecx
jle    1270 <a_contains_b+0x170>
mov    (%rdi,%r15,4),%ebx
cmp    $0x8,%ecx
jae    1160 <a_contains_b+0x60>
xor    %esi,%esi
jmp    1260 <a_contains_b+0x160>
nopl   0x0(%rax,%rax,1)
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm2
movd   %ebx,%xmm1
pshufd $0x0,%xmm1,%xmm1
test   %r10,%r10
je     1288 <a_contains_b+0x188>
mov    %r14,%rsi
xor    %ebp,%ebp
movdqa %xmm2,%xmm5
movdqa %xmm2,%xmm4
nopl   0x0(%rax,%rax,1)
movdqu (%rdx,%rbp,4),%xmm2
movdqu 0x10(%rdx,%rbp,4),%xmm3
movdqu 0x20(%rdx,%rbp,4),%xmm6
movdqu 0x30(%rdx,%rbp,4),%xmm7
pcmpeqd %xmm1,%xmm2
pcmpeqd %xmm1,%xmm3
pcmpeqd %xmm1,%xmm6
por    %xmm2,%xmm6
pcmpeqd %xmm1,%xmm7
por    %xmm3,%xmm7
movdqa %xmm6,%xmm2
pandn  %xmm5,%xmm2
psubd  %xmm6,%xmm2
movdqa %xmm7,%xmm3
pandn  %xmm4,%xmm3
psubd  %xmm7,%xmm3
add    $0x10,%rbp
movdqa %xmm2,%xmm5
movdqa %xmm3,%xmm4
add    $0xfffffffffffffffe,%rsi
jne    1190 <a_contains_b+0x90>
test   $0x1,%r11b
je     1222 <a_contains_b+0x122>
movdqu (%rdx,%rbp,4),%xmm4
movdqu 0x10(%rdx,%rbp,4),%xmm5
pcmpeqd %xmm1,%xmm4
pcmpeqd %xmm1,%xmm5
movdqa %xmm4,%xmm1
pandn  %xmm2,%xmm1
psubd  %xmm4,%xmm1
movdqa %xmm5,%xmm4
pandn  %xmm3,%xmm4
psubd  %xmm5,%xmm4
movdqa %xmm1,%xmm2
movdqa %xmm4,%xmm3
pshufd $0x0,%xmm0,%xmm0
movdqa %xmm2,%xmm1
pcmpeqd %xmm0,%xmm1
pand   %xmm1,%xmm3
pandn  %xmm2,%xmm1
por    %xmm3,%xmm1
pcmpeqd %xmm0,%xmm1
movmskps %xmm1,%esi
cmp    $0xf,%esi
cmovne %r12d,%eax
mov    %r9,%rsi
cmp    %r13,%r9
je     1270 <a_contains_b+0x170>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    (%rdx,%rsi,4),%ebx
cmove  %r12d,%eax
add    $0x1,%rsi
cmp    %rsi,%r13
jne    1260 <a_contains_b+0x160>
test   %eax,%eax
je     12a1 <a_contains_b+0x1a1>
add    $0x1,%r15
mov    $0x1,%eax
cmp    %r8,%r15
jne    1140 <a_contains_b+0x40>
jmp    12a3 <a_contains_b+0x1a3>
xor    %ebp,%ebp
movdqa %xmm2,%xmm3
test   $0x1,%r11b
jne    11ef <a_contains_b+0xef>
jmp    1222 <a_contains_b+0x122>
mov    $0x1,%eax
jmp    12a3 <a_contains_b+0x1a3>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @a_contains_b(i32* nocapture %0, i32 %1, i32* nocapture %2, i32 %3) {
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %111
6: ; preds = %4
%7 = icmp sgt i32 %3, 0
%8 = zext i32 %1 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 %23
21: ; preds = %107
%22 = icmp eq i64 %110, %8
br i1 %22, label %111, label %23
23: ; preds = %6, %21
%24 = phi i64 [ 0, %6 ], [ %110, %21 ]
%25 = phi i32 [ 0, %6 ], [ 1, %21 ]
br i1 %7, label %26, label %107
26: ; preds = %23
%27 = getelementptr inbounds i32, i32* %0, i64 %24
%28 = load i32, i32* %27
br i1 %14, label %95, label %29
29: ; preds = %26
%30 = insertelement <4 x i32> poison, i32 %25, i64 0
%31 = shufflevector <4 x i32> %30, <4 x i32> poison, <4 x i32> zeroinitializer
%32 = insertelement <4 x i32> poison, i32 %28, i64 0
%33 = shufflevector <4 x i32> %32, <4 x i32> poison, <4 x i32> zeroinitializer
%34 = insertelement <4 x i32> poison, i32 %28, i64 0
%35 = shufflevector <4 x i32> %34, <4 x i32> poison, <4 x i32> zeroinitializer
br i1 %17, label %65, label %36
36: ; preds = %29, %36
%37 = phi i64 [ %62, %36 ], [ 0, %29 ]
%38 = phi <4 x i32> [ %59, %36 ], [ %31, %29 ]
%39 = phi <4 x i32> [ %61, %36 ], [ %31, %29 ]
%40 = phi i64 [ %63, %36 ], [ 0, %29 ]
%41 = getelementptr inbounds i32, i32* %2, i64 %37
%42 = bitcast i32* %41 to <4 x i32>*
%43 = load <4 x i32>, <4 x i32>* %42
%44 = getelementptr inbounds i32, i32* %41, i64 4
%45 = bitcast i32* %44 to <4 x i32>*
%46 = load <4 x i32>, <4 x i32>* %45
%47 = icmp eq <4 x i32> %33, %43
%48 = icmp eq <4 x i32> %35, %46
%49 = or i64 %37, 8
%50 = getelementptr inbounds i32, i32* %2, i64 %49
%51 = bitcast i32* %50 to <4 x i32>*
%52 = load <4 x i32>, <4 x i32>* %51
%53 = getelementptr inbounds i32, i32* %50, i64 4
%54 = bitcast i32* %53 to <4 x i32>*
%55 = load <4 x i32>, <4 x i32>* %54
%56 = icmp eq <4 x i32> %33, %52
%57 = icmp eq <4 x i32> %35, %55
%58 = select <4 x i1> %56, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %47
%59 = select <4 x i1> %58, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %38
%60 = select <4 x i1> %57, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i1> %48
%61 = select <4 x i1> %60, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %39
%62 = add nuw i64 %37, 16
%63 = add i64 %40, 2
%64 = icmp eq i64 %63, %18
br i1 %64, label %65, label %36
65: ; preds = %36, %29
%66 = phi <4 x i32> [ undef, %29 ], [ %59, %36 ]
%67 = phi <4 x i32> [ undef, %29 ], [ %61, %36 ]
%68 = phi i64 [ 0, %29 ], [ %62, %36 ]
%69 = phi <4 x i32> [ %31, %29 ], [ %59, %36 ]
%70 = phi <4 x i32> [ %31, %29 ], [ %61, %36 ]
br i1 %19, label %82, label %71
71: ; preds = %65
%72 = getelementptr inbounds i32, i32* %2, i64 %68
%73 = bitcast i32* %72 to <4 x i32>*
%74 = load <4 x i32>, <4 x i32>* %73
%75 = getelementptr inbounds i32, i32* %72, i64 4
%76 = bitcast i32* %75 to <4 x i32>*
%77 = load <4 x i32>, <4 x i32>* %76
%78 = icmp eq <4 x i32> %33, %74
%79 = icmp eq <4 x i32> %35, %77
%80 = select <4 x i1> %78, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %69
%81 = select <4 x i1> %79, <4 x i32> <i32 1, i32 1, i32 1, i32 1>, <4 x i32> %70
br label %82
82: ; preds = %65, %71
%83 = phi <4 x i32> [ %66, %65 ], [ %80, %71 ]
%84 = phi <4 x i32> [ %67, %65 ], [ %81, %71 ]
%85 = insertelement <4 x i32> poison, i32 %25, i64 0
%86 = shufflevector <4 x i32> %85, <4 x i32> poison, <4 x i32> zeroinitializer
%87 = icmp eq <4 x i32> %83, %86
%88 = select <4 x i1> %87, <4 x i32> %84, <4 x i32> %83
%89 = insertelement <4 x i32> poison, i32 %25, i64 0
%90 = shufflevector <4 x i32> %89, <4 x i32> poison, <4 x i32> zeroinitializer
%91 = icmp ne <4 x i32> %88, %90
%92 = bitcast <4 x i1> %91 to i4
%93 = icmp eq i4 %92, 0
%94 = select i1 %93, i32 %25, i32 1
br i1 %20, label %107, label %95
95: ; preds = %26, %82
%96 = phi i64 [ 0, %26 ], [ %15, %82 ]
%97 = phi i32 [ %25, %26 ], [ %94, %82 ]
br label %98
98: ; preds = %95, %98
%99 = phi i64 [ %105, %98 ], [ %96, %95 ]
%100 = phi i32 [ %104, %98 ], [ %97, %95 ]
%101 = getelementptr inbounds i32, i32* %2, i64 %99
%102 = load i32, i32* %101
%103 = icmp eq i32 %28, %102
%104 = select i1 %103, i32 1, i32 %100
%105 = add nuw nsw i64 %99, 1
%106 = icmp eq i64 %105, %9
br i1 %106, label %107, label %98
107: ; preds = %98, %82, %23
%108 = phi i32 [ %25, %23 ], [ %94, %82 ], [ %104, %98 ]
%109 = icmp eq i32 %108, 0
%110 = add nuw nsw i64 %24, 1
br i1 %109, label %111, label %21
111: ; preds = %107, %21, %4
%112 = phi i32 [ 1, %4 ], [ 1, %21 ], [ 0, %107 ]
ret i32 %112
}