[PATCH] D98627: [JumpThreading] Do not use AA after a block has been destroyed. PR43276

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 330887.
mkazantsev edited the summary of this revision.
mkazantsev added a comment.

Updated the description. In fact, it's not about dangling pointers. It doesn't matter if the block has physically been removed or not. The problem is that we never inform the AA that we
remove a block and it should be, in particular, wiped out of its loop info.


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

https://reviews.llvm.org/D98627

Files:
  llvm/lib/Transforms/Scalar/JumpThreading.cpp
  llvm/test/Transforms/JumpThreading/pr43276.ll
  llvm/test/Transforms/JumpThreading/thread-loads.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D98627.330887.patch
Type: text/x-patch
Size: 6375 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210316/b087178e/attachment.bin>