RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00
Code Issues Projects Releases Wiki Activity

IR printing improvement for loop passes

Browse Source 
Summary:
Loop-pass printing is somewhat deficient since it does not provide the
context around the loop (e.g. preheader). This context information becomes
pretty essential when analyzing transformations that move stuff out of the loop.

Extending printLoop to cover preheader and exit blocks (if any).

Reviewers: sanjoy, silvas, weimingz

Reviewed By: sanjoy

Subscribers: apilipenko, skatkov, llvm-commits

Differential Revision: https://reviews.llvm.org/D40246

llvm-svn: 318878
This commit is contained in:
Fedor Sergeev 2017-11-22 20:59:53 +00:00
parent e8d084d3f2
commit 862e8fda82
2 changed files with 86 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
lib/Analysis/LoopInfo.cpp
View File

@ -732,11 +732,30 @@ PreservedAnalyses LoopPrinterPass::run(Function &F,
void llvm::printLoop(Loop &L, raw_ostream &OS, const std::string &Banner) {
OS << Banner;
auto *PreHeader = L.getLoopPreheader();
if (PreHeader) {
OS << "\n; Preheader:";
PreHeader->print(OS);
OS << "\n; Loop:";
}
for (auto *Block : L.blocks())
if (Block)
Block->print(OS);
else
OS << "Printing <null> block";
SmallVector<BasicBlock *, 8> ExitBlocks;
L.getExitBlocks(ExitBlocks);
if (!ExitBlocks.empty()) {
OS << "\n; Exit blocks";
for (auto *Block : ExitBlocks)
if (Block)
Block->print(OS);
else
OS << "Printing <null> block";
}
}
//===----------------------------------------------------------------------===//

67
test/Other/loop-pass-printer.ll Normal file
View File

@ -0,0 +1,67 @@
; This test checks -print-after/before on loop passes
; Besides of the loop itself it should be dumping loop pre-header and exits.
;
; RUN: opt < %s 2>&1 -disable-output \
; RUN: -loop-deletion -print-before=loop-deletion \
; RUN: | FileCheck %s -check-prefix=DEL
; RUN: opt < %s 2>&1 -disable-output \
; RUN: -loop-unroll -print-after=loop-unroll -filter-print-funcs=bar \
; RUN: | FileCheck %s -check-prefix=BAR
;
; DEL: IR Dump Before
; DEL-SAME: dead loops
; DEL: ; Preheader:
; DEL-NEXT: %idx = alloca i32, align 4
; DEL: ; Loop:
; DEL-NEXT: loop:
; DEL: cont:
; DEL: ; Exit blocks
; DEL: done:
; DEL: IR Dump Before
; DEL-SAME: dead loops
; DEL: ; Preheader:
; DEL-NEXT: br label %loop
; DEL: ; Loop:
; DEL-NEXT: loop:
; DEL: ; Exit blocks
; DEL: end:
; BAR: IR Dump After
; BAR-SAME: Unroll
; BAR: ; Preheader:
; BAR-NEXT: br label %loop
; BAR: ; Loop:
; BAR-NEXT: loop:
; BAR: ; Exit blocks
; BAR: end:
; BAR-NOT: IR Dump Before
; BAR-NOT: ; Loop
define void @foo(){
%idx = alloca i32, align 4
store i32 0, i32* %idx, align 4
br label %loop
loop:
%1 = load i32, i32* %idx, align 4
%2 = icmp slt i32 %1, 10
br i1 %2, label %cont, label %done
cont:
%3 = load i32, i32* %idx, align 4
%4 = add nsw i32 %3, 1
store i32 %4, i32* %idx, align 4
br label %loop
done:
ret void
}
define void @bar(){
br label %loop
loop:
br i1 1, label %loop, label %end
end:
ret void
}