[mlir] SCCP add missing pessimistic settingWhen this was updated in D127139 the update in-place case was no longermarked as pessimistic. Add back in.Differential Revision: https://reviews.llvm.o
[mlir] SCCP add missing pessimistic settingWhen this was updated in D127139 the update in-place case was no longermarked as pessimistic. Add back in.Differential Revision: https://reviews.llvm.org/D130453
show more ...
Use llvm::is_contained (NFC)
[mlir] Use has_value instead of hasValue (NFC)
[mlir] Swap integer range inference to the new frameworkInteger range inference has been swapped to the new framework. The integer value range lattices automatically updates the corresponding const
[mlir] Swap integer range inference to the new frameworkInteger range inference has been swapped to the new framework. The integer value range lattices automatically updates the corresponding constant value on update.Depends on D127173Reviewed By: krzysz00, rriddleDifferential Revision: https://reviews.llvm.org/D128866
[mlir] An implementation of dense data-flow analysisThis patch introduces an implementation of dense data-flow analysis. Densedata-flow analysis attaches a lattice before and after the execution o
[mlir] An implementation of dense data-flow analysisThis patch introduces an implementation of dense data-flow analysis. Densedata-flow analysis attaches a lattice before and after the execution of everyoperation. The lattice state is propagated across operations by a user-definedtransfer function. The state is joined across control-flow and callgraph edges.Thge patch provides an example pass that uses both a dense and a sparse analysistogether.Depends on D127139Reviewed By: rriddle, phisiartDifferential Revision: https://reviews.llvm.org/D127173
[mlir] An implementation of sparse data-flow analysisThis patch introduces a (forward) sparse data-flow analysis implemented with the data-flow analysis framework. The analysis interacts with liven
[mlir] An implementation of sparse data-flow analysisThis patch introduces a (forward) sparse data-flow analysis implemented with the data-flow analysis framework. The analysis interacts with liveness information that can be provided by dead-code analysis to be conditional. This patch re-implements SCCP using dead-code analysis and (conditional) constant propagation analyses.Depends on D127064Reviewed By: rriddle, phisiartDifferential Revision: https://reviews.llvm.org/D127139
[mlir] Add Dead Code AnalysisThis patch implements the analysis state classes needed for sparse data-flow analysis and implements a dead-code analysis using those states to determine liveness of bl
[mlir] Add Dead Code AnalysisThis patch implements the analysis state classes needed for sparse data-flow analysis and implements a dead-code analysis using those states to determine liveness of blocks, control-flow edges, region predecessors, and function callsites.Depends on D126751Reviewed By: rriddle, phisiartDifferential Revision: https://reviews.llvm.org/D127064