Struct MirDumper 

pub struct MirDumper<'dis, 'de, 'tcx> {
    show_pass_num: bool,
    pass_name: &'static str,
    disambiguator: &'dis dyn Display,
    writer: MirWriter<'de, 'tcx>,
}

Manages MIR dumping, which is MIR writing done to a file with a specific name. In particular, it makes it impossible to dump MIR to one of these files when it hasn’t been requested from the command line. Layered on top of MirWriter, which does the actual writing.

Fields

show_pass_num: bool

pass_name: &'static str

disambiguator: &'dis dyn Display

writer: MirWriter<'de, 'tcx>

Implementations

impl<'dis, 'de, 'tcx> MirDumper<'dis, 'de, 'tcx>

pub fn new( tcx: TyCtxt<'tcx>, pass_name: &'static str, body: &Body<'tcx>, ) -> Option<Self>

pub fn tcx(&self) -> TyCtxt<'tcx>

pub fn set_show_pass_num(self) -> Self

pub fn set_disambiguator(self, disambiguator: &'dis dyn Display) -> Self

pub fn set_extra_data( self, extra_data: &'de dyn Fn(PassWhere, &mut dyn Write) -> Result<()>, ) -> Self

pub fn set_options(self, options: PrettyPrintMirOptions) -> Self

pub fn dump_mir(&self, body: &Body<'tcx>)

If the session is properly configured, dumps a human-readable representation of the MIR (with default pretty-printing options) into:

rustc.node<node_id>.<pass_num>.<pass_name>.<disambiguator>

Output from this function is controlled by passing -Z dump-mir=<filter>, where <filter> takes the following forms:

• all – dump MIR for all fns, all passes, all everything
• a filter defined by a set of substrings combined with & and | (& has higher precedence). At least one of the |-separated groups must match; an |-separated group matches if all of its &-separated substrings are matched.

Example:

• nll == match if nll appears in the name
• foo & nll == match if foo and nll both appear in the name
• foo & nll | typeck == match if foo and nll both appear in the name or typeck appears in the name.
• foo & nll | bar & typeck == match if foo and nll both appear in the name or typeck and bar both appear in the name.

pub fn dump_mir_to_writer( &self, body: &Body<'tcx>, w: &mut dyn Write, ) -> Result<()>

fn dump_path(&self, extension: &str, body: &Body<'tcx>) -> PathBuf

Returns the path to the filename where we should dump a given MIR. Also used by other bits of code (e.g., NLL inference) that dump graphviz data or other things.

pub fn create_dump_file( &self, extension: &str, body: &Body<'tcx>, ) -> Result<BufWriter<File>>

Attempts to open a file where we should dump a given MIR or other bit of MIR-related data. Used by mir-dump, but also by other bits of code (e.g., NLL inference) that dump graphviz data or other things, and hence takes the extension as an argument.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 72 bytes