
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  AbstractDenseForwardDataFlowAnalysis 
 Base class for dense forward dataflow analyses. More...


class  DenseForwardDataFlowAnalysis 
 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  AbstractDenseBackwardDataFlowAnalysis 
 Base class for dense backward dataflow analyses. More...


class  DenseBackwardDataFlowAnalysis 
 A dense backward dataflow analysis propagating lattices after and before the execution of every operation across the IR by implementing transfer functions for opreations. 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...


struct  Liveness 
 This lattice represents, for a given value, whether or not it is "live". More...


class  LivenessAnalysis 
 An analysis that, by going backwards along the dataflow graph, annotates each value with a boolean storing true iff it is "live". More...


struct  RunLivenessAnalysis 
 Runs liveness analysis on the IR defined by op . 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  AbstractSparseForwardDataFlowAnalysis 
 Base class for sparse forward dataflow analyses. More...


class  SparseForwardDataFlowAnalysis 
 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...

