xref: /openbmc/qemu/rust/qemu-api-macros/src/tests.rs (revision b92b39af4219df4250f121f64d215506909c7404)
1*a721d9a9SManos Pitsidianakis // Copyright 2025, Linaro Limited
2*a721d9a9SManos Pitsidianakis // Author(s): Manos Pitsidianakis <manos.pitsidianakis@linaro.org>
3*a721d9a9SManos Pitsidianakis // SPDX-License-Identifier: GPL-2.0-or-later
4*a721d9a9SManos Pitsidianakis 
5*a721d9a9SManos Pitsidianakis use quote::quote;
6*a721d9a9SManos Pitsidianakis 
7*a721d9a9SManos Pitsidianakis use super::*;
8*a721d9a9SManos Pitsidianakis 
9*a721d9a9SManos Pitsidianakis macro_rules! derive_compile_fail {
10*a721d9a9SManos Pitsidianakis     ($derive_fn:ident, $input:expr, $error_msg:expr) => {{
11*a721d9a9SManos Pitsidianakis         let input: proc_macro2::TokenStream = $input;
12*a721d9a9SManos Pitsidianakis         let error_msg: &str = $error_msg;
13*a721d9a9SManos Pitsidianakis         let derive_fn: fn(input: syn::DeriveInput) -> Result<proc_macro2::TokenStream, syn::Error> =
14*a721d9a9SManos Pitsidianakis             $derive_fn;
15*a721d9a9SManos Pitsidianakis 
16*a721d9a9SManos Pitsidianakis         let input: syn::DeriveInput = syn::parse2(input).unwrap();
17*a721d9a9SManos Pitsidianakis         let result = derive_fn(input);
18*a721d9a9SManos Pitsidianakis         let err = result.unwrap_err().into_compile_error();
19*a721d9a9SManos Pitsidianakis         assert_eq!(
20*a721d9a9SManos Pitsidianakis             err.to_string(),
21*a721d9a9SManos Pitsidianakis             quote! { ::core::compile_error! { #error_msg } }.to_string()
22*a721d9a9SManos Pitsidianakis         );
23*a721d9a9SManos Pitsidianakis     }};
24*a721d9a9SManos Pitsidianakis }
25*a721d9a9SManos Pitsidianakis 
26*a721d9a9SManos Pitsidianakis macro_rules! derive_compile {
27*a721d9a9SManos Pitsidianakis     ($derive_fn:ident, $input:expr, $($expected:tt)*) => {{
28*a721d9a9SManos Pitsidianakis         let input: proc_macro2::TokenStream = $input;
29*a721d9a9SManos Pitsidianakis         let expected: proc_macro2::TokenStream = $($expected)*;
30*a721d9a9SManos Pitsidianakis         let derive_fn: fn(input: syn::DeriveInput) -> Result<proc_macro2::TokenStream, syn::Error> =
31*a721d9a9SManos Pitsidianakis             $derive_fn;
32*a721d9a9SManos Pitsidianakis 
33*a721d9a9SManos Pitsidianakis         let input: syn::DeriveInput = syn::parse2(input).unwrap();
34*a721d9a9SManos Pitsidianakis         let result = derive_fn(input).unwrap();
35*a721d9a9SManos Pitsidianakis         assert_eq!(result.to_string(), expected.to_string());
36*a721d9a9SManos Pitsidianakis     }};
37*a721d9a9SManos Pitsidianakis }
38*a721d9a9SManos Pitsidianakis 
39*a721d9a9SManos Pitsidianakis #[test]
test_derive_object()40*a721d9a9SManos Pitsidianakis fn test_derive_object() {
41*a721d9a9SManos Pitsidianakis     derive_compile_fail!(
42*a721d9a9SManos Pitsidianakis         derive_object_or_error,
43*a721d9a9SManos Pitsidianakis         quote! {
44*a721d9a9SManos Pitsidianakis             #[derive(Object)]
45*a721d9a9SManos Pitsidianakis             struct Foo {
46*a721d9a9SManos Pitsidianakis                 _unused: [u8; 0],
47*a721d9a9SManos Pitsidianakis             }
48*a721d9a9SManos Pitsidianakis         },
49*a721d9a9SManos Pitsidianakis         "#[repr(C)] required for #[derive(Object)]"
50*a721d9a9SManos Pitsidianakis     );
51*a721d9a9SManos Pitsidianakis     derive_compile!(
52*a721d9a9SManos Pitsidianakis         derive_object_or_error,
53*a721d9a9SManos Pitsidianakis         quote! {
54*a721d9a9SManos Pitsidianakis             #[derive(Object)]
55*a721d9a9SManos Pitsidianakis             #[repr(C)]
56*a721d9a9SManos Pitsidianakis             struct Foo {
57*a721d9a9SManos Pitsidianakis                 _unused: [u8; 0],
58*a721d9a9SManos Pitsidianakis             }
59*a721d9a9SManos Pitsidianakis         },
60*a721d9a9SManos Pitsidianakis         quote! {
61*a721d9a9SManos Pitsidianakis             ::qemu_api::assert_field_type!(
62*a721d9a9SManos Pitsidianakis                 Foo,
63*a721d9a9SManos Pitsidianakis                 _unused,
64*a721d9a9SManos Pitsidianakis                 ::qemu_api::qom::ParentField<<Foo as ::qemu_api::qom::ObjectImpl>::ParentType>
65*a721d9a9SManos Pitsidianakis             );
66*a721d9a9SManos Pitsidianakis             ::qemu_api::module_init! {
67*a721d9a9SManos Pitsidianakis                 MODULE_INIT_QOM => unsafe {
68*a721d9a9SManos Pitsidianakis                     ::qemu_api::bindings::type_register_static(&<Foo as ::qemu_api::qom::ObjectImpl>::TYPE_INFO);
69*a721d9a9SManos Pitsidianakis                 }
70*a721d9a9SManos Pitsidianakis             }
71*a721d9a9SManos Pitsidianakis         }
72*a721d9a9SManos Pitsidianakis     );
73*a721d9a9SManos Pitsidianakis }
74*a721d9a9SManos Pitsidianakis 
75*a721d9a9SManos Pitsidianakis #[test]
test_derive_tryinto()76*a721d9a9SManos Pitsidianakis fn test_derive_tryinto() {
77*a721d9a9SManos Pitsidianakis     derive_compile_fail!(
78*a721d9a9SManos Pitsidianakis         derive_tryinto_or_error,
79*a721d9a9SManos Pitsidianakis         quote! {
80*a721d9a9SManos Pitsidianakis             #[derive(TryInto)]
81*a721d9a9SManos Pitsidianakis             struct Foo {
82*a721d9a9SManos Pitsidianakis                 _unused: [u8; 0],
83*a721d9a9SManos Pitsidianakis             }
84*a721d9a9SManos Pitsidianakis         },
85*a721d9a9SManos Pitsidianakis         "#[repr(u8/u16/u32/u64) required for #[derive(TryInto)]"
86*a721d9a9SManos Pitsidianakis     );
87*a721d9a9SManos Pitsidianakis     derive_compile!(
88*a721d9a9SManos Pitsidianakis         derive_tryinto_or_error,
89*a721d9a9SManos Pitsidianakis         quote! {
90*a721d9a9SManos Pitsidianakis             #[derive(TryInto)]
91*a721d9a9SManos Pitsidianakis             #[repr(u8)]
92*a721d9a9SManos Pitsidianakis             enum Foo {
93*a721d9a9SManos Pitsidianakis                 First = 0,
94*a721d9a9SManos Pitsidianakis                 Second,
95*a721d9a9SManos Pitsidianakis             }
96*a721d9a9SManos Pitsidianakis         },
97*a721d9a9SManos Pitsidianakis         quote! {
98*a721d9a9SManos Pitsidianakis             impl Foo {
99*a721d9a9SManos Pitsidianakis                 #[allow(dead_code)]
100*a721d9a9SManos Pitsidianakis                 pub const fn into_bits(self) -> u8 {
101*a721d9a9SManos Pitsidianakis                     self as u8
102*a721d9a9SManos Pitsidianakis                 }
103*a721d9a9SManos Pitsidianakis 
104*a721d9a9SManos Pitsidianakis                 #[allow(dead_code)]
105*a721d9a9SManos Pitsidianakis                 pub const fn from_bits(value: u8) -> Self {
106*a721d9a9SManos Pitsidianakis                     match ({
107*a721d9a9SManos Pitsidianakis                         const First: u8 = Foo::First as u8;
108*a721d9a9SManos Pitsidianakis                         const Second: u8 = Foo::Second as u8;
109*a721d9a9SManos Pitsidianakis                         match value {
110*a721d9a9SManos Pitsidianakis                             First => core::result::Result::Ok(Foo::First),
111*a721d9a9SManos Pitsidianakis                             Second => core::result::Result::Ok(Foo::Second),
112*a721d9a9SManos Pitsidianakis                             _ => core::result::Result::Err(value),
113*a721d9a9SManos Pitsidianakis                         }
114*a721d9a9SManos Pitsidianakis                     }) {
115*a721d9a9SManos Pitsidianakis                         Ok(x) => x,
116*a721d9a9SManos Pitsidianakis                         Err(_) => panic!("invalid value for Foo"),
117*a721d9a9SManos Pitsidianakis                     }
118*a721d9a9SManos Pitsidianakis                 }
119*a721d9a9SManos Pitsidianakis             }
120*a721d9a9SManos Pitsidianakis 
121*a721d9a9SManos Pitsidianakis             impl core::convert::TryFrom<u8> for Foo {
122*a721d9a9SManos Pitsidianakis                 type Error = u8;
123*a721d9a9SManos Pitsidianakis 
124*a721d9a9SManos Pitsidianakis                 #[allow(ambiguous_associated_items)]
125*a721d9a9SManos Pitsidianakis                 fn try_from(value: u8) -> Result<Self, u8> {
126*a721d9a9SManos Pitsidianakis                     const First: u8 = Foo::First as u8;
127*a721d9a9SManos Pitsidianakis                     const Second: u8 = Foo::Second as u8;
128*a721d9a9SManos Pitsidianakis                     match value {
129*a721d9a9SManos Pitsidianakis                         First => core::result::Result::Ok(Foo::First),
130*a721d9a9SManos Pitsidianakis                         Second => core::result::Result::Ok(Foo::Second),
131*a721d9a9SManos Pitsidianakis                         _ => core::result::Result::Err(value),
132*a721d9a9SManos Pitsidianakis                     }
133*a721d9a9SManos Pitsidianakis                 }
134*a721d9a9SManos Pitsidianakis             }
135*a721d9a9SManos Pitsidianakis         }
136*a721d9a9SManos Pitsidianakis     );
137*a721d9a9SManos Pitsidianakis }
138