expressions, when interesting.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@73776
91177308-0d34-0410-b5e6-
96231b3b80d8
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 {