#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 */
int /*<<< orphan*/ printf(char *);
void copy_tab(int src_tab[], int dest_tab[], unsigned src_tab_size,
              unsigned index_offset) {
  if (src_tab == NULL || dest_tab == NULL) {
    printf("Please ensure you have created both arrays beforehand\n");
    return;
  }
  for (unsigned i = 0; i < src_tab_size; i++) {
    dest_tab[i + index_offset] = src_tab[i];
  }
}


x86 assembly (clang, -O0):
<copy_tab>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     113c <copy_tab+0x2c>
cmpq   $0x0,-0x10(%rbp)
jne    114d <copy_tab+0x3d>
lea    0xebd(%rip),%rdi
call   1030 <printf@plt>
jmp    1187 <copy_tab+0x77>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1187 <copy_tab+0x77>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,4),%edx
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x18(%rbp),%ecx
mov    %ecx,%ecx
mov    %edx,(%rax,%rcx,4)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1154 <copy_tab+0x44>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<copy_tab>:
test   %rdi,%rdi
je     11a5 <copy_tab+0x95>
test   %rsi,%rsi
je     11a5 <copy_tab+0x95>
push   %rbx
test   %edx,%edx
je     11a3 <copy_tab+0x93>
mov    %edx,%r9d
cmp    $0x8,%edx
jae    11b1 <copy_tab+0xa1>
xor    %edx,%edx
mov    %rdx,%r8
not    %r8
add    %r9,%r8
mov    %r9,%rax
and    $0x3,%rax
je     1166 <copy_tab+0x56>
mov    %ecx,%r10d
xchg   %ax,%ax
mov    (%rdi,%rdx,4),%r11d
lea    (%r10,%rdx,1),%ebx
mov    %r11d,(%rsi,%rbx,4)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rax
jne    1150 <copy_tab+0x40>
cmp    $0x3,%r8
jb     11a3 <copy_tab+0x93>
mov    %ecx,%r8d
nop
mov    (%rdi,%rdx,4),%ecx
lea    (%r8,%rdx,1),%rbx
mov    %ebx,%eax
mov    %ecx,(%rsi,%rax,4)
mov    0x4(%rdi,%rdx,4),%eax
lea    0x1(%rbx),%ecx
mov    %eax,(%rsi,%rcx,4)
mov    0x8(%rdi,%rdx,4),%eax
lea    0x2(%rbx),%ecx
mov    %eax,(%rsi,%rcx,4)
mov    0xc(%rdi,%rdx,4),%eax
add    $0x3,%ebx
mov    %eax,(%rsi,%rbx,4)
add    $0x4,%rdx
cmp    %rdx,%r9
jne    1170 <copy_tab+0x60>
pop    %rbx
ret
lea    0xe54(%rip),%rdi
jmp    1030 <puts@plt>
lea    -0x1(%r9),%r8
xor    %edx,%edx
mov    %ecx,%eax
add    %r8d,%eax
jb     1139 <copy_tab+0x29>
shr    $0x20,%r8
jne    1139 <copy_tab+0x29>
mov    %ecx,%eax
lea    (%rax,%r9,1),%rdx
lea    (%rsi,%rdx,4),%rdx
cmp    %rdi,%rdx
jbe    11ec <copy_tab+0xdc>
lea    (%rdi,%r9,4),%rdx
lea    (%rsi,%rax,4),%rax
cmp    %rdx,%rax
jb     1137 <copy_tab+0x27>
mov    %r9d,%edx
and    $0xfffffff8,%edx
lea    -0x8(%rdx),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10d,%r8d
and    $0x3,%r8d
cmp    $0x18,%rax
jae    1213 <copy_tab+0x103>
xor    %r11d,%r11d
jmp    128b <copy_tab+0x17b>
and    $0xfffffffffffffffc,%r10
xor    %r11d,%r11d
mov    %ecx,%eax
nopl   0x0(%rax)
movups (%rdi,%r11,4),%xmm0
movups 0x10(%rdi,%r11,4),%xmm1
mov    %eax,%ebx
movups %xmm0,(%rsi,%rbx,4)
movups %xmm1,0x10(%rsi,%rbx,4)
movups 0x20(%rdi,%r11,4),%xmm0
movups 0x30(%rdi,%r11,4),%xmm1
lea    0x8(%rax),%ebx
movups %xmm0,(%rsi,%rbx,4)
movups %xmm1,0x10(%rsi,%rbx,4)
movups 0x40(%rdi,%r11,4),%xmm0
movups 0x50(%rdi,%r11,4),%xmm1
lea    0x10(%rax),%ebx
movups %xmm0,(%rsi,%rbx,4)
movups %xmm1,0x10(%rsi,%rbx,4)
movups 0x60(%rdi,%r11,4),%xmm0
movups 0x70(%rdi,%r11,4),%xmm1
lea    0x18(%rax),%ebx
movups %xmm0,(%rsi,%rbx,4)
movups %xmm1,0x10(%rsi,%rbx,4)
add    $0x20,%r11
add    $0x20,%eax
add    $0xfffffffffffffffc,%r10
jne    1220 <copy_tab+0x110>
test   %r8,%r8
je     12d1 <copy_tab+0x1c1>
lea    (%rdi,%r11,4),%r10
add    $0x10,%r10
add    %ecx,%r11d
shl    $0x3,%r8
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups -0x10(%r10,%rax,4),%xmm0
movups (%r10,%rax,4),%xmm1
lea    (%r11,%rax,1),%ebx
movups %xmm0,(%rsi,%rbx,4)
movups %xmm1,0x10(%rsi,%rbx,4)
add    $0x8,%rax
cmp    %rax,%r8
jne    12b0 <copy_tab+0x1a0>
cmp    %r9,%rdx
je     11a3 <copy_tab+0x93>
jmp    1139 <copy_tab+0x29>

