void arr_cpy2(int dst[], int src[], int start1, int num1, int start2) {
  int i = 0;
  for (; i < num1; i++) {
    dst[i + start1] = src[i + start2];
  }
}


x86 assembly (clang, -O0):
<arr_cpy2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1157 <arr_cpy2+0x57>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    111d <arr_cpy2+0x1d>
pop    %rbp
ret

x86 assembly (clang, -O2):
<arr_cpy2>:
push   %rbp
push   %r14
push   %rbx
test   %ecx,%ecx
jle    124c <arr_cpy2+0x14c>
movslq %r8d,%r8
movslq %edx,%r9
mov    %ecx,%r11d
cmp    $0x8,%ecx
jb     1144 <arr_cpy2+0x44>
lea    (%rdi,%r9,4),%rax
lea    (%r8,%r11,1),%rcx
lea    (%rsi,%rcx,4),%rcx
cmp    %rcx,%rax
jae    11bc <arr_cpy2+0xbc>
lea    (%r9,%r11,1),%rax
lea    (%rdi,%rax,4),%rax
lea    (%rsi,%r8,4),%rcx
cmp    %rax,%rcx
jae    11bc <arr_cpy2+0xbc>
xor    %ecx,%ecx
mov    %rcx,%r10
not    %r10
add    %r11,%r10
mov    %r11,%rax
and    $0x3,%rax
je     1170 <arr_cpy2+0x70>
lea    (%rdi,%r9,4),%rbx
lea    (%rsi,%r8,4),%rdx
mov    (%rdx,%rcx,4),%ebp
mov    %ebp,(%rbx,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rax
jne    1160 <arr_cpy2+0x60>
cmp    $0x3,%r10
jb     124c <arr_cpy2+0x14c>
lea    (%rdi,%r9,4),%rax
add    $0xc,%rax
lea    (%rsi,%r8,4),%rdx
add    $0xc,%rdx
nopw   0x0(%rax,%rax,1)
mov    -0xc(%rdx,%rcx,4),%esi
mov    %esi,-0xc(%rax,%rcx,4)
mov    -0x8(%rdx,%rcx,4),%esi
mov    %esi,-0x8(%rax,%rcx,4)
mov    -0x4(%rdx,%rcx,4),%esi
mov    %esi,-0x4(%rax,%rcx,4)
mov    (%rdx,%rcx,4),%esi
mov    %esi,(%rax,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%r11
jne    1190 <arr_cpy2+0x90>
jmp    124c <arr_cpy2+0x14c>
mov    %r11d,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     1251 <arr_cpy2+0x151>
mov    %r10,%rax
and    $0xfffffffffffffffe,%rax
lea    (%rsi,%r8,4),%r14
add    $0x30,%r14
lea    (%rdi,%r9,4),%rbx
add    $0x30,%rbx
xor    %edx,%edx
nop
movups -0x30(%r14,%rdx,4),%xmm0
movups -0x20(%r14,%rdx,4),%xmm1
movups %xmm0,-0x30(%rbx,%rdx,4)
movups %xmm1,-0x20(%rbx,%rdx,4)
movups -0x10(%r14,%rdx,4),%xmm0
movups (%r14,%rdx,4),%xmm1
movups %xmm0,-0x10(%rbx,%rdx,4)
movups %xmm1,(%rbx,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rax
jne    11f0 <arr_cpy2+0xf0>
test   $0x1,%r10b
je     1243 <arr_cpy2+0x143>
lea    (%rdx,%r8,1),%rax
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
add    %r9,%rdx
movups %xmm0,(%rdi,%rdx,4)
movups %xmm1,0x10(%rdi,%rdx,4)
cmp    %r11,%rcx
jne    1146 <arr_cpy2+0x46>
pop    %rbx
pop    %r14
pop    %rbp
ret
xor    %edx,%edx
test   $0x1,%r10b
jne    122a <arr_cpy2+0x12a>
jmp    1243 <arr_cpy2+0x143>

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

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