From c84cdd1645d4fca9c7a9b1f0251adcef72ec8aec Mon Sep 17 00:00:00 2001
From: yhirose <yuji.hirose.bug@gmail.com>
Date: Thu, 10 Jan 2019 21:46:02 -0500
Subject: [PATCH] Added verifyFunction call

---
 pl0/pl0.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pl0/pl0.cc b/pl0/pl0.cc
index 8cd8b4f..0c3b2dc 100644
--- a/pl0/pl0.cc
+++ b/pl0/pl0.cc
@@ -14,6 +14,7 @@
 #include "llvm/ExecutionEngine/MCJIT.h"
 #include "llvm/IR/IRBuilder.h"
 #include "llvm/IR/ValueSymbolTable.h"
+#include "llvm/IR/Verifier.h"
 #include "llvm/Support/TargetSelect.h"
 
 using namespace peg;
@@ -627,6 +628,7 @@ struct LLVM {
       builder_.SetInsertPoint(BB);
       compile_block(ast->nodes[0]);
       builder_.CreateRetVoid();
+      verifyFunction(*fn);
     }
   }
 
@@ -679,6 +681,7 @@ struct LLVM {
         builder_.SetInsertPoint(BB);
         compile_block(block);
         builder_.CreateRetVoid();
+        verifyFunction(*fn);
         builder_.SetInsertPoint(prevBB);
       }
     }