Improve the verifier diagnostic on dominance error
authorMehdi Amini <joker.eph@gmail.com>
Wed, 16 Dec 2020 04:18:41 +0000 (04:18 +0000)
committerMehdi Amini <joker.eph@gmail.com>
Wed, 16 Dec 2020 22:05:17 +0000 (22:05 +0000)
commitc21ee1a9426710eba5923062efd0e0b0789edd47
tree64b2a61d9f5701ed0ccbb2d170fcb01fb8d99ca7
parentd22a47e9fff84c0872331d871b8fe2850e56d809
Improve the verifier diagnostic on dominance error

Address PR47937

Differential Revision: https://reviews.llvm.org/D93361
mlir/lib/IR/Verifier.cpp
mlir/test/IR/invalid.mlir