Method check_function

src/debug_utils/checker.rs:191–214

Top-level function for the checker.

(&mut self)

impl<F: Function, R: RegInfo> Context<'_, F, R> {
    /// Top-level function for the checker.
    fn check_function(&mut self) -> Result<()> {
        trace!("Checking register allocator output...");

        self.check_stack()?;

        // Start with an empty state on each entry point and keep visiting
        // blocks as long as their initial state has changed.
        //
        // The lattice meet() function guarantees that the initial state of a
        // block can only get smaller so this will eventually settle to a fixed
        // point at which point checking is complete.
        self.blocks_to_check.clear();
        for &entry in self.output.function().entry_points() {
            self.blocks_to_check.insert(entry, ());
            self.block_entry_state[entry] = Some(CheckerState::new(self.output));
        }
        while let Some((block, ())) = self.blocks_to_check.pop() {
            self.check_block(block)?;
        }

        trace!("Check complete");

        Ok(())
    }

    /// Checks the stack layout and spill slot definitions.
    fn check_stack(&self) -> Result<()> {