diff options
Diffstat (limited to 'willow/include/willow/IR/Verifier.h')
| -rw-r--r-- | willow/include/willow/IR/Verifier.h | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/willow/include/willow/IR/Verifier.h b/willow/include/willow/IR/Verifier.h index cdd1747..0a2c855 100644 --- a/willow/include/willow/IR/Verifier.h +++ b/willow/include/willow/IR/Verifier.h @@ -3,7 +3,10 @@ /// \file Verifier.h These are generic helpers for verification of IR, that can /// be used to check the validity of a transformation. +/// +/// This doesn't use the pass interface because it is useful to have on its own. +#include <willow/IR/Context.h> #include <willow/Util/LogicalResult.h> namespace willow { @@ -15,10 +18,13 @@ class BasicBlock; class Instruction; class BinaryInst; -LogicalResult verifyModule(const Module &, DiagnosticEngine &); -LogicalResult verifyFunction(const Function &, DiagnosticEngine &); -LogicalResult verifyBasicBlock(const BasicBlock &, DiagnosticEngine &); -LogicalResult verifyInst(const Instruction &, DiagnosticEngine &); +LogicalResult verifyModule(WillowContext &, const Module &, DiagnosticEngine &); +LogicalResult verifyFunction(WillowContext &, const Function &, + DiagnosticEngine &); +LogicalResult verifyBasicBlock(WillowContext &, const BasicBlock &, + DiagnosticEngine &); +LogicalResult verifyInst(WillowContext &, const Instruction &, + DiagnosticEngine &); } // namespace willow |