int verificar(int *v, int t, int ft, int p[][t]) {
  for (int i = 0; i < ft; i++) {
    int c = 0;
    for (int j = 0; j < t; j++) {
      if (p[i][j] == v[j])
        c++;
    }
    if (c == t)
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<verificar>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x14(%rbp),%eax
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    11bc <verificar+0xbc>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1191 <verificar+0x91>
mov    -0x38(%rbp),%rdx
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    117e <verificar+0x7e>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1183 <verificar+0x83>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    113a <verificar+0x3a>
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    11a9 <verificar+0xa9>
movl   $0x1,-0x4(%rbp)
jmp    11c3 <verificar+0xc3>
jmp    11ae <verificar+0xae>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1120 <verificar+0x20>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<verificar>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edx,%edx
jle    12af <verificar+0x1af>
mov    %esi,%r8d
mov    %edx,%r14d
mov    %r8d,%r9d
and    $0xfffffff8,%r9d
lea    -0x8(%r9),%rax
mov    %rax,-0x8(%rsp)
mov    %rax,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
mov    %rdx,%rax
mov    %rdx,-0x10(%rsp)
and    $0xfffffffffffffffe,%rdx
mov    %rdx,-0x18(%rsp)
lea    0x30(%rcx),%rbx
lea    0x0(,%r8,4),%r15
mov    $0x1,%r12b
xor    %r13d,%r13d
mov    %rcx,-0x20(%rsp)
mov    %rcx,%r10
xchg   %ax,%ax
mov    $0x0,%edx
test   %esi,%esi
jle    1278 <verificar+0x178>
cmp    $0x8,%esi
jae    1180 <verificar+0x80>
xor    %ecx,%ecx
xor    %edx,%edx
jmp    1260 <verificar+0x160>
nopl   0x0(%rax,%rax,1)
cmpq   $0x0,-0x8(%rsp)
je     1298 <verificar+0x198>
pxor   %xmm0,%xmm0
mov    -0x18(%rsp),%r11
xor    %edx,%edx
pxor   %xmm1,%xmm1
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rbx,%rdx,4),%xmm2
movdqu -0x20(%rbx,%rdx,4),%xmm3
movdqu -0x10(%rbx,%rdx,4),%xmm4
movdqu (%rbx,%rdx,4),%xmm5
movdqu (%rdi,%rdx,4),%xmm6
pcmpeqd %xmm2,%xmm6
psubd  %xmm6,%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm2
pcmpeqd %xmm3,%xmm2
psubd  %xmm2,%xmm1
movdqu 0x20(%rdi,%rdx,4),%xmm2
pcmpeqd %xmm4,%xmm2
psubd  %xmm2,%xmm0
movdqu 0x30(%rdi,%rdx,4),%xmm2
pcmpeqd %xmm5,%xmm2
psubd  %xmm2,%xmm1
add    $0x10,%rdx
add    $0xfffffffffffffffe,%r11
jne    11a0 <verificar+0xa0>
testb  $0x1,-0x10(%rsp)
je     1235 <verificar+0x135>
mov    %r13,%rcx
imul   %r8,%rcx
mov    -0x20(%rsp),%rax
lea    (%rax,%rcx,4),%rcx
movdqu (%rcx,%rdx,4),%xmm2
movdqu 0x10(%rcx,%rdx,4),%xmm3
movdqu (%rdi,%rdx,4),%xmm4
pcmpeqd %xmm2,%xmm4
psubd  %xmm4,%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm2
pcmpeqd %xmm3,%xmm2
psubd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edx
mov    %r9,%rcx
cmp    %r8,%r9
je     1278 <verificar+0x178>
nopw   0x0(%rax,%rax,1)
mov    (%r10,%rcx,4),%eax
xor    %ebp,%ebp
cmp    (%rdi,%rcx,4),%eax
sete   %bpl
add    %ebp,%edx
add    $0x1,%rcx
cmp    %rcx,%r8
jne    1260 <verificar+0x160>
cmp    %esi,%edx
je     12b2 <verificar+0x1b2>
add    $0x1,%r13
cmp    %r14,%r13
setb   %r12b
add    %r15,%rbx
add    %r15,%r10
cmp    %r14,%r13
jne    1160 <verificar+0x60>
jmp    12b2 <verificar+0x1b2>
pxor   %xmm0,%xmm0
xor    %edx,%edx
pxor   %xmm1,%xmm1
testb  $0x1,-0x10(%rsp)
jne    11ff <verificar+0xff>
jmp    1235 <verificar+0x135>
xor    %r12d,%r12d
movzbl %r12b,%eax
and    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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