[PATCH] D110385: [SCEV] Verify contents of cached Block Dispositions

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 377839.
mkazantsev edited the summary of this revision.
mkazantsev added a reviewer: bjope.
mkazantsev added a subscriber: bjope.
mkazantsev added a comment.

Updated.

- Now we ignore SCEVs that contain dangling pointers.
- Thanks @bjope for finding an example where it ACTUALLY cathes a problem, see D110813 <https://reviews.llvm.org/D110813>. Added this as unit test.
- Printing block name instead of entire block dump;
- Printing smart block dispositions as string instead of ints.


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

https://reviews.llvm.org/D110385

Files:
  llvm/include/llvm/Analysis/ScalarEvolution.h
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Transforms/LoopRotate/pr51981-scev-problem-verification.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D110385.377839.patch
Type: text/x-patch
Size: 9471 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211007/c633ebe3/attachment.bin>