#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 *, float *);
int main(void) {
  int i;
  float a[256] __attribute__((__aligned__(16)));
  float d[256 + 1] __attribute__((__aligned__(16)));
  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, &d[1], a, b, c);
  main1(256 - 2, &d[1], a, b, c);
  return 0;
}


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

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x1008,%rsp
lea    0xebb(%rip),%rsi
lea    0x400(%rsp),%r14
mov    $0x400,%edx
mov    %r14,%rdi
call   1050 <memcpy@plt>
lea    0x129f(%rip),%rsi
mov    %rsp,%r15
mov    $0x400,%edx
mov    %r15,%rdi
call   1050 <memcpy@plt>
xor    %eax,%eax
call   1030 <check_vect@plt>
lea    0xc04(%rsp),%r12
lea    0x800(%rsp),%rbx
mov    $0x100,%edi
mov    %r12,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
mov    %r15,%r8
call   1040 <main1@plt>
mov    $0xfe,%edi
mov    %r12,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
mov    %r15,%r8
call   1040 <main1@plt>
xor    %eax,%eax
add    $0x1008,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
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 [257 x float]
%5 = alloca [256 x float]
%6 = alloca [256 x float]
store i32 0, i32* %1
%7 = bitcast [256 x float]* %5 to i8*
%8 = bitcast [256 x float]* %6 to i8*
%9 = call i32 (...) @check_vect()
%10 = getelementptr inbounds [257 x float], [257 x float]* %4, i64 0, i64 1
%11 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%12 = getelementptr inbounds [256 x float], [256 x float]* %5, i64 0, i64 0
%13 = getelementptr inbounds [256 x float], [256 x float]* %6, i64 0, i64 0
%14 = call i32 @main1(i32 256, float* %10, float* %11, float* %12, float* %13)
%15 = getelementptr inbounds [257 x float], [257 x float]* %4, i64 0, i64 1
%16 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%17 = getelementptr inbounds [256 x float], [256 x float]* %5, i64 0, i64 0
%18 = getelementptr inbounds [256 x float], [256 x float]* %6, i64 0, i64 0
%19 = call i32 @main1(i32 254, float* %15, float* %16, float* %17, float* %18)
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 [257 x float]
%3 = alloca [256 x float]
%4 = alloca [256 x float]
%5 = bitcast [256 x float]* %1 to i8*
%6 = bitcast [257 x float]* %2 to i8*
%7 = bitcast [256 x float]* %3 to i8*
%8 = bitcast [256 x float]* %4 to i8*
%9 = tail call i32 (...) @check_vect()
%10 = getelementptr inbounds [257 x float], [257 x float]* %2, i64 0, i64 1
%11 = getelementptr inbounds [256 x float], [256 x float]* %1, i64 0, i64 0
%12 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%13 = getelementptr inbounds [256 x float], [256 x float]* %4, i64 0, i64 0
%14 = call i32 @main1(i32 256, float* %10, float* %11, float* %12, float* %13)
%15 = call i32 @main1(i32 254, float* %10, float* %11, float* %12, float* %13)
ret i32 0
}