[PATCH] D129753: [SCEV] Prove condition invariance via context

[Max Kazantsev via Phabricator via llvm-commits]

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

Rebased. Suprisingly, one of tests pessimized flags after it did a nice transform, but it means we are lacking another piece of logic somewhere else. The flags have been added just recently, and we might need some extra work to make it more robust.


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

https://reviews.llvm.org/D129753

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Transforms/Utils/SimplifyIndVar.cpp
  llvm/test/Transforms/IndVarSimplify/cycled_phis.ll
  llvm/test/Transforms/IndVarSimplify/outer_phi.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D129753.449617.patch
Type: text/x-patch
Size: 8359 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220803/4dc33d98/attachment.bin>