Make ScalarEvolution::print print getSCEVAtScope values for

expressions, when interesting.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73776 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-06-19 17:49:54 +00:00
parent 8e1c17aa5a
commit 0c689c5e05

View File

@ -4048,9 +4048,17 @@ void ScalarEvolution::print(raw_ostream &OS, const Module* ) const {
SCEVHandle SV = SE.getSCEV(&*I);
SV->print(OS);
if (const Loop *L = LI->getLoopFor((*I).getParent())) {
const Loop *L = LI->getLoopFor((*I).getParent());
SCEVHandle AtUse = SE.getSCEVAtScope(SV, L);
if (AtUse != SV) {
OS << " --> ";
AtUse->print(OS);
}
if (L) {
OS << "\t\t" "Exits: ";
SCEVHandle ExitValue = SE.getSCEVAtScope(&*I, L->getParentLoop());
SCEVHandle ExitValue = SE.getSCEVAtScope(SV, L->getParentLoop());
if (!ExitValue->isLoopInvariant(L)) {
OS << "<<Unknown>>";
} else {