From: Alejandro Vallejo <alejandro.vallejo@cloud.com>
To: xen-devel@lists.xenproject.org
Cc: Alejandro Vallejo <alejandro.vallejo@cloud.com>,
Anthony PERARD <anthony.perard@vates.tech>,
Teddy Astie <teddy.astie@vates.tech>,
Yann Dirson <yann.dirson@vates.tech>
Subject: [RFC PATCH 08/25] tools/xenbindgen: Add support for enums in TOML specs
Date: Fri, 15 Nov 2024 11:51:37 +0000 [thread overview]
Message-ID: <20241115115200.2824-9-alejandro.vallejo@cloud.com> (raw)
In-Reply-To: <20241115115200.2824-1-alejandro.vallejo@cloud.com>
Signed-off-by: Alejandro Vallejo <alejandro.vallejo@cloud.com>
---
tools/rust/xenbindgen/src/c_lang.rs | 57 +++++++++++++++++++++++++----
tools/rust/xenbindgen/src/spec.rs | 45 +++++++++++++++++++++++
2 files changed, 95 insertions(+), 7 deletions(-)
diff --git a/tools/rust/xenbindgen/src/c_lang.rs b/tools/rust/xenbindgen/src/c_lang.rs
index 597e0ed41362..f15feca8df91 100644
--- a/tools/rust/xenbindgen/src/c_lang.rs
+++ b/tools/rust/xenbindgen/src/c_lang.rs
@@ -17,10 +17,10 @@
use std::fmt::Write;
-use crate::spec::{OutFileDef, StructDef, Typ};
+use crate::spec::{EnumDef, OutFileDef, StructDef, Typ};
use convert_case::{Case, Casing};
-use log::{debug, trace};
+use log::{debug, error, trace};
/// An abstract indentation level. 0 is no indentation, 1 is [`INDENT_WIDTH`]
/// and so on.
@@ -31,7 +31,7 @@ struct Indentation(usize);
const INDENT_WIDTH: usize = 4;
/// Create a C-compatible struct field. Without the terminating semicolon.
-fn structfield(typ: &Typ, name: &str) -> String {
+fn structfield(filedef: &OutFileDef, typ: &Typ, name: &str) -> String {
match typ {
Typ::Ptr(x) => {
let t: &Typ = x;
@@ -51,7 +51,20 @@ fn structfield(typ: &Typ, name: &str) -> String {
)
}
Typ::Struct(x) => format!("struct {x} {name}"),
- Typ::Array(x, len) => format!("{}{name}[{len}]", structfield(x, "")),
+ Typ::Enum(x) => {
+ // C can't use an enum as a field and fix its width. Look for its
+ // underlying layout and use that type instead.
+ let Some(e) = filedef.enums.iter().find(|y| *x == y.name) else {
+ error!("Can't find enum {x}. Typo?");
+ std::process::exit(1);
+ };
+ format!(
+ "{} /* See {} */",
+ structfield(filedef, &e.typ, name),
+ e.name
+ )
+ }
+ Typ::Array(x, len) => format!("{}{name}[{len}]", structfield(filedef, x, "")),
Typ::U8 => format!("uint8_t {name}"),
Typ::U16 => format!("uint16_t {name}"),
Typ::U32 => format!("uint32_t {name}"),
@@ -83,7 +96,7 @@ fn comment(out: &mut String, comment: &str, ind: Indentation) {
}
/// Write a C-compatible struct onto `out`
-fn structgen(out: &mut String, def: &StructDef) {
+fn structgen(out: &mut String, filedef: &OutFileDef, def: &StructDef) {
debug!("struct {}", def.name);
comment(out, &def.description, Indentation(0));
@@ -92,7 +105,33 @@ fn structgen(out: &mut String, def: &StructDef) {
trace!(" field {} type={:?}", f.name, f.typ);
comment(out, &f.description, Indentation(1));
- writeln!(out, " {};", structfield(&f.typ, &f.name),).unwrap();
+ writeln!(out, " {};", structfield(filedef, &f.typ, &f.name),).unwrap();
+ }
+ writeln!(out, "}};").unwrap();
+ writeln!(out).unwrap();
+}
+
+/// Write a C-compatible enum onto `out`
+///
+/// This is a generator for the enum _type_, not an instantiation of a bitmap
+/// in a struct field. Use [`structfield`] for that.
+fn enumgen(out: &mut String, def: &EnumDef) {
+ debug!("enum {}", def.name);
+
+ comment(out, &def.description, Indentation(0));
+ writeln!(out, "enum {} {{", def.name).unwrap();
+ for f in &def.variants {
+ trace!(" variant {}={}", f.name, f.value);
+
+ comment(out, &f.description, Indentation(1));
+ writeln!(
+ out,
+ " {}_{} = {},",
+ def.name.from_case(Case::Snake).to_case(Case::UpperSnake),
+ f.name.from_case(Case::Snake).to_case(Case::UpperSnake),
+ f.value
+ )
+ .unwrap();
}
writeln!(out, "}};").unwrap();
writeln!(out).unwrap();
@@ -117,8 +156,12 @@ pub fn parse(filedef: &OutFileDef) -> String {
writeln!(out, "#ifndef __XEN_AUTOGEN_{name}_H").unwrap();
writeln!(out, "#define __XEN_AUTOGEN_{name}_H\n").unwrap();
+ for def in &filedef.enums {
+ enumgen(&mut out, def);
+ }
+
for def in &filedef.structs {
- structgen(&mut out, def);
+ structgen(&mut out, filedef, def);
}
writeln!(out, "#endif /* __XEN_AUTOGEN_{name}_H */\n").unwrap();
diff --git a/tools/rust/xenbindgen/src/spec.rs b/tools/rust/xenbindgen/src/spec.rs
index e183378329ad..f6cfedad2150 100644
--- a/tools/rust/xenbindgen/src/spec.rs
+++ b/tools/rust/xenbindgen/src/spec.rs
@@ -28,6 +28,7 @@ use log::{debug, info};
#[derive(Debug, serde::Deserialize, PartialEq)]
#[serde(rename_all = "lowercase", tag = "tag", content = "args")]
pub enum Typ {
+ Enum(String),
Struct(String),
U8,
U16,
@@ -66,11 +67,47 @@ pub struct FieldDef {
pub typ: Typ,
}
+/// Description of a lang-agnostic enumerated type.
+#[derive(Debug, serde::Deserialize)]
+pub struct EnumDef {
+ /// snake-cased name of this enumeration.
+ ///
+ /// Must be converted to whatever is idiomatic in the target language.
+ pub name: String,
+ /// Description of what the type is for.
+ ///
+ /// Must be turned into documentation in the autogenerated file.
+ pub description: String,
+ /// Width of the type given as an equivalent primitive unsigned integer
+ /// of the same width.
+ pub typ: Typ,
+ /// List of variants present in this enum.
+ ///
+ /// The backend must export all of these under the same namespace if
+ /// possible.
+ pub variants: Vec<VariantDef>,
+}
+
+/// A lang-agnostic description of a single variant of an enumerated type.
+#[derive(Debug, serde::Deserialize)]
+pub struct VariantDef {
+ /// Name of this variant. Depending on the backend, the name might be
+ /// prefixed by the name of its type (as is commonly done in C).
+ pub name: String,
+ /// Meaning of this variant in the context of its type.
+ pub description: String,
+ /// Actual value associated with this variant. Must be explicit to enable
+ /// deprecation of variants.
+ pub value: u64,
+}
+
/// A language-agnostic specification.
#[derive(Debug, serde::Deserialize)]
struct InFileDef {
/// List of structs described in this input specification.
structs: Option<Vec<StructDef>>,
+ /// List of lang-agnostic enumerated descriptions.
+ enums: Option<Vec<EnumDef>>,
}
/// Description of an abstract output (i.e: `.rs`, `.h`, etc).
@@ -82,6 +119,10 @@ pub struct OutFileDef {
pub name: String,
/// List of structs described by all input spec files merged on this file.
pub structs: Vec<StructDef>,
+ /// List of enumerated descriptions.
+ ///
+ /// Implementation is lang-specific.
+ pub enums: Vec<EnumDef>,
}
impl OutFileDef {
@@ -97,6 +138,7 @@ impl OutFileDef {
let mut ret = Self {
name,
structs: Vec::new(),
+ enums: Vec::new(),
};
for entry in from_ioerr(dir.read_dir())? {
@@ -107,6 +149,9 @@ impl OutFileDef {
if let Some(structs) = filedef.structs {
ret.structs.extend(structs);
}
+ if let Some(enums) = filedef.enums {
+ ret.enums.extend(enums);
+ }
}
Ok(ret)
--
2.47.0
next prev parent reply other threads:[~2024-11-15 11:53 UTC|newest]
Thread overview: 51+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-11-15 11:51 [RFC PATCH 00/25] Introduce xenbindgen to autogen hypercall structs Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 01/25] xen/domctl: Refine grant_opts into max_grant_version Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 02/25] xen/domctl: Replace altp2m_opts with altp2m_mode Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 03/25] tools/xenbindgen: Introduce a Xen hypercall IDL generator Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 04/25] tools/xenbindgen: Add a TOML spec reader Alejandro Vallejo
2024-11-25 15:13 ` Teddy Astie
2024-11-25 16:51 ` Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 05/25] tools/xenbindgen: Add basic plumbing for the C backend Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 06/25] tools/xenbindgen: Add xenbindgen's Cargo.lock file Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 07/25] tools/xenbindgen: Add support for structs in TOML specs Alejandro Vallejo
2024-11-25 12:39 ` Teddy Astie
2024-11-25 17:07 ` Alejandro Vallejo
2024-11-25 15:03 ` Teddy Astie
2024-11-25 17:16 ` Alejandro Vallejo
2024-11-15 11:51 ` Alejandro Vallejo [this message]
2024-11-25 16:39 ` [RFC PATCH 08/25] tools/xenbindgen: Add support for enums " Teddy Astie
2024-11-25 17:18 ` Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 09/25] tools/xenbindgen: Add support for bitmaps " Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 10/25] tools/xenbindgen: Add support for includes in the " Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 11/25] tools/xenbindgen: Validate ABI rules at generation time Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 12/25] xen: Replace sysctl/readconsole with autogenerated version Alejandro Vallejo
2024-11-25 12:05 ` Jan Beulich
2024-11-25 18:51 ` Alejandro Vallejo
2024-11-26 9:40 ` Jan Beulich
2024-11-26 12:27 ` Alejandro Vallejo
2024-11-26 13:20 ` Jan Beulich
2024-11-26 14:36 ` Alejandro Vallejo
2024-11-26 16:30 ` Jan Beulich
2024-11-26 14:39 ` Teddy Astie
2024-11-26 16:28 ` Jan Beulich
2024-11-15 11:51 ` [RFC PATCH 13/25] xen: Replace hand-crafted altp2m_mode descriptions with autogenerated ones Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 14/25] xen: Replace common bitmaps in domctl.createdomain with autogenerated versions Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 15/25] xen/arm: Replace hand-crafted xen_arch_domainconfig with autogenerated one Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 16/25] xen/x86: " Alejandro Vallejo
2024-11-25 12:09 ` Jan Beulich
2024-11-25 18:53 ` Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 17/25] xen/ppc: Replace empty " Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 18/25] xen/riscv: " Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 19/25] xen: Replace hand-crafted domctl/createdomain with autogenerated version Alejandro Vallejo
2024-12-04 14:48 ` Teddy Astie
2024-11-15 11:51 ` [RFC PATCH 20/25] tools/xen-sys: Create a crate with autogenerated Rust constructs Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 21/25] tools/xenbindgen: Add Rust backend to xenbindgen Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 22/25] tools/xen-sys: Add autogenerated Rust files Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 23/25] licence: Add Unicode-DFS-2016 to the list of licences Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 24/25] tools/rust: Add deny.toml Alejandro Vallejo
2024-11-15 11:51 ` [RFC PATCH 25/25] ci: Add a CI checker for Rust-related helpful properties Alejandro Vallejo
2024-11-21 17:46 ` [RFC PATCH 00/25] Introduce xenbindgen to autogen hypercall structs Anthony PERARD
2024-11-22 10:52 ` Teddy Astie
2024-11-22 13:26 ` Alejandro Vallejo
2024-11-22 13:12 ` Alejandro Vallejo
2024-11-22 16:34 ` Anthony PERARD
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20241115115200.2824-9-alejandro.vallejo@cloud.com \
--to=alejandro.vallejo@cloud.com \
--cc=anthony.perard@vates.tech \
--cc=teddy.astie@vates.tech \
--cc=xen-devel@lists.xenproject.org \
--cc=yann.dirson@vates.tech \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.