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


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

x86 assembly (clang, -O2):
<main>:
push   %r14
push   %rbx
sub    $0x818,%rsp
lea    0xebf(%rip),%rsi
mov    %rsp,%r14
mov    $0x404,%edx
mov    %r14,%rdi
call   1050 <memcpy@plt>
lea    0x12b8(%rip),%rsi
lea    0x410(%rsp),%rbx
mov    $0x400,%edx
mov    %rbx,%rdi
call   1050 <memcpy@plt>
xor    %eax,%eax
call   1030 <check_vect@plt>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1040 <main1@plt>
lea    0x4(%rsp),%rdi
mov    %rbx,%rsi
call   1040 <main1@plt>
xor    %eax,%eax
add    $0x818,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@__const.main.b = <{ [21 x float], [236 x float] }> <{ [21 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, float 6.000000e+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 [257 x float]
%4 = alloca [256 x float]
store i32 0, i32* %1
%5 = bitcast [257 x float]* %3 to i8*
%6 = bitcast [256 x float]* %4 to i8*
%7 = call i32 (...) @check_vect()
%8 = getelementptr inbounds [257 x float], [257 x float]* %3, i64 0, i64 0
%9 = getelementptr inbounds [256 x float], [256 x float]* %4, i64 0, i64 0
%10 = call i32 @main1(float* %8, float* %9)
%11 = getelementptr inbounds [257 x float], [257 x float]* %3, i64 0, i64 1
%12 = getelementptr inbounds [256 x float], [256 x float]* %4, i64 0, i64 0
%13 = call i32 @main1(float* %11, float* %12)
ret i32 0
}

LLVM IR (-O2):
@__const.main.b = <{ [21 x float], [236 x float] }> <{ [21 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, float 6.000000e+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 [257 x float]
%2 = alloca [256 x float]
%3 = bitcast [257 x float]* %1 to i8*
%4 = bitcast [256 x float]* %2 to i8*
%5 = tail call i32 (...) @check_vect()
%6 = getelementptr inbounds [257 x float], [257 x float]* %1, i64 0, i64 0
%7 = getelementptr inbounds [256 x float], [256 x float]* %2, i64 0, i64 0
%8 = call i32 @main1(float* %6, float* %7)
%9 = getelementptr inbounds [257 x float], [257 x float]* %1, i64 0, i64 1
%10 = call i32 @main1(float* %9, float* %7)
ret i32 0
}