From e67bbcfc3c75240beead8fb984d884627477a95a Mon Sep 17 00:00:00 2001 From: Valerii Lashmanov Date: Tue, 15 Sep 2020 22:03:10 -0500 Subject: [PATCH] Added perf test for deeply nested closures (#72408) --- .../deeply-nested-closures/Cargo.lock | 6 +++ .../deeply-nested-closures/Cargo.toml | 8 ++++ .../deeply-nested-closures/src/lib.rs | 44 +++++++++++++++++++ 3 files changed, 58 insertions(+) create mode 100644 collector/benchmarks/deeply-nested-closures/Cargo.lock create mode 100644 collector/benchmarks/deeply-nested-closures/Cargo.toml create mode 100644 collector/benchmarks/deeply-nested-closures/src/lib.rs diff --git a/collector/benchmarks/deeply-nested-closures/Cargo.lock b/collector/benchmarks/deeply-nested-closures/Cargo.lock new file mode 100644 index 000000000..cb7fe48e9 --- /dev/null +++ b/collector/benchmarks/deeply-nested-closures/Cargo.lock @@ -0,0 +1,6 @@ +# This file is automatically @generated by Cargo. +# It is not intended for manual editing. +[[package]] +name = "deeply-nested-closures" +version = "0.1.0" + diff --git a/collector/benchmarks/deeply-nested-closures/Cargo.toml b/collector/benchmarks/deeply-nested-closures/Cargo.toml new file mode 100644 index 000000000..b38b63af4 --- /dev/null +++ b/collector/benchmarks/deeply-nested-closures/Cargo.toml @@ -0,0 +1,8 @@ +[package] +name = "deeply-nested-closures" +version = "0.1.0" +authors = ["Valerii Lashmanov "] + +[dependencies] + +[workspace] \ No newline at end of file diff --git a/collector/benchmarks/deeply-nested-closures/src/lib.rs b/collector/benchmarks/deeply-nested-closures/src/lib.rs new file mode 100644 index 000000000..d83c561e4 --- /dev/null +++ b/collector/benchmarks/deeply-nested-closures/src/lib.rs @@ -0,0 +1,44 @@ +// A test case from rust-lang/rust#72408. +// Nesting closures produce exponentially sized type tree with a lot of duplicates. + +#![type_length_limit="469762040"] + +fn dup(f: impl Fn(i32) -> i32) -> impl Fn(i32) -> i32 { + move |a| f(a * 2) +} + +pub fn foo() { + let f = |a| a; + + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + let f = dup(f); + + println!("Type size was at least {}", f(1)); +}