xref: /qemu/rust/qemu-api/tests/tests.rs (revision 0fcccf3ff04a54d597bffcb7a42668c52a7dcec0)
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