Skip process_constant if state has no matching value.

Author: cjgillot

compiler/rustc_mir_dataflow/src/value_analysis.rs

@@ -752,11 +752,15 @@ impl<'tcx> Map<'tcx> {
         }
     }
 
+    /// Return the range of value indices inside this place.
+    pub fn values_inside(&self, root: PlaceIndex) -> &[ValueIndex] {
+        let range = self.inner_values[root].clone();
+        &self.inner_values_buffer[range]
+    }
+
     /// Invoke a function on each value in the given place and all descendants.
     fn for_each_value_inside(&self, root: PlaceIndex, f: &mut impl FnMut(ValueIndex)) {
-        let range = self.inner_values[root].clone();
-        let values = &self.inner_values_buffer[range];
-        for &v in values {
+        for &v in self.values_inside(root) {
             f(v)
         }
     }

compiler/rustc_mir_transform/src/jump_threading.rs

@@ -354,6 +354,12 @@ impl<'a, 'tcx> TOFinder<'a, 'tcx> {
             return;
         }
         let mut places_to_exclude = FxHashSet::default();
+        //with_capacity(
+        //    self.map.find_value(place.as_ref()).map_or(
+        //        0,
+        //        |place| self.map.values_inside(place).len()
+        //    )
+        //);
         self.map.for_each_aliasing_place(place.as_ref(), extra_elem, &mut |vi| {
             places_to_exclude.insert(vi);
         });
@@ -428,6 +434,10 @@ impl<'a, 'tcx> TOFinder<'a, 'tcx> {
         constant: OpTy<'tcx>,
         state: &mut ConditionSet<'a>,
     ) {
+        let values_inside = self.map.values_inside(lhs);
+        if !state.iter().any(|cond| values_inside.contains(&cond.place)) {
+            return;
+        }
         self.map.for_each_projection_value(
             lhs,
             constant,