int delarg1(int ac, const char *av[], int ax) {
  int ai;
  for (ai = ax; ai < ac; ai++)
    av[ai] = av[ai + 1];
  return ac - 1;
}


x86 assembly (clang, -O0):
<delarg1>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    114b <delarg1+0x4b>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1114 <delarg1+0x14>
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<delarg1>:
push   %rbx
mov    %edi,%eax
cmp    %edi,%edx
jge    11d5 <delarg1+0xd5>
movslq %edx,%rdx
movslq %eax,%r11
mov    %r11,%r10
sub    %rdx,%r10
cmp    $0x4,%r10
jb     11c0 <delarg1+0xc0>
mov    %r10,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rcx
mov    %rcx,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rcx,%rcx
je     11da <delarg1+0xda>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
lea    (%rsi,%rdx,8),%rbx
add    $0x38,%rbx
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups -0x30(%rbx,%rdi,8),%xmm0
movups -0x20(%rbx,%rdi,8),%xmm1
movups -0x10(%rbx,%rdi,8),%xmm2
movups (%rbx,%rdi,8),%xmm3
movups %xmm0,-0x38(%rbx,%rdi,8)
movups %xmm1,-0x28(%rbx,%rdi,8)
movups %xmm2,-0x18(%rbx,%rdi,8)
movups %xmm3,-0x8(%rbx,%rdi,8)
add    $0x8,%rdi
add    $0xfffffffffffffffe,%rcx
jne    1160 <delarg1+0x60>
test   $0x1,%r9b
je     11ad <delarg1+0xad>
add    %rdx,%rdi
movups 0x8(%rsi,%rdi,8),%xmm0
movups 0x18(%rsi,%rdi,8),%xmm1
movups %xmm0,(%rsi,%rdi,8)
movups %xmm1,0x10(%rsi,%rdi,8)
cmp    %r8,%r10
je     11d5 <delarg1+0xd5>
add    %r8,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rsi,%rdx,8),%rcx
mov    %rcx,(%rsi,%rdx,8)
lea    0x1(%rdx),%rcx
mov    %rcx,%rdx
cmp    %rcx,%r11
jne    11c0 <delarg1+0xc0>
add    $0xffffffff,%eax
pop    %rbx
ret
xor    %edi,%edi
test   $0x1,%r9b
jne    1197 <delarg1+0x97>
jmp    11ad <delarg1+0xad>

LLVM IR (-O0):
define i32 @delarg1(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 i32, i32* %6
store i32 %8, i32* %7
br label %9
9: ; preds = %24, %3
%10 = load i32, i32* %7
%11 = load i32, i32* %4
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %27
13: ; preds = %9
%14 = load i8**, i8*** %5
%15 = load i32, i32* %7
%16 = add nsw i32 %15, 1
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i8*, i8** %14, i64 %17
%19 = load i8*, i8** %18
%20 = load i8**, i8*** %5
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8*, i8** %20, i64 %22
store i8* %19, i8** %23
br label %24
24: ; preds = %13
%25 = load i32, i32* %7
%26 = add nsw i32 %25, 1
store i32 %26, i32* %7
br label %9
27: ; preds = %9
%28 = load i32, i32* %4
%29 = sub nsw i32 %28, 1
ret i32 %29
}

LLVM IR (-O2):
define i32 @delarg1(i32 %0, i8** nocapture %1, i32 %2) {
%4 = icmp slt i32 %2, %0
br i1 %4, label %5, label %78
5: ; preds = %3
%6 = sext i32 %2 to i64
%7 = sext i32 %0 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** %1, 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** %1, 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** %1, 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** %1, 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** %1, 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** %1, 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** %1, i64 %73
%75 = load i8*, i8** %74
%76 = getelementptr inbounds i8*, i8** %1, i64 %72
store i8* %75, i8** %76
%77 = icmp eq i64 %73, %7
br i1 %77, label %78, label %71
78: ; preds = %71, %67, %3
%79 = add nsw i32 %0, -1
ret i32 %79
}