codegen: print failure reason when verifier fails (#45642)

JuliaLang · Jun 11, 2022 · a9e3cc7 · a9e3cc7 · nanosoldier · Jun 12, 2022
1 parent 329fd49
commit a9e3cc7
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/llvm-alloc-opt.cpp b/src/llvm-alloc-opt.cpp
@@ -1177,7 +1177,7 @@ bool AllocOpt::runOnFunction(Function &F, function_ref<DominatorTree&()> GetDT)
     optimizer.initialize();
     optimizer.optimizeAll();
     bool modified = optimizer.finalize();
-    assert(!verifyFunction(F));
+    assert(!verifyFunction(F, &errs()));
     return modified;
 }
 

diff --git a/src/llvm-demote-float16.cpp b/src/llvm-demote-float16.cpp
@@ -335,7 +335,7 @@ static bool demoteFloat16(Function &F)
     if (erase.size() > 0) {
         for (auto V : erase)
             V->eraseFromParent();
-        assert(!verifyFunction(F));
+        assert(!verifyFunction(F, &errs()));
         return true;
     }
     else

diff --git a/src/llvm-gc-invariant-verifier.cpp b/src/llvm-gc-invariant-verifier.cpp
@@ -118,7 +118,7 @@ void GCInvariantVerifier::visitLoadInst(LoadInst &LI) {
     if (Ty->isPointerTy()) {
         unsigned AS = cast<PointerType>(Ty)->getAddressSpace();
         Check(AS != AddressSpace::CalleeRooted,
-              "Illegal store of callee rooted value", &LI);
+              "Illegal load of callee rooted value", &LI);
     }
 }
 

diff --git a/src/llvm-julia-licm.cpp b/src/llvm-julia-licm.cpp
@@ -284,7 +284,7 @@ struct JuliaLICM : public JuliaPassContext {
         if (changed && SE) {
             SE->forgetLoopDispositions(L);
         }
-        assert(!verifyFunction(*L->getHeader()->getParent()));
+        assert(!verifyFunction(*L->getHeader()->getParent(), &errs()));
         return changed;
     }
 };