Skip to content

Commit 4f14bfe

Browse files
committed
[llvm-reduce] Disable fixpoint verification in InstCombine
We don't want to get fixpoint verification errors while reducing.
1 parent 1e5f275 commit 4f14bfe

File tree

1 file changed

+7
-6
lines changed

1 file changed

+7
-6
lines changed

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

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -16,12 +16,13 @@ using namespace llvm;
1616

1717
extern cl::OptionCategory LLVMReduceOptions;
1818

19-
static cl::opt<std::string> PassPipeline(
20-
"ir-passes",
21-
cl::desc("A textual description of the pass pipeline, same as "
22-
"what's passed to `opt -passes`."),
23-
cl::init("function(sroa,instcombine,gvn,simplifycfg,infer-address-spaces)"),
24-
cl::cat(LLVMReduceOptions));
19+
static cl::opt<std::string>
20+
PassPipeline("ir-passes",
21+
cl::desc("A textual description of the pass pipeline, same as "
22+
"what's passed to `opt -passes`."),
23+
cl::init("function(sroa,instcombine<no-verify-fixpoint>,gvn,"
24+
"simplifycfg,infer-address-spaces)"),
25+
cl::cat(LLVMReduceOptions));
2526

2627
static void runPasses(Oracle &O, ReducerWorkItem &WorkItem) {
2728
Module &Program = WorkItem.getModule();

0 commit comments

Comments
 (0)