[llvm] [SandboxIR] Fix pass pipeline parsing after aux arguments (PR #207237)
Anshil Gandhi via llvm-commits
llvm-commits at lists.llvm.org
Mon Jul 6 08:59:53 PDT 2026
https://github.com/gandhi56 updated https://github.com/llvm/llvm-project/pull/207237
>From 71ad5da0634dd1165854cb4351fd8438a2712c37 Mon Sep 17 00:00:00 2001
From: Anshil Gandhi <Anshil.Gandhi at amd.com>
Date: Thu, 2 Jul 2026 13:22:06 -0400
Subject: [PATCH] [SandboxIR] Fix pass pipeline parsing after aux arguments
After parsing a pass aux argument, resume scanning pass names instead of
args when the next token is a delimiter. This allows flat pipelines like
foo(aux),bar to be parsed correctly.
Co-authored-by: Cursor <cursoragent at cursor.com>
---
llvm/include/llvm/SandboxIR/PassManager.h | 9 +++++++--
llvm/unittests/SandboxIR/PassTest.cpp | 16 ++++++++++++++++
2 files changed, 23 insertions(+), 2 deletions(-)
diff --git a/llvm/include/llvm/SandboxIR/PassManager.h b/llvm/include/llvm/SandboxIR/PassManager.h
index 5b9b4d0562e6d..057f61096e4ce 100644
--- a/llvm/include/llvm/SandboxIR/PassManager.h
+++ b/llvm/include/llvm/SandboxIR/PassManager.h
@@ -235,9 +235,14 @@ class PassManager : public ParentPass {
}
break;
case State::AuxArgsEnded:
- if (C == EndToken || C == PassDelimToken) {
+ if (C == EndToken) {
AddPass(PassName, StringRef(), AuxArg);
- CurrentState = State::ScanArgs;
+ CurrentState = State::ScanName;
+ } else if (C == PassDelimToken) {
+ AddPass(PassName, StringRef(), AuxArg);
+ PassBeginIdx = Idx + 1;
+ AuxArg = StringRef();
+ CurrentState = State::ScanName;
} else if (C == BeginArgsToken) {
++NestedArgs;
ArgsBeginIdx = Idx + 1;
diff --git a/llvm/unittests/SandboxIR/PassTest.cpp b/llvm/unittests/SandboxIR/PassTest.cpp
index 4707137645430..f0931ad66468e 100644
--- a/llvm/unittests/SandboxIR/PassTest.cpp
+++ b/llvm/unittests/SandboxIR/PassTest.cpp
@@ -323,6 +323,22 @@ define void @f() {
EXPECT_EQ(Str,
"foo(aux1)<abc>bar<nested1(aux2)<nested2<nested3()>>>foo(aux3)<>");
+ // A pass with an aux argument followed by another pass in a flat pipeline.
+ std::string AuxArgStr;
+ auto CreatePassWithAuxArg =
+ [&AuxArgStr](llvm::StringRef Name, llvm::StringRef Args,
+ llvm::StringRef AuxArg) -> std::unique_ptr<FunctionPass> {
+ if (Name == "foo")
+ return std::make_unique<FooPass>(AuxArgStr, Args, AuxArg);
+ if (Name == "bar")
+ return std::make_unique<BarPass>(AuxArgStr, Args, AuxArg);
+ return nullptr;
+ };
+ FunctionPassManager FPMWithAuxArg("test-fpm");
+ FPMWithAuxArg.setPassPipeline("foo(aux1),bar", CreatePassWithAuxArg);
+ FPMWithAuxArg.runOnFunction(*F, Analyses::emptyForTesting());
+ EXPECT_EQ(AuxArgStr, "foo(aux1)<>bar<>");
+
// A second call to setPassPipeline will trigger an assertion in debug mode.
#ifndef NDEBUG
EXPECT_DEATH(FPM.setPassPipeline("bar,bar,foo", CreatePass),
More information about the llvm-commits
mailing list