void mcopy(double *a, double *b, int m) {
  double *p, *q;
  int k;
  for (p = a, q = b, k = 0; k < m; ++k)
    *p++ = *q++;
}


x86 assembly (clang, -O0):
<mcopy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1166 <mcopy+0x66>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x28(%rbp)
movsd  (%rax),%xmm0
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x20(%rbp)
movsd  %xmm0,(%rax)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1126 <mcopy+0x26>
pop    %rbp
ret

x86 assembly (clang, -O2):
<mcopy>:
test   %edx,%edx
jle    12d6 <mcopy+0x1d6>
lea    -0x1(%rdx),%r9d
xor    %r8d,%r8d
cmp    $0x3,%r9d
jb     121e <mcopy+0x11e>
lea    (%rsi,%r9,8),%rax
add    $0x8,%rax
cmp    %rdi,%rax
jbe    1137 <mcopy+0x37>
lea    (%rdi,%r9,8),%rax
add    $0x8,%rax
cmp    %rsi,%rax
ja     121e <mcopy+0x11e>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rcx
mov    %rcx,%rax
shr    $0x2,%rax
add    $0x1,%rax
mov    %eax,%r10d
and    $0x3,%r10d
cmp    $0xc,%rcx
jae    1162 <mcopy+0x62>
xor    %ecx,%ecx
jmp    11c8 <mcopy+0xc8>
and    $0xfffffffffffffffc,%rax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rcx,8),%xmm0
movups 0x10(%rsi,%rcx,8),%xmm1
movups %xmm0,(%rdi,%rcx,8)
movups %xmm1,0x10(%rdi,%rcx,8)
movups 0x20(%rsi,%rcx,8),%xmm0
movups 0x30(%rsi,%rcx,8),%xmm1
movups %xmm0,0x20(%rdi,%rcx,8)
movups %xmm1,0x30(%rdi,%rcx,8)
movups 0x40(%rsi,%rcx,8),%xmm0
movups 0x50(%rsi,%rcx,8),%xmm1
movups %xmm0,0x40(%rdi,%rcx,8)
movups %xmm1,0x50(%rdi,%rcx,8)
movups 0x60(%rsi,%rcx,8),%xmm0
movups 0x70(%rsi,%rcx,8),%xmm1
movups %xmm0,0x60(%rdi,%rcx,8)
movups %xmm1,0x70(%rdi,%rcx,8)
add    $0x10,%rcx
add    $0xfffffffffffffffc,%rax
jne    1170 <mcopy+0x70>
test   %r10,%r10
je     120d <mcopy+0x10d>
lea    (%rdi,%rcx,8),%r11
add    $0x10,%r11
lea    (%rsi,%rcx,8),%rcx
add    $0x10,%rcx
shl    $0x5,%r10
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rcx,%rax,1),%xmm0
movups (%rcx,%rax,1),%xmm1
movups %xmm0,-0x10(%r11,%rax,1)
movups %xmm1,(%r11,%rax,1)
add    $0x20,%rax
cmp    %rax,%r10
jne    11f0 <mcopy+0xf0>
cmp    %r8,%r9
je     12d6 <mcopy+0x1d6>
lea    (%rsi,%r8,8),%rsi
lea    (%rdi,%r8,8),%rdi
mov    %edx,%ecx
sub    %r8d,%ecx
mov    %r8d,%r9d
not    %r9d
add    %edx,%r9d
and    $0x7,%ecx
je     125a <mcopy+0x15a>
neg    %ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%rsi),%xmm0
add    $0x8,%rsi
movsd  %xmm0,(%rdi)
add    $0x8,%rdi
add    $0xffffffff,%eax
cmp    %eax,%ecx
jne    1240 <mcopy+0x140>
sub    %eax,%r8d
cmp    $0x7,%r9d
jb     12d6 <mcopy+0x1d6>
sub    %r8d,%edx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%rsi,%rax,8),%xmm0
movsd  %xmm0,(%rdi,%rax,8)
movsd  0x8(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x8(%rdi,%rax,8)
movsd  0x10(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x10(%rdi,%rax,8)
movsd  0x18(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x18(%rdi,%rax,8)
movsd  0x20(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x20(%rdi,%rax,8)
movsd  0x28(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x28(%rdi,%rax,8)
movsd  0x30(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x30(%rdi,%rax,8)
movsd  0x38(%rsi,%rax,8),%xmm0
movsd  %xmm0,0x38(%rdi,%rax,8)
add    $0x8,%rax
cmp    %eax,%edx
jne    1270 <mcopy+0x170>
ret

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

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