Cold-Air-Networks/mirror-llvm-project
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 7

[DropAssumes] Print drop-deref in pipeline where appropriate (#211905)

Browse source 
drop-deref was added as an option in #166947 and is parsed correctly,
but is not serialized. This can make it difficult to reduce test cases,
especially automatically with llvm/utils/reduce_pipeline.py.

This patch implements printPipeline() to serialize drop-deref where
appropriate.
This commit is contained in:
Thurston Dang 2026-07-31 15:28:13 -07:00 committed by GitHub
parent 458b207bd6
commit 38d27329ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
llvm/include/llvm/Transforms/Scalar/DropUnnecessaryAssumes.h
View file

@ -23,6 +23,9 @@ struct DropUnnecessaryAssumesPass
: DropDereferenceable(DropDereferenceable) {}
LLVM_ABI PreservedAnalyses run(Function &F, FunctionAnalysisManager &AM);
LLVM_ABI void
printPipeline(raw_ostream &OS,
function_ref<StringRef(StringRef)> MapClassName2PassName);
private:
bool DropDereferenceable;

8
llvm/lib/Transforms/Scalar/DropUnnecessaryAssumes.cpp
View file

@ -152,3 +152,11 @@ DropUnnecessaryAssumesPass::run(Function &F, FunctionAnalysisManager &FAM) {
}
return PreservedAnalyses::all();
}
void DropUnnecessaryAssumesPass::printPipeline(
raw_ostream &OS, function_ref<StringRef(StringRef)> MapClassName2PassName) {
static_cast<PassInfoMixin<DropUnnecessaryAssumesPass> *>(this)->printPipeline(
OS, MapClassName2PassName);
if (DropDereferenceable)
OS << "<drop-deref>";
}

3
llvm/test/Other/new-pm-print-pipeline.ll
View file

@ -123,3 +123,6 @@
; RUN: opt -disable-output -disable-verify -print-pipeline-passes -passes='module(asan<>,asan<kernel;use-after-scope>)' < %s | FileCheck %s --match-full-lines --check-prefixes=CHECK-37
; CHECK-37: asan<>,asan<kernel;use-after-scope>
; RUN: opt -disable-output -disable-verify -print-pipeline-passes -passes='drop-unnecessary-assumes,drop-unnecessary-assumes<drop-deref>' < %s | FileCheck %s --check-prefixes=CHECK-38
; CHECK-38: drop-unnecessary-assumes,drop-unnecessary-assumes<drop-deref>