int copy_block(int *src, int *dest, int len) {
  int result = 0;
  while (len > 0) {
    int 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    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
jle    115f <copy_block+0x5f>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x10(%rbp)
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%eax
xor    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1116 <copy_block+0x16>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<copy_block>:
test   %edx,%edx
jle    1228 <copy_block+0x128>
lea    -0x1(%rdx),%r10d
xor    %eax,%eax
cmp    $0x7,%r10d
jb     1206 <copy_block+0x106>
lea    (%rdi,%r10,4),%rcx
add    $0x4,%rcx
cmp    %rsi,%rcx
jbe    1136 <copy_block+0x36>
lea    (%rsi,%r10,4),%rcx
add    $0x4,%rcx
cmp    %rdi,%rcx
ja     1206 <copy_block+0x106>
add    $0x1,%r10
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %rax,%rax
je     122b <copy_block+0x12b>
mov    %r9,%rcx
and    $0xfffffffffffffffe,%rcx
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
nopw   0x0(%rax,%rax,1)
movdqu (%rdi,%rax,4),%xmm2
movdqu 0x10(%rdi,%rax,4),%xmm3
movdqu %xmm2,(%rsi,%rax,4)
movdqu %xmm3,0x10(%rsi,%rax,4)
pxor   %xmm2,%xmm0
pxor   %xmm3,%xmm1
movdqu 0x20(%rdi,%rax,4),%xmm2
movdqu 0x30(%rdi,%rax,4),%xmm3
movdqu %xmm2,0x20(%rsi,%rax,4)
movdqu %xmm3,0x30(%rsi,%rax,4)
pxor   %xmm2,%xmm0
pxor   %xmm3,%xmm1
add    $0x10,%rax
add    $0xfffffffffffffffe,%rcx
jne    1170 <copy_block+0x70>
test   $0x1,%r9b
je     11dc <copy_block+0xdc>
movdqu (%rdi,%rax,4),%xmm2
movdqu 0x10(%rdi,%rax,4),%xmm3
movdqu %xmm2,(%rsi,%rax,4)
movdqu %xmm3,0x10(%rsi,%rax,4)
pxor   %xmm2,%xmm0
pxor   %xmm3,%xmm1
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pxor   %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r8,%r10
je     1227 <copy_block+0x127>
lea    (%rdi,%r8,4),%rdi
sub    %r8d,%edx
lea    (%rsi,%r8,4),%rsi
add    $0x1,%edx
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rcx,1),%r8d
mov    %r8d,(%rsi,%rcx,1)
xor    %r8d,%eax
add    $0x4,%rcx
add    $0xffffffff,%edx
cmp    $0x1,%edx
ja     1210 <copy_block+0x110>
ret
xor    %eax,%eax
ret
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
test   $0x1,%r9b
jne    11be <copy_block+0xbe>
jmp    11dc <copy_block+0xdc>

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

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