void Insert_Node(int *array, int length, int offset, int data) {
  int i = 0;
  for (i = length - 1; i > offset; i--) {
    array[i] = array[i - 1];
  }
  array[offset] = data;
}


x86 assembly (clang, -O0):
<Insert_Node>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1156 <Insert_Node+0x56>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x18(%rbp)
jmp    1121 <Insert_Node+0x21>
mov    -0x14(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<Insert_Node>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
lea    -0x1(%rsi),%eax
cmp    %edx,%eax
jle    114c <Insert_Node+0x4c>
movslq %eax,%r10
movslq %edx,%r9
mov    %r10,%r11
sub    %r9,%r11
cmp    $0x8,%r11
jae    115c <Insert_Node+0x5c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movslq %esi,%rax
mov    -0x8(%rdi,%rax,4),%eax
mov    %eax,(%rdi,%r10,4)
mov    %r10d,%esi
lea    -0x1(%r10),%rax
mov    %rax,%r10
cmp    %r9,%rax
jg     1130 <Insert_Node+0x30>
jmp    114f <Insert_Node+0x4f>
movslq %edx,%r9
mov    %ecx,(%rdi,%r9,4)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r9,%r8
not    %r8
add    %r10,%r8
lea    -0x2(%rsi),%r12d
mov    %r12d,%ebx
sub    %r8d,%ebx
mov    $0x4,%edx
mov    %r8,%rax
mul    %rdx
seto   %r14b
cmp    %r12d,%ebx
jg     1130 <Insert_Node+0x30>
shr    $0x20,%r8
jne    1130 <Insert_Node+0x30>
lea    (%rdi,%r10,4),%rbp
mov    %rbp,%rbx
sub    %rax,%rbx
cmp    %rbp,%rbx
ja     1130 <Insert_Node+0x30>
test   %r14b,%r14b
jne    1130 <Insert_Node+0x30>
movslq %r12d,%rbx
lea    (%rdi,%rbx,4),%rdx
mov    %rdx,%rbp
sub    %rax,%rbp
cmp    %rdx,%rbp
ja     1130 <Insert_Node+0x30>
test   %r14b,%r14b
jne    1130 <Insert_Node+0x30>
lea    (%rdi,%r9,4),%rax
add    $0x4,%rax
lea    (%rdi,%rbx,4),%rdx
add    $0x4,%rdx
cmp    %rdx,%rax
jae    11ec <Insert_Node+0xec>
lea    (%rdi,%r10,4),%rax
add    $0x4,%rax
add    %r9,%rbx
sub    %r10,%rbx
lea    (%rdi,%rbx,4),%rdx
add    $0x4,%rdx
cmp    %rax,%rdx
jb     1130 <Insert_Node+0x30>
mov    %r11,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rax,%rax
je     12ad <Insert_Node+0x1ad>
mov    %r14,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%rdi,%r10,4),%rax
add    $0xfffffffffffffff4,%rax
lea    -0xa(%rsi),%r15d
mov    %r12d,%r12d
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    (%r12,%rbx,1),%ebp
movslq %ebp,%rbp
movups -0x1c(%rdi,%rbp,4),%xmm0
movups -0xc(%rdi,%rbp,4),%xmm1
movups %xmm1,(%rax,%rbx,4)
movups %xmm0,-0x10(%rax,%rbx,4)
lea    (%r15,%rbx,1),%ebp
movslq %ebp,%rbp
movups -0x1c(%rdi,%rbp,4),%xmm0
movups -0xc(%rdi,%rbp,4),%xmm1
movups %xmm1,-0x20(%rax,%rbx,4)
movups %xmm0,-0x30(%rax,%rbx,4)
add    $0xfffffffffffffff0,%rbx
add    $0xfffffffffffffffe,%rdx
jne    1230 <Insert_Node+0x130>
neg    %rbx
test   $0x1,%r14b
je     1299 <Insert_Node+0x199>
mov    %r10,%rax
sub    %rbx,%rax
mov    %esi,%edx
sub    %ebx,%edx
movslq %edx,%rdx
movups -0x24(%rdi,%rdx,4),%xmm0
movups -0x14(%rdi,%rdx,4),%xmm1
movups %xmm1,-0xc(%rdi,%rax,4)
movups %xmm0,-0x1c(%rdi,%rax,4)
cmp    %r8,%r11
je     114f <Insert_Node+0x4f>
sub    %r8,%r10
sub    %r8d,%esi
jmp    1130 <Insert_Node+0x30>
xor    %ebx,%ebx
test   $0x1,%r14b
jne    1278 <Insert_Node+0x178>
jmp    1299 <Insert_Node+0x199>

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

