[PATCH] D77421: [WPD] Avoid noalias assumptions in unique return value optimization

[Bob Haarman via Phabricator via llvm-commits]

inglorion created this revision.
inglorion added reviewers: tejohnson, pcc.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.

Changes the type of the @__typeid_.*_unique_member imports we generate
for unique return value optimization from i8 to [0 x i8]. This
prevents assuming that these imports do not alias, such as when
two unique return values occur in the same vtable.

Fixes PR45393.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D77421

Files:
  llvm/lib/Transforms/IPO/WholeProgramDevirt.cpp
  llvm/test/Transforms/WholeProgramDevirt/Inputs/unique-retval-same-vtable.yaml
  llvm/test/Transforms/WholeProgramDevirt/import.ll
  llvm/test/Transforms/WholeProgramDevirt/unique-retval-same-vtable.ll
  llvm/test/Transforms/WholeProgramDevirt/unique-retval.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77421.254868.patch
Type: text/x-patch
Size: 9955 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200403/934754c5/attachment-0001.bin>