long copy_block(long *src, long *dest, long len) {
  long result = 0;
  while (len > 0) {
    long val = *src++;
    *dest++ = val;
    result ^= val;
    len--;
  }
  return result;
}


x86 assembly (clang, -O0):
<copy_block>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
cmpq   $0x0,-0x18(%rbp)
jle    116c <copy_block+0x6c>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x8,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x8,%rdx
mov    %rdx,-0x10(%rbp)
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
xor    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1118 <copy_block+0x18>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<copy_block>:
test   %rdx,%rdx
jle    114a <copy_block+0x4a>
cmp    $0x4,%rdx
jb     111d <copy_block+0x1d>
lea    (%rdi,%rdx,8),%rax
cmp    %rsi,%rax
jbe    114d <copy_block+0x4d>
lea    (%rsi,%rdx,8),%rax
cmp    %rdi,%rax
jbe    114d <copy_block+0x4d>
xor    %eax,%eax
add    $0x1,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rdi,%rcx,1),%r8
mov    %r8,(%rsi,%rcx,1)
xor    %r8,%rax
add    $0x8,%rcx
add    $0xffffffffffffffff,%rdx
cmp    $0x1,%rdx
ja     1130 <copy_block+0x30>
ret
xor    %eax,%eax
ret
mov    %rdx,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rax
mov    %rax,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %rax,%rax
je     1217 <copy_block+0x117>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu (%rdi,%rcx,8),%xmm2
movdqu 0x10(%rdi,%rcx,8),%xmm3
movdqu %xmm2,(%rsi,%rcx,8)
movdqu %xmm3,0x10(%rsi,%rcx,8)
pxor   %xmm2,%xmm0
pxor   %xmm3,%xmm1
movdqu 0x20(%rdi,%rcx,8),%xmm2
movdqu 0x30(%rdi,%rcx,8),%xmm3
movdqu %xmm2,0x20(%rsi,%rcx,8)
movdqu %xmm3,0x30(%rsi,%rcx,8)
pxor   %xmm2,%xmm0
pxor   %xmm3,%xmm1
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rax
jne    1180 <copy_block+0x80>
test   $0x1,%r9b
je     11ec <copy_block+0xec>
movdqu (%rdi,%rcx,8),%xmm2
movdqu 0x10(%rdi,%rcx,8),%xmm3
movdqu %xmm2,(%rsi,%rcx,8)
movdqu %xmm3,0x10(%rsi,%rcx,8)
pxor   %xmm2,%xmm0
pxor   %xmm3,%xmm1
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
movq   %xmm1,%rax
cmp    %rdx,%r8
je     1149 <copy_block+0x49>
and    $0x3,%edx
lea    (%rdi,%r8,8),%rdi
lea    (%rsi,%r8,8),%rsi
jmp    111f <copy_block+0x1f>
pxor   %xmm0,%xmm0
xor    %ecx,%ecx
pxor   %xmm1,%xmm1
test   $0x1,%r9b
jne    11ce <copy_block+0xce>
jmp    11ec <copy_block+0xec>

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

