bors c241e14650 Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obk ... valtree performance tuning Summary: This PR makes type checking of code with many type-level constants faster. After https://github.com/rust-lang/rust/pull/136180 was merged, we observed a small perf regression (https://github.com/rust-lang/rust/pull/136318#issuecomment-2635562821). This happened because that PR introduced additional copies in the fast reject code path for consts, which is very hot for certain crates: 6c1d960d88/compiler/rustc_type_ir/src/fast_reject.rs (L486-L487) This PR improves the performance again by properly interning the valtrees so that copying and comparing them becomes faster. This will become especially useful with `feature(adt_const_params)`, so the fast reject code doesn't have to do a deep compare of the valtrees. Note that we can't just compare the interned consts themselves in the fast reject, because sometimes `'static` lifetimes in the type are be replaced with inference variables (due to canonicalization) on one side but not the other. A less invasive alternative that I considered is simply avoiding copies introduced by https://github.com/rust-lang/rust/pull/136180 and comparing the valtrees it in-place (see commit: 9e91e50ac5 / perf results: https://github.com/rust-lang/rust/pull/136593#issuecomment-2642303245), however that was still measurably slower than interning. There are some minor regressions in secondary benchmarks: These happen due to changes in memory allocations and seem acceptable to me. The crates that make heavy use of valtrees show no significant changes in memory usage.		2025-02-13 15:27:30 +00:00
..
check_consts	Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptr	2025-02-10 12:49:18 +00:00
const_eval	simplify valtree branches construction	2025-02-13 00:39:03 +01:00
interpret	Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obk	2025-02-12 23:18:14 +00:00
util	Pretty print pattern type values with transmute if they don't satisfy their pattern	2025-02-05 14:56:41 +00:00
errors.rs	compiler: die immediately instead of handling unknown target codegen	2025-02-10 11:04:31 -08:00
lib.rs	Pretty print pattern type values with transmute if they don't satisfy their pattern	2025-02-05 14:56:41 +00:00