int insert_argv(char **argv, int src, int dest) {
  int i;
  char *tmp = argv[src];
  if (src > dest) {
    for (i = src; i > dest; i--)
      argv[i] = argv[i - 1];
  }
  if (src < dest) {
    for (i = src; i < dest; i++)
      argv[i] = argv[i + 1];
  }
  argv[dest] = tmp;
  return 0;
}


x86 assembly (clang, -O0):
<insert_argv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x20(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    116c <insert_argv+0x6c>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1167 <insert_argv+0x67>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1130 <insert_argv+0x30>
jmp    116c <insert_argv+0x6c>
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11ba <insert_argv+0xba>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11b5 <insert_argv+0xb5>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    117e <insert_argv+0x7e>
jmp    11ba <insert_argv+0xba>
mov    -0x20(%rbp),%rdx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<insert_argv>:
push   %r14
push   %rbx
movslq %esi,%r14
mov    (%rdi,%r14,8),%r8
mov    %r14d,%r10d
movslq %edx,%r11
sub    %edx,%r10d
jle    116d <insert_argv+0x6d>
mov    %r11,%r9
not    %r9
add    %r14,%r9
mov    %r14,%rax
and    $0x3,%r10
je     1146 <insert_argv+0x46>
mov    %r14,%rbx
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rbx),%rax
mov    -0x8(%rdi,%rbx,8),%rcx
mov    %rcx,(%rdi,%rbx,8)
mov    %rax,%rbx
add    $0xffffffffffffffff,%r10
jne    1130 <insert_argv+0x30>
cmp    $0x3,%r9
jb     116d <insert_argv+0x6d>
nopl   0x0(%rax)
movups -0x20(%rdi,%rax,8),%xmm0
movups -0x10(%rdi,%rax,8),%xmm1
movups %xmm1,-0x8(%rdi,%rax,8)
movups %xmm0,-0x18(%rdi,%rax,8)
add    $0xfffffffffffffffc,%rax
cmp    %r11,%rax
jg     1150 <insert_argv+0x50>
cmp    %edx,%esi
jge    1235 <insert_argv+0x135>
mov    %r11,%rdx
sub    %r14,%rdx
cmp    $0x4,%rdx
jb     1220 <insert_argv+0x120>
mov    %rdx,%r9
and    $0xfffffffffffffffc,%r9
lea    -0x4(%r9),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rax,%rax
je     123f <insert_argv+0x13f>
mov    %r10,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rdi,%r14,8),%rcx
add    $0x38,%rcx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x30(%rcx,%rsi,8),%xmm0
movups -0x20(%rcx,%rsi,8),%xmm1
movups -0x10(%rcx,%rsi,8),%xmm2
movups (%rcx,%rsi,8),%xmm3
movups %xmm0,-0x38(%rcx,%rsi,8)
movups %xmm1,-0x28(%rcx,%rsi,8)
movups %xmm2,-0x18(%rcx,%rsi,8)
movups %xmm3,-0x8(%rcx,%rsi,8)
add    $0x8,%rsi
add    $0xfffffffffffffffe,%rax
jne    11c0 <insert_argv+0xc0>
test   $0x1,%r10b
je     120d <insert_argv+0x10d>
add    %r14,%rsi
movups 0x8(%rdi,%rsi,8),%xmm0
movups 0x18(%rdi,%rsi,8),%xmm1
movups %xmm0,(%rdi,%rsi,8)
movups %xmm1,0x10(%rdi,%rsi,8)
cmp    %r9,%rdx
je     1235 <insert_argv+0x135>
add    %r9,%r14
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x8(%rdi,%r14,8),%rax
mov    %rax,(%rdi,%r14,8)
lea    0x1(%r14),%rax
mov    %rax,%r14
cmp    %rax,%r11
jne    1220 <insert_argv+0x120>
mov    %r8,(%rdi,%r11,8)
xor    %eax,%eax
pop    %rbx
pop    %r14
ret
xor    %esi,%esi
test   $0x1,%r10b
jne    11f7 <insert_argv+0xf7>
jmp    120d <insert_argv+0x10d>

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

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