[all-commits] [llvm/llvm-project] cc5c58: [WPD] Avoid noalias assumptions in unique return v...

[inglorion via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: cc5c58889ec624461d41bdd0366ee88cf2805564
      https://github.com/llvm/llvm-project/commit/cc5c58889ec624461d41bdd0366ee88cf2805564
  Author: Bob Haarman <llvm at inglorion.net>
  Date:   2020-04-16 (Thu, 16 Apr 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/WholeProgramDevirt.cpp
    A llvm/test/Transforms/WholeProgramDevirt/Inputs/unique-retval-same-vtable.yaml
    M llvm/test/Transforms/WholeProgramDevirt/import.ll
    A llvm/test/Transforms/WholeProgramDevirt/unique-retval-same-vtable.ll
    M llvm/test/Transforms/WholeProgramDevirt/unique-retval.ll

  Log Message:
  -----------
  [WPD] Avoid noalias assumptions in unique return value optimization

Summary:
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.

Reviewers: tejohnson, pcc

Reviewed By: pcc

Subscribers: aganea, hiraditya, rnk, george.burgess.iv, dblaikie, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D77421