[PassManager] Save compile time by not running the verifier unnecessarily. NFC
authorChris Lattner <clattner@nondot.org>
Mon, 14 Jun 2021 17:31:00 +0000 (10:31 -0700)
committerChris Lattner <clattner@nondot.org>
Mon, 14 Jun 2021 18:43:52 +0000 (11:43 -0700)
commita490ca8e014acac9c2df7bd7f0aff6c7422d850a
tree2395950eca8caa038117e92b6d592c8cb9f83c7c
parentcc8d32ae7d94c96b9280df40eb3507eae79c7101
[PassManager] Save compile time by not running the verifier unnecessarily. NFC

This changes the pass manager to not rerun the verifier when a pass says it
didn't change anything or after an OpToOpPassAdaptor, since neither of those
cases need verification (and if the pass lied, then there will be much larger
semantic problems than will be caught by the verifier).

This maintains behavior in EXPENSIVE_CHECKS mode.

Differential Revision: https://reviews.llvm.org/D104243
mlir/lib/Pass/Pass.cpp