[PATCH] D110620: [SCEV] Infer ranges for SCC consisting of cycled Phis

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Analysis/ScalarEvolution.cpp:6327
+          else {
+            auto SharpenedRange =
+                I->second.intersectWith(ConservativeResult, RangeType);
----------------
reames wrote:
> Does this ever get hit?  I'd expect this to be unreachable as we'd always traverse the same SCC by definition from any entry.  
I think you are right. Need to check.


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

https://reviews.llvm.org/D110620