#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 inSort(int, int *, int);
scalar_t__ linSearch(int, int *, int);
int /*<<< orphan*/ printf(char *);
int /*<<< orphan*/ stampaVett(int *, int);
int *differenza(int *v1, int v1_len, int *v2, int v2_len) {
  int res[2 * 20];
  int len = 0;
  int i;
  for (i = 0; i < v1_len; i++) {
    if (linSearch(v1[i], res, len) == 0) {
      if (linSearch(v1[i], v2, v2_len) == 0)
        len = inSort(v1[i], res, len);
    }
  }
  for (i = 0; i < v2_len; i++) {
    if (linSearch(v2[i], res, len) == 0) {
      if (linSearch(v2[i], v1, v1_len) == 0)
        len = inSort(v2[i], res, len);
    }
  }
  printf("D ");
  stampaVett(res, len);
  return res;
}


x86 assembly (clang, -O0):
<differenza>:
push   %rbp
mov    %rsp,%rbp
sub    $0xd0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
movl   $0x0,-0xc4(%rbp)
movl   $0x0,-0xc8(%rbp)
mov    -0xc8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    120e <differenza+0xce>
mov    -0x8(%rbp),%rax
movslq -0xc8(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
lea    -0xc0(%rbp),%rsi
mov    -0xc4(%rbp),%edx
call   1050 <linSearch@plt>
cmp    $0x0,%rax
jne    11f5 <differenza+0xb5>
mov    -0x8(%rbp),%rax
movslq -0xc8(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
call   1050 <linSearch@plt>
cmp    $0x0,%rax
jne    11f0 <differenza+0xb0>
mov    -0x8(%rbp),%rax
movslq -0xc8(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
lea    -0xc0(%rbp),%rsi
mov    -0xc4(%rbp),%edx
call   1030 <inSort@plt>
mov    %eax,-0xc4(%rbp)
jmp    11f5 <differenza+0xb5>
jmp    11fa <differenza+0xba>
mov    -0xc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc8(%rbp)
jmp    116d <differenza+0x2d>
movl   $0x0,-0xc8(%rbp)
mov    -0xc8(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12b9 <differenza+0x179>
mov    -0x18(%rbp),%rax
movslq -0xc8(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
lea    -0xc0(%rbp),%rsi
mov    -0xc4(%rbp),%edx
call   1050 <linSearch@plt>
cmp    $0x0,%rax
jne    12a0 <differenza+0x160>
mov    -0x18(%rbp),%rax
movslq -0xc8(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x8(%rbp),%rsi
mov    -0xc(%rbp),%edx
call   1050 <linSearch@plt>
cmp    $0x0,%rax
jne    129b <differenza+0x15b>
mov    -0x18(%rbp),%rax
movslq -0xc8(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
lea    -0xc0(%rbp),%rsi
mov    -0xc4(%rbp),%edx
call   1030 <inSort@plt>
mov    %eax,-0xc4(%rbp)
jmp    12a0 <differenza+0x160>
jmp    12a5 <differenza+0x165>
mov    -0xc8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc8(%rbp)
jmp    1218 <differenza+0xd8>
lea    0xd40(%rip),%rdi
call   1040 <printf@plt>
lea    -0xc0(%rbp),%rdi
mov    -0xc4(%rbp),%esi
call   1060 <stampaVett@plt>
lea    -0xc0(%rbp),%rax
add    $0xd0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<differenza>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xb8,%rsp
mov    %ecx,0x8(%rsp)
mov    %rdx,%r15
mov    %rdi,%r13
test   %esi,%esi
mov    %esi,0xc(%rsp)
jle    11c6 <differenza+0x86>
mov    %esi,%r14d
xor    %r12d,%r12d
lea    0x10(%rsp),%rbp
xor    %ebx,%ebx
jmp    1189 <differenza+0x49>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r12
cmp    %r12,%r14
je     11c8 <differenza+0x88>
mov    0x0(%r13,%r12,4),%edi
mov    %rbp,%rsi
mov    %ebx,%edx
call   1050 <linSearch@plt>
test   %rax,%rax
jne    1180 <differenza+0x40>
mov    0x0(%r13,%r12,4),%edi
mov    %r15,%rsi
mov    0x8(%rsp),%edx
call   1050 <linSearch@plt>
test   %rax,%rax
jne    1180 <differenza+0x40>
mov    0x0(%r13,%r12,4),%edi
mov    %rbp,%rsi
mov    %ebx,%edx
call   1030 <inSort@plt>
mov    %eax,%ebx
jmp    1180 <differenza+0x40>
xor    %ebx,%ebx
mov    0x8(%rsp),%eax
test   %eax,%eax
jle    1223 <differenza+0xe3>
mov    %eax,%r14d
xor    %ebp,%ebp
lea    0x10(%rsp),%r12
jmp    11e9 <differenza+0xa9>
nopl   0x0(%rax)
add    $0x1,%rbp
cmp    %rbp,%r14
je     1223 <differenza+0xe3>
mov    (%r15,%rbp,4),%edi
mov    %r12,%rsi
mov    %ebx,%edx
call   1050 <linSearch@plt>
test   %rax,%rax
jne    11e0 <differenza+0xa0>
mov    (%r15,%rbp,4),%edi
mov    %r13,%rsi
mov    0xc(%rsp),%edx
call   1050 <linSearch@plt>
test   %rax,%rax
jne    11e0 <differenza+0xa0>
mov    (%r15,%rbp,4),%edi
mov    %r12,%rsi
mov    %ebx,%edx
call   1030 <inSort@plt>
mov    %eax,%ebx
jmp    11e0 <differenza+0xa0>
lea    0xdd6(%rip),%rdi
call   1040 <printf@plt>
lea    0x10(%rsp),%rbp
mov    %rbp,%rdi
mov    %ebx,%esi
call   1060 <stampaVett@plt>
mov    %rbp,%rax
add    $0xb8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"D \00"
define i32* @differenza(i32* %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca [40 x i32]
%10 = alloca i32
%11 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32* %2, i32** %7
store i32 %3, i32* %8
store i32 0, i32* %10
store i32 0, i32* %11
br label %12
12: ; preds = %47, %4
%13 = load i32, i32* %11
%14 = load i32, i32* %6
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %50
16: ; preds = %12
%17 = load i32*, i32** %5
%18 = load i32, i32* %11
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i32, i32* %17, i64 %19
%21 = load i32, i32* %20
%22 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 0
%23 = load i32, i32* %10
%24 = call i64 @linSearch(i32 %21, i32* %22, i32 %23)
%25 = icmp eq i64 %24, 0
br i1 %25, label %26, label %46
26: ; preds = %16
%27 = load i32*, i32** %5
%28 = load i32, i32* %11
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
%31 = load i32, i32* %30
%32 = load i32*, i32** %7
%33 = load i32, i32* %8
%34 = call i64 @linSearch(i32 %31, i32* %32, i32 %33)
%35 = icmp eq i64 %34, 0
br i1 %35, label %36, label %45
36: ; preds = %26
%37 = load i32*, i32** %5
%38 = load i32, i32* %11
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i32, i32* %37, i64 %39
%41 = load i32, i32* %40
%42 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 0
%43 = load i32, i32* %10
%44 = call i32 @inSort(i32 %41, i32* %42, i32 %43)
store i32 %44, i32* %10
br label %45
45: ; preds = %36, %26
br label %46
46: ; preds = %45, %16
br label %47
47: ; preds = %46
%48 = load i32, i32* %11
%49 = add nsw i32 %48, 1
store i32 %49, i32* %11
br label %12
50: ; preds = %12
store i32 0, i32* %11
br label %51
51: ; preds = %86, %50
%52 = load i32, i32* %11
%53 = load i32, i32* %8
%54 = icmp slt i32 %52, %53
br i1 %54, label %55, label %89
55: ; preds = %51
%56 = load i32*, i32** %7
%57 = load i32, i32* %11
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i32, i32* %56, i64 %58
%60 = load i32, i32* %59
%61 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 0
%62 = load i32, i32* %10
%63 = call i64 @linSearch(i32 %60, i32* %61, i32 %62)
%64 = icmp eq i64 %63, 0
br i1 %64, label %65, label %85
65: ; preds = %55
%66 = load i32*, i32** %7
%67 = load i32, i32* %11
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %66, i64 %68
%70 = load i32, i32* %69
%71 = load i32*, i32** %5
%72 = load i32, i32* %6
%73 = call i64 @linSearch(i32 %70, i32* %71, i32 %72)
%74 = icmp eq i64 %73, 0
br i1 %74, label %75, label %84
75: ; preds = %65
%76 = load i32*, i32** %7
%77 = load i32, i32* %11
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds i32, i32* %76, i64 %78
%80 = load i32, i32* %79
%81 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 0
%82 = load i32, i32* %10
%83 = call i32 @inSort(i32 %80, i32* %81, i32 %82)
store i32 %83, i32* %10
br label %84
84: ; preds = %75, %65
br label %85
85: ; preds = %84, %55
br label %86
86: ; preds = %85
%87 = load i32, i32* %11
%88 = add nsw i32 %87, 1
store i32 %88, i32* %11
br label %51
89: ; preds = %51
%90 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
%91 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 0
%92 = load i32, i32* %10
%93 = call i32 @stampaVett(i32* %91, i32 %92)
%94 = getelementptr inbounds [40 x i32], [40 x i32]* %9, i64 0, i64 0
ret i32* %94
}

LLVM IR (-O2):
@.str = [3 x i8] c"D \00"
define i32* @differenza(i32* %0, i32 %1, i32* %2, i32 %3) {
%5 = alloca [40 x i32]
%6 = bitcast [40 x i32]* %5 to i8*
%7 = icmp sgt i32 %1, 0
br i1 %7, label %8, label %11
8: ; preds = %4
%9 = getelementptr inbounds [40 x i32], [40 x i32]* %5, i64 0, i64 0
%10 = zext i32 %1 to i64
br label %17
11: ; preds = %31, %4
%12 = phi i32 [ 0, %4 ], [ %32, %31 ]
%13 = icmp sgt i32 %3, 0
br i1 %13, label %14, label %53
14: ; preds = %11
%15 = getelementptr inbounds [40 x i32], [40 x i32]* %5, i64 0, i64 0
%16 = zext i32 %3 to i64
br label %35
17: ; preds = %8, %31
%18 = phi i64 [ 0, %8 ], [ %33, %31 ]
%19 = phi i32 [ 0, %8 ], [ %32, %31 ]
%20 = getelementptr inbounds i32, i32* %0, i64 %18
%21 = load i32, i32* %20
%22 = call i64 @linSearch(i32 %21, i32* %9, i32 %19)
%23 = icmp eq i64 %22, 0
br i1 %23, label %24, label %31
24: ; preds = %17
%25 = load i32, i32* %20
%26 = call i64 @linSearch(i32 %25, i32* %2, i32 %3)
%27 = icmp eq i64 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %24
%29 = load i32, i32* %20
%30 = call i32 @inSort(i32 %29, i32* %9, i32 %19)
br label %31
31: ; preds = %17, %28, %24
%32 = phi i32 [ %30, %28 ], [ %19, %24 ], [ %19, %17 ]
%33 = add nuw nsw i64 %18, 1
%34 = icmp eq i64 %33, %10
br i1 %34, label %11, label %17
35: ; preds = %14, %49
%36 = phi i64 [ 0, %14 ], [ %51, %49 ]
%37 = phi i32 [ %12, %14 ], [ %50, %49 ]
%38 = getelementptr inbounds i32, i32* %2, i64 %36
%39 = load i32, i32* %38
%40 = call i64 @linSearch(i32 %39, i32* %15, i32 %37)
%41 = icmp eq i64 %40, 0
br i1 %41, label %42, label %49
42: ; preds = %35
%43 = load i32, i32* %38
%44 = call i64 @linSearch(i32 %43, i32* %0, i32 %1)
%45 = icmp eq i64 %44, 0
br i1 %45, label %46, label %49
46: ; preds = %42
%47 = load i32, i32* %38
%48 = call i32 @inSort(i32 %47, i32* %15, i32 %37)
br label %49
49: ; preds = %35, %46, %42
%50 = phi i32 [ %48, %46 ], [ %37, %42 ], [ %37, %35 ]
%51 = add nuw nsw i64 %36, 1
%52 = icmp eq i64 %51, %16
br i1 %52, label %53, label %35
53: ; preds = %49, %11
%54 = phi i32 [ %12, %11 ], [ %50, %49 ]
%55 = call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
%56 = getelementptr inbounds [40 x i32], [40 x i32]* %5, i64 0, i64 0
%57 = call i32 @stampaVett(i32* %56, i32 %54)
ret i32* %56
}