1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
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",
);
}
|
