SSlava Zakharin[mlir] Fixed ordering of pass statistics.
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
[mlir] Fix missing verification after running an OpToOpAdaptorPass The current decision of when to run the verifier is running on the assumption that nested passes can't affect the validity of the parent operation, which isn't true. Parent operations may attach any number of constraints on nested operations, which may not necessarily be captured (or shouldn't be captured) at a smaller granularity. This commit rectifies this by properly running the verifier after an OpToOpAdaptor pass. To avoid an explosive increase in compile time, we only run verification on the parent operation itself. To do this, a flag to mlir::verify is added to avoid recursive verification if it isn't desired. Fixes #54288 Differential Revision: https://reviews.llvm.org/D121836 | 4 年前 | |
[mlir][NFC] Drop a few unnecessary includes from Pass.h | 4 年前 | |
[mlir] Fixed ordering of pass statistics. The change makes sure the plain C string statistics names are properly ordered. Differential Revision: https://reviews.llvm.org/D130122 | 3 年前 |