
class  ConstantValue 
 This lattice value represents a known constant value of a lattice. More...


class  SparseConstantPropagation 
 This analysis implements sparse constant propagation, which attempts to determine constantvalued results for operations using constantvalued operands, by speculatively folding operations. More...


class  Executable 
 This is a simple analysis state that represents whether the associated program point (either a block or a controlflow edge) is live. More...


class  PredecessorState 
 This analysis state represents a set of live controlflow "predecessors" of a program point (either an operation or a block), which are the last operations along all execution paths that pass through this point. More...


class  CFGEdge 
 This program point represents a controlflow edge between a block and one of its successors. More...


class  DeadCodeAnalysis 
 Dead code analysis analyzes controlflow, as understood by RegionBranchOpInterface and BranchOpInterface , and the callgraph, as understood by CallableOpInterface and CallOpInterface . More...


class  AbstractDenseLattice 
 This class represents a dense lattice. More...


class  AbstractDenseDataFlowAnalysis 
 Base class for dense dataflow analyses. More...


class  DenseDataFlowAnalysis 
 A dense (forward) dataflow analysis for propagating lattices before and after the execution of every operation across the IR by implementing transfer functions for operations. More...


class  IntegerValueRange 
 This lattice value represents the integer range of an SSA value. More...


class  IntegerValueRangeLattice 
 This lattice element represents the integer value range of an SSA value. More...


class  IntegerRangeAnalysis 
 Integer range analysis determines the integer value range of SSA values using operations that define InferIntRangeInterface and also sets the range of iteration indices of loops with known bounds. More...


class  AbstractSparseLattice 
 This class represents an abstract lattice. More...


class  Lattice 
 This class represents a lattice holding a specific value of type ValueT . More...


class  AbstractSparseDataFlowAnalysis 
 Base class for sparse (forward) dataflow analyses. More...


class  SparseDataFlowAnalysis 
 A sparse (forward) dataflow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations. More...


class  AbstractSparseBackwardDataFlowAnalysis 
 Base class for sparse (backward) dataflow analyses. More...


class  SparseBackwardDataFlowAnalysis 
 A sparse (backward) dataflow analysis for propagating SSA value lattices backwards across the IR by implementing transfer functions for operations. More...

