void delete_pos_in_array(int *p, int size, int pos) {
  p = p + (pos - 1);
  while (size - pos) {
    *p = *(p + 1);
    p++;
    pos++;
  }
  *p = 0;
}


x86 assembly (clang, -O0):
<delete_pos_in_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0xc(%rbp),%eax
sub    -0x10(%rbp),%eax
cmp    $0x0,%eax
je     115c <delete_pos_in_array+0x5c>
mov    -0x8(%rbp),%rax
mov    0x4(%rax),%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1126 <delete_pos_in_array+0x26>
mov    -0x8(%rbp),%rax
movl   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<delete_pos_in_array>:
push   %r14
push   %rbx
movslq %edx,%r10
lea    (%rdi,%r10,4),%r14
add    $0xfffffffffffffffc,%r14
cmp    %esi,%r10d
je     1221 <delete_pos_in_array+0x121>
mov    %edx,%r9d
not    %r9d
add    %esi,%r9d
cmp    $0x7,%r9d
jb     120b <delete_pos_in_array+0x10b>
add    $0xffffffffffffffff,%r10
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%r11d
and    $0x3,%r11d
cmp    $0x18,%rax
jae    1159 <delete_pos_in_array+0x59>
xor    %ebx,%ebx
jmp    11c9 <delete_pos_in_array+0xc9>
and    $0xfffffffffffffffc,%rcx
lea    (%rdi,%r10,4),%rax
add    $0x74,%rax
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movups -0x70(%rax,%rbx,4),%xmm0
movups -0x60(%rax,%rbx,4),%xmm1
movups -0x50(%rax,%rbx,4),%xmm2
movups -0x40(%rax,%rbx,4),%xmm3
movups %xmm0,-0x74(%rax,%rbx,4)
movups %xmm1,-0x64(%rax,%rbx,4)
movups %xmm2,-0x54(%rax,%rbx,4)
movups %xmm3,-0x44(%rax,%rbx,4)
movups -0x30(%rax,%rbx,4),%xmm0
movups -0x20(%rax,%rbx,4),%xmm1
movups %xmm0,-0x34(%rax,%rbx,4)
movups %xmm1,-0x24(%rax,%rbx,4)
movups -0x10(%rax,%rbx,4),%xmm0
movups (%rax,%rbx,4),%xmm1
movups %xmm0,-0x14(%rax,%rbx,4)
movups %xmm1,-0x4(%rax,%rbx,4)
add    $0x20,%rbx
add    $0xfffffffffffffffc,%rcx
jne    1170 <delete_pos_in_array+0x70>
test   %r11,%r11
je     11fc <delete_pos_in_array+0xfc>
add    %r10,%rbx
lea    (%rdi,%rbx,4),%rax
add    $0x14,%rax
shl    $0x5,%r11
xor    %ecx,%ecx
nop
movups -0x10(%rax,%rcx,1),%xmm0
movups (%rax,%rcx,1),%xmm1
movups %xmm0,-0x14(%rax,%rcx,1)
movups %xmm1,-0x4(%rax,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r11
jne    11e0 <delete_pos_in_array+0xe0>
lea    (%r14,%r8,4),%r14
cmp    %r8,%r9
je     1221 <delete_pos_in_array+0x121>
add    %edx,%r8d
mov    %r8d,%edx
sub    %edx,%esi
mov    %r14,%rax
lea    0x4(%rax),%r14
mov    0x4(%rax),%ecx
mov    %ecx,(%rax)
mov    %r14,%rax
add    $0xffffffff,%esi
jne    1210 <delete_pos_in_array+0x110>
movl   $0x0,(%r14)
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @delete_pos_in_array(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%7 = load i32*, i32** %4
%8 = load i32, i32* %6
%9 = sub nsw i32 %8, 1
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds i32, i32* %7, i64 %10
store i32* %11, i32** %4
br label %12
12: ; preds = %17, %3
%13 = load i32, i32* %5
%14 = load i32, i32* %6
%15 = sub nsw i32 %13, %14
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %26
17: ; preds = %12
%18 = load i32*, i32** %4
%19 = getelementptr inbounds i32, i32* %18, i64 1
%20 = load i32, i32* %19
%21 = load i32*, i32** %4
store i32 %20, i32* %21
%22 = load i32*, i32** %4
%23 = getelementptr inbounds i32, i32* %22, i32 1
store i32* %23, i32** %4
%24 = load i32, i32* %6
%25 = add nsw i32 %24, 1
store i32 %25, i32* %6
br label %12
26: ; preds = %12
%27 = load i32*, i32** %4
store i32 0, i32* %27
ret void
}

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