int check_types(int *nums, int *sets, int num_elem) {
  int ndx[] = {0, 1, 2, 3, 4, 5};
  int flag;
  int offset = 0;
  for (int set = 0; set < 6; set++) {
    flag = 0;
    for (int i = 0; i < num_elem; i++) {
      offset = set * num_elem + i;
      for (int n = 0; n < 6; n++) {
        if (nums[n] == sets[offset]) {
          flag = 1;
          break;
        }
      }
      if (flag == 1)
        break;
    }
    if (flag == 0)
      return 0;
  }
  for (int n = 0; n < 6; n++) {
    flag = 0;
    for (int set = 0; set < 6; set++) {
      for (int i = 0; i < num_elem; i++) {
        offset = set * num_elem + i;
        if (nums[n] == sets[offset]) {
          flag = 1;
          break;
        }
      }
      if (flag == 1)
        break;
    }
    if (flag == 0)
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<check_types>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    0xeea(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xee7(%rip),%rax
mov    %rax,-0x38(%rbp)
mov    0xee4(%rip),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
cmpl   $0x6,-0x4c(%rbp)
jge    1206 <check_types+0x106>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11dd <check_types+0xdd>
mov    -0x4c(%rbp),%eax
imul   -0x1c(%rbp),%eax
add    -0x50(%rbp),%eax
mov    %eax,-0x48(%rbp)
movl   $0x0,-0x54(%rbp)
cmpl   $0x6,-0x54(%rbp)
jge    11bb <check_types+0xbb>
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x48(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    11a8 <check_types+0xa8>
movl   $0x1,-0x44(%rbp)
jmp    11bb <check_types+0xbb>
jmp    11ad <check_types+0xad>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    1176 <check_types+0x76>
cmpl   $0x1,-0x44(%rbp)
jne    11ca <check_types+0xca>
jmp    11dd <check_types+0xdd>
jmp    11cf <check_types+0xcf>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    1156 <check_types+0x56>
cmpl   $0x0,-0x44(%rbp)
jne    11f3 <check_types+0xf3>
movl   $0x0,-0x4(%rbp)
jmp    12dc <check_types+0x1dc>
jmp    11f8 <check_types+0xf8>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    113e <check_types+0x3e>
movl   $0x0,-0x58(%rbp)
cmpl   $0x6,-0x58(%rbp)
jge    12d5 <check_types+0x1d5>
movl   $0x0,-0x44(%rbp)
movl   $0x0,-0x5c(%rbp)
cmpl   $0x6,-0x5c(%rbp)
jge    12ac <check_types+0x1ac>
movl   $0x0,-0x60(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    128a <check_types+0x18a>
mov    -0x5c(%rbp),%eax
imul   -0x1c(%rbp),%eax
add    -0x60(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x18(%rbp),%rcx
movslq -0x48(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1277 <check_types+0x177>
movl   $0x1,-0x44(%rbp)
jmp    128a <check_types+0x18a>
jmp    127c <check_types+0x17c>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    1236 <check_types+0x136>
cmpl   $0x1,-0x44(%rbp)
jne    1299 <check_types+0x199>
jmp    12ac <check_types+0x1ac>
jmp    129e <check_types+0x19e>
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1225 <check_types+0x125>
cmpl   $0x0,-0x44(%rbp)
jne    12c2 <check_types+0x1c2>
movl   $0x0,-0x4(%rbp)
jmp    12dc <check_types+0x1dc>
jmp    12c7 <check_types+0x1c7>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    120d <check_types+0x10d>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_types>:
push   %rbp
push   %r15
push   %r14
push   %rbx
movslq %edx,%r8
mov    %r8d,%ecx
lea    0x0(,%r8,4),%r9
mov    $0x1,%r10b
xor    %eax,%eax
mov    %rsi,%r15
xor    %r11d,%r11d
jmp    1148 <check_types+0x48>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x5,%r11
lea    0x1(%r11),%rbx
setb   %r10b
add    %r9,%r15
mov    %rbx,%r11
cmp    $0x6,%rbx
je     1195 <check_types+0x95>
test   %edx,%edx
jle    12ad <check_types+0x1ad>
mov    (%rdi),%r14d
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%r15,%rbp,4),%ebx
cmp    %ebx,%r14d
je     1130 <check_types+0x30>
cmp    %ebx,0x4(%rdi)
je     1130 <check_types+0x30>
cmp    %ebx,0x8(%rdi)
je     1130 <check_types+0x30>
cmp    %ebx,0xc(%rdi)
je     1130 <check_types+0x30>
cmp    %ebx,0x10(%rdi)
je     1130 <check_types+0x30>
cmp    %ebx,0x14(%rdi)
je     1130 <check_types+0x30>
add    $0x1,%rbp
cmp    %rbp,%rcx
jne    1160 <check_types+0x60>
test   $0x1,%r10b
jne    12ad <check_types+0x1ad>
lea    (%rsi,%r8,4),%rax
lea    (%rsi,%r8,8),%r9
lea    (%r8,%r8,2),%rbp
lea    (%rsi,%rbp,4),%r10
mov    %r8,%r11
shl    $0x4,%r11
add    %rsi,%r11
lea    (%r8,%r8,4),%rbp
lea    (%rsi,%rbp,4),%r14
mov    $0x1,%r8b
xor    %r15d,%r15d
jmp    11d9 <check_types+0xd9>
nop
cmp    $0x5,%r15
lea    0x1(%r15),%rbx
setb   %r8b
mov    %rbx,%r15
cmp    $0x6,%rbx
je     12a3 <check_types+0x1a3>
test   %edx,%edx
jle    12a3 <check_types+0x1a3>
mov    (%rdi,%r15,4),%ebp
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
cmp    (%rsi,%rbx,4),%ebp
je     11c0 <check_types+0xc0>
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    11f0 <check_types+0xf0>
test   %edx,%edx
jle    12a3 <check_types+0x1a3>
mov    (%rdi,%r15,4),%ebp
xor    %ebx,%ebx
nopl   0x0(%rax)
cmp    (%rax,%rbx,4),%ebp
je     11c0 <check_types+0xc0>
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1210 <check_types+0x110>
test   %edx,%edx
jle    12a3 <check_types+0x1a3>
mov    (%rdi,%r15,4),%ebp
xor    %ebx,%ebx
nopl   0x0(%rax)
cmp    (%r9,%rbx,4),%ebp
je     11c0 <check_types+0xc0>
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1230 <check_types+0x130>
test   %edx,%edx
jle    12a3 <check_types+0x1a3>
mov    (%rdi,%r15,4),%ebp
xor    %ebx,%ebx
nopl   0x0(%rax)
cmp    (%r10,%rbx,4),%ebp
je     11c0 <check_types+0xc0>
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1250 <check_types+0x150>
test   %edx,%edx
jle    12a3 <check_types+0x1a3>
mov    (%rdi,%r15,4),%ebp
xor    %ebx,%ebx
nopl   (%rax)
cmp    (%r11,%rbx,4),%ebp
je     11c0 <check_types+0xc0>
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1270 <check_types+0x170>
test   %edx,%edx
jle    12a3 <check_types+0x1a3>
mov    (%rdi,%r15,4),%ebp
xor    %ebx,%ebx
nopl   (%rax)
cmp    (%r14,%rbx,4),%ebp
je     11c0 <check_types+0xc0>
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1290 <check_types+0x190>
not    %r8b
movzbl %r8b,%eax
and    $0x1,%eax
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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