#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*/ bar(float *, float *, float *);
int /*<<< orphan*/ check_vect();
int /*<<< orphan*/ main1(float *);
int main(void) {
  int i;
  float a[256] __attribute__((__aligned__(16)));
  float b[256] __attribute__((__aligned__(16))) = {0,  3,  6,  9,  12, 15, 18,
                                                   21, 24, 27, 30, 33, 36, 39,
                                                   42, 45, 48, 51, 54, 57};
  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(a);
  bar(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    0xea0(%rip),%rsi
mov    $0x400,%edx
call   1060 <memcpy@plt>
lea    -0xc10(%rbp),%rdi
lea    0x1288(%rip),%rsi
mov    $0x400,%edx
call   1060 <memcpy@plt>
mov    $0x0,%al
call   1030 <check_vect@plt>
lea    -0x410(%rbp),%rdi
call   1050 <main1@plt>
lea    -0x410(%rbp),%rdi
lea    -0x810(%rbp),%rsi
lea    -0xc10(%rbp),%rdx
call   1040 <bar@plt>
xor    %eax,%eax
add    $0xc10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0xc00,%rsp
lea    0xead(%rip),%rsi
lea    0x400(%rsp),%r14
mov    $0x400,%edx
mov    %r14,%rdi
call   1060 <memcpy@plt>
lea    0x1291(%rip),%rsi
mov    %rsp,%r15
mov    $0x400,%edx
mov    %r15,%rdi
call   1060 <memcpy@plt>
xor    %eax,%eax
call   1030 <check_vect@plt>
lea    0x800(%rsp),%rbx
mov    %rbx,%rdi
call   1050 <main1@plt>
mov    %rbx,%rdi
mov    %r14,%rsi
mov    %r15,%rdx
call   1040 <bar@plt>
xor    %eax,%eax
add    $0xc00,%rsp
pop    %rbx
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 [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 = call i32 @main1(float* %9)
%11 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%12 = getelementptr inbounds [256 x float], [256 x float]* %4, i64 0, i64 0
%13 = getelementptr inbounds [256 x float], [256 x float]* %5, i64 0, i64 0
%14 = call i32 @bar(float* %11, float* %12, float* %13)
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 = call i32 @main1(float* %8)
%10 = getelementptr inbounds [256 x float], [256 x float]* %2, i64 0, i64 0
%11 = getelementptr inbounds [256 x float], [256 x float]* %3, i64 0, i64 0
%12 = call i32 @bar(float* %8, float* %10, float* %11)
ret i32 0
}