LLVM IR (-O2):
define void @Insert_Node(i32* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = add i32 %1, -1
%6 = icmp sgt i32 %5, %2
br i1 %6, label %9, label %7
7: ; preds = %4
%8 = sext i32 %2 to i64
br label %156
9: ; preds = %4
%10 = sext i32 %5 to i64
%11 = sext i32 %2 to i64
%12 = sub nsw i64 %10, %11
%13 = icmp ult i64 %12, 8
br i1 %13, label %142, label %14
14: ; preds = %9
%15 = xor i64 %11, -1
%16 = add nsw i64 %15, %10
%17 = add i32 %1, -2
%18 = trunc i64 %16 to i32
%19 = sub i32 %17, %18
%20 = icmp sgt i32 %19, %17
%21 = icmp ugt i64 %16, 4294967295
%22 = or i1 %20, %21
%23 = getelementptr i32, i32* %0, i64 %10
%24 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %16, i64 4)
%25 = extractvalue { i64, i1 } %24, 0
%26 = extractvalue { i64, i1 } %24, 1
%27 = bitcast i32* %23 to i8*
%28 = sub i64 0, %25
%29 = getelementptr i8, i8* %27, i64 %28
%30 = icmp ugt i8* %29, %27
%31 = or i1 %30, %26
%32 = sext i32 %17 to i64
%33 = getelementptr i32, i32* %0, i64 %32
%34 = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %16, i64 4)
%35 = extractvalue { i64, i1 } %34, 0
%36 = extractvalue { i64, i1 } %34, 1
%37 = bitcast i32* %33 to i8*
%38 = sub i64 0, %35
%39 = getelementptr i8, i8* %37, i64 %38
%40 = icmp ugt i8* %39, %37
%41 = or i1 %40, %36
%42 = or i1 %22, %31
%43 = or i1 %42, %41
br i1 %43, label %142, label %44
44: ; preds = %14
%45 = add nsw i64 %11, 1
%46 = getelementptr i32, i32* %0, i64 %45
%47 = add nsw i64 %10, 1
%48 = getelementptr i32, i32* %0, i64 %47
%49 = add i32 %1, -2
%50 = sext i32 %49 to i64
%51 = add nsw i64 %11, %50
%52 = add nsw i64 %51, 1
%53 = sub nsw i64 %52, %10
%54 = getelementptr i32, i32* %0, i64 %53
%55 = add nsw i64 %50, 1
%56 = getelementptr i32, i32* %0, i64 %55
%57 = icmp ult i32* %46, %56
%58 = icmp ult i32* %54, %48
%59 = and i1 %57, %58
br i1 %59, label %142, label %60
60: ; preds = %44
%61 = and i64 %12, -8
%62 = sub nsw i64 %10, %61
%63 = trunc i64 %61 to i32
%64 = sub i32 %1, %63
%65 = add nsw i64 %61, -8
%66 = lshr exact i64 %65, 3
%67 = add nuw nsw i64 %66, 1
%68 = and i64 %67, 1
%69 = icmp eq i64 %65, 0
br i1 %69, label %117, label %70
70: ; preds = %60
%71 = and i64 %67, 4611686018427387902
br label %72
72: ; preds = %72, %70
%73 = phi i64 [ 0, %70 ], [ %114, %72 ]
%74 = phi i64 [ 0, %70 ], [ %115, %72 ]
%75 = sub i64 %10, %73
%76 = trunc i64 %73 to i32
%77 = sub i32 %1, %76
%78 = add nsw i32 %77, -2
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i32, i32* %0, i64 %79
%81 = getelementptr inbounds i32, i32* %80, i64 -3
%82 = bitcast i32* %81 to <4 x i32>*
%83 = load <4 x i32>, <4 x i32>* %82
%84 = getelementptr inbounds i32, i32* %80, i64 -4
%85 = getelementptr inbounds i32, i32* %84, i64 -3
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = getelementptr inbounds i32, i32* %0, i64 %75
%89 = getelementptr inbounds i32, i32* %88, i64 -3
%90 = bitcast i32* %89 to <4 x i32>*
store <4 x i32> %83, <4 x i32>* %90
%91 = getelementptr inbounds i32, i32* %88, i64 -4
%92 = getelementptr inbounds i32, i32* %91, i64 -3
%93 = bitcast i32* %92 to <4 x i32>*
store <4 x i32> %87, <4 x i32>* %93
%94 = or i64 %73, 8
%95 = sub i64 %10, %94
%96 = trunc i64 %94 to i32
%97 = sub i32 %1, %96
%98 = add nsw i32 %97, -2
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %0, i64 %99
%101 = getelementptr inbounds i32, i32* %100, i64 -3
%102 = bitcast i32* %101 to <4 x i32>*
%103 = load <4 x i32>, <4 x i32>* %102
%104 = getelementptr inbounds i32, i32* %100, i64 -4
%105 = getelementptr inbounds i32, i32* %104, i64 -3
%106 = bitcast i32* %105 to <4 x i32>*
%107 = load <4 x i32>, <4 x i32>* %106
%108 = getelementptr inbounds i32, i32* %0, i64 %95
%109 = getelementptr inbounds i32, i32* %108, i64 -3
%110 = bitcast i32* %109 to <4 x i32>*
store <4 x i32> %103, <4 x i32>* %110
%111 = getelementptr inbounds i32, i32* %108, i64 -4
%112 = getelementptr inbounds i32, i32* %111, i64 -3
%113 = bitcast i32* %112 to <4 x i32>*
store <4 x i32> %107, <4 x i32>* %113
%114 = add nuw i64 %73, 16
%115 = add i64 %74, 2
%116 = icmp eq i64 %115, %71
br i1 %116, label %117, label %72
117: ; preds = %72, %60
%118 = phi i64 [ 0, %60 ], [ %114, %72 ]
%119 = icmp eq i64 %68, 0
br i1 %119, label %140, label %120
120: ; preds = %117
%121 = sub i64 %10, %118
%122 = trunc i64 %118 to i32
%123 = sub i32 %1, %122
%124 = add nsw i32 %123, -2
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %0, i64 %125
%127 = getelementptr inbounds i32, i32* %126, i64 -3
%128 = bitcast i32* %127 to <4 x i32>*
%129 = load <4 x i32>, <4 x i32>* %128
%130 = getelementptr inbounds i32, i32* %126, i64 -4
%131 = getelementptr inbounds i32, i32* %130, i64 -3
%132 = bitcast i32* %131 to <4 x i32>*
%133 = load <4 x i32>, <4 x i32>* %132
%134 = getelementptr inbounds i32, i32* %0, i64 %121
%135 = getelementptr inbounds i32, i32* %134, i64 -3
%136 = bitcast i32* %135 to <4 x i32>*
store <4 x i32> %129, <4 x i32>* %136
%137 = getelementptr inbounds i32, i32* %134, i64 -4
%138 = getelementptr inbounds i32, i32* %137, i64 -3
%139 = bitcast i32* %138 to <4 x i32>*
store <4 x i32> %133, <4 x i32>* %139
br label %140
140: ; preds = %117, %120
%141 = icmp eq i64 %12, %61
br i1 %141, label %156, label %142
142: ; preds = %44, %14, %9, %140
%143 = phi i64 [ %10, %44 ], [ %10, %14 ], [ %10, %9 ], [ %62, %140 ]
%144 = phi i32 [ %1, %44 ], [ %1, %14 ], [ %1, %9 ], [ %64, %140 ]
br label %145
145: ; preds = %142, %145
%146 = phi i64 [ %153, %145 ], [ %143, %142 ]
%147 = phi i32 [ %155, %145 ], [ %144, %142 ]
%148 = add nsw i32 %147, -2
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds i32, i32* %0, i64 %149
%151 = load i32, i32* %150
%152 = getelementptr inbounds i32, i32* %0, i64 %146
store i32 %151, i32* %152
%153 = add nsw i64 %146, -1
%154 = icmp sgt i64 %153, %11
%155 = trunc i64 %146 to i32
br i1 %154, label %145, label %156
156: ; preds = %145, %140, %7
%157 = phi i64 [ %8, %7 ], [ %11, %140 ], [ %11, %145 ]
%158 = getelementptr inbounds i32, i32* %0, i64 %157
store i32 %3, i32* %158
ret void
}