[PATCH] D134614: [SCEV] Support clearing Block/LoopDispositions for a single value.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: nikic, reames, mkazantsev.
Herald added subscribers: javed.absar, hiraditya.
Herald added a project: All.
fhahn requested review of this revision.
Herald added a project: LLVM.

Extend forgetBlockAndLoopDisposition to allow clearing information for a
single value. This can be useful when only a single value is changed,
e.g. because the instruction is moved.

For loop dispositions, we also need to clear the cached values for all
SCEV users, because they may depend on the starting value's loop
disposition.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D134614

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/lib/Transforms/Scalar/LoopDeletion.cpp
  llvm/lib/Transforms/Scalar/LoopSink.cpp
  llvm/lib/Transforms/Utils/LoopSimplify.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D134614.462760.patch
Type: text/x-patch
Size: 4697 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220925/d61755d0/attachment.bin>