2012-04-26 19:49:38 -05:00
|
|
|
// xfail-pretty
|
2012-05-02 20:25:22 -05:00
|
|
|
// xfail-win32
|
2012-04-26 19:49:38 -05:00
|
|
|
// Issue #2303
|
|
|
|
|
2012-04-27 01:39:44 -05:00
|
|
|
#[abi = "rust-intrinsic"]
|
|
|
|
native mod rusti {
|
|
|
|
fn pref_align_of<T>() -> uint;
|
|
|
|
fn min_align_of<T>() -> uint;
|
|
|
|
}
|
|
|
|
|
2012-04-26 19:49:38 -05:00
|
|
|
// This is the type with the questionable alignment
|
|
|
|
type inner = {
|
2012-05-02 20:25:22 -05:00
|
|
|
c64: u64
|
2012-04-26 19:49:38 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
// This is the type that contains the type with the
|
|
|
|
// questionable alignment, for testing
|
|
|
|
type outer = {
|
|
|
|
c8: u8,
|
|
|
|
t: inner
|
|
|
|
};
|
|
|
|
|
|
|
|
#[cfg(target_arch = "x86")]
|
|
|
|
fn main() {
|
|
|
|
|
2012-05-02 20:25:22 -05:00
|
|
|
let x = {c8: 22u8, t: {c64: 44u64}};
|
2012-04-26 19:49:38 -05:00
|
|
|
|
|
|
|
// Send it through the shape code
|
|
|
|
let y = #fmt["%?", x];
|
|
|
|
|
2012-04-27 01:39:44 -05:00
|
|
|
#debug("align inner = %?", rusti::min_align_of::<inner>());
|
|
|
|
#debug("size outer = %?", sys::size_of::<outer>());
|
|
|
|
#debug("y = %s", y);
|
2012-04-26 19:49:38 -05:00
|
|
|
|
|
|
|
// per clang/gcc the alignment of `inner` is 4 on x86.
|
2012-05-02 20:25:22 -05:00
|
|
|
assert rusti::min_align_of::<inner>() == 4u;
|
2012-04-26 19:49:38 -05:00
|
|
|
|
|
|
|
// per clang/gcc the size of `outer` should be 12
|
|
|
|
// because `inner`s alignment was 4.
|
2012-05-02 20:25:22 -05:00
|
|
|
assert sys::size_of::<outer>() == 12u;
|
2012-04-27 01:39:44 -05:00
|
|
|
|
|
|
|
assert y == "(22, (44))";
|
2012-04-26 19:49:38 -05:00
|
|
|
}
|
2012-05-02 20:25:22 -05:00
|
|
|
|
|
|
|
#[cfg(target_arch = "x86_64")]
|
|
|
|
fn main() { }
|