Don't run verifyOperation in verifyDominance, as it is already run as part of verifyB...
authorRiver Riddle <riverriddle@google.com>
Fri, 8 Mar 2019 22:26:23 +0000 (14:26 -0800)
committerjpienaar <jpienaar@google.com>
Sat, 30 Mar 2019 00:08:35 +0000 (17:08 -0700)
commite2c301441e5a8ee3b4b0dbe24ac9355064255bb6
tree5af4d6c92cdae686054e85ea10e0b4398b71f3d2
parentd6afced0069e2d37ab3b1d8a227f7e1b74d4da55
Don't run verifyOperation in verifyDominance, as it is already run as part of verifyBlock. This caused the verifier to run in exponential time for nested regions.

PiperOrigin-RevId: 237519751
mlir/lib/Analysis/Verifier.cpp