RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 19:42:54 +02:00
Code Issues Projects Releases Wiki Activity

[RuntimeLoopUnroller] Add assert that we dont unroll non-rotated loops

Browse Source 
Summary:
Cloning basic blocks in the loop for runtime loop unroller depends on loop being
in rotated form (i.e. loop latch target is the exit block).
Assert that this is true, so that callers of runtime loop unroller pass in
canonical loops.
The single caller of this function has that check recently added:
https://reviews.llvm.org/rL301239

Reviewers: davide

Subscribers: llvm-commits

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

llvm-svn: 302058
This commit is contained in:
Anna Thomas 2017-05-03 17:43:59 +00:00
parent a4a86bd6fc
commit 892ad9babd
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Transforms/Utils/LoopUnrollRuntime.cpp
View File

@ -512,6 +512,13 @@ bool llvm::UnrollRuntimeLoopRemainder(Loop *L, unsigned Count,
BasicBlock *Latch = L->getLoopLatch();
// Cloning the loop basic blocks (`CloneLoopBlocks`) requires that one of the
// targets of the Latch be the single exit block out of the loop. This needs
// to be guaranteed by the callers of UnrollRuntimeLoopRemainder.
BranchInst *LatchBR = cast<BranchInst>(Latch->getTerminator());
assert(LatchBR->getSuccessor(0) == Exit ||
LatchBR->getSuccessor(1) == Exit && "loop latch successor should be "
"exit block!");
// Loop structure is the following:
//
// PreHeader