LLVM IR (-O2):
define i64 @copy_block(i64* nocapture %0, i64* nocapture writeonly %1, i64 %2) {
%4 = icmp sgt i64 %2, 0
br i1 %4, label %5, label %100
5: ; preds = %3
%6 = icmp ult i64 %2, 4
br i1 %6, label %84, label %7
7: ; preds = %5
%8 = getelementptr i64, i64* %1, i64 %2
%9 = getelementptr i64, i64* %0, i64 %2
%10 = icmp ugt i64* %9, %1
%11 = icmp ugt i64* %8, %0
%12 = and i1 %10, %11
br i1 %12, label %84, label %13
13: ; preds = %7
%14 = and i64 %2, -4
%15 = getelementptr i64, i64* %0, i64 %14
%16 = and i64 %2, 3
%17 = getelementptr i64, i64* %1, i64 %14
%18 = add i64 %14, -4
%19 = lshr exact i64 %18, 2
%20 = add nuw nsw i64 %19, 1
%21 = and i64 %20, 1
%22 = icmp eq i64 %18, 0
br i1 %22, label %58, label %23
23: ; preds = %13
%24 = and i64 %20, 9223372036854775806
br label %25
25: ; preds = %25, %23
%26 = phi i64 [ 0, %23 ], [ %55, %25 ]
%27 = phi <2 x i64> [ zeroinitializer, %23 ], [ %53, %25 ]
%28 = phi <2 x i64> [ zeroinitializer, %23 ], [ %54, %25 ]
%29 = phi i64 [ 0, %23 ], [ %56, %25 ]
%30 = getelementptr i64, i64* %0, i64 %26
%31 = getelementptr i64, i64* %1, i64 %26
%32 = bitcast i64* %30 to <2 x i64>*
%33 = load <2 x i64>, <2 x i64>* %32
%34 = getelementptr i64, i64* %30, i64 2
%35 = bitcast i64* %34 to <2 x i64>*
%36 = load <2 x i64>, <2 x i64>* %35
%37 = bitcast i64* %31 to <2 x i64>*
store <2 x i64> %33, <2 x i64>* %37
%38 = getelementptr i64, i64* %31, i64 2
%39 = bitcast i64* %38 to <2 x i64>*
store <2 x i64> %36, <2 x i64>* %39
%40 = xor <2 x i64> %33, %27
%41 = xor <2 x i64> %36, %28
%42 = or i64 %26, 4
%43 = getelementptr i64, i64* %0, i64 %42
%44 = getelementptr i64, i64* %1, i64 %42
%45 = bitcast i64* %43 to <2 x i64>*
%46 = load <2 x i64>, <2 x i64>* %45
%47 = getelementptr i64, i64* %43, i64 2
%48 = bitcast i64* %47 to <2 x i64>*
%49 = load <2 x i64>, <2 x i64>* %48
%50 = bitcast i64* %44 to <2 x i64>*
store <2 x i64> %46, <2 x i64>* %50
%51 = getelementptr i64, i64* %44, i64 2
%52 = bitcast i64* %51 to <2 x i64>*
store <2 x i64> %49, <2 x i64>* %52
%53 = xor <2 x i64> %46, %40
%54 = xor <2 x i64> %49, %41
%55 = add nuw i64 %26, 8
%56 = add i64 %29, 2
%57 = icmp eq i64 %56, %24
br i1 %57, label %58, label %25
58: ; preds = %25, %13
%59 = phi <2 x i64> [ undef, %13 ], [ %53, %25 ]
%60 = phi <2 x i64> [ undef, %13 ], [ %54, %25 ]
%61 = phi i64 [ 0, %13 ], [ %55, %25 ]
%62 = phi <2 x i64> [ zeroinitializer, %13 ], [ %53, %25 ]
%63 = phi <2 x i64> [ zeroinitializer, %13 ], [ %54, %25 ]
%64 = icmp eq i64 %21, 0
br i1 %64, label %78, label %65
65: ; preds = %58
%66 = getelementptr i64, i64* %0, i64 %61
%67 = getelementptr i64, i64* %1, i64 %61
%68 = bitcast i64* %66 to <2 x i64>*
%69 = load <2 x i64>, <2 x i64>* %68
%70 = getelementptr i64, i64* %66, i64 2
%71 = bitcast i64* %70 to <2 x i64>*
%72 = load <2 x i64>, <2 x i64>* %71
%73 = bitcast i64* %67 to <2 x i64>*
store <2 x i64> %69, <2 x i64>* %73
%74 = getelementptr i64, i64* %67, i64 2
%75 = bitcast i64* %74 to <2 x i64>*
store <2 x i64> %72, <2 x i64>* %75
%76 = xor <2 x i64> %69, %62
%77 = xor <2 x i64> %72, %63
br label %78
78: ; preds = %58, %65
%79 = phi <2 x i64> [ %59, %58 ], [ %76, %65 ]
%80 = phi <2 x i64> [ %60, %58 ], [ %77, %65 ]
%81 = xor <2 x i64> %80, %79
%82 = call i64 @llvm.vector.reduce.xor.v2i64(<2 x i64> %81)
%83 = icmp eq i64 %14, %2
br i1 %83, label %100, label %84
84: ; preds = %7, %5, %78
%85 = phi i64* [ %0, %7 ], [ %0, %5 ], [ %15, %78 ]
%86 = phi i64 [ 0, %7 ], [ 0, %5 ], [ %82, %78 ]
%87 = phi i64 [ %2, %7 ], [ %2, %5 ], [ %16, %78 ]
%88 = phi i64* [ %1, %7 ], [ %1, %5 ], [ %17, %78 ]
br label %89
89: ; preds = %84, %89
%90 = phi i64* [ %94, %89 ], [ %85, %84 ]
%91 = phi i64 [ %97, %89 ], [ %86, %84 ]
%92 = phi i64 [ %98, %89 ], [ %87, %84 ]
%93 = phi i64* [ %96, %89 ], [ %88, %84 ]
%94 = getelementptr inbounds i64, i64* %90, i64 1
%95 = load i64, i64* %90
%96 = getelementptr inbounds i64, i64* %93, i64 1
store i64 %95, i64* %93
%97 = xor i64 %95, %91
%98 = add nsw i64 %92, -1
%99 = icmp ugt i64 %92, 1
br i1 %99, label %89, label %100
100: ; preds = %89, %78, %3
%101 = phi i64 [ 0, %3 ], [ %82, %78 ], [ %97, %89 ]
ret i64 %101
}