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