Method inject

hail-fuzz/src/load_resizer.rs:486–513

(&mut self, cpu: &mut Cpu, group: &BlockGroup, code: &mut BlockTable)

impl icicle_vm::CodeInjector for LoadResizeInjector {
    fn inject(&mut self, cpu: &mut Cpu, group: &BlockGroup, code: &mut BlockTable) {
        for block in group.blocks.0..group.blocks.1 {
            if !self.optimize_upper_bits {
                // Directly resize the underlying load pcode ops.
                if let Err(e) = self.resizer.resize_loads(cpu, code, block) {
                    tracing::warn!("[{:#x}] failed to resize load ops: {e}", group.start);
                }
            }
            else {
                // Apply resize operations as models.
                match self.resizer.get_loads(cpu, code, block) {
                    Ok(metadata) => {
                        let mem = cpu
                            .mem
                            .get_io_memory_mut(self.mmio_ref)
                            .as_mut_any()
                            .downcast_mut::<crate::input::MultiStreamMmio>()
                            .unwrap();

                        for (pc, load) in metadata {
                            mem.add_extract_model(pc, load.min_bit, load.max_bit)
                        }
                    }
                    Err(e) => tracing::warn!("[{:#x}] failed to resize load ops: {e}", group.start),
                }
            }
        }
    }
}

#[derive(Debug, Copy, Clone, PartialEq, Eq)]