[PATCH] D73342: Fix EarlyCSE to intersect aliasing metadata.

[Neil Henning via Phabricator via llvm-commits]

sheredom created this revision.
sheredom added reviewers: hfinkel, jeroen.dobbelaere.
sheredom added a project: LLVM.
Herald added subscribers: llvm-commits, hiraditya.

Further to my post on the mailing list, EarlyCSE was not merging the aliasing information of two loads/stores that it wanted to fold, meaning that it was random (program order) which one survived. This meant that aliasing information would be sometimes propagated from inlined-restrict functions, when it should not be.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D73342

Files:
  llvm/lib/Transforms/Scalar/EarlyCSE.cpp
  llvm/test/Transforms/EarlyCSE/aliasing.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73342.240151.patch
Type: text/x-patch
Size: 3452 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200124/32fe41b3/attachment.bin>