void deDupR(int arr[], int first, int last, int *size) {
  if (first == last)
    return;
  else if (arr[first] != arr[first + 1]) {
    deDupR(arr, first + 1, last, size);
  } else {
    int i;
    for (i = first + 1; i < last; i++) {
      arr[i] = arr[i + 1];
    }
    (*size)--;
    deDupR(arr, first + 1, last - 1, size);
  }
}


x86 assembly (clang, -O0):
<deDupR>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    1137 <deDupR+0x27>
jmp    11da <deDupR+0xca>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
mov    -0xc(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
je     1173 <deDupR+0x63>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
mov    -0x18(%rbp),%rcx
call   1030 <deDupR@plt>
jmp    11d5 <deDupR+0xc5>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11b1 <deDupR+0xa1>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    117c <deDupR+0x6c>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
mov    -0x18(%rbp),%rcx
call   1030 <deDupR@plt>
jmp    11da <deDupR+0xca>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<deDupR>:
push   %r15
push   %r14
push   %r12
push   %rbx
movslq %edx,%r15
lea    0x34(%rdi),%r8
movabs $0x100000000,%r9
movslq %esi,%rax
mov    %rax,%rdx
shl    $0x20,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    %rax,%r15
je     1229 <deDupR+0x129>
mov    (%rdi,%rax,4),%ebx
lea    0x1(%rax),%rsi
add    %r9,%rdx
cmp    0x4(%rdi,%rax,4),%ebx
mov    %rsi,%rax
jne    1130 <deDupR+0x30>
sar    $0x20,%rdx
mov    %r15,%r10
sub    %rdx,%r10
jle    1213 <deDupR+0x113>
cmp    $0x8,%r10
jb     1200 <deDupR+0x100>
mov    %r10,%r11
and    $0xfffffffffffffff8,%r11
lea    -0x8(%r11),%rax
mov    %rax,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rax,%rax
je     121f <deDupR+0x11f>
lea    (%r8,%rdx,4),%rax
mov    %r14,%r12
and    $0xfffffffffffffffe,%r12
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x30(%rax,%rbx,4),%xmm0
movups -0x20(%rax,%rbx,4),%xmm1
movups -0x10(%rax,%rbx,4),%xmm2
movups (%rax,%rbx,4),%xmm3
movups %xmm0,-0x34(%rax,%rbx,4)
movups %xmm1,-0x24(%rax,%rbx,4)
movups %xmm2,-0x14(%rax,%rbx,4)
movups %xmm3,-0x4(%rax,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%r12
jne    11a0 <deDupR+0xa0>
test   $0x1,%r14b
je     11ed <deDupR+0xed>
add    %rdx,%rbx
movups 0x4(%rdi,%rbx,4),%xmm0
movups 0x14(%rdi,%rbx,4),%xmm1
movups %xmm0,(%rdi,%rbx,4)
movups %xmm1,0x10(%rdi,%rbx,4)
cmp    %r11,%r10
je     1213 <deDupR+0x113>
add    %r11,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x4(%rdi,%rdx,4),%eax
mov    %eax,(%rdi,%rdx,4)
lea    0x1(%rdx),%rax
mov    %rax,%rdx
cmp    %r15,%rax
jl     1200 <deDupR+0x100>
addl   $0xffffffff,(%rcx)
add    $0xffffffffffffffff,%r15
jmp    1118 <deDupR+0x18>
xor    %ebx,%ebx
test   $0x1,%r14b
jne    11d7 <deDupR+0xd7>
jmp    11ed <deDupR+0xed>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @deDupR(i32* %0, i32 %1, i32 %2, i32* %3) {
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32* %3, i32** %8
%10 = load i32, i32* %6
%11 = load i32, i32* %7
%12 = icmp eq i32 %10, %11
br i1 %12, label %13, label %14
13: ; preds = %4
br label %65
14: ; preds = %4
%15 = load i32*, i32** %5
%16 = load i32, i32* %6
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
%19 = load i32, i32* %18
%20 = load i32*, i32** %5
%21 = load i32, i32* %6
%22 = add nsw i32 %21, 1
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i32, i32* %20, i64 %23
%25 = load i32, i32* %24
%26 = icmp ne i32 %19, %25
br i1 %26, label %27, label %33
27: ; preds = %14
%28 = load i32*, i32** %5
%29 = load i32, i32* %6
%30 = add nsw i32 %29, 1
%31 = load i32, i32* %7
%32 = load i32*, i32** %8
br label %64
33: ; preds = %14
%34 = load i32, i32* %6
%35 = add nsw i32 %34, 1
store i32 %35, i32* %9
br label %36
36: ; preds = %51, %33
%37 = load i32, i32* %9
%38 = load i32, i32* %7
%39 = icmp slt i32 %37, %38
br i1 %39, label %40, label %54
40: ; preds = %36
%41 = load i32*, i32** %5
%42 = load i32, i32* %9
%43 = add nsw i32 %42, 1
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i32, i32* %41, i64 %44
%46 = load i32, i32* %45
%47 = load i32*, i32** %5
%48 = load i32, i32* %9
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %47, i64 %49
store i32 %46, i32* %50
br label %51
51: ; preds = %40
%52 = load i32, i32* %9
%53 = add nsw i32 %52, 1
store i32 %53, i32* %9
br label %36
54: ; preds = %36
%55 = load i32*, i32** %8
%56 = load i32, i32* %55
%57 = add nsw i32 %56, -1
store i32 %57, i32* %55
%58 = load i32*, i32** %5
%59 = load i32, i32* %6
%60 = add nsw i32 %59, 1
%61 = load i32, i32* %7
%62 = sub nsw i32 %61, 1
%63 = load i32*, i32** %8
br label %64
64: ; preds = %54, %27
br label %65
65: ; preds = %13, %64
ret void
}

LLVM IR (-O2):
define void @deDupR(i32* %0, i32 %1, i32 %2, i32* %3) {
%5 = sext i32 %2 to i64
br label %6
6: ; preds = %96, %4
%7 = phi i64 [ %99, %96 ], [ %5, %4 ]
%8 = phi i32 [ %21, %96 ], [ %1, %4 ]
%9 = sext i32 %8 to i64
br label %10
10: ; preds = %6, %13
%11 = phi i64 [ %9, %6 ], [ %16, %13 ]
%12 = icmp eq i64 %11, %7
br i1 %12, label %100, label %13
13: ; preds = %10
%14 = getelementptr inbounds i32, i32* %0, i64 %11
%15 = load i32, i32* %14
%16 = add nsw i64 %11, 1
%17 = getelementptr inbounds i32, i32* %0, i64 %16
%18 = load i32, i32* %17
%19 = icmp eq i32 %15, %18
br i1 %19, label %20, label %10
20: ; preds = %13
%21 = trunc i64 %16 to i32
%22 = shl i64 %16, 32
%23 = ashr exact i64 %22, 32
%24 = icmp sgt i64 %7, %23
br i1 %24, label %25, label %96
25: ; preds = %20
%26 = sub i64 %7, %23
%27 = icmp ult i64 %26, 8
br i1 %27, label %87, label %28
28: ; preds = %25
%29 = and i64 %26, -8
%30 = add i64 %23, %29
%31 = add i64 %29, -8
%32 = lshr exact i64 %31, 3
%33 = add nuw nsw i64 %32, 1
%34 = and i64 %33, 1
%35 = icmp eq i64 %31, 0
br i1 %35, label %69, label %36
36: ; preds = %28
%37 = and i64 %33, 4611686018427387902
br label %38
38: ; preds = %38, %36
%39 = phi i64 [ 0, %36 ], [ %66, %38 ]
%40 = phi i64 [ 0, %36 ], [ %67, %38 ]
%41 = add i64 %23, %39
%42 = add nsw i64 %41, 1
%43 = getelementptr inbounds i32, i32* %0, i64 %42
%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 = getelementptr inbounds i32, i32* %0, i64 %41
%50 = bitcast i32* %49 to <4 x i32>*
store <4 x i32> %45, <4 x i32>* %50
%51 = getelementptr inbounds i32, i32* %49, i64 4
%52 = bitcast i32* %51 to <4 x i32>*
store <4 x i32> %48, <4 x i32>* %52
%53 = or i64 %39, 8
%54 = add i64 %23, %53
%55 = add nsw i64 %54, 1
%56 = getelementptr inbounds i32, i32* %0, 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 %54
%63 = bitcast i32* %62 to <4 x i32>*
store <4 x i32> %58, <4 x i32>* %63
%64 = getelementptr inbounds i32, i32* %62, i64 4
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %61, <4 x i32>* %65
%66 = add nuw i64 %39, 16
%67 = add i64 %40, 2
%68 = icmp eq i64 %67, %37
br i1 %68, label %69, label %38
69: ; preds = %38, %28
%70 = phi i64 [ 0, %28 ], [ %66, %38 ]
%71 = icmp eq i64 %34, 0
br i1 %71, label %85, label %72
72: ; preds = %69
%73 = add i64 %23, %70
%74 = add nsw i64 %73, 1
%75 = getelementptr inbounds i32, i32* %0, i64 %74
%76 = bitcast i32* %75 to <4 x i32>*
%77 = load <4 x i32>, <4 x i32>* %76
%78 = getelementptr inbounds i32, i32* %75, i64 4
%79 = bitcast i32* %78 to <4 x i32>*
%80 = load <4 x i32>, <4 x i32>* %79
%81 = getelementptr inbounds i32, i32* %0, i64 %73
%82 = bitcast i32* %81 to <4 x i32>*
store <4 x i32> %77, <4 x i32>* %82
%83 = getelementptr inbounds i32, i32* %81, i64 4
%84 = bitcast i32* %83 to <4 x i32>*
store <4 x i32> %80, <4 x i32>* %84
br label %85
85: ; preds = %69, %72
%86 = icmp eq i64 %26, %29
br i1 %86, label %96, label %87
87: ; preds = %25, %85
%88 = phi i64 [ %23, %25 ], [ %30, %85 ]
br label %89
89: ; preds = %87, %89
%90 = phi i64 [ %91, %89 ], [ %88, %87 ]
%91 = add nsw i64 %90, 1
%92 = getelementptr inbounds i32, i32* %0, i64 %91
%93 = load i32, i32* %92
%94 = getelementptr inbounds i32, i32* %0, i64 %90
store i32 %93, i32* %94
%95 = icmp slt i64 %91, %7
br i1 %95, label %89, label %96
96: ; preds = %89, %85, %20
%97 = load i32, i32* %3
%98 = add nsw i32 %97, -1
store i32 %98, i32* %3
%99 = add i64 %7, -1
br label %6
100: ; preds = %10
ret void
}