diff options
Diffstat (limited to 'vendor/chalk-solve-0.87.0/src/solve/test/bench.rs')
-rw-r--r-- | vendor/chalk-solve-0.87.0/src/solve/test/bench.rs | 111 |
1 files changed, 111 insertions, 0 deletions
diff --git a/vendor/chalk-solve-0.87.0/src/solve/test/bench.rs b/vendor/chalk-solve-0.87.0/src/solve/test/bench.rs new file mode 100644 index 000000000..6ef6eb1f9 --- /dev/null +++ b/vendor/chalk-solve-0.87.0/src/solve/test/bench.rs @@ -0,0 +1,111 @@ +//! Benchmarking tests. + +extern crate test; +use self::test::Bencher; + +use crate::db::ChalkDatabase; +use crate::query::{ProgramSolverChoice, ProgramText}; +use chalk_solve::SolverChoice; +use ir; +use std::sync::Arc; + +use super::{assert_result, parse_and_lower_goal, parse_and_lower_program}; + +fn run_bench( + program_text: &str, + solver_choice: SolverChoice, + goal_text: &str, + bencher: &mut Bencher, + expected: &str, +) { + ChalkDatabase::with_program(Arc::new(program_text.to_string()), solver_choice, |db| { + let program = db.lowered_program().unwrap(); + let env = db.environment().unwrap(); + ir::tls::set_current_program(&program, || { + let goal = parse_and_lower_goal(&program, goal_text).unwrap(); + let peeled_goal = goal.into_peeled_goal(); + + // Execute once to get an expected result. + let result = solver_choice.solve_root_goal(&env, &peeled_goal); + + // Check expectation. + assert_result(&result, expected); + + // Then do it many times to measure time. + bencher.iter(|| solver_choice.solve_root_goal(&env, &peeled_goal)); + }); + }); +} + +const CYCLEY: &str = " +trait AsRef<T> { } +trait Clone { } +trait Copy where Self: Clone { } +trait Sized { } + +struct i32 { } +impl Copy for i32 { } +impl Clone for i32 { } +impl Sized for i32 { } + +struct u32 { } +impl Copy for u32 { } +impl Clone for u32 { } +impl Sized for u32 { } + +struct Rc<T> { } +impl<T> Clone for Rc<T> { } +impl<T> Sized for Rc<T> { } + +struct Box<T> { } +impl<T> AsRef<T> for Box<T> where T: Sized { } +impl<T> Clone for Box<T> where T: Clone { } +impl<T> Sized for Box<T> { } + +// Meant to be [T] +struct Slice<T> where T: Sized { } +impl<T> Sized for Slice<T> { } +impl<T> AsRef<Slice<T>> for Slice<T> where T: Sized { } + +struct Vec<T> where T: Sized { } +impl<T> AsRef<Slice<T>> for Vec<T> where T: Sized { } +impl<T> AsRef<Vec<T>> for Vec<T> where T: Sized { } +impl<T> Clone for Vec<T> where T: Clone, T: Sized { } +impl<T> Sized for Vec<T> where T: Sized { } + +trait SliceExt + where <Self as SliceExt>::Item: Clone +{ + type Item; +} + +impl<T> SliceExt for Slice<T> + where T: Clone +{ + type Item = T; +} +"; + +const CYCLEY_GOAL: &str = " +forall<T> { + if ( + <Slice<T> as SliceExt>::Item: Clone; + <Slice<T> as SliceExt>::Item: Sized; + T: Clone; + T: Sized + ) { + T: Sized + } +} +"; + +#[bench] +fn cycley_slg(b: &mut Bencher) { + run_bench( + CYCLEY, + SolverChoice::SLG { max_size: 20 }, + CYCLEY_GOAL, + b, + "Unique", + ); +} |