void remove_index(int index, char **arr, int *size) {
  int i;
  assert(arr);
  assert(size);
  assert(index >= 0);
  assert(*size >= 0);
  assert(index < *size);
  for (i = index; i < *size - 1; ++i)
    arr[i] = arr[i + 1];
  --*size;
}


x86 assembly (clang, -O0):
<remove_index>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x18(%rbp),%rdi
mov    $0x0,%al
call   1030 <assert@plt>
cmpl   $0x0,-0x4(%rbp)
setge  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
setge  %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
mov    $0x0,%al
call   1030 <assert@plt>
mov    -0x4(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11bf <remove_index+0xaf>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1180 <remove_index+0x70>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<remove_index>:
push   %rbp
push   %r14
push   %rbx
mov    %rdx,%r14
mov    %rsi,%rbx
mov    %edi,%ebp
mov    %rsi,%rdi
xor    %eax,%eax
call   1030 <assert@plt>
mov    %r14,%rdi
xor    %eax,%eax
call   1030 <assert@plt>
mov    %ebp,%edi
not    %edi
shr    $0x1f,%edi
xor    %eax,%eax
call   1030 <assert@plt>
mov    (%r14),%edi
not    %edi
shr    $0x1f,%edi
xor    %eax,%eax
call   1030 <assert@plt>
xor    %edi,%edi
cmp    %ebp,(%r14)
setg   %dil
xor    %eax,%eax
call   1030 <assert@plt>
mov    (%r14),%eax
add    $0xffffffff,%eax
cmp    %ebp,%eax
jle    1235 <remove_index+0x125>
movslq %ebp,%rdx
movslq %eax,%rcx
mov    %rcx,%r10
sub    %rdx,%r10
cmp    $0x4,%r10
jb     1220 <remove_index+0x110>
mov    %r10,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rsi
mov    %rsi,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     123d <remove_index+0x12d>
mov    %r9,%rbp
and    $0xfffffffffffffffe,%rbp
lea    (%rbx,%rdx,8),%rsi
add    $0x38,%rsi
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups -0x30(%rsi,%rdi,8),%xmm0
movups -0x20(%rsi,%rdi,8),%xmm1
movups -0x10(%rsi,%rdi,8),%xmm2
movups (%rsi,%rdi,8),%xmm3
movups %xmm0,-0x38(%rsi,%rdi,8)
movups %xmm1,-0x28(%rsi,%rdi,8)
movups %xmm2,-0x18(%rsi,%rdi,8)
movups %xmm3,-0x8(%rsi,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rbp
jne    11c0 <remove_index+0xb0>
test   $0x1,%r9b
je     120d <remove_index+0xfd>
add    %rdx,%rdi
movups 0x8(%rbx,%rdi,8),%xmm0
movups 0x18(%rbx,%rdi,8),%xmm1
movups %xmm0,(%rbx,%rdi,8)
movups %xmm1,0x10(%rbx,%rdi,8)
cmp    %r8,%r10
je     1235 <remove_index+0x125>
add    %r8,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rbx,%rdx,8),%rsi
mov    %rsi,(%rbx,%rdx,8)
lea    0x1(%rdx),%rsi
mov    %rsi,%rdx
cmp    %rsi,%rcx
jne    1220 <remove_index+0x110>
mov    %eax,(%r14)
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    11f7 <remove_index+0xe7>
jmp    120d <remove_index+0xfd>

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

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