Process a value's definition, removing it from the currently-live set.
(&mut self, func: &Function, val: ir::Value)
| 368 | |
| 369 | /// Process a value's definition, removing it from the currently-live set. |
| 370 | fn process_def(&mut self, func: &Function, val: ir::Value) { |
| 371 | debug_assert!(!func.dfg.value_is_alias(val)); |
| 372 | if self.currently_live.remove(&val) { |
| 373 | log::trace!("liveness: defining {val:?}, removing it from the live set"); |
| 374 | } |
| 375 | } |
| 376 | |
| 377 | /// Record the live set of needs-stack-map values at the given safepoint. |
| 378 | fn record_safepoint(&mut self, func: &Function, inst: Inst) { |