mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-11-05 13:09:10 +00:00
3fd7e37b34
There is a fundamental difference between how the gold API and lib/LTO view the LTO process. The gold API talks about a particular symbol in a particular file. The lib/LTO API talks about a symbol in the merged module. The merged module is then defined in terms of the IR semantics. In particular, a linkonce_odr GV is only copied if it is used, since it is valid to drop unused linkonce_odr GVs. In the testcase in pr19901 both properties collide. What happens is that gold asks us to keep a particular linkonce_odr symbol, but the IR linker doesn't copy it to the merged module and we never have a chance to ask lib/LTO to keep it. This patch fixes it by having a more direct implementation of the gold API. If it asks us to keep a symbol, we change the linkage so it is not linkonce. If it says we can drop a symbol, we do so. All of this before we even send the module to lib/Linker. Since now we don't have to produce LTO_SYMBOL_SCOPE_DEFAULT_CAN_BE_HIDDEN, during symbol resolution we can use a temporary LLVMContext and do lazy module loading. This allows us to keep the minimum possible amount of allocated memory around. This should also allow as much parallelism as we want, since there is no shared context. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@216215 91177308-0d34-0410-b5e6-96231b3b80d8
18 lines
431 B
LLVM
18 lines
431 B
LLVM
; RUN: llc %s -o %t.o -filetype=obj -relocation-model=pic
|
|
; RUN: llvm-as %p/Inputs/pr19901-1.ll -o %t2.o
|
|
; RUN: ld -shared -o %t.so -plugin %llvmshlibdir/LLVMgold.so %t2.o %t.o
|
|
; RUN: llvm-objdump -d -symbolize %t.so | FileCheck %s
|
|
|
|
; CHECK: g:
|
|
; CHECK-NEXT: push
|
|
; CHECK-NEXT: callq f
|
|
|
|
target triple = "x86_64-unknown-linux-gnu"
|
|
define i32 @g() {
|
|
call void @f()
|
|
ret i32 0
|
|
}
|
|
define linkonce_odr hidden void @f() {
|
|
ret void
|
|
}
|