LLVM IR (-O0):
@.str = [55 x i8] c"Please ensure you have created both arrays beforehand\0A\00"
define void @copy_tab(i32* %0, i32* %1, i32 %2, i32 %3) {
%5 = alloca i32*
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %5
store i32* %1, i32** %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%10 = load i32*, i32** %5
%11 = icmp eq i32* %10, null
br i1 %11, label %15, label %12
12: ; preds = %4
%13 = load i32*, i32** %6
%14 = icmp eq i32* %13, null
br i1 %14, label %15, label %17
15: ; preds = %12, %4
%16 = call i32 @printf(i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str, i64 0, i64 0))
br label %37
17: ; preds = %12
store i32 0, i32* %9
br label %18
18: ; preds = %34, %17
%19 = load i32, i32* %9
%20 = load i32, i32* %7
%21 = icmp ult i32 %19, %20
br i1 %21, label %22, label %37
22: ; preds = %18
%23 = load i32*, i32** %5
%24 = load i32, i32* %9
%25 = zext i32 %24 to i64
%26 = getelementptr inbounds i32, i32* %23, i64 %25
%27 = load i32, i32* %26
%28 = load i32*, i32** %6
%29 = load i32, i32* %9
%30 = load i32, i32* %8
%31 = add i32 %29, %30
%32 = zext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %28, i64 %32
store i32 %27, i32* %33
br label %34
34: ; preds = %22
%35 = load i32, i32* %9
%36 = add i32 %35, 1
store i32 %36, i32* %9
br label %18
37: ; preds = %15, %18
ret void
}

