int arr_insert_ul(unsigned long arr[], const int len, const int i,
                  const unsigned long v) {
  int x;
  for (x = len; x > i; x--) {
    arr[x] = arr[x - 1];
  }
  arr[x] = v;
  return 0;
}


x86 assembly (clang, -O0):
<arr_insert_ul>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    114f <arr_insert_ul+0x4f>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1118 <arr_insert_ul+0x18>
mov    -0x18(%rbp),%rdx
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<arr_insert_ul>:
mov    %esi,%r10d
sub    %edx,%r10d
jle    115d <arr_insert_ul+0x5d>
movslq %esi,%rsi
movslq %edx,%r9
mov    %r9,%r8
not    %r8
add    %rsi,%r8
and    $0x3,%r10
je     1136 <arr_insert_ul+0x36>
mov    %rsi,%rdx
lea    -0x1(%rdx),%rsi
mov    -0x8(%rdi,%rdx,8),%rax
mov    %rax,(%rdi,%rdx,8)
mov    %rsi,%rdx
add    $0xffffffffffffffff,%r10
jne    1120 <arr_insert_ul+0x20>
cmp    $0x3,%r8
jb     115d <arr_insert_ul+0x5d>
nopl   0x0(%rax)
movups -0x20(%rdi,%rsi,8),%xmm0
movups -0x10(%rdi,%rsi,8),%xmm1
movups %xmm1,-0x8(%rdi,%rsi,8)
movups %xmm0,-0x18(%rdi,%rsi,8)
add    $0xfffffffffffffffc,%rsi
cmp    %r9,%rsi
jg     1140 <arr_insert_ul+0x40>
movslq %esi,%rax
mov    %rcx,(%rdi,%rax,8)
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @arr_insert_ul(i64* nocapture %0, i32 %1, i32 %2, i64 %3) {
%5 = icmp sgt i32 %1, %2
br i1 %5, label %6, label %49
6: ; preds = %4
%7 = sext i32 %1 to i64
%8 = sext i32 %2 to i64
%9 = sub nsw i64 %7, %8
%10 = xor i64 %8, -1
%11 = add nsw i64 %10, %7
%12 = and i64 %9, 3
%13 = icmp eq i64 %12, 0
br i1 %13, label %23, label %14
14: ; preds = %6, %14
%15 = phi i64 [ %17, %14 ], [ %7, %6 ]
%16 = phi i64 [ %21, %14 ], [ 0, %6 ]
%17 = add nsw i64 %15, -1
%18 = getelementptr inbounds i64, i64* %0, i64 %17
%19 = load i64, i64* %18
%20 = getelementptr inbounds i64, i64* %0, i64 %15
store i64 %19, i64* %20
%21 = add i64 %16, 1
%22 = icmp eq i64 %21, %12
br i1 %22, label %23, label %14
23: ; preds = %14, %6
%24 = phi i64 [ %7, %6 ], [ %17, %14 ]
%25 = phi i64 [ undef, %6 ], [ %17, %14 ]
%26 = icmp ult i64 %11, 3
br i1 %26, label %46, label %27
27: ; preds = %23, %27
%28 = phi i64 [ %41, %27 ], [ %24, %23 ]
%29 = add nsw i64 %28, -1
%30 = getelementptr inbounds i64, i64* %0, i64 %29
%31 = load i64, i64* %30
%32 = getelementptr inbounds i64, i64* %0, i64 %28
store i64 %31, i64* %32
%33 = add nsw i64 %28, -2
%34 = getelementptr inbounds i64, i64* %0, i64 %33
%35 = load i64, i64* %34
%36 = getelementptr inbounds i64, i64* %0, i64 %29
store i64 %35, i64* %36
%37 = add nsw i64 %28, -3
%38 = getelementptr inbounds i64, i64* %0, i64 %37
%39 = load i64, i64* %38
%40 = getelementptr inbounds i64, i64* %0, i64 %33
store i64 %39, i64* %40
%41 = add nsw i64 %28, -4
%42 = getelementptr inbounds i64, i64* %0, i64 %41
%43 = load i64, i64* %42
%44 = getelementptr inbounds i64, i64* %0, i64 %37
store i64 %43, i64* %44
%45 = icmp sgt i64 %41, %8
br i1 %45, label %27, label %46
46: ; preds = %27, %23
%47 = phi i64 [ %25, %23 ], [ %41, %27 ]
%48 = trunc i64 %47 to i32
br label %49
49: ; preds = %46, %4
%50 = phi i32 [ %1, %4 ], [ %48, %46 ]
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i64, i64* %0, i64 %51
store i64 %3, i64* %52
ret i32 0
}