void insert(int a[], int len, int n, int v) {
  int i = n, temp = v, swap;
  while (i <= len) {
    swap = a[i];
    a[i] = temp;
    temp = swap;
    i++;
  }
}


x86 assembly (clang, -O0):
<insert>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1159 <insert+0x59>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    111d <insert+0x1d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<insert>:
mov    %esi,%r8d
sub    %edx,%r8d
jl     1210 <insert+0x110>
movslq %edx,%rax
cmp    $0x7,%r8d
jb     11f2 <insert+0xf2>
add    $0x1,%r8
mov    %r8,%r9
and    $0xfffffffffffffff8,%r9
movd   %ecx,%xmm0
pshufd $0x0,%xmm0,%xmm0
lea    -0x8(%r9),%rcx
mov    %rcx,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rcx,%rcx
je     1211 <insert+0x111>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
lea    (%rdi,%rax,4),%rdx
add    $0x30,%rdx
xor    %ecx,%ecx
movdqa %xmm0,%xmm1
nopw   0x0(%rax,%rax,1)
movups -0x30(%rdx,%rcx,4),%xmm2
movups -0x20(%rdx,%rcx,4),%xmm3
movups -0x10(%rdx,%rcx,4),%xmm4
movups (%rdx,%rcx,4),%xmm0
shufps $0x3,%xmm2,%xmm1
shufps $0x98,%xmm2,%xmm1
shufps $0x3,%xmm3,%xmm2
shufps $0x98,%xmm3,%xmm2
movups %xmm1,-0x30(%rdx,%rcx,4)
movups %xmm2,-0x20(%rdx,%rcx,4)
shufps $0x3,%xmm4,%xmm3
shufps $0x98,%xmm4,%xmm3
shufps $0x3,%xmm0,%xmm4
shufps $0x98,%xmm0,%xmm4
movups %xmm3,-0x10(%rdx,%rcx,4)
movups %xmm4,(%rdx,%rcx,4)
add    $0x10,%rcx
movaps %xmm0,%xmm1
add    $0xfffffffffffffffe,%r11
jne    1160 <insert+0x60>
test   $0x1,%r10b
je     11e1 <insert+0xe1>
add    %rax,%rcx
movups (%rdi,%rcx,4),%xmm1
movups 0x10(%rdi,%rcx,4),%xmm2
shufps $0x3,%xmm1,%xmm0
shufps $0x98,%xmm1,%xmm0
shufps $0x3,%xmm2,%xmm1
shufps $0x98,%xmm2,%xmm1
movups %xmm0,(%rdi,%rcx,4)
movups %xmm1,0x10(%rdi,%rcx,4)
movaps %xmm2,%xmm0
cmp    %r9,%r8
je     1210 <insert+0x110>
add    %r9,%rax
pshufd $0xff,%xmm0,%xmm0
movd   %xmm0,%ecx
add    $0x1,%esi
mov    %esi,%edx
nopw   0x0(%rax,%rax,1)
mov    (%rdi,%rax,4),%esi
mov    %ecx,(%rdi,%rax,4)
add    $0x1,%rax
mov    %esi,%ecx
cmp    %eax,%edx
jne    1200 <insert+0x100>
ret
xor    %ecx,%ecx
test   $0x1,%r10b
jne    11b9 <insert+0xb9>
jmp    11e1 <insert+0xe1>

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

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