pub fn simplify_mir(body: &mut Body<'_>)Expand description
MIR pass to remove instructions not important for Flowistry.
This pass helps reduce the number of intermediates during dataflow analysis, which reduces memory usage.
pub fn simplify_mir(body: &mut Body<'_>)MIR pass to remove instructions not important for Flowistry.
This pass helps reduce the number of intermediates during dataflow analysis, which reduces memory usage.