59 lines
1.4 KiB
Rust
59 lines
1.4 KiB
Rust
|
// revisions:x86-linux x86-darwin
|
||
|
|
|
||
|
|
//[x86-linux] compile-flags: --target i686-unknown-linux-gnu
|
||
|
|
//[x86-linux] needs-llvm-components: x86
|
||
|
|
//[x86-darwin] compile-flags: --target i686-apple-darwin
|
||
|
|
//[x86-darwin] needs-llvm-components: x86
|
||
|
|
|
||
|
|
// Tests that aggregates containing vector types get their alignment increased to 16 on Darwin.
|
||
|
|
|
||
|
|
#![feature(no_core, lang_items, repr_simd, simd_ffi)]
|
||
|
|
#![crate_type = "lib"]
|
||
|
|
#![no_std]
|
||
|
|
#![no_core]
|
||
|
|
#![allow(non_camel_case_types)]
|
||
|
|
|
||
|
|
#[lang = "sized"]
|
||
|
|
trait Sized {}
|
||
|
|
#[lang = "freeze"]
|
||
|
|
trait Freeze {}
|
||
|
|
#[lang = "copy"]
|
||
|
|
trait Copy {}
|
||
|
|
|
||
|
|
#[repr(simd)]
|
||
|
|
pub struct i32x4(i32, i32, i32, i32);
|
||
|
|
|
||
|
|
#[repr(C)]
|
||
|
|
pub struct Foo {
|
||
|
|
a: i32x4,
|
||
|
|
b: i8,
|
||
|
|
}
|
||
|
|
|
||
|
|
// This tests that we recursively check for vector types, not just at the top level.
|
||
|
|
#[repr(C)]
|
||
|
|
pub struct DoubleFoo {
|
||
|
|
one: Foo,
|
||
|
|
two: Foo,
|
||
|
|
}
|
||
|
|
|
||
|
|
extern "C" {
|
||
|
|
// x86-linux: declare void @f({{.*}}byval(%Foo) align 4{{.*}})
|
||
|
|
// x86-darwin: declare void @f({{.*}}byval(%Foo) align 16{{.*}})
|
||
|
|
fn f(foo: Foo);
|
||
|
|
|
||
|
|
// x86-linux: declare void @g({{.*}}byval(%DoubleFoo) align 4{{.*}})
|
||
|
|
// x86-darwin: declare void @g({{.*}}byval(%DoubleFoo) align 16{{.*}})
|
||
|
|
fn g(foo: DoubleFoo);
|
||
|
|
}
|
||
|
|
|
||
|
|
pub fn main() {
|
||
|
|
unsafe { f(Foo { a: i32x4(1, 2, 3, 4), b: 0 }) }
|
||
|
|
|
||
|
|
unsafe {
|
||
|
|
g(DoubleFoo {
|
||
|
|
one: Foo { a: i32x4(1, 2, 3, 4), b: 0 },
|
||
|
|
two: Foo { a: i32x4(1, 2, 3, 4), b: 0 },
|
||
|
|
})
|
||
|
|
}
|
||
|
|
}
|