From 4f8cf019caa8a2421bd62bd0c6db83eb9a7e29f2 Mon Sep 17 00:00:00 2001
From: Matt Pharr <matt.pharr@intel.com>
Date: Thu, 5 Apr 2012 08:49:39 -0700
Subject: [PATCH] Add pass to verify module before starting optimizations.

---
 opt.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/opt.cpp b/opt.cpp
index 9159c495..5bc3737e 100644
--- a/opt.cpp
+++ b/opt.cpp
@@ -286,6 +286,8 @@ Optimize(llvm::Module *module, int optLevel) {
     llvm::PassManager optPM;
     llvm::FunctionPassManager funcPM(module);
 
+    optPM.add(llvm::createVerifierPass());
+
     if (g->target.isa != Target::GENERIC) {
         llvm::TargetLibraryInfo *targetLibraryInfo =
             new llvm::TargetLibraryInfo(llvm::Triple(module->getTargetTriple()));