Do not run independent blocks when we model all scalar dependences

llvm-svn: 228441
This commit is contained in:
Johannes Doerfert 2015-02-06 21:26:45 +00:00
parent d050c50522
commit 4a60b173a7
2 changed files with 8 additions and 2 deletions

View File

@ -515,6 +515,9 @@ void IndependentBlocks::getAnalysisUsage(AnalysisUsage &AU) const {
}
bool IndependentBlocks::runOnFunction(llvm::Function &F) {
if (DisableIntraScopScalarToArray && PollyModelPHINodes)
return false;
bool Changed = false;
RI = &getAnalysis<RegionInfoPass>().getRegionInfo();
@ -548,6 +551,9 @@ bool IndependentBlocks::runOnFunction(llvm::Function &F) {
}
void IndependentBlocks::verifyAnalysis() const {
if (DisableIntraScopScalarToArray && PollyModelPHINodes)
return;
for (const Region *R : *SD)
verifyScop(R);
}

View File

@ -20,8 +20,8 @@ for.cond: ; preds = %for.inc5, %entry
; CHECK: Stmt_for_cond
; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 1]
; CHECK: [N, c] -> { Stmt_for_cond[i0] -> MemRef_x_addr_0[] };
; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK: [N, c] -> { Stmt_for_cond[i0] -> MemRef_x_addr_0_s2a[0] };
; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]
; CHECK: [N, c] -> { Stmt_for_cond[i0] -> MemRef_x_addr_0[] };
; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]
; CHECK: [N, c] -> { Stmt_for_cond[i0] -> MemRef_A[i0] };
; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]