Get the starting state for a block.
(&self, block: Block)
| 281 | |
| 282 | /// Get the starting state for a block. |
| 283 | pub fn block_starting_state(&self, block: Block) -> LastStores { |
| 284 | self.block_input |
| 285 | .get(&block) |
| 286 | .cloned() |
| 287 | .unwrap_or_else(|| LastStores::default()) |
| 288 | } |
| 289 | |
| 290 | /// Process one instruction. Meant to be invoked in program order |
| 291 | /// within a block, and ideally in RPO or at least some domtree |
no test coverage detected