#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 count_array(char **);
int delete_argument(char **cmdline, int index) {
  int arguments_count = count_array(cmdline);
  for (; index < arguments_count; index++)
    cmdline[index] = cmdline[index + 1];
  return 0;
}


x86 assembly (clang, -O0):
<delete_argument>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <count_array@plt>
mov    %eax,-0x10(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1162 <delete_argument+0x52>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    112b <delete_argument+0x1b>
xor    %eax,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<delete_argument>:
push   %rbp
push   %rbx
push   %rax
mov    %esi,%ebp
mov    %rdi,%rbx
call   1030 <count_array@plt>
cmp    %ebp,%eax
jle    11e5 <delete_argument+0xd5>
movslq %ebp,%rcx
cltq
mov    %rax,%rdx
sub    %rcx,%rdx
cmp    $0x4,%rdx
jb     11d0 <delete_argument+0xc0>
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rsi
mov    %rsi,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rsi,%rsi
je     11ee <delete_argument+0xde>
mov    %r9,%rdi
and    $0xfffffffffffffffe,%rdi
lea    (%rbx,%rcx,8),%rsi
add    $0x38,%rsi
xor    %ebp,%ebp
nopw   0x0(%rax,%rax,1)
movups -0x30(%rsi,%rbp,8),%xmm0
movups -0x20(%rsi,%rbp,8),%xmm1
movups -0x10(%rsi,%rbp,8),%xmm2
movups (%rsi,%rbp,8),%xmm3
movups %xmm0,-0x38(%rsi,%rbp,8)
movups %xmm1,-0x28(%rsi,%rbp,8)
movups %xmm2,-0x18(%rsi,%rbp,8)
movups %xmm3,-0x8(%rsi,%rbp,8)
add    $0x8,%rbp
add    $0xfffffffffffffffe,%rdi
jne    1170 <delete_argument+0x60>
test   $0x1,%r9b
je     11bd <delete_argument+0xad>
add    %rcx,%rbp
movups 0x8(%rbx,%rbp,8),%xmm0
movups 0x18(%rbx,%rbp,8),%xmm1
movups %xmm0,(%rbx,%rbp,8)
movups %xmm1,0x10(%rbx,%rbp,8)
cmp    %r8,%rdx
je     11e5 <delete_argument+0xd5>
add    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rbx,%rcx,8),%rdx
mov    %rdx,(%rbx,%rcx,8)
lea    0x1(%rcx),%rdx
mov    %rdx,%rcx
cmp    %rdx,%rax
jne    11d0 <delete_argument+0xc0>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret
xor    %ebp,%ebp
test   $0x1,%r9b
jne    11a7 <delete_argument+0x97>
jmp    11bd <delete_argument+0xad>

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

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