How do I access mir?

MaikKlein · 2017-09-03T14:23:04.628Z

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 · 2017-09-03T16:20:24.023Z

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 · 2019-03-25T08:28:58.130Z

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