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


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

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0xc38,%rsp
lea    0xebb(%rip),%rsi
lea    0x410(%rsp),%r14
mov    $0x410,%edx
mov    %r14,%rdi
call   1050 <memcpy@plt>
lea    0x12af(%rip),%rsi
mov    %rsp,%rbx
mov    $0x410,%edx
mov    %rbx,%rdi
call   1050 <memcpy@plt>
xor    %eax,%eax
call   1030 <check_vect@plt>
lea    0x820(%rsp),%r15
mov    %r15,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1040 <main1@plt>
lea    0x824(%rsp),%r12
mov    %r12,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1040 <main1@plt>
lea    0x414(%rsp),%r14
mov    %r15,%rdi
mov    %r14,%rsi
mov    %rbx,%rdx
call   1040 <main1@plt>
lea    0x4(%rsp),%rdx
mov    %r12,%rdi
mov    %r14,%rsi
call   1040 <main1@plt>
xor    %eax,%eax
add    $0xc38,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@__const.main.b = <{ [24 x float], [236 x float] }> <{ [24 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, float 6.300000e+01, float 6.600000e+01, float 6.900000e+01], [236 x float] zeroinitializer }>
@__const.main.c = <{ [24 x float], [236 x float] }> <{ [24 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, float 2.000000e+01, float 2.100000e+01, float 2.200000e+01, float 2.300000e+01], [236 x float] zeroinitializer }>
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [260 x float]
%4 = alloca [260 x float]
%5 = alloca [260 x float]
store i32 0, i32* %1
%6 = bitcast [260 x float]* %4 to i8*
%7 = bitcast [260 x float]* %5 to i8*
%8 = call i32 (...) @check_vect()
%9 = getelementptr inbounds [260 x float], [260 x float]* %3, i64 0, i64 0
%10 = getelementptr inbounds [260 x float], [260 x float]* %4, i64 0, i64 0
%11 = getelementptr inbounds [260 x float], [260 x float]* %5, i64 0, i64 0
%12 = call i32 @main1(float* %9, float* %10, float* %11)
%13 = getelementptr inbounds [260 x float], [260 x float]* %3, i64 0, i64 1
%14 = getelementptr inbounds [260 x float], [260 x float]* %4, i64 0, i64 0
%15 = getelementptr inbounds [260 x float], [260 x float]* %5, i64 0, i64 0
%16 = call i32 @main1(float* %13, float* %14, float* %15)
%17 = getelementptr inbounds [260 x float], [260 x float]* %3, i64 0, i64 0
%18 = getelementptr inbounds [260 x float], [260 x float]* %4, i64 0, i64 1
%19 = getelementptr inbounds [260 x float], [260 x float]* %5, i64 0, i64 0
%20 = call i32 @main1(float* %17, float* %18, float* %19)
%21 = getelementptr inbounds [260 x float], [260 x float]* %3, i64 0, i64 1
%22 = getelementptr inbounds [260 x float], [260 x float]* %4, i64 0, i64 1
%23 = getelementptr inbounds [260 x float], [260 x float]* %5, i64 0, i64 1
%24 = call i32 @main1(float* %21, float* %22, float* %23)
ret i32 0
}

LLVM IR (-O2):
@__const.main.b = <{ [24 x float], [236 x float] }> <{ [24 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, float 6.300000e+01, float 6.600000e+01, float 6.900000e+01], [236 x float] zeroinitializer }>
@__const.main.c = <{ [24 x float], [236 x float] }> <{ [24 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, float 2.000000e+01, float 2.100000e+01, float 2.200000e+01, float 2.300000e+01], [236 x float] zeroinitializer }>
define i32 @main() {
%1 = alloca [260 x float]
%2 = alloca [260 x float]
%3 = alloca [260 x float]
%4 = bitcast [260 x float]* %1 to i8*
%5 = bitcast [260 x float]* %2 to i8*
%6 = bitcast [260 x float]* %3 to i8*
%7 = tail call i32 (...) @check_vect()
%8 = getelementptr inbounds [260 x float], [260 x float]* %1, i64 0, i64 0
%9 = getelementptr inbounds [260 x float], [260 x float]* %2, i64 0, i64 0
%10 = getelementptr inbounds [260 x float], [260 x float]* %3, i64 0, i64 0
%11 = call i32 @main1(float* %8, float* %9, float* %10)
%12 = getelementptr inbounds [260 x float], [260 x float]* %1, i64 0, i64 1
%13 = call i32 @main1(float* %12, float* %9, float* %10)
%14 = getelementptr inbounds [260 x float], [260 x float]* %2, i64 0, i64 1
%15 = call i32 @main1(float* %8, float* %14, float* %10)
%16 = getelementptr inbounds [260 x float], [260 x float]* %3, i64 0, i64 1
%17 = call i32 @main1(float* %12, float* %14, float* %16)
ret i32 0
}