Handle the verifier at run() time in the PassManager instead of build time
authorMehdi Amini <joker.eph@gmail.com>
Tue, 3 Nov 2020 11:17:01 +0000 (11:17 +0000)
committerMehdi Amini <joker.eph@gmail.com>
Tue, 3 Nov 2020 11:17:14 +0000 (11:17 +0000)
commitcd7107a62b4fe887c7a8f3a3e226ec5e92b7e5f5
treea0fe21584dfbbe1640862894385d7bd070f853d0
parentbf523186fb7817ba12aa1de09d6db95589621797
Handle the verifier at run() time in the PassManager instead of build time

This simplifies a few parts of the pass manager, but in particular we don't add as many
verifierpass as there are passes in the pipeline, and we can now enable/disable the
verifier after the fact on an already built PassManager.

Reviewed By: rriddle

Differential Revision: https://reviews.llvm.org/D90669
mlir/include/mlir/Pass/PassManager.h
mlir/lib/Pass/Pass.cpp
mlir/lib/Pass/PassDetail.h
mlir/lib/Support/MlirOptMain.cpp
mlir/test/Pass/pass-timing.mlir
mlir/test/Pass/pipeline-stats.mlir
mlir/test/lib/Transforms/TestDynamicPipeline.cpp