2019-07-26 21:54:25 +00:00
|
|
|
// run-pass
|
2016-08-30 01:24:34 +00:00
|
|
|
// Checks if the "sysv64" calling convention behaves the same as the
|
|
|
|
// "C" calling convention on platforms where both should be the same
|
|
|
|
|
|
|
|
// This file contains versions of the following run-pass tests with
|
|
|
|
// the calling convention changed to "sysv64"
|
|
|
|
|
|
|
|
// cabi-int-widening
|
|
|
|
// extern-pass-char
|
|
|
|
// extern-pass-u32
|
|
|
|
// extern-pass-u64
|
|
|
|
// extern-pass-double
|
|
|
|
// extern-pass-empty
|
|
|
|
// extern-pass-TwoU8s
|
|
|
|
// extern-pass-TwoU16s
|
|
|
|
// extern-pass-TwoU32s
|
|
|
|
// extern-pass-TwoU64s
|
|
|
|
// extern-return-TwoU8s
|
|
|
|
// extern-return-TwoU16s
|
|
|
|
// extern-return-TwoU32s
|
|
|
|
// extern-return-TwoU64s
|
|
|
|
// foreign-fn-with-byval
|
|
|
|
// issue-28676
|
2019-07-04 16:31:52 +00:00
|
|
|
// issue-62350-sysv-neg-reg-counts
|
2016-08-30 01:24:34 +00:00
|
|
|
// struct-return
|
|
|
|
|
|
|
|
// ignore-android
|
|
|
|
// ignore-arm
|
|
|
|
// ignore-aarch64
|
2016-09-01 08:35:37 +00:00
|
|
|
// ignore-windows
|
2016-08-30 01:24:34 +00:00
|
|
|
|
2016-09-01 08:35:37 +00:00
|
|
|
// note: windows is ignored as rust_test_helpers does not have the sysv64 abi on windows
|
2016-08-30 01:24:34 +00:00
|
|
|
|
|
|
|
#[allow(dead_code)]
|
|
|
|
#[allow(improper_ctypes)]
|
|
|
|
|
|
|
|
#[cfg(target_arch = "x86_64")]
|
|
|
|
mod tests {
|
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone, PartialEq, Debug)]
|
|
|
|
pub struct TwoU8s {
|
|
|
|
one: u8, two: u8
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone, PartialEq, Debug)]
|
|
|
|
pub struct TwoU16s {
|
|
|
|
one: u16, two: u16
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone, PartialEq, Debug)]
|
|
|
|
pub struct TwoU32s {
|
|
|
|
one: u32, two: u32
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone, PartialEq, Debug)]
|
|
|
|
pub struct TwoU64s {
|
|
|
|
one: u64, two: u64
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
pub struct ManyInts {
|
|
|
|
arg1: i8,
|
|
|
|
arg2: i16,
|
|
|
|
arg3: i32,
|
|
|
|
arg4: i16,
|
|
|
|
arg5: i8,
|
|
|
|
arg6: TwoU8s,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
pub struct Empty;
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct S {
|
|
|
|
x: u64,
|
|
|
|
y: u64,
|
|
|
|
z: u64,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct Quad { a: u64, b: u64, c: u64, d: u64 }
|
|
|
|
|
2019-07-04 16:31:52 +00:00
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct QuadFloats { a: f32, b: f32, c: f32, d: f32 }
|
|
|
|
|
2016-08-30 01:24:34 +00:00
|
|
|
#[repr(C)]
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct Floats { a: f64, b: u8, c: f64 }
|
|
|
|
|
2020-01-22 21:07:03 +00:00
|
|
|
#[repr(C, u8)]
|
|
|
|
pub enum U8TaggedEnumOptionU64U64 {
|
|
|
|
None,
|
|
|
|
Some(u64,u64),
|
|
|
|
}
|
|
|
|
|
|
|
|
#[repr(C, u8)]
|
|
|
|
pub enum U8TaggedEnumOptionU64 {
|
|
|
|
None,
|
|
|
|
Some(u64),
|
|
|
|
}
|
|
|
|
|
2016-11-24 00:09:51 +00:00
|
|
|
#[link(name = "rust_test_helpers", kind = "static")]
|
2016-08-30 01:24:34 +00:00
|
|
|
extern "sysv64" {
|
|
|
|
pub fn rust_int8_to_int32(_: i8) -> i32;
|
|
|
|
pub fn rust_dbg_extern_identity_u8(v: u8) -> u8;
|
|
|
|
pub fn rust_dbg_extern_identity_u32(v: u32) -> u32;
|
|
|
|
pub fn rust_dbg_extern_identity_u64(v: u64) -> u64;
|
|
|
|
pub fn rust_dbg_extern_identity_double(v: f64) -> f64;
|
|
|
|
pub fn rust_dbg_extern_empty_struct(v1: ManyInts, e: Empty, v2: ManyInts);
|
|
|
|
pub fn rust_dbg_extern_identity_TwoU8s(v: TwoU8s) -> TwoU8s;
|
|
|
|
pub fn rust_dbg_extern_identity_TwoU16s(v: TwoU16s) -> TwoU16s;
|
|
|
|
pub fn rust_dbg_extern_identity_TwoU32s(v: TwoU32s) -> TwoU32s;
|
|
|
|
pub fn rust_dbg_extern_identity_TwoU64s(v: TwoU64s) -> TwoU64s;
|
|
|
|
pub fn rust_dbg_extern_return_TwoU8s() -> TwoU8s;
|
|
|
|
pub fn rust_dbg_extern_return_TwoU16s() -> TwoU16s;
|
|
|
|
pub fn rust_dbg_extern_return_TwoU32s() -> TwoU32s;
|
|
|
|
pub fn rust_dbg_extern_return_TwoU64s() -> TwoU64s;
|
|
|
|
pub fn get_x(x: S) -> u64;
|
|
|
|
pub fn get_y(x: S) -> u64;
|
|
|
|
pub fn get_z(x: S) -> u64;
|
|
|
|
pub fn get_c_many_params(_: *const (), _: *const (),
|
|
|
|
_: *const (), _: *const (), f: Quad) -> u64;
|
2019-07-04 16:31:52 +00:00
|
|
|
pub fn get_c_exhaust_sysv64_ints(
|
|
|
|
_: *const (),
|
|
|
|
_: *const (),
|
|
|
|
_: *const (),
|
|
|
|
_: *const (),
|
|
|
|
_: *const (),
|
|
|
|
_: *const (),
|
|
|
|
_: *const (),
|
|
|
|
h: QuadFloats,
|
|
|
|
) -> f32;
|
2016-08-30 01:24:34 +00:00
|
|
|
pub fn rust_dbg_abi_1(q: Quad) -> Quad;
|
|
|
|
pub fn rust_dbg_abi_2(f: Floats) -> Floats;
|
2020-01-22 21:07:03 +00:00
|
|
|
pub fn rust_dbg_new_some_u64u64(a: u64, b: u64) -> U8TaggedEnumOptionU64U64;
|
|
|
|
pub fn rust_dbg_new_none_u64u64() -> U8TaggedEnumOptionU64U64;
|
2020-02-08 04:50:41 +00:00
|
|
|
pub fn rust_dbg_unpack_option_u64u64(
|
|
|
|
o: U8TaggedEnumOptionU64U64,
|
|
|
|
a: *mut u64,
|
|
|
|
b: *mut u64,
|
|
|
|
) -> i32;
|
2020-01-22 21:07:03 +00:00
|
|
|
pub fn rust_dbg_new_some_u64(some: u64) -> U8TaggedEnumOptionU64;
|
|
|
|
pub fn rust_dbg_new_none_u64() -> U8TaggedEnumOptionU64;
|
|
|
|
pub fn rust_dbg_unpack_option_u64(o: U8TaggedEnumOptionU64, v: *mut u64) -> i32;
|
2016-08-30 01:24:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn cabi_int_widening() {
|
|
|
|
let x = unsafe {
|
|
|
|
rust_int8_to_int32(-1)
|
|
|
|
};
|
|
|
|
|
|
|
|
assert!(x == -1);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_char() {
|
|
|
|
unsafe {
|
|
|
|
assert_eq!(22, rust_dbg_extern_identity_u8(22));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_u32() {
|
|
|
|
unsafe {
|
|
|
|
assert_eq!(22, rust_dbg_extern_identity_u32(22));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_u64() {
|
|
|
|
unsafe {
|
|
|
|
assert_eq!(22, rust_dbg_extern_identity_u64(22));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_double() {
|
|
|
|
unsafe {
|
|
|
|
assert_eq!(22.0_f64, rust_dbg_extern_identity_double(22.0_f64));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_empty() {
|
|
|
|
unsafe {
|
|
|
|
let x = ManyInts {
|
|
|
|
arg1: 2,
|
|
|
|
arg2: 3,
|
|
|
|
arg3: 4,
|
|
|
|
arg4: 5,
|
|
|
|
arg5: 6,
|
|
|
|
arg6: TwoU8s { one: 7, two: 8, }
|
|
|
|
};
|
|
|
|
let y = ManyInts {
|
|
|
|
arg1: 1,
|
|
|
|
arg2: 2,
|
|
|
|
arg3: 3,
|
|
|
|
arg4: 4,
|
|
|
|
arg5: 5,
|
|
|
|
arg6: TwoU8s { one: 6, two: 7, }
|
|
|
|
};
|
|
|
|
let empty = Empty;
|
|
|
|
rust_dbg_extern_empty_struct(x, empty, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_twou8s() {
|
|
|
|
unsafe {
|
|
|
|
let x = TwoU8s {one: 22, two: 23};
|
|
|
|
let y = rust_dbg_extern_identity_TwoU8s(x);
|
|
|
|
assert_eq!(x, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_twou16s() {
|
|
|
|
unsafe {
|
|
|
|
let x = TwoU16s {one: 22, two: 23};
|
|
|
|
let y = rust_dbg_extern_identity_TwoU16s(x);
|
|
|
|
assert_eq!(x, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_twou32s() {
|
|
|
|
unsafe {
|
|
|
|
let x = TwoU32s {one: 22, two: 23};
|
|
|
|
let y = rust_dbg_extern_identity_TwoU32s(x);
|
|
|
|
assert_eq!(x, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_pass_twou64s() {
|
|
|
|
unsafe {
|
|
|
|
let x = TwoU64s {one: 22, two: 23};
|
|
|
|
let y = rust_dbg_extern_identity_TwoU64s(x);
|
|
|
|
assert_eq!(x, y);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_return_twou8s() {
|
|
|
|
unsafe {
|
|
|
|
let y = rust_dbg_extern_return_TwoU8s();
|
|
|
|
assert_eq!(y.one, 10);
|
|
|
|
assert_eq!(y.two, 20);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_return_twou16s() {
|
|
|
|
unsafe {
|
|
|
|
let y = rust_dbg_extern_return_TwoU16s();
|
|
|
|
assert_eq!(y.one, 10);
|
|
|
|
assert_eq!(y.two, 20);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_return_twou32s() {
|
|
|
|
unsafe {
|
|
|
|
let y = rust_dbg_extern_return_TwoU32s();
|
|
|
|
assert_eq!(y.one, 10);
|
|
|
|
assert_eq!(y.two, 20);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn extern_return_twou64s() {
|
|
|
|
unsafe {
|
|
|
|
let y = rust_dbg_extern_return_TwoU64s();
|
|
|
|
assert_eq!(y.one, 10);
|
|
|
|
assert_eq!(y.two, 20);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[inline(never)]
|
|
|
|
fn indirect_call(func: unsafe extern "sysv64" fn(s: S) -> u64, s: S) -> u64 {
|
|
|
|
unsafe {
|
|
|
|
func(s)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn foreign_fn_with_byval() {
|
|
|
|
let s = S { x: 1, y: 2, z: 3 };
|
|
|
|
assert_eq!(s.x, indirect_call(get_x, s));
|
|
|
|
assert_eq!(s.y, indirect_call(get_y, s));
|
|
|
|
assert_eq!(s.z, indirect_call(get_z, s));
|
|
|
|
}
|
|
|
|
|
|
|
|
fn test() {
|
|
|
|
use std::ptr;
|
|
|
|
unsafe {
|
|
|
|
let null = ptr::null();
|
|
|
|
let q = Quad {
|
|
|
|
a: 1,
|
|
|
|
b: 2,
|
|
|
|
c: 3,
|
|
|
|
d: 4
|
|
|
|
};
|
|
|
|
assert_eq!(get_c_many_params(null, null, null, null, q), q.c);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn issue_28676() {
|
|
|
|
test();
|
|
|
|
}
|
|
|
|
|
2019-07-04 16:31:52 +00:00
|
|
|
fn test_62350() {
|
|
|
|
use std::ptr;
|
|
|
|
unsafe {
|
|
|
|
let null = ptr::null();
|
|
|
|
let q = QuadFloats {
|
|
|
|
a: 10.2,
|
|
|
|
b: 20.3,
|
|
|
|
c: 30.4,
|
|
|
|
d: 40.5
|
|
|
|
};
|
|
|
|
assert_eq!(
|
|
|
|
get_c_exhaust_sysv64_ints(null, null, null, null, null, null, null, q),
|
|
|
|
q.c,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn issue_62350() {
|
|
|
|
test_62350();
|
|
|
|
}
|
|
|
|
|
2016-08-30 01:24:34 +00:00
|
|
|
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 = 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);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn test2() {
|
|
|
|
unsafe {
|
|
|
|
let f = Floats { a: 1.234567890e-15_f64,
|
|
|
|
b: 0b_1010_1010,
|
|
|
|
c: 1.0987654321e-15_f64 };
|
|
|
|
let ff = 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);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn struct_return() {
|
|
|
|
test1();
|
|
|
|
test2();
|
|
|
|
}
|
2020-01-22 21:07:03 +00:00
|
|
|
|
|
|
|
pub fn enum_passing_and_return_pair() {
|
|
|
|
let some_u64u64 = unsafe { rust_dbg_new_some_u64u64(10, 20) };
|
|
|
|
if let U8TaggedEnumOptionU64U64::Some(a, b) = some_u64u64 {
|
|
|
|
assert_eq!(10, a);
|
|
|
|
assert_eq!(20, b);
|
|
|
|
} else {
|
|
|
|
panic!("unexpected none");
|
|
|
|
}
|
|
|
|
|
|
|
|
let none_u64u64 = unsafe { rust_dbg_new_none_u64u64() };
|
|
|
|
if let U8TaggedEnumOptionU64U64::Some(_,_) = none_u64u64 {
|
|
|
|
panic!("unexpected some");
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut a: u64 = 0;
|
|
|
|
let mut b: u64 = 0;
|
2020-02-08 04:50:41 +00:00
|
|
|
let r = unsafe {
|
|
|
|
rust_dbg_unpack_option_u64u64(some_u64u64, &mut a as *mut _, &mut b as *mut _)
|
|
|
|
};
|
2020-01-22 21:07:03 +00:00
|
|
|
assert_eq!(1, r);
|
|
|
|
assert_eq!(10, a);
|
|
|
|
assert_eq!(20, b);
|
|
|
|
|
|
|
|
let mut a: u64 = 0;
|
|
|
|
let mut b: u64 = 0;
|
2020-02-08 04:50:41 +00:00
|
|
|
let r = unsafe {
|
|
|
|
rust_dbg_unpack_option_u64u64(none_u64u64, &mut a as *mut _, &mut b as *mut _)
|
|
|
|
};
|
2020-01-22 21:07:03 +00:00
|
|
|
assert_eq!(0, r);
|
|
|
|
assert_eq!(0, a);
|
|
|
|
assert_eq!(0, b);
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn enum_passing_and_return() {
|
|
|
|
let some_u64 = unsafe { rust_dbg_new_some_u64(10) };
|
|
|
|
if let U8TaggedEnumOptionU64::Some(v) = some_u64 {
|
|
|
|
assert_eq!(10, v);
|
|
|
|
} else {
|
|
|
|
panic!("unexpected none");
|
|
|
|
}
|
|
|
|
|
|
|
|
let none_u64 = unsafe { rust_dbg_new_none_u64() };
|
|
|
|
if let U8TaggedEnumOptionU64::Some(_) = none_u64 {
|
|
|
|
panic!("unexpected some");
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut target: u64 = 0;
|
|
|
|
let r = unsafe { rust_dbg_unpack_option_u64(some_u64, &mut target as *mut _) };
|
|
|
|
assert_eq!(1, r);
|
|
|
|
assert_eq!(10, target);
|
|
|
|
|
|
|
|
let mut target: u64 = 0;
|
|
|
|
let r = unsafe { rust_dbg_unpack_option_u64(none_u64, &mut target as *mut _) };
|
|
|
|
assert_eq!(0, r);
|
|
|
|
assert_eq!(0, target);
|
|
|
|
}
|
2016-08-30 01:24:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(target_arch = "x86_64")]
|
|
|
|
fn main() {
|
|
|
|
use tests::*;
|
|
|
|
cabi_int_widening();
|
|
|
|
extern_pass_char();
|
|
|
|
extern_pass_u32();
|
|
|
|
extern_pass_u64();
|
|
|
|
extern_pass_double();
|
|
|
|
extern_pass_empty();
|
|
|
|
extern_pass_twou8s();
|
|
|
|
extern_pass_twou16s();
|
|
|
|
extern_pass_twou32s();
|
|
|
|
extern_pass_twou64s();
|
|
|
|
extern_return_twou8s();
|
|
|
|
extern_return_twou16s();
|
|
|
|
extern_return_twou32s();
|
|
|
|
extern_return_twou64s();
|
|
|
|
foreign_fn_with_byval();
|
|
|
|
issue_28676();
|
2019-07-04 16:31:52 +00:00
|
|
|
issue_62350();
|
2016-08-30 01:24:34 +00:00
|
|
|
struct_return();
|
2020-01-22 21:07:03 +00:00
|
|
|
enum_passing_and_return_pair();
|
|
|
|
enum_passing_and_return();
|
2016-08-30 01:24:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(not(target_arch = "x86_64"))]
|
|
|
|
fn main() {
|
|
|
|
|
|
|
|
}
|