[PATCH] D106852: [SCEV] Fix getAddExpr for adding loop invariants into start of some AddRec

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

When you're checking for is0thIterationGuaranteed, do you also need to check for abnormal exits from the loop?

What happens if you just assume is0thIterationGuaranteed is always false?  I'm not sure all this work to try to prove the flags is worth doing.


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

https://reviews.llvm.org/D106852