Method run

cranelift/filetests/src/test_inline.rs:69–117

(&self, func: Cow<ir::Function>, context: &Context)

    }

    fn run(&self, func: Cow<ir::Function>, context: &Context) -> Result<()> {
        // Legalize this function.
        let isa = context.isa.unwrap();
        let mut comp_ctx = cranelift_codegen::Context::for_function(func.into_owned());
        comp_ctx
            .legalize(isa)
            .map_err(|e| crate::pretty_anyhow_error(&comp_ctx.func, e))
            .context("error while legalizing")?;

        // Insert this function in our map for inlining into subsequent
        // functions.
        let func_name = comp_ctx.func.name.clone();
        self.funcs
            .borrow_mut()
            .insert(func_name, comp_ctx.func.clone());

        // Run the inliner.
        let inlined_any = comp_ctx.inline(Inliner(self.funcs.borrow()))?;

        // Verify that the CLIF is still valid.
        comp_ctx
            .verify(context.flags_or_isa())
            .map_err(|errors| {
                anyhow::Error::msg(pretty_verifier_error(&comp_ctx.func, None, errors))
            })
            .context("CLIF verification error after inlining")?;

        // If requested, run optimizations.
        if self.optimize {
            comp_ctx
                .optimize(isa, &mut ControlPlane::default())
                .map_err(|e| crate::pretty_anyhow_error(&comp_ctx.func, e))
                .context("error while optimizing")?;
        }

        // Check the filecheck expectations.
        let actual = if inlined_any {
            format!("{:?}", comp_ctx.func)
        } else {
            format!("(no functions inlined into {})", comp_ctx.func.name)
        };
        log::debug!("filecheck input: {actual}");
        if self.precise_output {
            let actual: Vec<_> = actual.lines().collect();
            check_precise_output(&actual, context)
        } else {
            run_filecheck(&actual, context)
        }
    }
}

struct Inliner<'a>(Ref<'a, HashMap<ir::UserFuncName, ir::Function>>);