[PATCH] D94308: [MachineSink] SinkIntoLoop: analyse stores in between

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer updated this revision to Diff 320087.
SjoerdMeijer retitled this revision from "[MachineSink] SinkIntoLoop: analyse stores in between. WIP" to "[MachineSink] SinkIntoLoop: analyse stores in between".
SjoerdMeijer edited the summary of this revision.
SjoerdMeijer added a reviewer: shchenz.
SjoerdMeijer added a comment.

Rebased after D93694 <https://reviews.llvm.org/D93694>, and this now shows changes in the tests that were added there. New tests have been added to check alias analysis, and some other minor modifications.

Summarising:

- this now performs alias analysis of all instructions/blocks between the `from` and `to` location when an instruction is sunk.
- and `isSafeToMove` is less conservative because now we actually analyse `hasStoreBetween` rather than assuming this is the case.


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

https://reviews.llvm.org/D94308

Files:
  llvm/lib/CodeGen/MachineSink.cpp
  llvm/test/CodeGen/AArch64/loop-sink.mir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D94308.320087.patch
Type: text/x-patch
Size: 22381 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210129/cfec3b97/attachment.bin>