Skip to content

Commit ff201d1

Browse files
committed
Add two more CTFE stress tests
1 parent 3128311 commit ff201d1

File tree

6 files changed

+115
-0
lines changed

6 files changed

+115
-0
lines changed

collector/benchmarks/ctfe-stress-fields/Cargo.lock

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
[package]
2+
name = "ctfe-stress"
3+
version = "0.1.0"
4+
authors = ["Ralf Jung <[email protected]>"]
Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
#![feature(const_fn, const_let)]
2+
#![allow(unused_must_use)]
3+
4+
// Try to make CTFE actually do a lot of computation, without producing a big result.
5+
// And without support for loops.
6+
7+
macro_rules! const_repeat {
8+
// Base case: Use 16 at the end to avoid function calls at the leaves as much as possibele.
9+
([16] $e: expr, $T: ty) => {{
10+
$e; $e; $e; $e;
11+
$e; $e; $e; $e;
12+
$e; $e; $e; $e;
13+
$e; $e; $e; $e
14+
}};
15+
([1] $e: expr, $T: ty) => {{
16+
$e
17+
}};
18+
// Recursive case: Take a 16
19+
([16 $($n: tt)*] $e: expr, $T: ty) => {{
20+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
21+
e(); e(); e(); e();
22+
e(); e(); e(); e();
23+
e(); e(); e(); e();
24+
e(); e(); e(); e()
25+
}};
26+
// Recursive case: Take a 8
27+
([8 $($n: tt)*] $e: expr, $T: ty) => {{
28+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
29+
e(); e(); e(); e();
30+
e(); e(); e(); e()
31+
}};
32+
// Recursive case: Take a 4
33+
([4 $($n: tt)*] $e: expr, $T: ty) => {{
34+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
35+
e(); e(); e(); e()
36+
}};
37+
// Recursive case: Take a 2
38+
([2 $($n: tt)*] $e: expr, $T: ty) => {{
39+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
40+
e(); e()
41+
}};
42+
}
43+
macro_rules! expensive_static {
44+
($name: ident : $T: ty = $e : expr) =>
45+
(pub static $name : $T = const_repeat!([8 16 16 16 16 16] $e, $T);)
46+
}
47+
48+
expensive_static!(FIELDS: &'static i32 = &("bar", 42, "foo", 3.14).1);

collector/benchmarks/ctfe-stress-unsize-trait/Cargo.lock

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
[package]
2+
name = "ctfe-stress"
3+
version = "0.1.0"
4+
authors = ["Ralf Jung <[email protected]>"]
Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
#![feature(const_fn, const_let)]
2+
#![allow(unused_must_use)]
3+
4+
// Try to make CTFE actually do a lot of computation, without producing a big result.
5+
// And without support for loops.
6+
7+
macro_rules! const_repeat {
8+
// Base case: Use 16 at the end to avoid function calls at the leaves as much as possibele.
9+
([16] $e: expr, $T: ty) => {{
10+
$e; $e; $e; $e;
11+
$e; $e; $e; $e;
12+
$e; $e; $e; $e;
13+
$e; $e; $e; $e
14+
}};
15+
([1] $e: expr, $T: ty) => {{
16+
$e
17+
}};
18+
// Recursive case: Take a 16
19+
([16 $($n: tt)*] $e: expr, $T: ty) => {{
20+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
21+
e(); e(); e(); e();
22+
e(); e(); e(); e();
23+
e(); e(); e(); e();
24+
e(); e(); e(); e()
25+
}};
26+
// Recursive case: Take a 8
27+
([8 $($n: tt)*] $e: expr, $T: ty) => {{
28+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
29+
e(); e(); e(); e();
30+
e(); e(); e(); e()
31+
}};
32+
// Recursive case: Take a 4
33+
([4 $($n: tt)*] $e: expr, $T: ty) => {{
34+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
35+
e(); e(); e(); e()
36+
}};
37+
// Recursive case: Take a 2
38+
([2 $($n: tt)*] $e: expr, $T: ty) => {{
39+
const fn e() -> $T { const_repeat!([$($n)*] $e, $T) }
40+
e(); e()
41+
}};
42+
}
43+
macro_rules! expensive_static {
44+
($name: ident : $T: ty = $e : expr) =>
45+
(pub static $name : $T = const_repeat!([16 16 16 16 16 16] $e, $T);)
46+
}
47+
48+
pub trait Trait: Sync {}
49+
impl Trait for u32 {}
50+
51+
expensive_static!(UNSIZE_TRAIT: &'static Trait = &42u32);

0 commit comments

Comments
 (0)