Auto merge of #127036 - cjgillot:sparse-state, r=oli-obk

Make jump threading state sparse

Continuation of #127024

Both dataflow const-prop and jump threading involve cloning the state vector a lot. This PR replaces the data structure by a sparse vector, considering:
- that jump threading state is typically very sparse (at most 1 or 2 set entries);
- that dataflow const-prop is disabled by default;
- that place/value map is very eager, and prone to creating an overly large state.

The first commit is shared with the previous PR to avoid needless conflicts.

r? `@oli-obk`

compiler/rustc_mir_dataflow/src/framework/lattice.rs

@@ -76,6 +76,8 @@ pub trait MeetSemiLattice: Eq {
 /// A set that has a "bottom" element, which is less than or equal to any other element.
 pub trait HasBottom {
  const BOTTOM: Self;
+
+ fn is_bottom(&self) -> bool;
 }
 
 /// A set that has a "top" element, which is greater than or equal to any other element.
@@ -114,6 +116,10 @@ impl MeetSemiLattice for bool {
 
 impl HasBottom for bool {
  const BOTTOM: Self = false;
+
+ fn is_bottom(&self) -> bool {
+ !self
+ }
 }
 
 impl HasTop for bool {
@@ -267,6 +273,10 @@ impl<T: Clone + Eq> MeetSemiLattice for FlatSet<T> {
 
 impl<T> HasBottom for FlatSet<T> {
  const BOTTOM: Self = Self::Bottom;
+
+ fn is_bottom(&self) -> bool {
+ matches!(self, Self::Bottom)
+ }
 }
 
 impl<T> HasTop for FlatSet<T> {
@@ -291,6 +301,10 @@ impl<T> MaybeReachable<T> {
 
 impl<T> HasBottom for MaybeReachable<T> {
  const BOTTOM: Self = MaybeReachable::Unreachable;
+
+ fn is_bottom(&self) -> bool {
+ matches!(self, Self::Unreachable)
+ }
 }
 
 impl<T: HasTop> HasTop for MaybeReachable<T> {