RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-14 07:09:08 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[MustExecute] Shwo the effect of using full loop info variant

Browse Source 
Most basic possible test for the logic used by LICM.

Also contains a speculative build fix for compiles which complain about a definition of a stuct K; followed by a declaration as class K;

llvm-svn: 328058
This commit is contained in:
Philip Reames 2018-03-20 23:00:54 +00:00
parent f542698551
commit 9176c8f7af
3 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
include/llvm/Transforms/Utils/LoopUtils.h
View File

@ -40,7 +40,6 @@ class BasicBlock;
class DataLayout;
class Loop;
class LoopInfo;
class LoopSafetyInfo;
class OptimizationRemarkEmitter;
class PredicatedScalarEvolution;
class PredIteratorCache;

12
lib/Analysis/MustExecute.cpp
View File

@ -185,11 +185,13 @@ FunctionPass *llvm::createMustExecutePrinter() {
}
bool isMustExecuteIn(const Instruction &I, Loop *L, DominatorTree *DT) {
// TODO: move loop specific code to analysis
//LoopSafetyInfo LSI;
//computeLoopSafetyInfo(&LSI, L);
//return isGuaranteedToExecute(I, DT, L, &LSI);
return isGuaranteedToExecuteForEveryIteration(&I, L);
// TODO: merge these two routines. For the moment, we display the best
// result obtained by *either* implementation. This is a bit unfair since no
// caller actually gets the full power at the moment.
LoopSafetyInfo LSI;
computeLoopSafetyInfo(&LSI, L);
return isGuaranteedToExecute(I, DT, L, &LSI) ||
isGuaranteedToExecuteForEveryIteration(&I, L);
}
/// \brief An assembly annotator class to print must execute information in

7
test/Analysis/MustExecute/loop-header.ll
View File

@ -88,9 +88,14 @@ exit:
; FIXME: handled by loop safety info, test it
define i1 @nothrow_loop(i32* noalias %p, i32 %high) {
; CHECK-LABEL: @nothrow_loop(
; CHECK-LABEL: loop:
; CHECK-LABEL: loop:
; CHECK: %iv = phi i32 [ 0, %entry ], [ %iv.next, %next ] ; (mustexec in: loop)
; CHECK: br label %next ; (mustexec in: loop)
; CHECK-LABEL: next:
; CHECK: %v = load i32, i32* %p ; (mustexec in: loop)
; CHECK: %iv.next = add nuw nsw i32 %iv, 1 ; (mustexec in: loop)
; CHECK: %exit.test = icmp slt i32 %iv, %high ; (mustexec in: loop)
; CHECK: br i1 %exit.test, label %exit, label %loop ; (mustexec in: loop)
; CHECK-NOT: mustexec
entry: