void insert_num_into_array(int *p, int size, int pos, int n) {
  int i;
  for (i = size - 1; i > pos - 1; i--) {
    p[i] = p[i - 1];
  }
  p[i] = n;
}


x86 assembly (clang, -O0):
<insert_num_into_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jle    1154 <insert_num_into_array+0x54>
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    111a <insert_num_into_array+0x1a>
mov    -0x14(%rbp),%edx
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
pop    %rbp
ret

x86 assembly (clang, -O2):
<insert_num_into_array>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
cmp    %edx,%esi
jle    114a <insert_num_into_array+0x4a>
movslq %esi,%r15
lea    -0x1(%r15),%r9
movslq %edx,%r10
mov    %r15,%r11
sub    %r10,%r11
cmp    $0x8,%r11
jae    115f <insert_num_into_array+0x5f>
mov    %r9,%rax
cs nopw 0x0(%rax,%rax,1)
nop
movslq %esi,%rdx
mov    -0x8(%rdi,%rdx,4),%edx
mov    %edx,(%rdi,%rax,4)
lea    -0x1(%rax),%r9
mov    %eax,%esi
cmp    %r10,%rax
mov    %r9,%rax
jg     1130 <insert_num_into_array+0x30>
jmp    1150 <insert_num_into_array+0x50>
add    $0xffffffff,%esi
mov    %esi,%r9d
movslq %r9d,%rax
mov    %ecx,(%rdi,%rax,4)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r10,%r8
not    %r8
add    %r15,%r8
lea    -0x2(%rsi),%r12d
mov    %r12d,%ebp
sub    %r8d,%ebp
mov    $0x4,%edx
mov    %r8,%rax
mul    %rdx
seto   %r14b
cmp    %r12d,%ebp
jg     1122 <insert_num_into_array+0x22>
shr    $0x20,%r8
jne    1122 <insert_num_into_array+0x22>
lea    (%rdi,%r9,4),%rdx
mov    %rdx,%rbp
sub    %rax,%rbp
cmp    %rdx,%rbp
ja     1122 <insert_num_into_array+0x22>
test   %r14b,%r14b
jne    1122 <insert_num_into_array+0x22>
movslq %r12d,%rbp
lea    (%rdi,%rbp,4),%rbx
mov    %rbx,%rdx
sub    %rax,%rdx
cmp    %rbx,%rdx
ja     1122 <insert_num_into_array+0x22>
test   %r14b,%r14b
jne    1122 <insert_num_into_array+0x22>
lea    (%rdi,%r10,4),%rax
lea    (%rdi,%rbp,4),%rdx
add    $0x4,%rdx
cmp    %rdx,%rax
jae    11eb <insert_num_into_array+0xeb>
lea    (%rdi,%r15,4),%rax
add    %r10,%rbp
sub    %r15,%rbp
lea    (%rdi,%rbp,4),%rdx
add    $0x4,%rdx
cmp    %rax,%rdx
jb     1122 <insert_num_into_array+0x22>
mov    %r11,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r14
shr    $0x3,%r14
add    $0x1,%r14
test   %rax,%rax
je     12ab <insert_num_into_array+0x1ab>
mov    %r14,%rdx
and    $0xfffffffffffffffe,%rdx
lea    (%rdi,%r15,4),%rbx
add    $0xfffffffffffffff0,%rbx
lea    -0xa(%rsi),%r15d
mov    %r12d,%r12d
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    (%r12,%rbp,1),%eax
cltq
movups -0x1c(%rdi,%rax,4),%xmm0
movups -0xc(%rdi,%rax,4),%xmm1
movups %xmm1,(%rbx,%rbp,4)
movups %xmm0,-0x10(%rbx,%rbp,4)
lea    (%r15,%rbp,1),%eax
cltq
movups -0x1c(%rdi,%rax,4),%xmm0
movups -0xc(%rdi,%rax,4),%xmm1
movups %xmm1,-0x20(%rbx,%rbp,4)
movups %xmm0,-0x30(%rbx,%rbp,4)
add    $0xfffffffffffffff0,%rbp
add    $0xfffffffffffffffe,%rdx
jne    1230 <insert_num_into_array+0x130>
neg    %rbp
test   $0x1,%r14b
je     1297 <insert_num_into_array+0x197>
mov    %r9,%rax
sub    %rbp,%rax
mov    %esi,%edx
sub    %ebp,%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)
sub    %r8,%r9
cmp    %r8,%r11
je     1150 <insert_num_into_array+0x50>
sub    %r8d,%esi
jmp    1122 <insert_num_into_array+0x22>
xor    %ebp,%ebp
test   $0x1,%r14b
jne    1276 <insert_num_into_array+0x176>
jmp    1297 <insert_num_into_array+0x197>

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

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