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

Override dominates and properlyDominates for SCEVAddRecExpr, as a

Browse Source 
SCEVAddRecExpr doesn't necessarily dominate blocks merely dominated
by all of its operands. This fixes an abort compiling 403.gcc.

llvm-svn: 96056
This commit is contained in:
Dan Gohman 2010-02-13 00:19:39 +00:00
parent 4ef0be5df5
commit 1e93b1c022
2 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
include/llvm/Analysis/ScalarEvolutionExpressions.h
View File

@ -417,6 +417,10 @@ namespace llvm {
virtual bool isLoopInvariant(const Loop *QueryLoop) const;
bool dominates(BasicBlock *BB, DominatorTree *DT) const;
bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const;
/// isAffine - Return true if this is an affine AddRec (i.e., it represents
/// an expressions A+B*x where A and B are loop invariant values.
bool isAffine() const {

15
lib/Analysis/ScalarEvolution.cpp
View File

@ -312,6 +312,21 @@ bool SCEVAddRecExpr::isLoopInvariant(const Loop *QueryLoop) const {
return true;
}
bool
SCEVAddRecExpr::dominates(BasicBlock *BB, DominatorTree *DT) const {
return DT->dominates(L->getHeader(), BB) &&
SCEVNAryExpr::dominates(BB, DT);
}
bool
SCEVAddRecExpr::properlyDominates(BasicBlock *BB, DominatorTree *DT) const {
// This uses a "dominates" query instead of "properly dominates" query because
// the instruction which produces the addrec's value is a PHI, and a PHI
// effectively properly dominates its entire containing block.
return DT->dominates(L->getHeader(), BB) &&
SCEVNAryExpr::properlyDominates(BB, DT);
}
void SCEVAddRecExpr::print(raw_ostream &OS) const {
OS << "{" << *Operands[0];
for (unsigned i = 1, e = Operands.size(); i != e; ++i)