// run-pass #![allow(dead_code)] // ignore-wasm32-bare no libc to test ffi with #[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(); }