MMatthias Springer[mlir][transform] Add ForeachOp to transform dialect
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir][transform] Add ForeachOp to transform dialect This op "unbatches" an op handle and executes the loop body for each payload op. Differential Revision: https://reviews.llvm.org/D130257 | 3 年前 | |
[mlir] Delete ForwardDataFlowAnalysis With SCCP and integer range analysis ported to the new framework, this old framework is redundant. Delete it. Depends on D128866 Reviewed By: rriddle Differential Revision: https://reviews.llvm.org/D128867 | 3 年前 | |
[mlir] Use-after-free checker for the Transform dialect The Transform dialect uses the side effect modeling mechanism to record the effects of the transform ops on the mapping between Transform IR values and Payload IR ops. Introduce a checker pass that warns if a Transform IR value is used after it has been freed (consumed). This pass is mostly intended as a debugging aid in addition to the verification/assertion mechanisms in the transform interpreter. It reports all potential use-after-free situations. The implementation makes a series of simplifying assumptions to be simple and conservative. A more advanced implementation would rely on the data flow-like analysis associated with a side-effect resource rather than a value, which is currently not supported by the analysis infrastructure. Reviewed By: springerm Differential Revision: https://reviews.llvm.org/D126381 | 4 年前 |