LLVM IR (-O2):
@str = [54 x i8] c"Please ensure you have created both arrays beforehand\00"
define void @copy_tab(i32* %0, i32* writeonly %1, i32 %2, i32 %3) {
%5 = icmp eq i32* %0, null
%6 = icmp eq i32* %1, null
%7 = or i1 %5, %6
br i1 %7, label %144, label %8
8: ; preds = %4
%9 = icmp eq i32 %2, 0
br i1 %9, label %177, label %10
10: ; preds = %8
%11 = zext i32 %2 to i64
%12 = icmp ult i32 %2, 8
br i1 %12, label %123, label %13
13: ; preds = %10
%14 = add nsw i64 %11, -1
%15 = trunc i64 %14 to i32
%16 = xor i32 %3, -1
%17 = icmp ult i32 %16, %15
%18 = icmp ugt i64 %14, 4294967295
%19 = or i1 %17, %18
br i1 %19, label %123, label %20
20: ; preds = %13
%21 = getelementptr i32, i32* %0, i64 %11
%22 = zext i32 %3 to i64
%23 = getelementptr i32, i32* %1, i64 %22
%24 = add nuw nsw i64 %22, %11
%25 = getelementptr i32, i32* %1, i64 %24
%26 = icmp ugt i32* %25, %0
%27 = icmp ult i32* %23, %21
%28 = and i1 %26, %27
br i1 %28, label %123, label %29
29: ; preds = %20
%30 = and i64 %11, 4294967288
%31 = add nsw i64 %30, -8
%32 = lshr exact i64 %31, 3
%33 = add nuw nsw i64 %32, 1
%34 = and i64 %33, 3
%35 = icmp ult i64 %31, 24
br i1 %35, label %99, label %36
36: ; preds = %29
%37 = and i64 %33, 4611686018427387900
br label %38
38: ; preds = %38, %36
%39 = phi i64 [ 0, %36 ], [ %96, %38 ]
%40 = phi i64 [ 0, %36 ], [ %97, %38 ]
%41 = trunc i64 %39 to i32
%42 = getelementptr inbounds i32, i32* %0, i64 %39
%43 = bitcast i32* %42 to <4 x i32>*
%44 = load <4 x i32>, <4 x i32>* %43
%45 = getelementptr inbounds i32, i32* %42, i64 4
%46 = bitcast i32* %45 to <4 x i32>*
%47 = load <4 x i32>, <4 x i32>* %46
%48 = add i32 %41, %3
%49 = zext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %1, i64 %49
%51 = bitcast i32* %50 to <4 x i32>*
store <4 x i32> %44, <4 x i32>* %51
%52 = getelementptr inbounds i32, i32* %50, i64 4
%53 = bitcast i32* %52 to <4 x i32>*
store <4 x i32> %47, <4 x i32>* %53
%54 = or i64 %39, 8
%55 = trunc i64 %54 to i32
%56 = getelementptr inbounds i32, i32* %0, i64 %54
%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 i32 %55, %3
%63 = zext i32 %62 to i64
%64 = getelementptr inbounds i32, i32* %1, i64 %63
%65 = bitcast i32* %64 to <4 x i32>*
store <4 x i32> %58, <4 x i32>* %65
%66 = getelementptr inbounds i32, i32* %64, i64 4
%67 = bitcast i32* %66 to <4 x i32>*
store <4 x i32> %61, <4 x i32>* %67
%68 = or i64 %39, 16
%69 = trunc i64 %68 to i32
%70 = getelementptr inbounds i32, i32* %0, i64 %68
%71 = bitcast i32* %70 to <4 x i32>*
%72 = load <4 x i32>, <4 x i32>* %71
%73 = getelementptr inbounds i32, i32* %70, i64 4
%74 = bitcast i32* %73 to <4 x i32>*
%75 = load <4 x i32>, <4 x i32>* %74
%76 = add i32 %69, %3
%77 = zext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %1, i64 %77
%79 = bitcast i32* %78 to <4 x i32>*
store <4 x i32> %72, <4 x i32>* %79
%80 = getelementptr inbounds i32, i32* %78, i64 4
%81 = bitcast i32* %80 to <4 x i32>*
store <4 x i32> %75, <4 x i32>* %81
%82 = or i64 %39, 24
%83 = trunc i64 %82 to i32
%84 = getelementptr inbounds i32, i32* %0, i64 %82
%85 = bitcast i32* %84 to <4 x i32>*
%86 = load <4 x i32>, <4 x i32>* %85
%87 = getelementptr inbounds i32, i32* %84, i64 4
%88 = bitcast i32* %87 to <4 x i32>*
%89 = load <4 x i32>, <4 x i32>* %88
%90 = add i32 %83, %3
%91 = zext i32 %90 to i64
%92 = getelementptr inbounds i32, i32* %1, i64 %91
%93 = bitcast i32* %92 to <4 x i32>*
store <4 x i32> %86, <4 x i32>* %93
%94 = getelementptr inbounds i32, i32* %92, i64 4
%95 = bitcast i32* %94 to <4 x i32>*
store <4 x i32> %89, <4 x i32>* %95
%96 = add nuw i64 %39, 32
%97 = add i64 %40, 4
%98 = icmp eq i64 %97, %37
br i1 %98, label %99, label %38
99: ; preds = %38, %29
%100 = phi i64 [ 0, %29 ], [ %96, %38 ]
%101 = icmp eq i64 %34, 0
br i1 %101, label %121, label %102
102: ; preds = %99, %102
%103 = phi i64 [ %118, %102 ], [ %100, %99 ]
%104 = phi i64 [ %119, %102 ], [ 0, %99 ]
%105 = trunc i64 %103 to i32
%106 = getelementptr inbounds i32, i32* %0, i64 %103
%107 = bitcast i32* %106 to <4 x i32>*
%108 = load <4 x i32>, <4 x i32>* %107
%109 = getelementptr inbounds i32, i32* %106, i64 4
%110 = bitcast i32* %109 to <4 x i32>*
%111 = load <4 x i32>, <4 x i32>* %110
%112 = add i32 %105, %3
%113 = zext i32 %112 to i64
%114 = getelementptr inbounds i32, i32* %1, i64 %113
%115 = bitcast i32* %114 to <4 x i32>*
store <4 x i32> %108, <4 x i32>* %115
%116 = getelementptr inbounds i32, i32* %114, i64 4
%117 = bitcast i32* %116 to <4 x i32>*
store <4 x i32> %111, <4 x i32>* %117
%118 = add nuw i64 %103, 8
%119 = add i64 %104, 1
%120 = icmp eq i64 %119, %34
br i1 %120, label %121, label %102
121: ; preds = %102, %99
%122 = icmp eq i64 %30, %11
br i1 %122, label %177, label %123
123: ; preds = %20, %13, %10, %121
%124 = phi i64 [ 0, %20 ], [ 0, %13 ], [ 0, %10 ], [ %30, %121 ]
%125 = xor i64 %124, -1
%126 = add nsw i64 %125, %11
%127 = and i64 %11, 3
%128 = icmp eq i64 %127, 0
br i1 %128, label %141, label %129
129: ; preds = %123, %129
%130 = phi i64 [ %138, %129 ], [ %124, %123 ]
%131 = phi i64 [ %139, %129 ], [ 0, %123 ]
%132 = getelementptr inbounds i32, i32* %0, i64 %130
%133 = load i32, i32* %132
%134 = trunc i64 %130 to i32
%135 = add i32 %134, %3
%136 = zext i32 %135 to i64
%137 = getelementptr inbounds i32, i32* %1, i64 %136
store i32 %133, i32* %137
%138 = add nuw nsw i64 %130, 1
%139 = add i64 %131, 1
%140 = icmp eq i64 %139, %127
br i1 %140, label %141, label %129
141: ; preds = %129, %123
%142 = phi i64 [ %124, %123 ], [ %138, %129 ]
%143 = icmp ult i64 %126, 3
br i1 %143, label %177, label %146
144: ; preds = %4
%145 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([54 x i8], [54 x i8]* @str, i64 0, i64 0))
br label %177
146: ; preds = %141, %146
%147 = phi i64 [ %175, %146 ], [ %142, %141 ]
%148 = getelementptr inbounds i32, i32* %0, i64 %147
%149 = load i32, i32* %148
%150 = trunc i64 %147 to i32
%151 = add i32 %150, %3
%152 = zext i32 %151 to i64
%153 = getelementptr inbounds i32, i32* %1, i64 %152
store i32 %149, i32* %153
%154 = add nuw nsw i64 %147, 1
%155 = getelementptr inbounds i32, i32* %0, i64 %154
%156 = load i32, i32* %155
%157 = trunc i64 %154 to i32
%158 = add i32 %157, %3
%159 = zext i32 %158 to i64
%160 = getelementptr inbounds i32, i32* %1, i64 %159
store i32 %156, i32* %160
%161 = add nuw nsw i64 %147, 2
%162 = getelementptr inbounds i32, i32* %0, i64 %161
%163 = load i32, i32* %162
%164 = trunc i64 %161 to i32
%165 = add i32 %164, %3
%166 = zext i32 %165 to i64
%167 = getelementptr inbounds i32, i32* %1, i64 %166
store i32 %163, i32* %167
%168 = add nuw nsw i64 %147, 3
%169 = getelementptr inbounds i32, i32* %0, i64 %168
%170 = load i32, i32* %169
%171 = trunc i64 %168 to i32
%172 = add i32 %171, %3
%173 = zext i32 %172 to i64
%174 = getelementptr inbounds i32, i32* %1, i64 %173
store i32 %170, i32* %174
%175 = add nuw nsw i64 %147, 4
%176 = icmp eq i64 %175, %11
br i1 %176, label %177, label %146
177: ; preds = %141, %146, %121, %8, %144
ret void
}