[llvm] 4f14bfe - [llvm-reduce] Disable fixpoint verification in InstCombine

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2024-08-21T14:49:22+02:00
New Revision: 4f14bfeddedcf21e0eaf0ff3ddf7b62938f66df5

URL: https://github.com/llvm/llvm-project/commit/4f14bfeddedcf21e0eaf0ff3ddf7b62938f66df5
DIFF: https://github.com/llvm/llvm-project/commit/4f14bfeddedcf21e0eaf0ff3ddf7b62938f66df5.diff

LOG: [llvm-reduce] Disable fixpoint verification in InstCombine

We don't want to get fixpoint verification errors while reducing.

Added: 
    

Modified: 
    llvm/tools/llvm-reduce/deltas/RunIRPasses.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/tools/llvm-reduce/deltas/RunIRPasses.cpp b/llvm/tools/llvm-reduce/deltas/RunIRPasses.cpp
index acef29a6819415..e3af05616fe04b 100644
--- a/llvm/tools/llvm-reduce/deltas/RunIRPasses.cpp
+++ b/llvm/tools/llvm-reduce/deltas/RunIRPasses.cpp
@@ -16,12 +16,13 @@ using namespace llvm;
 
 extern cl::OptionCategory LLVMReduceOptions;
 
-static cl::opt<std::string> PassPipeline(
-    "ir-passes",
-    cl::desc("A textual description of the pass pipeline, same as "
-             "what's passed to `opt -passes`."),
-    cl::init("function(sroa,instcombine,gvn,simplifycfg,infer-address-spaces)"),
-    cl::cat(LLVMReduceOptions));
+static cl::opt<std::string>
+    PassPipeline("ir-passes",
+                 cl::desc("A textual description of the pass pipeline, same as "
+                          "what's passed to `opt -passes`."),
+                 cl::init("function(sroa,instcombine<no-verify-fixpoint>,gvn,"
+                          "simplifycfg,infer-address-spaces)"),
+                 cl::cat(LLVMReduceOptions));
 
 static void runPasses(Oracle &O, ReducerWorkItem &WorkItem) {
   Module &Program = WorkItem.getModule();