How do I access mir?

MaikKlein · September 3, 2017, 2:23pm

I want to try to translate mir -> spirv but I have a few problems accessing mir. I currently have a toy compiler that translates hir -> spirv and hir is very easy to access.

But where is the entry point for mir?

My first though was to create a PassHook

github.com

rust-lang/rust/blob/master/src/librustc_driver/driver.rs#L970


                                           mut analysis: ty::CrateAnalysis,
                                           resolutions: Resolutions,
                                           arena: &'tcx DroplessArena,
                                           arenas: &'tcx GlobalArenas<'tcx>,
                                           name: &str,
                                           output_filenames: &OutputFilenames,
                                           f: F)
                                           -> Result<R, CompileIncomplete>
where F: for<'a> FnOnce(TyCtxt<'a, 'tcx, 'tcx>,
                        ty::CrateAnalysis,
                        mpsc::Receiver<Box<Any + Send>>,
                        CompileResult) -> R
{
macro_rules! try_with_f {
    ($e: expr, ($($t:tt)*)) => {
        match $e {
            Ok(x) => x,
            Err(x) => {
                f($($t)*, Err(x));
                return Err(x);
            }

But I have no idea where the execute the passes. My next idea was to build my own version of phase_3_run_analysis_passes but too many things are private.

My next idea was to build mir manually but the build module is private.

I am currently reading though miri to find out how it accesses the mir.

MaikKlein · September 3, 2017, 4:20pm

Maybe I am just misunderstanding how mir looks like. I thought it would be similar to hir.

It seems that I access the mir when I visit the hir like this for example:

    let def_id = self.map.local_def_id(id);
    let mir_fn = self.ty_ctx.maybe_optimized_mir(def_id);
    println!("mir_fn = {:#?}", mir_fn);

system · March 25, 2019, 8:28am

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.

Topic		Replies	Views
Is it possible to parse the Rust source file into HIR? language design	6	2155	March 25, 2019
MIR visitor implementation compiler	4	430	January 6, 2024
How to dump the MIR of the std/alloc library inside rust project? compiler	5	1347	April 27, 2022
How to load metadata of external crate for analysis? compiler	5	585	March 11, 2021
MIR Specification compiler	13	5529	March 25, 2019

How do I access mir?

Related Topics