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