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::*, 17716d89f9SPaolo Bonzini qdev::{DeviceImpl, DeviceState, Property}, 18716d89f9SPaolo Bonzini qom::ObjectImpl, 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 { 34c2f41c1bSPaolo Bonzini parent: DeviceState, 35c2f41c1bSPaolo Bonzini migrate_clock: bool, 36cde3c425SPaolo Bonzini } 37cde3c425SPaolo Bonzini 38f50cd85cSPaolo Bonzini qom_isa!(DummyState: Object, DeviceState); 39f50cd85cSPaolo Bonzini 40cde3c425SPaolo Bonzini declare_properties! { 41cde3c425SPaolo Bonzini DUMMY_PROPERTIES, 42cde3c425SPaolo Bonzini define_property!( 43718e255fSPaolo Bonzini c_str!("migrate-clk"), 44cde3c425SPaolo Bonzini DummyState, 45cde3c425SPaolo Bonzini migrate_clock, 46cde3c425SPaolo Bonzini unsafe { &qdev_prop_bool }, 47cde3c425SPaolo Bonzini bool 48cde3c425SPaolo Bonzini ), 49cde3c425SPaolo Bonzini } 50cde3c425SPaolo Bonzini 517bd8e3efSPaolo Bonzini unsafe impl ObjectType for DummyState { 526dd818fbSPaolo Bonzini type Class = <DeviceState as ObjectType>::Class; 53718e255fSPaolo Bonzini const TYPE_NAME: &'static CStr = c_str!("dummy"); 547bd8e3efSPaolo Bonzini } 557bd8e3efSPaolo Bonzini 567bd8e3efSPaolo Bonzini impl ObjectImpl for DummyState { 57166e8a1fSPaolo Bonzini type ParentType = DeviceState; 587bd8e3efSPaolo Bonzini const ABSTRACT: bool = false; 59cde3c425SPaolo Bonzini } 60cde3c425SPaolo Bonzini 618c80c472SPaolo Bonzini impl DeviceImpl for DummyState { 628c80c472SPaolo Bonzini fn properties() -> &'static [Property] { 638c80c472SPaolo Bonzini &DUMMY_PROPERTIES 64cde3c425SPaolo Bonzini } 658c80c472SPaolo Bonzini fn vmsd() -> Option<&'static VMStateDescription> { 668c80c472SPaolo Bonzini Some(&VMSTATE) 678c80c472SPaolo Bonzini } 688c80c472SPaolo Bonzini } 698c80c472SPaolo Bonzini 70c2f41c1bSPaolo Bonzini fn init_qom() { 71c2f41c1bSPaolo Bonzini static ONCE: BqlCell<bool> = BqlCell::new(false); 72c2f41c1bSPaolo Bonzini 73c2f41c1bSPaolo Bonzini cell::bql_start_test(); 74c2f41c1bSPaolo Bonzini if !ONCE.get() { 75cde3c425SPaolo Bonzini unsafe { 76cde3c425SPaolo Bonzini module_call_init(module_init_type::MODULE_INIT_QOM); 77c2f41c1bSPaolo Bonzini } 78c2f41c1bSPaolo Bonzini ONCE.set(true); 79c2f41c1bSPaolo Bonzini } 80c2f41c1bSPaolo Bonzini } 81c2f41c1bSPaolo Bonzini 82c2f41c1bSPaolo Bonzini #[test] 83c2f41c1bSPaolo Bonzini /// Create and immediately drop an instance. 84c2f41c1bSPaolo Bonzini fn test_object_new() { 85c2f41c1bSPaolo Bonzini init_qom(); 86c2f41c1bSPaolo Bonzini unsafe { 877a35e2fbSPaolo Bonzini object_unref(object_new(DummyState::TYPE_NAME.as_ptr()).cast()); 88cde3c425SPaolo Bonzini } 89cde3c425SPaolo Bonzini } 90f50cd85cSPaolo Bonzini 91*ba3b81f3SPaolo Bonzini #[test] 92*ba3b81f3SPaolo Bonzini /// Try invoking a method on an object. 93*ba3b81f3SPaolo Bonzini fn test_typename() { 94*ba3b81f3SPaolo Bonzini init_qom(); 95*ba3b81f3SPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 96*ba3b81f3SPaolo Bonzini let p_ref: &DummyState = unsafe { &*p }; 97*ba3b81f3SPaolo Bonzini assert_eq!(p_ref.typename(), "dummy"); 98*ba3b81f3SPaolo Bonzini unsafe { 99*ba3b81f3SPaolo Bonzini object_unref(p_ref.as_object_mut_ptr().cast::<c_void>()); 100*ba3b81f3SPaolo Bonzini } 101*ba3b81f3SPaolo Bonzini } 102*ba3b81f3SPaolo Bonzini 103f50cd85cSPaolo Bonzini // a note on all "cast" tests: usually, especially for downcasts the desired 104f50cd85cSPaolo Bonzini // class would be placed on the right, for example: 105f50cd85cSPaolo Bonzini // 106f50cd85cSPaolo Bonzini // let sbd_ref = p.dynamic_cast::<SysBusDevice>(); 107f50cd85cSPaolo Bonzini // 108f50cd85cSPaolo Bonzini // Here I am doing the opposite to check that the resulting type is correct. 109f50cd85cSPaolo Bonzini 110f50cd85cSPaolo Bonzini #[test] 111f50cd85cSPaolo Bonzini #[allow(clippy::shadow_unrelated)] 112f50cd85cSPaolo Bonzini /// Test casts on shared references. 113f50cd85cSPaolo Bonzini fn test_cast() { 114f50cd85cSPaolo Bonzini init_qom(); 115f50cd85cSPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 116f50cd85cSPaolo Bonzini 117f50cd85cSPaolo Bonzini let p_ref: &DummyState = unsafe { &*p }; 118f50cd85cSPaolo Bonzini let obj_ref: &Object = p_ref.upcast(); 119f50cd85cSPaolo Bonzini assert_eq!(addr_of!(*obj_ref), p.cast()); 120f50cd85cSPaolo Bonzini 121f50cd85cSPaolo Bonzini let sbd_ref: Option<&SysBusDevice> = obj_ref.dynamic_cast(); 122f50cd85cSPaolo Bonzini assert!(sbd_ref.is_none()); 123f50cd85cSPaolo Bonzini 124f50cd85cSPaolo Bonzini let dev_ref: Option<&DeviceState> = obj_ref.downcast(); 125f50cd85cSPaolo Bonzini assert_eq!(addr_of!(*dev_ref.unwrap()), p.cast()); 126f50cd85cSPaolo Bonzini 127f50cd85cSPaolo Bonzini // SAFETY: the cast is wrong, but the value is only used for comparison 128f50cd85cSPaolo Bonzini unsafe { 129f50cd85cSPaolo Bonzini let sbd_ref: &SysBusDevice = obj_ref.unsafe_cast(); 130f50cd85cSPaolo Bonzini assert_eq!(addr_of!(*sbd_ref), p.cast()); 131f50cd85cSPaolo Bonzini 132f50cd85cSPaolo Bonzini object_unref(p_ref.as_object_mut_ptr().cast::<c_void>()); 133f50cd85cSPaolo Bonzini } 134f50cd85cSPaolo Bonzini } 135f50cd85cSPaolo Bonzini 136f50cd85cSPaolo Bonzini #[test] 137f50cd85cSPaolo Bonzini #[allow(clippy::shadow_unrelated)] 138f50cd85cSPaolo Bonzini /// Test casts on mutable references. 139f50cd85cSPaolo Bonzini fn test_cast_mut() { 140f50cd85cSPaolo Bonzini init_qom(); 141f50cd85cSPaolo Bonzini let p: *mut DummyState = unsafe { object_new(DummyState::TYPE_NAME.as_ptr()).cast() }; 142f50cd85cSPaolo Bonzini 143f50cd85cSPaolo Bonzini let p_ref: &mut DummyState = unsafe { &mut *p }; 144f50cd85cSPaolo Bonzini let obj_ref: &mut Object = p_ref.upcast_mut(); 145f50cd85cSPaolo Bonzini assert_eq!(addr_of_mut!(*obj_ref), p.cast()); 146f50cd85cSPaolo Bonzini 147f50cd85cSPaolo Bonzini let sbd_ref: Result<&mut SysBusDevice, &mut Object> = obj_ref.dynamic_cast_mut(); 148f50cd85cSPaolo Bonzini let obj_ref = sbd_ref.unwrap_err(); 149f50cd85cSPaolo Bonzini 150f50cd85cSPaolo Bonzini let dev_ref: Result<&mut DeviceState, &mut Object> = obj_ref.downcast_mut(); 151f50cd85cSPaolo Bonzini let dev_ref = dev_ref.unwrap(); 152f50cd85cSPaolo Bonzini assert_eq!(addr_of_mut!(*dev_ref), p.cast()); 153f50cd85cSPaolo Bonzini 154f50cd85cSPaolo Bonzini // SAFETY: the cast is wrong, but the value is only used for comparison 155f50cd85cSPaolo Bonzini unsafe { 156f50cd85cSPaolo Bonzini let sbd_ref: &mut SysBusDevice = obj_ref.unsafe_cast_mut(); 157f50cd85cSPaolo Bonzini assert_eq!(addr_of_mut!(*sbd_ref), p.cast()); 158f50cd85cSPaolo Bonzini 159f50cd85cSPaolo Bonzini object_unref(p_ref.as_object_mut_ptr().cast::<c_void>()); 160f50cd85cSPaolo Bonzini } 161f50cd85cSPaolo Bonzini } 162