Add a 'test legaliser' filetest command.
This test command sends each function through legalize_function() and then filecheck.
This commit is contained in:
19
cranelift/filetests/isa/riscv/encoding.cton
Normal file
19
cranelift/filetests/isa/riscv/encoding.cton
Normal file
@@ -0,0 +1,19 @@
|
|||||||
|
test legalizer
|
||||||
|
isa riscv supports_m=1
|
||||||
|
|
||||||
|
function int32(i32, i32) {
|
||||||
|
ebb0(v1: i32, v2: i32):
|
||||||
|
v10 = iadd v1, v2
|
||||||
|
; check: [R#0c]
|
||||||
|
; sameln: $v10 = iadd
|
||||||
|
|
||||||
|
v11 = isub v1, v2
|
||||||
|
; check: [R#200c]
|
||||||
|
; sameln: $v11 = isub
|
||||||
|
|
||||||
|
v12 = imul v1, v2
|
||||||
|
; check: [R#10c]
|
||||||
|
; sameln: $v12 = imul
|
||||||
|
|
||||||
|
return
|
||||||
|
}
|
||||||
@@ -7,6 +7,7 @@
|
|||||||
|
|
||||||
pub use verifier::verify_function;
|
pub use verifier::verify_function;
|
||||||
pub use write::write_function;
|
pub use write::write_function;
|
||||||
|
pub use legalizer::legalize_function;
|
||||||
|
|
||||||
pub const VERSION: &'static str = env!("CARGO_PKG_VERSION");
|
pub const VERSION: &'static str = env!("CARGO_PKG_VERSION");
|
||||||
|
|
||||||
@@ -17,11 +18,11 @@ pub mod dominator_tree;
|
|||||||
pub mod entity_map;
|
pub mod entity_map;
|
||||||
pub mod settings;
|
pub mod settings;
|
||||||
pub mod verifier;
|
pub mod verifier;
|
||||||
pub mod legalizer;
|
|
||||||
|
|
||||||
mod write;
|
mod write;
|
||||||
mod constant_hash;
|
mod constant_hash;
|
||||||
mod predicates;
|
mod predicates;
|
||||||
|
mod legalizer;
|
||||||
|
|
||||||
#[cfg(test)]
|
#[cfg(test)]
|
||||||
pub mod test_utils;
|
pub mod test_utils;
|
||||||
|
|||||||
45
cranelift/src/tools/filetest/legalizer.rs
Normal file
45
cranelift/src/tools/filetest/legalizer.rs
Normal file
@@ -0,0 +1,45 @@
|
|||||||
|
//! Test command for checking the IL legalizer.
|
||||||
|
//!
|
||||||
|
//! The `test legalizer` test command runs each function through `legalize_function()` and sends
|
||||||
|
//! the result to filecheck.
|
||||||
|
|
||||||
|
use std::borrow::Cow;
|
||||||
|
use cretonne::{legalize_function, write_function};
|
||||||
|
use cretonne::ir::Function;
|
||||||
|
use cton_reader::TestCommand;
|
||||||
|
use filetest::subtest::{SubTest, Context, Result, run_filecheck};
|
||||||
|
|
||||||
|
struct TestLegalizer;
|
||||||
|
|
||||||
|
pub fn subtest(parsed: &TestCommand) -> Result<Box<SubTest>> {
|
||||||
|
assert_eq!(parsed.command, "legalizer");
|
||||||
|
if !parsed.options.is_empty() {
|
||||||
|
Err(format!("No options allowed on {}", parsed))
|
||||||
|
} else {
|
||||||
|
Ok(Box::new(TestLegalizer))
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl SubTest for TestLegalizer {
|
||||||
|
fn name(&self) -> Cow<str> {
|
||||||
|
Cow::from("legalizer")
|
||||||
|
}
|
||||||
|
|
||||||
|
fn is_mutating(&self) -> bool {
|
||||||
|
true
|
||||||
|
}
|
||||||
|
|
||||||
|
fn needs_isa(&self) -> bool {
|
||||||
|
true
|
||||||
|
}
|
||||||
|
|
||||||
|
fn run(&self, func: Cow<Function>, context: &Context) -> Result<()> {
|
||||||
|
let mut func = func.into_owned();
|
||||||
|
let isa = context.isa.expect("legalizer needs an ISA");
|
||||||
|
legalize_function(&mut func, isa);
|
||||||
|
|
||||||
|
let mut text = String::new();
|
||||||
|
try!(write_function(&mut text, &func, Some(isa)).map_err(|e| e.to_string()));
|
||||||
|
run_filecheck(&text, context)
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -17,6 +17,7 @@ mod runone;
|
|||||||
mod concurrent;
|
mod concurrent;
|
||||||
mod domtree;
|
mod domtree;
|
||||||
mod verifier;
|
mod verifier;
|
||||||
|
mod legalizer;
|
||||||
|
|
||||||
/// The result of running the test in a file.
|
/// The result of running the test in a file.
|
||||||
pub type TestResult = Result<time::Duration, String>;
|
pub type TestResult = Result<time::Duration, String>;
|
||||||
@@ -55,6 +56,7 @@ fn new_subtest(parsed: &TestCommand) -> subtest::Result<Box<subtest::SubTest>> {
|
|||||||
"print-cfg" => print_cfg::subtest(parsed),
|
"print-cfg" => print_cfg::subtest(parsed),
|
||||||
"domtree" => domtree::subtest(parsed),
|
"domtree" => domtree::subtest(parsed),
|
||||||
"verifier" => verifier::subtest(parsed),
|
"verifier" => verifier::subtest(parsed),
|
||||||
|
"legalizer" => legalizer::subtest(parsed),
|
||||||
_ => Err(format!("unknown test command '{}'", parsed.command)),
|
_ => Err(format!("unknown test command '{}'", parsed.command)),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user