Method arbitrary_with_config

src/debug_utils/generic_function/arbitrary.rs:73–103

Constructs a randomly-generated `GenericFunction`. This function is guaranteed to pass validation with the given (valid) [`RegInfo`] implementation.

(
        reginfo: &impl RegInfo,
        u: &mut Unstructured<'_>,
        config: ArbitraryFunctionConfig,
    )

    /// This function is guaranteed to pass validation with the given (valid)
    /// [`RegInfo`] implementation.
    pub fn arbitrary_with_config(
        reginfo: &impl RegInfo,
        u: &mut Unstructured<'_>,
        config: ArbitraryFunctionConfig,
    ) -> Result<Self> {
        let mut builder = FunctionBuilder::new(u, reginfo, config);
        builder.gen_cfg_skeleton()?;
        builder.block_insts.grow_to(builder.func.num_blocks());
        builder.defs_by_blocks.grow_to(builder.func.num_blocks());

        let postorder = PostOrder::for_function(&builder.func);
        builder.domtree.compute(&builder.func, &postorder);

        builder.add_blockparams()?;

        for block in postorder.cfg_postorder() {
            builder.func.blocks[block].immediate_dominator =
                builder.domtree.immediate_dominator(block).into();
            builder.gen_block_insts(block)?;
        }

        // Generate some unused values.
        for _ in 0..builder.u.int_in_range(0..=10)? {
            let bank = RegBank::new(builder.u.choose_index(reginfo.num_banks())?);
            builder.new_value(bank)?;
        }

        builder.finalize()?;

        Ok(builder.func)
    }
}

struct FunctionBuilder<'a, 'b, R> {