#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*/ check_vect();
int /*<<< orphan*/ main1(int, float *, float *, float *);
int main(void) {
  int i;
  float a[256];
  float b[256] = {0,  3,  6,  9,  12, 15, 18, 21, 24, 27,
                  30, 33, 36, 39, 42, 45, 48, 51, 54, 57};
  float c[256] = {0,  1,  2,  3,  4,  5,  6,  7,  8,  9,
                  10, 11, 12, 13, 14, 15, 16, 17, 18, 19};
  check_vect();
  main1(256, a, b, c);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc10,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x810(%rbp),%rdi
lea    0xeb0(%rip),%rsi
mov    $0x400,%edx
call   1050 <memcpy@plt>
lea    -0xc10(%rbp),%rdi
lea    0x1298(%rip),%rsi
mov    $0x400,%edx
call   1050 <memcpy@plt>
mov    $0x0,%al
call   1030 <check_vect@plt>
lea    -0x410(%rbp),%rsi
lea    -0x810(%rbp),%rdx
lea    -0xc10(%rbp),%rcx
mov    $0x100,%edi
call   1040 <main1@plt>
xor    %eax,%eax
add    $0xc10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
sub    $0xc08,%rsp
lea    0xebf(%rip),%rsi
lea    0x400(%rsp),%r14
mov    $0x400,%edx
mov    %r14,%rdi
call   1050 <memcpy@plt>
lea    0x12a3(%rip),%rsi
mov    %rsp,%rbx
mov    $0x400,%edx
mov    %rbx,%rdi
call   1050 <memcpy@plt>
xor    %eax,%eax
call   1030 <check_vect@plt>
lea    0x800(%rsp),%rsi
mov    $0x100,%edi
mov    %r14,%rdx
mov    %rbx,%rcx
call   1040 <main1@plt>
xor    %eax,%eax
add    $0xc08,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@__const.main.b = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 3.000000e+00, float 6.000000e+00, float 9.000000e+00, float 1.200000e+01, float 1.500000e+01, float 1.800000e+01, float 2.100000e+01, float 2.400000e+01, float 2.700000e+01, float 3.000000e+01, float 3.300000e+01, float 3.600000e+01, float 3.900000e+01, float 4.200000e+01, float 4.500000e+01, float 4.800000e+01, float 5.100000e+01, float 5.400000e+01, float 5.700000e+01], [236 x float] zeroinitializer }>
@__const.main.c = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00, float 5.000000e+00, float 6.000000e+00, float 7.000000e+00, float 8.000000e+00, float 9.000000e+00, float 1.000000e+01, float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01, float 1.500000e+01, float 1.600000e+01, float 1.700000e+01, float 1.800000e+01, float 1.900000e+01], [236 x float] zeroinitializer }>
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [256 x float]
%4 = alloca [256 x float]
%5 = alloca [256 x float]
store i32 0, i32* %1
%6 = bitcast [256 x float]* %4 to i8*
%7 = bitcast [256 x float]* %5 to i8*
%8 = call i32 (...) @check_vect()
%9 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%10 = getelementptr inbounds [256 x float], [256 x float]* %4, i64 0, i64 0
%11 = getelementptr inbounds [256 x float], [256 x float]* %5, i64 0, i64 0
%12 = call i32 @main1(i32 256, float* %9, float* %10, float* %11)
ret i32 0
}

LLVM IR (-O2):
@__const.main.b = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 3.000000e+00, float 6.000000e+00, float 9.000000e+00, float 1.200000e+01, float 1.500000e+01, float 1.800000e+01, float 2.100000e+01, float 2.400000e+01, float 2.700000e+01, float 3.000000e+01, float 3.300000e+01, float 3.600000e+01, float 3.900000e+01, float 4.200000e+01, float 4.500000e+01, float 4.800000e+01, float 5.100000e+01, float 5.400000e+01, float 5.700000e+01], [236 x float] zeroinitializer }>
@__const.main.c = <{ [20 x float], [236 x float] }> <{ [20 x float] [float 0.000000e+00, float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00, float 5.000000e+00, float 6.000000e+00, float 7.000000e+00, float 8.000000e+00, float 9.000000e+00, float 1.000000e+01, float 1.100000e+01, float 1.200000e+01, float 1.300000e+01, float 1.400000e+01, float 1.500000e+01, float 1.600000e+01, float 1.700000e+01, float 1.800000e+01, float 1.900000e+01], [236 x float] zeroinitializer }>
define i32 @main() {
%1 = alloca [256 x float]
%2 = alloca [256 x float]
%3 = alloca [256 x float]
%4 = bitcast [256 x float]* %1 to i8*
%5 = bitcast [256 x float]* %2 to i8*
%6 = bitcast [256 x float]* %3 to i8*
%7 = tail call i32 (...) @check_vect()
%8 = getelementptr inbounds [256 x float], [256 x float]* %1, i64 0, i64 0
%9 = getelementptr inbounds [256 x float], [256 x float]* %2, i64 0, i64 0
%10 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%11 = call i32 @main1(i32 256, float* %8, float* %9, float* %10)
ret i32 0
}