maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[FIX] Remove all invariant load occurences from own execution context 

llvm-svn: 252411
This commit is contained in:
Johannes Doerfert 2015-11-07 19:45:27 +00:00
parent 2cb767d32b
commit 44483c5599
2 changed files with 43 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
polly/lib/Analysis/ScopInfo.cpp
View File

@ -2590,14 +2590,21 @@ void Scop::addInvariantLoads(ScopStmt &Stmt, MemoryAccessList &InvMAs) {
for (MemoryAccess *MA : InvMAs) {
Instruction *AccInst = MA->getAccessInstruction();
if (SE->isSCEVable(AccInst->getType())) {
isl_id *ParamId = getIdForParam(SE->getSCEV(AccInst));
if (ParamId) {
SetVector<Value *> Values;
for (const SCEV *Parameter : Parameters) {
Values.clear();
findValues(Parameter, Values);
if (!Values.count(AccInst))
continue;
if (isl_id *ParamId = getIdForParam(Parameter)) {
int Dim = isl_set_find_dim_by_id(DomainCtx, isl_dim_param, ParamId);
DomainCtx = isl_set_eliminate(DomainCtx, isl_dim_param, Dim, 1);
}
isl_id_free(ParamId);
}
}
}
}
for (MemoryAccess *MA : InvMAs) {
// Check for another invariant access that accesses the same location as

31
polly/test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll Normal file
View File

@ -0,0 +1,31 @@
; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
; RUN: opt %loadPolly -polly-codegen -analyze < %s
;
; CHECK: Execution Context: [p_0] -> { : }
;
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
@currpc = external global i32, align 4
@inbuff = external global i8*, align 8
; Function Attrs: uwtable
define void @_Z13dotableswitchP9Classfile() {
entry:
br i1 undef, label %for.end, label %while.body
while.body: ; preds = %while.body, %entry
store i8* undef, i8** @inbuff, align 8
%0 = load i32, i32* @currpc, align 4
%rem = and i32 %0, 3
%tobool = icmp eq i32 %rem, 0
br i1 %tobool, label %while.end, label %while.body
while.end: ; preds = %while.body
br i1 undef, label %for.end, label %for.body
for.body: ; preds = %for.body, %while.end
br label %for.body
for.end: ; preds = %while.end, %entry
ret void
}