[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
show more ...
[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] 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