Struct LoopBodyAnalysis 

pub struct LoopBodyAnalysis {
    pub loop_id: u32,
    pub def_vars: HashSet<u32>,
    pub use_vars: HashSet<u32>,
    pub load_insts: Vec<u32>,
    pub store_insts: Vec<u32>,
    pub call_insts: Vec<u32>,
    pub has_volatile: bool,
    pub has_exception: bool,
}

LICM loop body analysis result

Fields

loop_id: u32

def_vars: HashSet<u32>

use_vars: HashSet<u32>

load_insts: Vec<u32>

store_insts: Vec<u32>

call_insts: Vec<u32>

has_volatile: bool

has_exception: bool

Implementations

impl LoopBodyAnalysis

pub fn new(loop_id: u32) -> Self

pub fn add_def(&mut self, var: u32)

pub fn add_use(&mut self, var: u32)

pub fn is_def(&self, var: u32) -> bool

pub fn is_invariant(&self, var: u32) -> bool

pub fn num_memory_ops(&self) -> usize

Trait Implementations

impl Clone for LoopBodyAnalysis

fn clone(&self) -> LoopBodyAnalysis

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LoopBodyAnalysis

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for LoopBodyAnalysis

fn default() -> LoopBodyAnalysis

Returns the “default value” for a type.