1cde3c425SPaolo Bonzini // Copyright 2024, Linaro Limited 2cde3c425SPaolo Bonzini // Author(s): Manos Pitsidianakis <manos.pitsidianakis@linaro.org> 3cde3c425SPaolo Bonzini // SPDX-License-Identifier: GPL-2.0-or-later 4cde3c425SPaolo Bonzini 5f50cd85cSPaolo Bonzini use std::{ 6f50cd85cSPaolo Bonzini ffi::CStr, 7f50cd85cSPaolo Bonzini os::raw::c_void, 8f50cd85cSPaolo Bonzini ptr::{addr_of, addr_of_mut}, 9f50cd85cSPaolo Bonzini }; 10cde3c425SPaolo Bonzini 11cde3c425SPaolo Bonzini use qemu_api::{ 12716d89f9SPaolo Bonzini bindings::*, 13c2f41c1bSPaolo Bonzini c_str, 14c2f41c1bSPaolo Bonzini cell::{self, BqlCell}, 15c2f41c1bSPaolo Bonzini declare_properties, define_property, 16716d89f9SPaolo Bonzini prelude::*, 17d28ece24SZhao Liu qdev::{DeviceClass, DeviceImpl, DeviceState, Property}, 18*0fcccf3fSPaolo Bonzini qom::{ClassInitImpl, ObjectImpl, Owned, ParentField}, 19716d89f9SPaolo Bonzini vmstate::VMStateDescription, 20716d89f9SPaolo Bonzini zeroable::Zeroable, 21cde3c425SPaolo Bonzini }; 22cde3c425SPaolo Bonzini 23cde3c425SPaolo Bonzini // Test that macros can compile. 240a65e412SManos Pitsidianakis pub static VMSTATE: VMStateDescription = VMStateDescription { 25718e255fSPaolo Bonzini name: c_str!("name").as_ptr(), 26cde3c425SPaolo Bonzini unmigratable: true, 270a65e412SManos Pitsidianakis ..Zeroable::ZERO 280a65e412SManos Pitsidianakis }; 29cde3c425SPaolo Bonzini 30f3518400SJunjie Mao #[derive(qemu_api_macros::offsets)] 31cde3c425SPaolo Bonzini #[repr(C)] 32cde3c425SPaolo Bonzini #[derive(qemu_api_macros::Object)] 33cde3c425SPaolo Bonzini pub struct DummyState { 34ca0d60a6SPaolo Bonzini parent: ParentField<DeviceState>, 35c2f41c1bSPaolo Bonzini migrate_clock: bool, 36cde3c425SPaolo Bonzini } 37cde3c425SPaolo Bonzini 38f50cd85cSPaolo Bonzini qom_isa!(DummyState: Object, DeviceState); 39f50cd85cSPaolo Bonzini 40d28ece24SZhao Liu pub struct DummyClass { 41d28ece24SZhao Liu parent_class: <DeviceState as ObjectType>::Class, 42d28ece24SZhao Liu } 43d28ece24SZhao Liu 44cde3c425SPaolo Bonzini declare_properties! { 45cde3c425SPaolo Bonzini DUMMY_PROPERTIES, 46cde3c425SPaolo Bonzini define_property!( 47718e255fSPaolo Bonzini c_str!("migrate-clk"), 48cde3c425SPaolo Bonzini DummyState, 49cde3c425SPaolo Bonzini migrate_clock, 50cde3c425SPaolo Bonzini unsafe { &qdev_prop_bool }, 51cde3c425SPaolo Bonzini bool 52cde3c425SPaolo Bonzini ), 53cde3c425SPaolo Bonzini } 54cde3c425SPaolo Bonzini 557bd8e3efSPaolo Bonzini unsafe impl ObjectType for DummyState { 56d28ece24SZhao Liu type Class = DummyClass; 57718e255fSPaolo Bonzini const TYPE_NAME: &'static CStr = c_str!("dummy"); 587bd8e3efSPaolo Bonzini } 597bd8e3efSPaolo Bonzini 607bd8e3efSPaolo Bonzini impl ObjectImpl for DummyState { 61166e8a1fSPaolo Bonzini type ParentType = DeviceState; 627bd8e3efSPaolo Bonzini const ABSTRACT: bool = false; 63cde3c425SPaolo Bonzini } 64cde3c425SPaolo Bonzini 658c80c472SPaolo Bonzini impl DeviceImpl for DummyState { 668c80c472SPaolo Bonzini fn properties() -> &'static [Property] { 678c80c472SPaolo Bonzini &DUMMY_PROPERTIES 68cde3c425SPaolo Bonzini } 698c80c472SPaolo Bonzini fn vmsd() -> Option<&'static VMStateDescription> { 708c80c472SPaolo Bonzini Some(&VMSTATE) 718c80c472SPaolo Bonzini } 728c80c472SPaolo Bonzini } 738c80c472SPaolo Bonzini 74d28ece24SZhao Liu // `impl<T> ClassInitImpl<DummyClass> for T` doesn't work since it violates 75d28ece24SZhao Liu // orphan rule. 76d28ece24SZhao Liu impl ClassInitImpl<DummyClass> for DummyState { 77d28ece24SZhao Liu fn class_init(klass: &mut DummyClass) { 78d28ece24SZhao Liu <Self as ClassInitImpl<DeviceClass>>::class_init(&mut klass.parent_class); 79d28ece24SZhao Liu } 80d28ece24SZhao Liu } 81d28ece24SZhao Liu 82d28ece24SZhao Liu #[derive(qemu_api_macros::offsets)] 83d28ece24SZhao Liu #[repr(C)] 84d28ece24SZhao Liu #[derive(qemu_api_macros::Object)] 85d28ece24SZhao Liu pub struct DummyChildState { 86d28ece24SZhao Liu parent: ParentField<DummyState>, 87d28ece24SZhao Liu } 88d28ece24SZhao Liu 89d28ece24SZhao Liu qom_isa!(DummyChildState: Object, DeviceState, DummyState); 90d28ece24SZhao Liu 91d28ece24SZhao Liu pub struct DummyChildClass { 92d28ece24SZhao Liu parent_class: <DummyState as ObjectType>::Class, 93d28ece24SZhao Liu } 94d28ece24SZhao Liu 95d28ece24SZhao Liu unsafe impl ObjectType for DummyChildState { 96d28ece24SZhao Liu type Class = DummyChildClass; 97d28ece24SZhao Liu const TYPE_NAME: &'static CStr = c_str!("dummy_child"); 98d28ece24SZhao Liu } 99d28ece24SZhao Liu 100d28ece24SZhao Liu impl ObjectImpl for DummyChildState { 101d28ece24SZhao Liu type ParentType = DummyState; 102d28ece24SZhao Liu const ABSTRACT: bool = false; 103d28ece24SZhao Liu } 104d28ece24SZhao Liu 105d28ece24SZhao Liu impl DeviceImpl for DummyChildState {} 106d28ece24SZhao Liu 107d28ece24SZhao Liu impl ClassInitImpl<DummyClass> for DummyChildState { 108d28ece24SZhao Liu fn class_init(klass: &mut DummyClass) { 109d28ece24SZhao Liu <Self as ClassInitImpl<DeviceClass>>::class_init(&mut klass.parent_class); 110d28ece24SZhao Liu } 111d28ece24SZhao Liu } 112d28ece24SZhao Liu 113d28ece24SZhao Liu impl ClassInitImpl<DummyChildClass> for DummyChildState { 114d28ece24SZhao Liu fn class_init(klass: &mut DummyChildClass) { 115d28ece24SZhao Liu <Self as ClassInitImpl<DummyClass>>::class_init(&mut klass.parent_class); 116d28ece24SZhao Liu } 117d28ece24SZhao Liu } 118d28ece24SZhao Liu 119c2f41c1bSPaolo Bonzini fn init_qom() { 120c2f41c1bSPaolo Bonzini static ONCE: BqlCell<bool> = BqlCell::new(false); 121c2f41c1bSPaolo Bonzini 122c2f41c1bSPaolo Bonzini cell::bql_start_test(); 123c2f41c1bSPaolo Bonzini if !ONCE.get() { 124cde3c425SPaolo Bonzini unsafe { 125cde3c425SPaolo Bonzini module_call_init(module_init_type::MODULE_INIT_QOM); 126c2f41c1bSPaolo Bonzini } 127c2f41c1bSPaolo Bonzini ONCE.set(true); 128c2f41c1bSPaolo Bonzini } 129c2f41c1bSPaolo Bonzini } 130c2f41c1bSPaolo Bonzini 131c2f41c1bSPaolo Bonzini #[test] 132c2f41c1bSPaolo Bonzini /// Create and immediately drop an instance. 133c2f41c1bSPaolo Bonzini fn test_object_new() { 134c2f41c1bSPaolo Bonzini init_qom(); 135c2f41c1bSPaolo Bonzini unsafe { 1367a35e2fbSPaolo Bonzini object_unref(object_new(DummyState::TYPE_NAME.as_ptr()).cast()); 137d28ece24SZhao Liu object_unref(object_new(DummyChildState::TYPE_NAME.as_ptr()).cast()); 138cde3c425SPaolo Bonzini } 139cde3c425SPaolo Bonzini } 140f50cd85cSPaolo Bonzini 141ba3b81f3SPaolo Bonzini #[test] 142*0fcccf3fSPaolo Bonzini #[allow(clippy::redundant_clone)] 143*0fcccf3fSPaolo Bonzini /// Create, clone and then drop an instance. 144*0fcccf3fSPaolo Bonzini fn test_clone() { 145*0fcccf3fSPaolo Bonzini init_qom(); 146*0fcccf3fSPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 147*0fcccf3fSPaolo Bonzini let p = unsafe { Owned::from_raw(p) }; 148*0fcccf3fSPaolo Bonzini assert_eq!(p.clone().typename(), "dummy"); 149*0fcccf3fSPaolo Bonzini drop(p); 150*0fcccf3fSPaolo Bonzini } 151*0fcccf3fSPaolo Bonzini 152*0fcccf3fSPaolo Bonzini #[test] 153ba3b81f3SPaolo Bonzini /// Try invoking a method on an object. 154ba3b81f3SPaolo Bonzini fn test_typename() { 155ba3b81f3SPaolo Bonzini init_qom(); 156ba3b81f3SPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 157ba3b81f3SPaolo Bonzini let p_ref: &DummyState = unsafe { &*p }; 158ba3b81f3SPaolo Bonzini assert_eq!(p_ref.typename(), "dummy"); 159ba3b81f3SPaolo Bonzini unsafe { 160ba3b81f3SPaolo Bonzini object_unref(p_ref.as_object_mut_ptr().cast::<c_void>()); 161ba3b81f3SPaolo Bonzini } 162ba3b81f3SPaolo Bonzini } 163ba3b81f3SPaolo Bonzini 164f50cd85cSPaolo Bonzini // a note on all "cast" tests: usually, especially for downcasts the desired 165f50cd85cSPaolo Bonzini // class would be placed on the right, for example: 166f50cd85cSPaolo Bonzini // 167f50cd85cSPaolo Bonzini // let sbd_ref = p.dynamic_cast::<SysBusDevice>(); 168f50cd85cSPaolo Bonzini // 169f50cd85cSPaolo Bonzini // Here I am doing the opposite to check that the resulting type is correct. 170f50cd85cSPaolo Bonzini 171f50cd85cSPaolo Bonzini #[test] 172f50cd85cSPaolo Bonzini #[allow(clippy::shadow_unrelated)] 173f50cd85cSPaolo Bonzini /// Test casts on shared references. 174f50cd85cSPaolo Bonzini fn test_cast() { 175f50cd85cSPaolo Bonzini init_qom(); 176f50cd85cSPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 177f50cd85cSPaolo Bonzini 178f50cd85cSPaolo Bonzini let p_ref: &DummyState = unsafe { &*p }; 179f50cd85cSPaolo Bonzini let obj_ref: &Object = p_ref.upcast(); 180f50cd85cSPaolo Bonzini assert_eq!(addr_of!(*obj_ref), p.cast()); 181f50cd85cSPaolo Bonzini 182f50cd85cSPaolo Bonzini let sbd_ref: Option<&SysBusDevice> = obj_ref.dynamic_cast(); 183f50cd85cSPaolo Bonzini assert!(sbd_ref.is_none()); 184f50cd85cSPaolo Bonzini 185f50cd85cSPaolo Bonzini let dev_ref: Option<&DeviceState> = obj_ref.downcast(); 186f50cd85cSPaolo Bonzini assert_eq!(addr_of!(*dev_ref.unwrap()), p.cast()); 187f50cd85cSPaolo Bonzini 188f50cd85cSPaolo Bonzini // SAFETY: the cast is wrong, but the value is only used for comparison 189f50cd85cSPaolo Bonzini unsafe { 190f50cd85cSPaolo Bonzini let sbd_ref: &SysBusDevice = obj_ref.unsafe_cast(); 191f50cd85cSPaolo Bonzini assert_eq!(addr_of!(*sbd_ref), p.cast()); 192f50cd85cSPaolo Bonzini 193f50cd85cSPaolo Bonzini object_unref(p_ref.as_object_mut_ptr().cast::<c_void>()); 194f50cd85cSPaolo Bonzini } 195f50cd85cSPaolo Bonzini } 196f50cd85cSPaolo Bonzini 197f50cd85cSPaolo Bonzini #[test] 198f50cd85cSPaolo Bonzini #[allow(clippy::shadow_unrelated)] 199f50cd85cSPaolo Bonzini /// Test casts on mutable references. 200f50cd85cSPaolo Bonzini fn test_cast_mut() { 201f50cd85cSPaolo Bonzini init_qom(); 202f50cd85cSPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 203f50cd85cSPaolo Bonzini 204f50cd85cSPaolo Bonzini let p_ref: &mut DummyState = unsafe { &mut *p }; 205f50cd85cSPaolo Bonzini let obj_ref: &mut Object = p_ref.upcast_mut(); 206f50cd85cSPaolo Bonzini assert_eq!(addr_of_mut!(*obj_ref), p.cast()); 207f50cd85cSPaolo Bonzini 208f50cd85cSPaolo Bonzini let sbd_ref: Result<&mut SysBusDevice, &mut Object> = obj_ref.dynamic_cast_mut(); 209f50cd85cSPaolo Bonzini let obj_ref = sbd_ref.unwrap_err(); 210f50cd85cSPaolo Bonzini 211f50cd85cSPaolo Bonzini let dev_ref: Result<&mut DeviceState, &mut Object> = obj_ref.downcast_mut(); 212f50cd85cSPaolo Bonzini let dev_ref = dev_ref.unwrap(); 213f50cd85cSPaolo Bonzini assert_eq!(addr_of_mut!(*dev_ref), p.cast()); 214f50cd85cSPaolo Bonzini 215f50cd85cSPaolo Bonzini // SAFETY: the cast is wrong, but the value is only used for comparison 216f50cd85cSPaolo Bonzini unsafe { 217f50cd85cSPaolo Bonzini let sbd_ref: &mut SysBusDevice = obj_ref.unsafe_cast_mut(); 218f50cd85cSPaolo Bonzini assert_eq!(addr_of_mut!(*sbd_ref), p.cast()); 219f50cd85cSPaolo Bonzini 220f50cd85cSPaolo Bonzini object_unref(p_ref.as_object_mut_ptr().cast::<c_void>()); 221f50cd85cSPaolo Bonzini } 222f50cd85cSPaolo Bonzini } 223