#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*/ subset(int *, int, int *, int);
int test_subset() {
  int a[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
  int b[5] = {-1};
  subset(a, 10, b, 5);
  int shuffled = 0;
  for (int i = 0; i < 5; i++) {
    int found = 0;
    for (int j = 0; j < 10; j++) {
      if (b[i] == a[j]) {
        found = 1;
        shuffled += j != i;
        break;
      }
    }
    if (!found)
      return 0;
  }
  return shuffled > 0;
}


x86 assembly (clang, -O0):
<test_subset>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
lea    -0x30(%rbp),%rdi
lea    0xecd(%rip),%rsi
mov    $0x28,%edx
call   1040 <memcpy@plt>
mov    0xeec(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xee9(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xee7(%rip),%eax
mov    %eax,-0x40(%rbp)
lea    -0x30(%rbp),%rdi
lea    -0x50(%rbp),%rdx
mov    $0xa,%esi
mov    $0x5,%ecx
call   1030 <subset@plt>
movl   $0x0,-0x54(%rbp)
movl   $0x0,-0x58(%rbp)
cmpl   $0x5,-0x58(%rbp)
jge    1215 <test_subset+0xf5>
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
cmpl   $0xa,-0x60(%rbp)
jge    11ec <test_subset+0xcc>
movslq -0x58(%rbp),%rax
mov    -0x50(%rbp,%rax,4),%eax
movslq -0x60(%rbp),%rcx
cmp    -0x30(%rbp,%rcx,4),%eax
jne    11d9 <test_subset+0xb9>
movl   $0x1,-0x5c(%rbp)
mov    -0x60(%rbp),%eax
cmp    -0x58(%rbp),%eax
setne  %al
and    $0x1,%al
movzbl %al,%eax
add    -0x54(%rbp),%eax
mov    %eax,-0x54(%rbp)
jmp    11ec <test_subset+0xcc>
jmp    11de <test_subset+0xbe>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    1199 <test_subset+0x79>
cmpl   $0x0,-0x5c(%rbp)
jne    1202 <test_subset+0xe2>
movl   $0x0,-0x4(%rbp)
jmp    1224 <test_subset+0x104>
jmp    1207 <test_subset+0xe7>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1181 <test_subset+0x61>
cmpl   $0x0,-0x54(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_subset>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x50,%rsp
mov    0xefd(%rip),%rax
mov    %rax,0x40(%rsp)
movaps 0xee1(%rip),%xmm0
movaps %xmm0,0x30(%rsp)
movaps 0xec5(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
mov    0xefa(%rip),%eax
mov    %eax,0x10(%rsp)
movaps 0xedf(%rip),%xmm0
movaps %xmm0,(%rsp)
lea    0x20(%rsp),%rdi
mov    %rsp,%rdx
mov    $0xa,%esi
mov    $0x5,%ecx
call   1030 <subset@plt>
mov    0x20(%rsp),%ebp
mov    0x24(%rsp),%ebx
mov    0x28(%rsp),%edi
mov    0x2c(%rsp),%r12d
mov    0x30(%rsp),%r15d
mov    0x34(%rsp),%r14d
mov    0x38(%rsp),%r11d
mov    0x3c(%rsp),%r10d
mov    0x40(%rsp),%r9d
mov    0x44(%rsp),%r8d
mov    (%rsp),%ecx
xor    %esi,%esi
cmp    %ebp,%ecx
jne    11fd <test_subset+0xed>
mov    0x4(%rsp),%ecx
mov    $0x1,%edx
cmp    %ebp,%ecx
je     11bb <test_subset+0xab>
xor    %edx,%edx
cmp    %ebx,%ecx
jne    12f7 <test_subset+0x1e7>
add    %edx,%esi
mov    0x8(%rsp),%ecx
cmp    %ebp,%ecx
je     1241 <test_subset+0x131>
cmp    %ebx,%ecx
je     1241 <test_subset+0x131>
xor    %edx,%edx
cmp    %edi,%ecx
je     1246 <test_subset+0x136>
mov    $0x1,%edx
cmp    %r12d,%ecx
je     1246 <test_subset+0x136>
cmp    %r15d,%ecx
je     1246 <test_subset+0x136>
cmp    %r14d,%ecx
je     1246 <test_subset+0x136>
cmp    %r11d,%ecx
je     1246 <test_subset+0x136>
cmp    %r10d,%ecx
je     1246 <test_subset+0x136>
cmp    %r9d,%ecx
je     1246 <test_subset+0x136>
cmp    %r8d,%ecx
jne    1366 <test_subset+0x256>
jmp    1246 <test_subset+0x136>
mov    $0x1,%esi
cmp    %ebx,%ecx
je     11a4 <test_subset+0x94>
cmp    %edi,%ecx
je     11a4 <test_subset+0x94>
cmp    %r12d,%ecx
je     11a4 <test_subset+0x94>
cmp    %r15d,%ecx
je     11a4 <test_subset+0x94>
cmp    %r14d,%ecx
je     11a4 <test_subset+0x94>
cmp    %r11d,%ecx
je     11a4 <test_subset+0x94>
cmp    %r10d,%ecx
je     11a4 <test_subset+0x94>
cmp    %r9d,%ecx
je     11a4 <test_subset+0x94>
xor    %eax,%eax
mov    $0x0,%edx
cmp    %r8d,%ecx
jne    136a <test_subset+0x25a>
jmp    11a4 <test_subset+0x94>
mov    $0x1,%edx
add    %edx,%esi
mov    0xc(%rsp),%ecx
mov    $0x1,%edx
cmp    %ebp,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %ebx,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %edi,%ecx
je     12ae <test_subset+0x19e>
xor    %edx,%edx
cmp    %r12d,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %r15d,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %r14d,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %r11d,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %r10d,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %r9d,%ecx
je     12ae <test_subset+0x19e>
mov    $0x1,%edx
cmp    %r8d,%ecx
jne    1366 <test_subset+0x256>
add    %edx,%esi
mov    0x10(%rsp),%ecx
cmp    %ebp,%ecx
je     12ec <test_subset+0x1dc>
cmp    %ebx,%ecx
je     12ec <test_subset+0x1dc>
cmp    %edi,%ecx
je     12ec <test_subset+0x1dc>
cmp    %r12d,%ecx
je     12ec <test_subset+0x1dc>
xor    %edx,%edx
cmp    %r15d,%ecx
je     12f1 <test_subset+0x1e1>
mov    $0x1,%edx
cmp    %r14d,%ecx
je     12f1 <test_subset+0x1e1>
cmp    %r11d,%ecx
je     12f1 <test_subset+0x1e1>
cmp    %r10d,%ecx
je     12f1 <test_subset+0x1e1>
cmp    %r9d,%ecx
je     12f1 <test_subset+0x1e1>
cmp    %r8d,%ecx
jne    1366 <test_subset+0x256>
jmp    12f1 <test_subset+0x1e1>
mov    $0x1,%edx
add    %edx,%esi
mov    $0x1,%dl
jmp    1368 <test_subset+0x258>
mov    $0x1,%edx
cmp    %edi,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r12d,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r15d,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r14d,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r11d,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r10d,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r9d,%ecx
je     11bb <test_subset+0xab>
mov    $0x1,%edx
cmp    %r8d,%ecx
je     11bb <test_subset+0xab>
xor    %edx,%edx
mov    %esi,%eax
test   %eax,%eax
setne  %al
and    %dl,%al
movzbl %al,%eax
add    $0x50,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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