Magic-Mirror/llvm-capstone
1
0
Fork 0
mirror of https://github.com/capstone-engine/llvm-capstone.git synced 2024-11-27 15:41:46 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Linker: Avoid scheduling the link of a global value twice due to an alias

Browse Source 
3d4f3a0da9 (https://reviews.llvm.org/D20586) avoided rescheduling
a global value that was materialized first through a regular value, and
then again through an alias. This commit catches the dual, avoiding
rescheduling when the global value is first materialized through an
alias.

Differential Revision: https://reviews.llvm.org/D101419
Radar-Id: rdar://75752728
This commit is contained in:
Duncan P. N. Exon Smith 2021-04-27 18:02:22 -07:00
parent 0cc3e10f5e
commit 9131a07890
2 changed files with 20 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
llvm/lib/Linker/IRMover.cpp
View File

@ -610,15 +610,16 @@ Value *IRLinker::materialize(Value *V, bool ForIndirectSymbol) {
return New;
}
// When linking a global for an indirect symbol, it will always be linked.
// However we need to check if it was not already scheduled to satisfy a
// reference from a regular global value initializer. We know if it has been
// schedule if the "New" GlobalValue that is mapped here for the indirect
// symbol is the same as the one already mapped. If there is an entry in the
// If the global is being linked for an indirect symbol, it may have already
// been scheduled to satisfy a regular symbol. Similarly, a global being linked
// for a regular symbol may have already been scheduled for an indirect
// symbol. Check for these cases by looking in the other value map and
// confirming the same value has been scheduled. If there is an entry in the
// ValueMap but the value is different, it means that the value already had a
// definition in the destination module (linkonce for instance), but we need a
// new definition for the indirect symbol ("New" will be different.
if (ForIndirectSymbol && ValueMap.lookup(SGV) == New)
// new definition for the indirect symbol ("New" will be different).
if ((ForIndirectSymbol && ValueMap.lookup(SGV) == New) ||
(!ForIndirectSymbol && IndirectSymbolValueMap.lookup(SGV) == New))
return New;
if (ForIndirectSymbol || shouldLink(New, *SGV))

12
llvm/test/Linker/alias-4.ll Normal file
View File

@ -0,0 +1,12 @@
; RUN: llvm-link %s -S -o - | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.9"
; CHECK-DAG: @gv0 = constant i64* @alias
; CHECK-DAG: @gv1 = constant i64 ptrtoint (i64* @gv1 to i64)
; CHECK-DAG: @alias = alias i64, i64* @gv1
@gv0 = constant i64* @alias
@gv1 = constant i64 ptrtoint (i64* @gv1 to i64)
@alias = alias i64, i64* @gv1