| 172 | } |
| 173 | |
| 174 | struct Context<'a, F, R> { |
| 175 | output: &'a Output<'a, F, R>, |
| 176 | blocks_to_check: SparseMap<Block, ()>, |
| 177 | block_entry_state: SecondaryMap<Block, Option<CheckerState>>, |
| 178 | state: CheckerState, |
| 179 | evicted: SparseMap<SpillSlot, EvictedReg>, |
| 180 | blockparams_to_insert: Vec<(AllocationUnit, Value)>, |
| 181 | def_units: EntitySet<AllocationUnit>, |
| 182 | fixed_def_units: RegUnitSet, |
| 183 | early_reused_operands: Vec<usize>, |
| 184 | next_inst: Inst, |
| 185 | terminated: bool, |
| 186 | can_have_move: bool, |
| 187 | } |
| 188 | |
| 189 | impl<F: Function, R: RegInfo> Context<'_, F, R> { |
| 190 | /// Top-level function for the checker. |
nothing calls this directly
no outgoing calls
no test coverage detected