mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-12-13 22:58:50 +00:00
7a368427db
Summary: Third part in series to support Safe Whole Program Devirtualization Enablement, see RFC here: http://lists.llvm.org/pipermail/llvm-dev/2019-December/137543.html This patch adds type test metadata under -fwhole-program-vtables, even for classes without hidden visibility. It then changes WPD to skip devirtualization for a virtual function call when any of the compatible vtables has public vcall visibility. Additionally, internal LLVM options as well as lld and gold-plugin options are added which enable upgrading all public vcall visibility to linkage unit (hidden) visibility during LTO. This enables the more aggressive WPD to kick in based on LTO time knowledge of the visibility guarantees. Support was added to all flavors of LTO WPD (regular, hybrid and index-only), and to both the new and old LTO APIs. Unfortunately it was not simple to split the first and second parts of this part of the change (the unconditional emission of type tests and the upgrading of the vcall visiblity) as I needed a way to upgrade the public visibility on legacy WPD llvm assembly tests that don't include linkage unit vcall visibility specifiers, to avoid a lot of test churn. I also added a mechanism to LowerTypeTests that allows dropping type test assume sequences we now aggressively insert when we invoke distributed ThinLTO backends with null indexes, which is used in testing mode, and which doesn't invoke the normal ThinLTO backend pipeline. Depends on D71907 and D71911. Reviewers: pcc, evgeny777, steven_wu, espindola Subscribers: emaste, Prazek, inglorion, arichardson, hiraditya, MaskRay, dexonsmith, dang, davidxl, cfe-commits, llvm-commits Tags: #clang, #llvm Differential Revision: https://reviews.llvm.org/D71913 |
||
|---|---|---|
| .. | ||
| Inputs | ||
| bad-read-from-vtable.ll | ||
| branch-funnel-threshold.ll | ||
| branch-funnel.ll | ||
| constant-arg.ll | ||
| devirt-single-impl-check.ll | ||
| devirt-single-impl.ll | ||
| expand-check.ll | ||
| export-nothing.ll | ||
| export-single-impl.ll | ||
| export-uniform-ret-val.ll | ||
| export-unique-ret-val.ll | ||
| export-unsuccessful-checked.ll | ||
| export-vcp.ll | ||
| import-indir.ll | ||
| import-no-dominating-assume.ll | ||
| import.ll | ||
| non-constant-vtable.ll | ||
| pointer-vtable.ll | ||
| soa-vtable.ll | ||
| struct-vtable.ll | ||
| uniform-retval-invoke.ll | ||
| uniform-retval.ll | ||
| unique-retval.ll | ||
| vcp-accesses-memory.ll | ||
| vcp-decl.ll | ||
| vcp-no-this.ll | ||
| vcp-non-constant-arg.ll | ||
| vcp-too-wide-ints.ll | ||
| vcp-type-mismatch.ll | ||
| vcp-uses-this.ll | ||
| virtual-const-prop-begin.ll | ||
| virtual-const-prop-check.ll | ||
| virtual-const-prop-end.ll | ||
| vtable-decl.ll | ||