#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 */
scalar_t__ malloc(int);
int *add(int *a, int sizeA, int *b, int sizeB, int k, int *resultSize) {
  int resultBSize = (sizeB + k > sizeA) ? sizeB + k : sizeA;
  int i = 0;
  int *result = (int *)malloc(sizeof(int) * resultBSize);
  for (i = 0; i < k; i++) {
    result[i] = 0;
  }
  for (i = 0; i < sizeB; i++) {
    result[i + k] = b[i];
  }
}


x86 assembly (clang, -O0):
<add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jle    114b <add+0x3b>
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x44(%rbp)
jmp    1151 <add+0x41>
mov    -0x14(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movslq -0x34(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    11a1 <add+0x91>
mov    -0x40(%rbp),%rax
movslq -0x38(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1178 <add+0x68>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    11dd <add+0xcd>
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    11a8 <add+0x98>
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<add>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %r8d,%r12d
mov    %ecx,%r15d
mov    %rdx,%rbx
lea    (%r12,%r15,1),%edi
cmp    %esi,%edi
cmovle %esi,%edi
shl    $0x2,%edi
call   1040 <malloc@plt>
mov    %rax,%r14
test   %r12d,%r12d
jle    115b <add+0x3b>
mov    %r12d,%edx
shl    $0x2,%rdx
mov    %r14,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
test   %r15d,%r15d
jle    12e4 <add+0x1c4>
movslq %r12d,%r8
mov    %r15d,%eax
cmp    $0x8,%r15d
jb     1192 <add+0x72>
lea    (%r14,%r8,4),%rcx
lea    (%rbx,%rax,4),%rdx
cmp    %rdx,%rcx
jae    120c <add+0xec>
lea    (%r8,%rax,1),%rcx
lea    (%r14,%rcx,4),%rcx
cmp    %rbx,%rcx
jbe    120c <add+0xec>
xor    %edx,%edx
mov    %rdx,%r9
not    %r9
add    %rax,%r9
mov    %rax,%rsi
and    $0x3,%rsi
je     11c0 <add+0xa0>
lea    (%r14,%r8,4),%rdi
nopw   0x0(%rax,%rax,1)
mov    (%rbx,%rdx,4),%ecx
mov    %ecx,(%rdi,%rdx,4)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rsi
jne    11b0 <add+0x90>
cmp    $0x3,%r9
jb     12e4 <add+0x1c4>
lea    (%r14,%r8,4),%rcx
add    $0xc,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    (%rbx,%rdx,4),%esi
mov    %esi,-0xc(%rcx,%rdx,4)
mov    0x4(%rbx,%rdx,4),%esi
mov    %esi,-0x8(%rcx,%rdx,4)
mov    0x8(%rbx,%rdx,4),%esi
mov    %esi,-0x4(%rcx,%rdx,4)
mov    0xc(%rbx,%rdx,4),%esi
mov    %esi,(%rcx,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%rax
jne    11e0 <add+0xc0>
jmp    12e4 <add+0x1c4>
mov    %eax,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rcx
mov    %rcx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r9d
and    $0x3,%r9d
cmp    $0x18,%rcx
jae    1231 <add+0x111>
xor    %ecx,%ecx
jmp    1298 <add+0x178>
and    $0xfffffffffffffffc,%rdi
lea    (%r14,%r8,4),%rsi
add    $0x70,%rsi
xor    %ecx,%ecx
nop
movups (%rbx,%rcx,4),%xmm0
movups 0x10(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x70(%rsi,%rcx,4)
movups %xmm1,-0x60(%rsi,%rcx,4)
movups 0x20(%rbx,%rcx,4),%xmm0
movups 0x30(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x50(%rsi,%rcx,4)
movups %xmm1,-0x40(%rsi,%rcx,4)
movups 0x40(%rbx,%rcx,4),%xmm0
movups 0x50(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x30(%rsi,%rcx,4)
movups %xmm1,-0x20(%rsi,%rcx,4)
movups 0x60(%rbx,%rcx,4),%xmm0
movups 0x70(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x10(%rsi,%rcx,4)
movups %xmm1,(%rsi,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1240 <add+0x120>
test   %r9,%r9
je     12db <add+0x1bb>
lea    (%rcx,%r8,1),%rsi
lea    (%r14,%rsi,4),%rsi
add    $0x10,%rsi
lea    (%rbx,%rcx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%r9
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rcx,%rdi,1),%xmm0
movups (%rcx,%rdi,1),%xmm1
movups %xmm0,-0x10(%rsi,%rdi,1)
movups %xmm1,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    12c0 <add+0x1a0>
cmp    %rax,%rdx
jne    1194 <add+0x74>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32* @add(i32* %0, i32 %1, i32* %2, i32 %3, i32 %4, i32* %5) {
%7 = alloca i32*
%8 = alloca i32*
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32*
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32*
store i32* %0, i32** %8
store i32 %1, i32* %9
store i32* %2, i32** %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32* %5, i32** %13
%17 = load i32, i32* %11
%18 = load i32, i32* %12
%19 = add nsw i32 %17, %18
%20 = load i32, i32* %9
%21 = icmp sgt i32 %19, %20
br i1 %21, label %22, label %26
22: ; preds = %6
%23 = load i32, i32* %11
%24 = load i32, i32* %12
%25 = add nsw i32 %23, %24
br label %28
26: ; preds = %6
%27 = load i32, i32* %9
br label %28
28: ; preds = %26, %22
%29 = phi i32 [ %25, %22 ], [ %27, %26 ]
store i32 %29, i32* %14
store i32 0, i32* %15
%30 = load i32, i32* %14
%31 = sext i32 %30 to i64
%32 = mul i64 4, %31
%33 = trunc i64 %32 to i32
%34 = call i64 @malloc(i32 %33)
%35 = inttoptr i64 %34 to i32*
store i32* %35, i32** %16
store i32 0, i32* %15
br label %36
36: ; preds = %45, %28
%37 = load i32, i32* %15
%38 = load i32, i32* %12
%39 = icmp slt i32 %37, %38
br i1 %39, label %40, label %48
40: ; preds = %36
%41 = load i32*, i32** %16
%42 = load i32, i32* %15
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32, i32* %41, i64 %43
store i32 0, i32* %44
br label %45
45: ; preds = %40
%46 = load i32, i32* %15
%47 = add nsw i32 %46, 1
store i32 %47, i32* %15
br label %36
48: ; preds = %36
store i32 0, i32* %15
br label %49
49: ; preds = %65, %48
%50 = load i32, i32* %15
%51 = load i32, i32* %11
%52 = icmp slt i32 %50, %51
br i1 %52, label %53, label %68
53: ; preds = %49
%54 = load i32*, i32** %10
%55 = load i32, i32* %15
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %54, i64 %56
%58 = load i32, i32* %57
%59 = load i32*, i32** %16
%60 = load i32, i32* %15
%61 = load i32, i32* %12
%62 = add nsw i32 %60, %61
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %59, i64 %63
store i32 %58, i32* %64
br label %65
65: ; preds = %53
%66 = load i32, i32* %15
%67 = add nsw i32 %66, 1
store i32 %67, i32* %15
br label %49
68: ; preds = %49
%69 = load i32*, i32** %7
ret i32* %69
}

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