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