[PATCH] D109553: [SCEV] Attempt to define what flags are legal on a SCEV

[Philip Reames via Phabricator via llvm-commits]

reames added inline comments.


================
Comment at: llvm/include/llvm/Analysis/ScalarEvolution.h:123
+  ///   loop.  If any operand is loop varying (per these definition rules),
+  ///   than the SCEVAddRec is defined only after all operands are defined.
+  /// * All other SCEVs are defined at the earlest point all operands are
----------------
efriedma wrote:
> I think we assert that the operands of an AddRec are loop-invariant, so the extra text isn't relevant.
I'd thought we'd allowed this, but a quick test seems to say no, so removed.


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

https://reviews.llvm.org/D109553