Merge tag 'debian/1.52.1+dfsg1-1_exp2' into proxmox/buster

[rustc.git] / vendor / chalk-solve / src / solve / test / bench.rs

diff --git a/vendor/chalk-solve/src/solve/test/bench.rs b/vendor/chalk-solve/src/solve/test/bench.rs
deleted file mode 100644 (file)
index 6ef6eb1..0000000
--- a/vendor/chalk-solve/src/solve/test/bench.rs
+++ /dev/null
@@ -1,111 +0,0 @@
-//! 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",
-    );
-}