Merge rust-lang#33

33: In debug builds, verify the IR after the control point pass. r=ltratt a=vext01



Co-authored-by: Edd Barrett <[email protected]>

Author: bors[bot]

llvm/lib/Transforms/Yk/ControlPoint.cpp

@@ -376,7 +376,14 @@ class YkControlPoint : public ModulePass {
     Builder.SetInsertPoint(BB);
     Builder.CreateCondBr(NewCtrlPointCallInst, ExitBB, ContBB);
 
-    // Generate new control point logic.
+#ifndef NDEBUG
+    // Our pass runs after LLVM normally does its verify pass. In debug builds
+    // we run it again to check that our pass is generating valid IR.
+    if (verifyModule(M, &errs())) {
+      Context.emitError("Control point pass generated invalid IR!");
+      return false;
+    }
+#endif
     return true;
   }
 };