[PATCH] D139403: [SCEV] Compute symbolic exit count for 'and' conditions

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:8984
+                                                      EL1.SymbolicMaxNotTaken,
+                                                      /*Sequential*/ true);
   } else {
----------------
nikic wrote:
> This should pass `!isa<BinaryOperator>(ExitCond)` as in the ExactNotTaken case above.
I missed that one, thanks for reminding!


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

https://reviews.llvm.org/D139403