Method new_value

src/debug_utils/generic_function/arbitrary.rs:317–335

Defines a new value with randomized properties.

(&mut self, bank: RegBank)

    /// Defines a new value with randomized properties.
    fn new_value(&mut self, bank: RegBank) -> Result<Value> {
        let remat = if !self.remat_class_per_bank[bank].is_empty() && self.u.arbitrary()? {
            let cost = if self.u.arbitrary()? {
                RematCost::CheaperThanMove
            } else {
                RematCost::CheaperThanLoad
            };
            let class = *self.u.choose(&self.remat_class_per_bank[bank])?;
            Some((cost, class))
        } else {
            None
        };
        let value = self.func.values.push(ValueData {
            bank,
            remat,
            indirect_remat: None,
        });
        Ok(value)
    }

    /// Adds incoming block parameters to blocks that allow them.
    fn add_blockparams(&mut self) -> Result<()> {