#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 */

/* Variables and functions */
void functionAddTab(float *result, const float *a, const float *b,
                    size_t size) {
  if (result == NULL || a == NULL || b == NULL || size == 0)
    return;
  int i;
  for (i = 0; i < size; ++i) {
    result[i] = a[i] + b[i];
  }
}


x86 assembly (clang, -O0):
<functionAddTab>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1140 <functionAddTab+0x40>
cmpq   $0x0,-0x10(%rbp)
je     1140 <functionAddTab+0x40>
cmpq   $0x0,-0x18(%rbp)
je     1140 <functionAddTab+0x40>
cmpq   $0x0,-0x20(%rbp)
jne    1145 <functionAddTab+0x45>
jmp    118f <functionAddTab+0x8f>
movl   $0x0,-0x24(%rbp)
movslq -0x24(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    118f <functionAddTab+0x8f>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
addss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    114c <functionAddTab+0x4c>
pop    %rbp
ret

x86 assembly (clang, -O2):
<functionAddTab>:
test   %rdi,%rdi
je     12d1 <functionAddTab+0x1d1>
test   %rsi,%rsi
je     12d1 <functionAddTab+0x1d1>
test   %rdx,%rdx
je     12d1 <functionAddTab+0x1d1>
test   %rcx,%rcx
je     12d1 <functionAddTab+0x1d1>
cmp    $0x8,%rcx
jae    11d3 <functionAddTab+0xd3>
xor    %eax,%eax
mov    %rax,%r8
not    %r8
add    %rcx,%r8
mov    %rcx,%r9
and    $0x3,%r9
je     1169 <functionAddTab+0x69>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  (%rsi,%rax,4),%xmm0
addss  (%rdx,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%r9
jne    1150 <functionAddTab+0x50>
cmp    $0x3,%r8
jb     12d1 <functionAddTab+0x1d1>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%rsi,%rax,4),%xmm0
addss  (%rdx,%rax,4),%xmm0
movss  %xmm0,(%rdi,%rax,4)
movss  0x4(%rsi,%rax,4),%xmm0
addss  0x4(%rdx,%rax,4),%xmm0
movss  %xmm0,0x4(%rdi,%rax,4)
movss  0x8(%rsi,%rax,4),%xmm0
addss  0x8(%rdx,%rax,4),%xmm0
movss  %xmm0,0x8(%rdi,%rax,4)
movss  0xc(%rsi,%rax,4),%xmm0
addss  0xc(%rdx,%rax,4),%xmm0
movss  %xmm0,0xc(%rdi,%rax,4)
add    $0x4,%rax
cmp    %rax,%rcx
jne    1180 <functionAddTab+0x80>
jmp    12d1 <functionAddTab+0x1d1>
lea    (%rdi,%rcx,4),%r9
lea    (%rsi,%rcx,4),%rax
cmp    %rdi,%rax
seta   %r10b
lea    (%rdx,%rcx,4),%rax
cmp    %rsi,%r9
seta   %r11b
cmp    %rdi,%rax
seta   %r8b
cmp    %rdx,%r9
seta   %r9b
xor    %eax,%eax
test   %r11b,%r10b
jne    1130 <functionAddTab+0x30>
and    %r9b,%r8b
jne    1130 <functionAddTab+0x30>
mov    %rcx,%rax
and    $0xfffffffffffffff8,%rax
lea    -0x8(%rax),%r8
mov    %r8,%r9
shr    $0x3,%r9
add    $0x1,%r9
test   %r8,%r8
je     12d2 <functionAddTab+0x1d2>
mov    %r9,%r10
and    $0xfffffffffffffffe,%r10
xor    %r8d,%r8d
nopl   0x0(%rax,%rax,1)
movups (%rsi,%r8,4),%xmm0
movups 0x10(%rsi,%r8,4),%xmm1
movups (%rdx,%r8,4),%xmm2
addps  %xmm0,%xmm2
movups 0x10(%rdx,%r8,4),%xmm0
addps  %xmm1,%xmm0
movups %xmm2,(%rdi,%r8,4)
movups %xmm0,0x10(%rdi,%r8,4)
movups 0x20(%rsi,%r8,4),%xmm0
movups 0x30(%rsi,%r8,4),%xmm1
movups 0x20(%rdx,%r8,4),%xmm2
addps  %xmm0,%xmm2
movups 0x30(%rdx,%r8,4),%xmm0
addps  %xmm1,%xmm0
movups %xmm2,0x20(%rdi,%r8,4)
movups %xmm0,0x30(%rdi,%r8,4)
add    $0x10,%r8
add    $0xfffffffffffffffe,%r10
jne    1240 <functionAddTab+0x140>
test   $0x1,%r9b
je     12c8 <functionAddTab+0x1c8>
movups (%rsi,%r8,4),%xmm0
movups 0x10(%rsi,%r8,4),%xmm1
movups (%rdx,%r8,4),%xmm2
addps  %xmm0,%xmm2
movups 0x10(%rdx,%r8,4),%xmm0
addps  %xmm1,%xmm0
movups %xmm2,(%rdi,%r8,4)
movups %xmm0,0x10(%rdi,%r8,4)
cmp    %rcx,%rax
jne    1130 <functionAddTab+0x30>
ret
xor    %r8d,%r8d
test   $0x1,%r9b
jne    12a1 <functionAddTab+0x1a1>
jmp    12c8 <functionAddTab+0x1c8>

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

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