int validateID(int array[], int *arrSize) {
  int ch = 0;
  int i = 0;
  int j = 0;
  for (i = 0; i < *arrSize; i++) {
    for (j = 0; j < *arrSize; j++) {
      if (array[i] == array[j])
        ch++;
    }
    ch--;
  }
  return ch;
}


x86 assembly (clang, -O0):
<validateID>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    119c <validateID+0x9c>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
cmp    (%rcx),%eax
jge    1185 <validateID+0x85>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1172 <validateID+0x72>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1177 <validateID+0x77>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113e <validateID+0x3e>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1128 <validateID+0x28>
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<validateID>:
push   %rbp
push   %rbx
mov    (%rsi),%ecx
test   %ecx,%ecx
jle    1223 <validateID+0x123>
mov    %ecx,%r11d
and    $0xfffffff8,%r11d
lea    -0x8(%r11),%r8
mov    %r8,%r10
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10,%r9
and    $0xfffffffffffffffe,%r9
xor    %esi,%esi
xor    %eax,%eax
jmp    1140 <validateID+0x40>
nop
add    $0xffffffff,%eax
add    $0x1,%rsi
cmp    %rcx,%rsi
je     1225 <validateID+0x125>
mov    (%rdi,%rsi,4),%edx
cmp    $0x8,%ecx
jae    1150 <validateID+0x50>
xor    %ebx,%ebx
jmp    1200 <validateID+0x100>
nop
movd   %eax,%xmm0
movd   %edx,%xmm1
pshufd $0x0,%xmm1,%xmm2
pxor   %xmm1,%xmm1
test   %r8,%r8
je     1219 <validateID+0x119>
mov    %r9,%rbx
xor    %eax,%eax
nop
movdqu (%rdi,%rax,4),%xmm3
movdqu 0x10(%rdi,%rax,4),%xmm4
movdqu 0x20(%rdi,%rax,4),%xmm5
movdqu 0x30(%rdi,%rax,4),%xmm6
pcmpeqd %xmm2,%xmm3
psubd  %xmm3,%xmm0
pcmpeqd %xmm2,%xmm4
psubd  %xmm4,%xmm1
pcmpeqd %xmm2,%xmm5
psubd  %xmm5,%xmm0
pcmpeqd %xmm2,%xmm6
psubd  %xmm6,%xmm1
add    $0x10,%rax
add    $0xfffffffffffffffe,%rbx
jne    1170 <validateID+0x70>
test   $0x1,%r10b
je     11d2 <validateID+0xd2>
movdqu (%rdi,%rax,4),%xmm3
movdqu 0x10(%rdi,%rax,4),%xmm4
pcmpeqd %xmm2,%xmm3
psubd  %xmm3,%xmm0
pcmpeqd %xmm2,%xmm4
psubd  %xmm4,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
mov    %r11,%rbx
cmp    %rcx,%r11
je     1130 <validateID+0x30>
nopl   0x0(%rax,%rax,1)
xor    %ebp,%ebp
cmp    (%rdi,%rbx,4),%edx
sete   %bpl
add    %ebp,%eax
add    $0x1,%rbx
cmp    %rbx,%rcx
jne    1200 <validateID+0x100>
jmp    1130 <validateID+0x30>
xor    %eax,%eax
test   $0x1,%r10b
jne    11b7 <validateID+0xb7>
jmp    11d2 <validateID+0xd2>
xor    %eax,%eax
pop    %rbx
pop    %rbp
ret

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

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