#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef size_t uint32_t;

/* Variables and functions */
void f2m_Add(uint32_t t, uint32_t *A, uint32_t *B, uint32_t *C) {
  uint32_t i;
  for (i = 0; i < t; i++) {
    C[i] = A[i] ^ B[i];
  }
}


x86 assembly (clang, -O0):
<f2m_Add>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x8(%rbp),%rax
jae    115f <f2m_Add+0x5f>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
xor    (%rax,%rcx,8),%rdx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    111c <f2m_Add+0x1c>
pop    %rbp
ret

x86 assembly (clang, -O2):
<f2m_Add>:
push   %rbx
test   %rdi,%rdi
je     1291 <f2m_Add+0x191>
cmp    $0x4,%rdi
jae    1197 <f2m_Add+0x97>
xor    %ebx,%ebx
mov    %rbx,%r8
not    %r8
add    %rdi,%r8
mov    %rdi,%r9
and    $0x3,%r9
je     1146 <f2m_Add+0x46>
nopl   0x0(%rax,%rax,1)
mov    (%rdx,%rbx,8),%rax
xor    (%rsi,%rbx,8),%rax
mov    %rax,(%rcx,%rbx,8)
add    $0x1,%rbx
add    $0xffffffffffffffff,%r9
jne    1130 <f2m_Add+0x30>
cmp    $0x3,%r8
jb     1291 <f2m_Add+0x191>
mov    (%rdx,%rbx,8),%rax
xor    (%rsi,%rbx,8),%rax
mov    %rax,(%rcx,%rbx,8)
mov    0x8(%rdx,%rbx,8),%rax
xor    0x8(%rsi,%rbx,8),%rax
mov    %rax,0x8(%rcx,%rbx,8)
mov    0x10(%rdx,%rbx,8),%rax
xor    0x10(%rsi,%rbx,8),%rax
mov    %rax,0x10(%rcx,%rbx,8)
mov    0x18(%rdx,%rbx,8),%rax
xor    0x18(%rsi,%rbx,8),%rax
mov    %rax,0x18(%rcx,%rbx,8)
add    $0x4,%rbx
cmp    %rbx,%rdi
jne    1150 <f2m_Add+0x50>
jmp    1291 <f2m_Add+0x191>
lea    (%rcx,%rdi,8),%r9
lea    (%rsi,%rdi,8),%rax
cmp    %rcx,%rax
seta   %r10b
lea    (%rdx,%rdi,8),%rax
cmp    %rsi,%r9
seta   %r11b
cmp    %rcx,%rax
seta   %r8b
cmp    %rdx,%r9
seta   %r9b
xor    %ebx,%ebx
test   %r11b,%r10b
jne    1116 <f2m_Add+0x16>
and    %r9b,%r8b
jne    1116 <f2m_Add+0x16>
mov    %rdi,%rbx
and    $0xfffffffffffffffc,%rbx
lea    -0x4(%rbx),%r8
mov    %r8,%r9
shr    $0x2,%r9
add    $0x1,%r9
test   %r8,%r8
je     1293 <f2m_Add+0x193>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %r8d,%r8d
nopl   0x0(%rax)
movups (%rsi,%r8,8),%xmm0
movups 0x10(%rsi,%r8,8),%xmm1
movups (%rdx,%r8,8),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%rdx,%r8,8),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%rcx,%r8,8)
movups %xmm0,0x10(%rcx,%r8,8)
movups 0x20(%rsi,%r8,8),%xmm0
movups 0x30(%rsi,%r8,8),%xmm1
movups 0x20(%rdx,%r8,8),%xmm2
xorps  %xmm0,%xmm2
movups 0x30(%rdx,%r8,8),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,0x20(%rcx,%r8,8)
movups %xmm0,0x30(%rcx,%r8,8)
add    $0x8,%r8
add    $0xfffffffffffffffe,%r10
jne    1200 <f2m_Add+0x100>
test   $0x1,%r9b
je     1288 <f2m_Add+0x188>
movups (%rsi,%r8,8),%xmm0
movups 0x10(%rsi,%r8,8),%xmm1
movups (%rdx,%r8,8),%xmm2
xorps  %xmm0,%xmm2
movups 0x10(%rdx,%r8,8),%xmm0
xorps  %xmm1,%xmm0
movups %xmm2,(%rcx,%r8,8)
movups %xmm0,0x10(%rcx,%r8,8)
cmp    %rdi,%rbx
jne    1116 <f2m_Add+0x16>
pop    %rbx
ret
xor    %r8d,%r8d
test   $0x1,%r9b
jne    1261 <f2m_Add+0x161>
jmp    1288 <f2m_Add+0x188>

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

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