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