[mlir] Delete ForwardDataFlowAnalysisWith SCCP and integer range analysis ported to the new framework, this old framework is redundant. Delete it.Depends on D128866Reviewed By: rriddleDiffere
[mlir] Delete ForwardDataFlowAnalysisWith SCCP and integer range analysis ported to the new framework, this old framework is redundant. Delete it.Depends on D128866Reviewed By: rriddleDifferential Revision: https://reviews.llvm.org/D128867
show more ...
[mlir] Use-after-free checker for the Transform dialectThe Transform dialect uses the side effect modeling mechanism to record theeffects of the transform ops on the mapping between Transform IR v
[mlir] Use-after-free checker for the Transform dialectThe Transform dialect uses the side effect modeling mechanism to record theeffects of the transform ops on the mapping between Transform IR values andPayload IR ops. Introduce a checker pass that warns if a Transform IR value isused after it has been freed (consumed). This pass is mostly intended as adebugging aid in addition to the verification/assertion mechanisms in thetransform interpreter. It reports all potential use-after-free situations.The implementation makes a series of simplifying assumptions to be simple andconservative. A more advanced implementation would rely on the data flow-likeanalysis associated with a side-effect resource rather than a value, which iscurrently not supported by the analysis infrastructure.Reviewed By: springermDifferential Revision: https://reviews.llvm.org/D126381