Method add_blockparams

src/debug_utils/generic_function/arbitrary.rs:338–365

Adds incoming block parameters to blocks that allow them.

(&mut self)

    /// Adds incoming block parameters to blocks that allow them.
    fn add_blockparams(&mut self) -> Result<()> {
        // Entry points cannot have blockparams.
        for block in self.func.blocks.keys() {
            if self.func.entry_points.contains(&block) {
                continue;
            }
            // Blockparams are only allowed if we have multiple predecessors.
            if self.func.blocks[block].preds.len() <= 1 {
                continue;
            }
            let can_add_indirect_remats = self.domtree.immediate_dominator(block).is_some();

            // Define some values for incoming blockparams.
            for _ in 0..self
                .u
                .int_in_range(self.config.blockparams_per_block.clone())?
            {
                let bank = RegBank::new(self.u.choose_index(self.reginfo.num_banks())?);
                let value = self.new_value(bank)?;
                if can_add_indirect_remats && !self.u.arbitrary()? {
                    self.add_indirect_remat(value, block, true)?;
                }
                self.func.blocks[block].block_params_in.push(value);
            }
        }

        Ok(())
    }

    /// Generate the contents of a basic block.
    ///