[PATCH] D73181: [SCEV] Use backedge SCEV of PHI only if its input is loop invariant

[Sanjoy Das (Work Account) via Phabricator via llvm-commits]

sanjoy.google added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:8254
+            if (IsLoopInvariantValue(BackedgeVal, LI) &&
+                IsAvailableOnEntry(LI, DT, OnBackedge, PN->getParent()))
               return OnBackedge;
----------------
Do we still need the `IsAvailableOnEntry`?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D73181/new/

https://reviews.llvm.org/D73181