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

For the return type of SCEVUDivExpr, use the RHS' type instead of 

that of the LHS. It doesn't matter for correctness, but the LHS
is more likely than the RHS to be a pointer type in exotic cases,
and it's more tidy to have it return the integer type.

llvm-svn: 72424
This commit is contained in:
Dan Gohman 2009-05-26 17:44:05 +00:00
parent fae6edc6f2
commit 2a6606ca20
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
llvm/lib/Analysis/ScalarEvolution.cpp
View File

@ -346,7 +346,12 @@ void SCEVUDivExpr::print(raw_ostream &OS) const {
}
const Type *SCEVUDivExpr::getType() const {
return LHS->getType();
// In most cases the types of LHS and RHS will be the same, but in some
// crazy cases one or the other may be a pointer. ScalarEvolution doesn't
// depend on the type for correctness, but handling types carefully can
// avoid extra casts in the SCEVExpander. The LHS is more likely to be
// a pointer type than the RHS, so use the RHS' type here.
return RHS->getType();
}
// SCEVAddRecExprs - Only allow the creation of one SCEVAddRecExpr for any