projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24723de) | patch
NFC: Cleanup FuncVerifier and refactor it into a general OperationVerifier. The funct...
authorRiver Riddle <riverriddle@google.com>
Fri, 7 Jun 2019 16:46:13 +0000 (09:46 -0700)
committerMehdi Amini <joker.eph@gmail.com>
Sun, 9 Jun 2019 23:23:23 +0000 (16:23 -0700)
commit62facfaf42a05281ec20126ba9943ebf3dda1295
tree4fae407f7699ebeef06b962b6f7bb71fd636be81tree | snapshot
parent24723de5c2d10c54cce1bebd0f3904a079c850f5commit | diff
NFC: Cleanup FuncVerifier and refactor it into a general OperationVerifier. The function specific verification has been moved into Function::verify. This is in preparation for adding a general Operation::verify method.

PiperOrigin-RevId: 252065646
mlir/lib/Analysis/Verifier.cpp diff | blob | history
mlir/test/IR/invalid.mlir diff | blob | history
Domain: System / Toolchain;