|
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 constant-valued results for operations using constant-valued 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 control-flow edge) is live. More...
|
|
class | PredecessorState |
| This analysis state represents a set of live control-flow "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 control-flow edge between a block and one of its successors. More...
|
|
class | DeadCodeAnalysis |
| Dead code analysis analyzes control-flow, 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 data-flow analyses. More...
|
|
class | DenseDataFlowAnalysis |
| A dense (forward) data-flow 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) data-flow analyses. More...
|
|
class | SparseDataFlowAnalysis |
| A sparse (forward) data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations. More...
|
|
class | AbstractSparseBackwardDataFlowAnalysis |
| Base class for sparse (backward) data-flow analyses. More...
|
|
class | SparseBackwardDataFlowAnalysis |
| A sparse (backward) data-flow analysis for propagating SSA value lattices backwards across the IR by implementing transfer functions for operations. More...
|
|