Add a general Operation::verify that verifies an operation instance and the dominance...
authorRiver Riddle <riverriddle@google.com>
Tue, 11 Jun 2019 01:37:09 +0000 (18:37 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Tue, 11 Jun 2019 17:13:28 +0000 (10:13 -0700)
commit65c94470ed5bb147b4e0300c164aca0e5466cf02
tree6a5f995b3523679663dd7a71704b3e0d15da7252
parenteb3ed07cd1af4606d74cf0294fa7972ae828c0dd
Add a general Operation::verify that verifies an operation instance and the dominance of operations in any nested regions.

PiperOrigin-RevId: 252529850
mlir/include/mlir/IR/Operation.h
mlir/lib/Analysis/Dominance.cpp
mlir/lib/Analysis/Verifier.cpp