| //@ run-pass | |
| //@ ignore-backends: gcc | |
| #![allow(dead_code)] | |
| #[repr(C)] | |
| #[derive(Copy, Clone)] | |
| pub struct Quad { | |
| a: u64, | |
| b: u64, | |
| c: u64, | |
| d: u64, | |
| } | |
| #[repr(C)] | |
| #[derive(Copy, Clone)] | |
| pub struct Floats { | |
| a: f64, | |
| b: u8, | |
| c: f64, | |
| } | |
| #[repr(C)] | |
| #[derive(Copy, Clone)] | |
| pub struct CharCharDouble { | |
| a: u8, | |
| b: u8, | |
| c: f64, | |
| } | |
| #[repr(C)] | |
| #[derive(Copy, Clone)] | |
| pub struct CharCharFloat { | |
| a: u8, | |
| b: u8, | |
| c: f32, | |
| } | |
| mod rustrt { | |
| use super::{CharCharDouble, CharCharFloat, Floats, Quad}; | |
| #[link(name = "rust_test_helpers", kind = "static")] | |
| extern "C" { | |
| pub fn rust_dbg_abi_1(q: Quad) -> Quad; | |
| pub fn rust_dbg_abi_2(f: Floats) -> Floats; | |
| pub fn rust_dbg_abi_3(a: CharCharDouble) -> CharCharDouble; | |
| pub fn rust_dbg_abi_4(a: CharCharFloat) -> CharCharFloat; | |
| } | |
| } | |
| fn test1() { | |
| unsafe { | |
| let q = Quad { | |
| a: 0xaaaa_aaaa_aaaa_aaaa, | |
| b: 0xbbbb_bbbb_bbbb_bbbb, | |
| c: 0xcccc_cccc_cccc_cccc, | |
| d: 0xdddd_dddd_dddd_dddd, | |
| }; | |
| let qq = rustrt::rust_dbg_abi_1(q); | |
| println!("a: {:x}", qq.a as usize); | |
| println!("b: {:x}", qq.b as usize); | |
| println!("c: {:x}", qq.c as usize); | |
| println!("d: {:x}", qq.d as usize); | |
| assert_eq!(qq.a, q.c + 1); | |
| assert_eq!(qq.b, q.d - 1); | |
| assert_eq!(qq.c, q.a + 1); | |
| assert_eq!(qq.d, q.b - 1); | |
| } | |
| } | |
| #[cfg(target_pointer_width = "64")] | |
| fn test2() { | |
| unsafe { | |
| let f = Floats { a: 1.234567890e-15_f64, b: 0b_1010_1010, c: 1.0987654321e-15_f64 }; | |
| let ff = rustrt::rust_dbg_abi_2(f); | |
| println!("a: {}", ff.a as f64); | |
| println!("b: {}", ff.b as usize); | |
| println!("c: {}", ff.c as f64); | |
| assert_eq!(ff.a, f.c + 1.0f64); | |
| assert_eq!(ff.b, 0xff); | |
| assert_eq!(ff.c, f.a - 1.0f64); | |
| } | |
| } | |
| #[cfg(target_pointer_width = "32")] | |
| fn test2() {} | |
| #[cfg(target_pointer_width = "64")] | |
| fn test3() { | |
| unsafe { | |
| let a = CharCharDouble { a: 1, b: 2, c: 3. }; | |
| let b = rustrt::rust_dbg_abi_3(a); | |
| println!("a: {}", b.a); | |
| println!("b: {}", b.b); | |
| println!("c: {}", b.c); | |
| assert_eq!(b.a, a.a + 1); | |
| assert_eq!(b.b, a.b - 1); | |
| assert_eq!(b.c, a.c + 1.0); | |
| } | |
| } | |
| #[cfg(target_pointer_width = "32")] | |
| fn test3() {} | |
| fn test4() { | |
| unsafe { | |
| let a = CharCharFloat { a: 1, b: 2, c: 3. }; | |
| let b = rustrt::rust_dbg_abi_4(a); | |
| println!("a: {}", b.a); | |
| println!("b: {}", b.b); | |
| println!("c: {}", b.c); | |
| assert_eq!(b.a, a.a + 1); | |
| assert_eq!(b.b, a.b - 1); | |
| assert_eq!(b.c, a.c + 1.0); | |
| } | |
| } | |
| pub fn main() { | |
| test1(); | |
| test2(); | |
| test3(); | |
| test4(); | |
| } |