xref: /wasmtime-44.0.1/cranelift/reader/src/lib.rs (revision 557cc2d6)
1747ad3c4Slazypassion //! Cranelift file reader library.
2747ad3c4Slazypassion //!
3747ad3c4Slazypassion //! The `cranelift_reader` library supports reading .clif files. This functionality is needed for
4747ad3c4Slazypassion //! testing Cranelift, but is not essential for a JIT compiler.
5747ad3c4Slazypassion 
65856590fSAlex Crichton #![deny(missing_docs)]
7747ad3c4Slazypassion 
8747ad3c4Slazypassion pub use crate::error::{Location, ParseError, ParseResult};
990ac295eSAlex Crichton pub use crate::isaspec::{IsaSpec, ParseOptionError, parse_option, parse_options};
1090ac295eSAlex Crichton pub use crate::parser::{ParseOptions, parse_functions, parse_run_command, parse_test};
116f6f79efSAndrew Brown pub use crate::run_command::{Comparison, Invocation, RunCommand};
12747ad3c4Slazypassion pub use crate::sourcemap::SourceMap;
13747ad3c4Slazypassion pub use crate::testcommand::{TestCommand, TestOption};
1404b10b3fSNicolas B. Pierron pub use crate::testfile::{Comment, Details, Feature, TestFile};
15747ad3c4Slazypassion 
16747ad3c4Slazypassion mod error;
17747ad3c4Slazypassion mod isaspec;
18747ad3c4Slazypassion mod lexer;
19747ad3c4Slazypassion mod parser;
2050804210SAndrew Brown mod run_command;
21747ad3c4Slazypassion mod sourcemap;
22747ad3c4Slazypassion mod testcommand;
23747ad3c4Slazypassion mod testfile;
24f2e1eaa8SNick Fitzgerald 
25f2e1eaa8SNick Fitzgerald use anyhow::{Error, Result};
261efa3d6fSSam Sartor use cranelift_codegen::isa::{self, OwnedTargetIsa};
27f2e1eaa8SNick Fitzgerald use cranelift_codegen::settings::{self, FlagsOrIsa};
28f2e1eaa8SNick Fitzgerald use std::str::FromStr;
29f2e1eaa8SNick Fitzgerald use target_lexicon::Triple;
30f2e1eaa8SNick Fitzgerald 
31f2e1eaa8SNick Fitzgerald /// Like `FlagsOrIsa`, but holds ownership.
32c3aa6a53SAlex Crichton #[expect(missing_docs, reason = "self-describing variants")]
33f2e1eaa8SNick Fitzgerald pub enum OwnedFlagsOrIsa {
34f2e1eaa8SNick Fitzgerald     Flags(settings::Flags),
351efa3d6fSSam Sartor     Isa(OwnedTargetIsa),
36f2e1eaa8SNick Fitzgerald }
37f2e1eaa8SNick Fitzgerald 
38f2e1eaa8SNick Fitzgerald impl OwnedFlagsOrIsa {
39f2e1eaa8SNick Fitzgerald     /// Produce a FlagsOrIsa reference.
as_fisa(&self) -> FlagsOrIsa<'_>408a42768fSAlex Crichton     pub fn as_fisa(&self) -> FlagsOrIsa<'_> {
41f2e1eaa8SNick Fitzgerald         match *self {
42f2e1eaa8SNick Fitzgerald             Self::Flags(ref flags) => FlagsOrIsa::from(flags),
43f2e1eaa8SNick Fitzgerald             Self::Isa(ref isa) => FlagsOrIsa::from(&**isa),
44f2e1eaa8SNick Fitzgerald         }
45f2e1eaa8SNick Fitzgerald     }
46f2e1eaa8SNick Fitzgerald }
47f2e1eaa8SNick Fitzgerald 
48f2e1eaa8SNick Fitzgerald /// Parse "set" and "triple" commands.
parse_sets_and_triple(flag_set: &[String], flag_triple: &str) -> Result<OwnedFlagsOrIsa>49f2e1eaa8SNick Fitzgerald pub fn parse_sets_and_triple(flag_set: &[String], flag_triple: &str) -> Result<OwnedFlagsOrIsa> {
50f2e1eaa8SNick Fitzgerald     let mut flag_builder = settings::builder();
51f2e1eaa8SNick Fitzgerald 
52f2e1eaa8SNick Fitzgerald     // Collect unknown system-wide settings, so we can try to parse them as target specific
53f2e1eaa8SNick Fitzgerald     // settings, if a target is defined.
54f2e1eaa8SNick Fitzgerald     let mut unknown_settings = Vec::new();
558fb41ca4SAlex Crichton     for flag in flag_set {
568fb41ca4SAlex Crichton         match parse_option(flag, &mut flag_builder, Location { line_number: 0 }) {
57f2e1eaa8SNick Fitzgerald             Err(ParseOptionError::UnknownFlag { name, .. }) => {
58f2e1eaa8SNick Fitzgerald                 unknown_settings.push(name);
59f2e1eaa8SNick Fitzgerald             }
60f2e1eaa8SNick Fitzgerald             Err(ParseOptionError::UnknownValue { name, value, .. }) => {
61a0442ea0SHamir Mahal                 unknown_settings.push(format!("{name}={value}"));
62f2e1eaa8SNick Fitzgerald             }
63f2e1eaa8SNick Fitzgerald             Err(ParseOptionError::Generic(err)) => return Err(err.into()),
64f2e1eaa8SNick Fitzgerald             Ok(()) => {}
65f2e1eaa8SNick Fitzgerald         }
668fb41ca4SAlex Crichton     }
67f2e1eaa8SNick Fitzgerald 
68f2e1eaa8SNick Fitzgerald     let mut words = flag_triple.trim().split_whitespace();
69f2e1eaa8SNick Fitzgerald     // Look for `target foo`.
70f2e1eaa8SNick Fitzgerald     if let Some(triple_name) = words.next() {
71f2e1eaa8SNick Fitzgerald         let triple = match Triple::from_str(triple_name) {
72f2e1eaa8SNick Fitzgerald             Ok(triple) => triple,
73f2e1eaa8SNick Fitzgerald             Err(parse_error) => return Err(Error::from(parse_error)),
74f2e1eaa8SNick Fitzgerald         };
75f2e1eaa8SNick Fitzgerald 
76f2e1eaa8SNick Fitzgerald         let mut isa_builder = isa::lookup(triple).map_err(|err| match err {
77f2e1eaa8SNick Fitzgerald             isa::LookupError::SupportDisabled => {
78*557cc2d6SAlex Crichton                 anyhow::anyhow!("support for triple '{triple_name}' is disabled")
79f2e1eaa8SNick Fitzgerald             }
80*557cc2d6SAlex Crichton             isa::LookupError::Unsupported => {
81*557cc2d6SAlex Crichton                 anyhow::anyhow!("support for triple '{triple_name}' is not implemented yet")
82*557cc2d6SAlex Crichton             }
83f2e1eaa8SNick Fitzgerald         })?;
84f2e1eaa8SNick Fitzgerald 
85f2e1eaa8SNick Fitzgerald         // Try to parse system-wide unknown settings as target-specific settings.
86f2e1eaa8SNick Fitzgerald         parse_options(
87f2e1eaa8SNick Fitzgerald             unknown_settings.iter().map(|x| x.as_str()),
88f2e1eaa8SNick Fitzgerald             &mut isa_builder,
89f2e1eaa8SNick Fitzgerald             Location { line_number: 0 },
90f2e1eaa8SNick Fitzgerald         )
91f2e1eaa8SNick Fitzgerald         .map_err(ParseError::from)?;
92f2e1eaa8SNick Fitzgerald 
93f2e1eaa8SNick Fitzgerald         // Apply the ISA-specific settings to `isa_builder`.
94f2e1eaa8SNick Fitzgerald         parse_options(words, &mut isa_builder, Location { line_number: 0 })
95f2e1eaa8SNick Fitzgerald             .map_err(ParseError::from)?;
96f2e1eaa8SNick Fitzgerald 
97f2e1eaa8SNick Fitzgerald         Ok(OwnedFlagsOrIsa::Isa(
98f2e1eaa8SNick Fitzgerald             isa_builder.finish(settings::Flags::new(flag_builder))?,
99f2e1eaa8SNick Fitzgerald         ))
100f2e1eaa8SNick Fitzgerald     } else {
101f2e1eaa8SNick Fitzgerald         if !unknown_settings.is_empty() {
102f2e1eaa8SNick Fitzgerald             anyhow::bail!("unknown settings: '{}'", unknown_settings.join("', '"));
103f2e1eaa8SNick Fitzgerald         }
104f2e1eaa8SNick Fitzgerald         Ok(OwnedFlagsOrIsa::Flags(settings::Flags::new(flag_builder)))
105f2e1eaa8SNick Fitzgerald     }
106f2e1eaa8SNick Fitzgerald }
107