[PATCH] D89847: [SCEV] Drop cached ranges of AddRecs after flag update

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev created this revision.
mkazantsev added reviewers: fhahn, nikic, lebedev.ri.
Herald added subscribers: llvm-commits, hiraditya.
Herald added a project: LLVM.
mkazantsev requested review of this revision.

Our range computation methods benefit from no-wrap flags. But if the ranges
were first computed before the flags were set, the cached range will be too
pessimistic.

We need to drop cached ranges whenever we sharpen AddRec's no wrap flags.


https://reviews.llvm.org/D89847

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/srem.ll
  llvm/test/Transforms/IndVarSimplify/floating-point-iv.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D89847.299553.patch
Type: text/x-patch
Size: 9412 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20201021/2862fd51/attachment.bin>