void galois_region_xor(char *r1, char *r2, char *r3, int nbytes) {
  long *l1;
  long *l2;
  long *l3;
  long *ltop;
  char *ctop;
  ctop = r1 + nbytes;
  ltop = (long *)ctop;
  l1 = (long *)r1;
  l2 = (long *)r2;
  l3 = (long *)r3;
  while (l1 < ltop) {
    *l3 = ((*l1) ^ (*l2));
    l1++;
    l2++;
    l3++;
  }
}


x86 assembly (clang, -O0):
<galois_region_xor>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x40(%rbp),%rax
jae    118e <galois_region_xor+0x8e>
mov    -0x28(%rbp),%rax
mov    (%rax),%rcx
mov    -0x30(%rbp),%rax
xor    (%rax),%rcx
mov    -0x38(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x28(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x28(%rbp)
mov    -0x30(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
jmp    1142 <galois_region_xor+0x42>
pop    %rbp
ret

x86 assembly (clang, -O2):
<galois_region_xor>:
test   %ecx,%ecx
jle    114d <galois_region_xor+0x4d>
movslq %ecx,%r11
add    %rdi,%r11
lea    0x8(%rdi),%rax
cmp    %rax,%r11
mov    %rax,%r9
cmova  %r11,%r9
mov    %rdi,%rcx
not    %rcx
add    %rcx,%r9
cmp    $0x18,%r9
jae    114e <galois_region_xor+0x4e>
xor    %eax,%eax
nopl   0x0(%rax)
mov    (%rsi,%rax,1),%rcx
xor    (%rdi,%rax,1),%rcx
mov    %rcx,(%rdx,%rax,1)
lea    (%rdi,%rax,1),%rcx
add    $0x8,%rcx
add    $0x8,%rax
cmp    %r11,%rcx
jb     1130 <galois_region_xor+0x30>
ret
cmp    %rax,%r11
cmova  %r11,%rax
add    %rcx,%rax
add    $0x8,%rax
and    $0xfffffffffffffff8,%rax
lea    (%rdx,%rax,1),%rcx
lea    (%rdi,%rax,1),%r8
add    %rsi,%rax
cmp    %rdx,%r8
seta   %r8b
cmp    %rdi,%rcx
seta   %r10b
cmp    %rdx,%rax
seta   %al
cmp    %rsi,%rcx
seta   %cl
test   %r10b,%r8b
jne    1127 <galois_region_xor+0x27>
and    %cl,%al
jne    1127 <galois_region_xor+0x27>
shr    $0x3,%r9
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffffc,%r8
lea    -0x4(%r8),%rax
mov    %rax,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rax,%rax
je     1250 <galois_region_xor+0x150>
mov    %r10,%rax
and    $0xfffffffffffffffe,%rax
xor    %ecx,%ecx
xchg   %ax,%ax
movups (%rdi,%rcx,8),%xmm0
movups 0x10(%rdi,%rcx,8),%xmm1
movups (%rsi,%rcx,8),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%rsi,%rcx,8),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%rdx,%rcx,8)
movups %xmm0,0x10(%rdx,%rcx,8)
movups 0x20(%rdi,%rcx,8),%xmm0
movups 0x30(%rdi,%rcx,8),%xmm1
movups 0x20(%rsi,%rcx,8),%xmm2
xorps  %xmm0,%xmm2
movups 0x30(%rsi,%rcx,8),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,0x20(%rdx,%rcx,8)
movups %xmm0,0x30(%rdx,%rcx,8)
add    $0x8,%rcx
add    $0xfffffffffffffffe,%rax
jne    11c0 <galois_region_xor+0xc0>
test   $0x1,%r10b
je     1236 <galois_region_xor+0x136>
movups (%rdi,%rcx,8),%xmm0
movups 0x10(%rdi,%rcx,8),%xmm1
movups (%rsi,%rcx,8),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%rsi,%rcx,8),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%rdx,%rcx,8)
movups %xmm0,0x10(%rdx,%rcx,8)
cmp    %r8,%r9
je     114d <galois_region_xor+0x4d>
lea    (%rdi,%r8,8),%rdi
lea    (%rsi,%r8,8),%rsi
lea    (%rdx,%r8,8),%rdx
jmp    1127 <galois_region_xor+0x27>
xor    %ecx,%ecx
test   $0x1,%r10b
jne    1215 <galois_region_xor+0x115>
jmp    1236 <galois_region_xor+0x136>

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

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