diff options
| author | Hans Wennborg <hans@hanshq.net> | 2017-09-14 00:40:14 +0000 |
|---|---|---|
| committer | Hans Wennborg <hans@hanshq.net> | 2017-09-14 00:40:14 +0000 |
| commit | ae050afeb9b15d98b6a6b11de28431eee2bb0857 (patch) | |
| tree | 24b945505bbc59b3af348d8b6a7a5cf84a2d7a24 | |
| parent | 3568319679b295696fd1b76b9c4ec206496a0c8c (diff) | |
| download | bcm5719-llvm-ae050afeb9b15d98b6a6b11de28431eee2bb0857.tar.gz bcm5719-llvm-ae050afeb9b15d98b6a6b11de28431eee2bb0857.zip | |
Revert r313157 "ThinLTO: Correctly follow aliasee references when dead stripping."
This broke Chromium's CFI build; see crbug.com/765004.
> We were previously handling aliases during dead stripping by adding
> the aliased global's "original name" GUID to the worklist. This will
> lead to incorrect behaviour if the global has local linkage because
> the original name GUID will not correspond to the global's GUID in
> the summary.
>
> Because an alias is just another name for the global that it
> references, there is no need to mark the referenced global as used,
> or to follow references from any other copies of the global. So all
> we need to do is to follow references from the aliasee's summary
> instead of the alias.
>
> Differential Revision: https://reviews.llvm.org/D37789
llvm-svn: 313222
| -rw-r--r-- | llvm/lib/Transforms/IPO/FunctionImport.cpp | 13 | ||||
| -rw-r--r-- | llvm/test/LTO/Resolution/X86/Inputs/dead-strip-alias.ll | 4 | ||||
| -rw-r--r-- | llvm/test/LTO/Resolution/X86/dead-strip-alias.ll | 20 |
3 files changed, 8 insertions, 29 deletions
diff --git a/llvm/lib/Transforms/IPO/FunctionImport.cpp b/llvm/lib/Transforms/IPO/FunctionImport.cpp index b043687f898..da763b18d4d 100644 --- a/llvm/lib/Transforms/IPO/FunctionImport.cpp +++ b/llvm/lib/Transforms/IPO/FunctionImport.cpp @@ -488,14 +488,17 @@ void llvm::computeDeadSymbols( while (!Worklist.empty()) { auto VI = Worklist.pop_back_val(); for (auto &Summary : VI.getSummaryList()) { - GlobalValueSummary *Base = Summary.get(); - if (auto *AS = dyn_cast<AliasSummary>(Base)) - Base = &AS->getAliasee(); - for (auto Ref : Base->refs()) + for (auto Ref : Summary->refs()) visit(Ref); - if (auto *FS = dyn_cast<FunctionSummary>(Base)) + if (auto *FS = dyn_cast<FunctionSummary>(Summary.get())) for (auto Call : FS->calls()) visit(Call.first); + if (auto *AS = dyn_cast<AliasSummary>(Summary.get())) { + auto AliaseeGUID = AS->getAliasee().getOriginalName(); + ValueInfo AliaseeVI = Index.getValueInfo(AliaseeGUID); + if (AliaseeVI) + visit(AliaseeVI); + } } } Index.setWithGlobalValueDeadStripping(); diff --git a/llvm/test/LTO/Resolution/X86/Inputs/dead-strip-alias.ll b/llvm/test/LTO/Resolution/X86/Inputs/dead-strip-alias.ll deleted file mode 100644 index 16154d2c45b..00000000000 --- a/llvm/test/LTO/Resolution/X86/Inputs/dead-strip-alias.ll +++ /dev/null @@ -1,4 +0,0 @@ -target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" -target triple = "x86_64-unknown-linux-gnu" - -@external = global i8 42 diff --git a/llvm/test/LTO/Resolution/X86/dead-strip-alias.ll b/llvm/test/LTO/Resolution/X86/dead-strip-alias.ll deleted file mode 100644 index d009a484e4f..00000000000 --- a/llvm/test/LTO/Resolution/X86/dead-strip-alias.ll +++ /dev/null @@ -1,20 +0,0 @@ -; RUN: opt -module-summary -o %t %s -; RUN: opt -module-summary -o %t2 %S/Inputs/dead-strip-alias.ll -; RUN: llvm-lto2 run %t -r %t,main,px -r %t,alias,p -r %t,external, \ -; RUN: %t2 -r %t2,external,p \ -; RUN: -save-temps -o %t3 -; RUN: llvm-nm %t3.1 | FileCheck %s - -; CHECK: D external - -target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" -target triple = "x86_64-unknown-linux-gnu" - -@alias = alias i8*, i8** @internal - -@internal = internal global i8* @external -@external = external global i8 - -define i8** @main() { - ret i8** @alias -} |

