void relax_copy(double *y, int ystride, double *x, int xstride, int n) {
  int i, xoff, yoff;
  xoff = 0;
  yoff = 0;
  for (i = 0; i < n; i++) {
    y[yoff] = x[xoff];
    xoff += xstride;
    yoff += ystride;
  }
}


x86 assembly (clang, -O0):
<relax_copy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1171 <relax_copy+0x71>
mov    -0x18(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x1c(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0xc(%rbp),%eax
add    -0x2c(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    112b <relax_copy+0x2b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<relax_copy>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %r8d,%r8d
jle    120a <relax_copy+0x10a>
movslq %esi,%r10
movslq %ecx,%r9
lea    -0x1(%r8),%r11d
cmp    $0x3,%r11d
jae    1215 <relax_copy+0x115>
xor    %eax,%eax
xor    %ebx,%ebx
xor    %r14d,%r14d
mov    %r8d,%esi
sub    %r14d,%esi
mov    %r14d,%ecx
not    %ecx
add    %r8d,%ecx
and    $0x3,%esi
je     116a <relax_copy+0x6a>
neg    %esi
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
movsd  (%rdx,%rax,8),%xmm0
movsd  %xmm0,(%rdi,%rbx,8)
add    %r9,%rax
add    %r10,%rbx
add    $0xffffffff,%ebp
cmp    %ebp,%esi
jne    1150 <relax_copy+0x50>
sub    %ebp,%r14d
cmp    $0x3,%ecx
jb     120a <relax_copy+0x10a>
lea    0x0(,%rax,8),%r11
mov    %r9,%r12
shl    $0x5,%r12
lea    (%r9,%r9,2),%rcx
lea    (%r11,%rcx,8),%r15
mov    %r9,%rcx
shl    $0x4,%rcx
lea    (%rcx,%rax,8),%r13
add    %r9,%rax
lea    (%rdi,%rbx,8),%rsi
mov    %r10,%rcx
shl    $0x5,%rcx
lea    0x0(,%r10,8),%rbp
lea    0x0(,%rbp,2),%r9
add    %rbp,%r9
add    %r10,%rbx
shl    $0x4,%r10
lea    (%rdi,%rbx,8),%rdi
sub    %r14d,%r8d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  (%rdx,%r11,1),%xmm0
movsd  %xmm0,(%rsi)
movsd  (%rdx,%rax,8),%xmm0
movsd  %xmm0,(%rdi)
movsd  (%rdx,%r13,1),%xmm0
movsd  %xmm0,(%rsi,%r10,1)
movsd  (%rdx,%r15,1),%xmm0
movsd  %xmm0,(%rsi,%r9,1)
add    %r12,%rdx
add    %rcx,%rsi
add    %rcx,%rdi
add    $0xfffffffc,%r8d
jne    11d0 <relax_copy+0xd0>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %eax,%eax
cmp    $0x1,%esi
jne    1129 <relax_copy+0x29>
mov    $0x0,%ebx
mov    $0x0,%r14d
cmp    $0x1,%ecx
jne    112e <relax_copy+0x2e>
lea    (%rdx,%r11,8),%rax
add    $0x8,%rax
cmp    %rdi,%rax
jbe    1252 <relax_copy+0x152>
lea    (%rdi,%r11,8),%rax
add    $0x8,%rax
cmp    %rdx,%rax
ja     1127 <relax_copy+0x27>
add    $0x1,%r11
mov    %r11,%r14
and    $0xfffffffffffffffc,%r14
lea    -0x4(%r14),%rax
mov    %rax,%rcx
shr    $0x2,%rcx
add    $0x1,%rcx
test   %rax,%rax
mov    %rcx,-0x8(%rsp)
je     1324 <relax_copy+0x224>
mov    %rcx,%rsi
and    $0xfffffffffffffffe,%rsi
mov    %r9,%r13
shl    $0x5,%r13
lea    0x10(%rdx),%rax
mov    %r9,%r12
shl    $0x6,%r12
mov    %r10,%rbx
shl    $0x5,%rbx
lea    0x10(%rdi),%rbp
mov    %r10,%r15
shl    $0x6,%r15
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movups -0x10(%rax),%xmm0
movups (%rax),%xmm1
movups %xmm0,-0x10(%rbp)
movups %xmm1,0x0(%rbp)
movups -0x10(%rax,%r13,1),%xmm0
movups (%rax,%r13,1),%xmm1
movups %xmm0,-0x10(%rbp,%rbx,1)
movups %xmm1,0x0(%rbp,%rbx,1)
add    $0x8,%rcx
add    %r12,%rax
add    %r15,%rbp
add    $0xfffffffffffffffe,%rsi
jne    12b0 <relax_copy+0x1b0>
testb  $0x1,-0x8(%rsp)
je     1308 <relax_copy+0x208>
mov    %rcx,%rax
imul   %r9,%rax
imul   %r10,%rcx
movups (%rdx,%rax,8),%xmm0
movups 0x10(%rdx,%rax,8),%xmm1
movups %xmm0,(%rdi,%rcx,8)
movups %xmm1,0x10(%rdi,%rcx,8)
cmp    %r14,%r11
je     120a <relax_copy+0x10a>
mov    %r14,%rax
imul   %r9,%rax
mov    %r14,%rbx
imul   %r10,%rbx
jmp    112e <relax_copy+0x2e>
xor    %ecx,%ecx
testb  $0x1,-0x8(%rsp)
jne    12eb <relax_copy+0x1eb>
jmp    1308 <relax_copy+0x208>

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

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