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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 391622.
mkazantsev added a comment.

Because incomplete SCCs draw a lot of questions and suspicions, despite I think everything should still work correctly for them, these cases are unimportant for any practical purpose.

I've reworked it so that it will either find full SCC (and therefore do better than before), or conservatively bail to processing of a single Phi.


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

https://reviews.llvm.org/D110620

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/cycled_phis.ll
  llvm/test/Analysis/ScalarEvolution/unknown_phis.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D110620.391622.patch
Type: text/x-patch
Size: 15441 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211203/68e49858/attachment.bin>