GPGPU: Verify kernel IR before generating assembly

llvm-svn: 276550

1 files changed, 5 insertions, 0 deletions

diff --git a/polly/lib/CodeGen/PPCGCodeGeneration.cpp b/polly/lib/CodeGen/PPCGCodeGeneration.cpp
index 74dd31d91fc..420b3eec356 100644
--- a/polly/lib/CodeGen/PPCGCodeGeneration.cpp
+++ b/polly/lib/CodeGen/PPCGCodeGeneration.cpp
@@ -28,6 +28,7 @@
 #include "llvm/Analysis/TargetLibraryInfo.h"
 #include "llvm/Analysis/TargetTransformInfo.h"
 #include "llvm/IR/LegacyPassManager.h"
+#include "llvm/IR/Verifier.h"
 #include "llvm/Support/TargetRegistry.h"
 #include "llvm/Support/TargetSelect.h"
 #include "llvm/Target/TargetMachine.h"
@@ -674,6 +675,10 @@ std::string GPUNodeBuilder::createKernelASM() {
 }
 
 void GPUNodeBuilder::finalizeKernelFunction() {
+  // Verify module.
+  llvm::legacy::PassManager Passes;
+  Passes.add(createVerifierPass());
+  Passes.run(*GPUModule);
 
   if (DumpKernelIR)
     outs() << *GPUModule << "\n";