[PATCH] D137060: [SCEV] Make isKnownOnEveryIteration return false if LHS's start value is not available at loop entry

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

This is likely not the right fix. I don't see how there can be an addrec whose start value is not available at loop entry (of its own loop).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D137060