Struct SSATransformer

pub struct SSATransformer<'tcx> {

    pub tcx: TyCtxt<'tcx>,
    pub body: Body<'tcx>,
    pub cfg: HashMap<BasicBlock, Vec<BasicBlock>>,
    pub dominators: Dominators<BasicBlock>,
    pub dom_tree: HashMap<BasicBlock, Vec<BasicBlock>>,
    pub df: HashMap<BasicBlock, HashSet<BasicBlock>>,
    pub local_assign_blocks: HashMap<Local, HashSet<BasicBlock>>,
    pub reaching_def: HashMap<Local, Option<Local>>,
    pub local_index: u32,
    pub local_defination_block: HashMap<Local, BasicBlock>,
    pub skipped: HashSet<u32>,
    pub phi_index: HashMap<*const Statement<'tcx>, usize>,
    pub phi_statements: HashMap<*const Statement<'tcx>, bool>,
    pub essa_statements: HashMap<*const Statement<'tcx>, bool>,
    pub phi_def_id: DefId,
    pub essa_def_id: DefId,
    pub locals_map: HashMap<Local, HashSet<Local>>,
    pub ssa_locals_map: HashMap<Local, HashSet<Local>>,
}

Fields

tcx: TyCtxt<'tcx>

body: Body<'tcx>

cfg: HashMap<BasicBlock, Vec<BasicBlock>>

dominators: Dominators<BasicBlock>

dom_tree: HashMap<BasicBlock, Vec<BasicBlock>>

df: HashMap<BasicBlock, HashSet<BasicBlock>>

local_assign_blocks: HashMap<Local, HashSet<BasicBlock>>

reaching_def: HashMap<Local, Option<Local>>

local_index: u32

local_defination_block: HashMap<Local, BasicBlock>

skipped: HashSet<u32>

phi_index: HashMap<*const Statement<'tcx>, usize>

phi_statements: HashMap<*const Statement<'tcx>, bool>

essa_statements: HashMap<*const Statement<'tcx>, bool>

phi_def_id: DefId

essa_def_id: DefId

locals_map: HashMap<Local, HashSet<Local>>

ssa_locals_map: HashMap<Local, HashSet<Local>>

Implementations

impl<'tcx> SSATransformer<'tcx>

pub fn print_ssatransformer(&self)

fn find_phi_placeholder(tcx: TyCtxt<'_>, crate_name: &str) -> Option<DefId>

pub fn new( tcx: TyCtxt<'tcx>, body: &Body<'tcx>, ssa_def_id: DefId, essa_def_id: DefId, ) -> Self

pub fn return_body_ref(&self) -> &Body<'tcx>

fn map_locals_to_definition_block(body: &Body<'_>) -> HashMap<Local, BasicBlock>

pub fn depth_first_search_preorder( dom_tree: &HashMap<BasicBlock, Vec<BasicBlock>>, root: BasicBlock, ) -> Vec<BasicBlock>

pub fn depth_first_search_postorder( dom_tree: &HashMap<BasicBlock, Vec<BasicBlock>>, root: &BasicBlock, ) -> Vec<BasicBlock>

fn map_locals_to_assign_blocks( body: &Body<'_>, ) -> HashMap<Local, HashSet<BasicBlock>>

fn construct_dominance_tree( body: &Body<'_>, ) -> HashMap<BasicBlock, Vec<BasicBlock>>

fn compute_dominance_frontier( body: &Body<'_>, dom_tree: &HashMap<BasicBlock, Vec<BasicBlock>>, ) -> HashMap<BasicBlock, HashSet<BasicBlock>>

fn extract_cfg_from_predecessors( body: &Body<'_>, ) -> HashMap<BasicBlock, Vec<BasicBlock>>

fn print_dominance_tree( dom_tree: &HashMap<BasicBlock, Vec<BasicBlock>>, current: BasicBlock, depth: usize, )

pub fn is_phi_statement(&self, statement: &Statement<'tcx>) -> bool

pub fn is_essa_statement(&self, statement: &Statement<'tcx>) -> bool