mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-20 19:42:54 +02:00
5ece3a7510
Most of the PowerPC64 code generation for the ELF ABI is already PIC. There are four main exceptions: (1) Constant pointer arrays etc. should in writeable sections. (2) The TOC restoration NOP after a call is needed for all global symbols. While GNU ld has a workaround for questionable GCC self-calls, we trigger the checks for calls from COMDAT sections as they cross input sections and are therefore not considered self-calls. The current decision is questionable and suboptimal, but outside the scope of the change. (3) TLS access can not use the initial-exec model. (4) Jump tables should use relative addresses. Note that the current encoding doesn't work for the large code model, but it is more compact than the default for any non-trivial jump table. Improving this is again beyond the scope of this change. At least (1) and (3) are assumptions made in target-independent code and introducing additional hooks is a bit messy. Testing with clang shows that a -fPIC binary is 600KB smaller than the corresponding -fno-pic build. Separate testing from improved jump table encodings would explain only about 100KB or so. The rest is expected to be a result of more aggressive immediate forming for -fno-pic, where the -fPIC binary just uses TOC entries. This change brings the LLVM output in line with the GCC output, other PPC64 compilers like XLC on AIX are known to produce PIC by default as well. The relocation model can still be provided explicitly, i.e. when using MCJIT. One test case for case (1) is included, other test cases with relocation mode sensitive behavior are wired to static for now. They will be reviewed and adjusted separately. Differential Revision: https://reviews.llvm.org/D26566 llvm-svn: 289743
89 lines
2.3 KiB
LLVM
89 lines
2.3 KiB
LLVM
; RUN: llc -relocation-model=static -verify-machineinstrs < %s -march=ppc64 -mcpu=pwr7 | FileCheck %s
|
|
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
|
|
define void @foo() nounwind noinline {
|
|
ret void
|
|
}
|
|
|
|
define weak void @foo_weak() nounwind {
|
|
ret void
|
|
}
|
|
|
|
; Calls to local function does not require the TOC restore 'nop'
|
|
define void @test_direct() nounwind readnone {
|
|
; CHECK-LABEL: test_direct:
|
|
tail call void @foo() nounwind
|
|
; Because of tail call optimization, it can be 'b' instruction.
|
|
; CHECK: [[BR:b[l]?]] foo
|
|
; CHECK-NOT: nop
|
|
ret void
|
|
}
|
|
|
|
; Calls to weak function requires a TOC restore 'nop' because they
|
|
; may be overridden in a different module.
|
|
define void @test_weak() nounwind readnone {
|
|
; CHECK-LABEL: test_weak:
|
|
tail call void @foo_weak() nounwind
|
|
; CHECK: bl foo
|
|
; CHECK-NEXT: nop
|
|
ret void
|
|
}
|
|
|
|
; Indirect calls requires a full stub creation
|
|
define void @test_indirect(void ()* nocapture %fp) nounwind {
|
|
; CHECK-LABEL: test_indirect:
|
|
tail call void %fp() nounwind
|
|
; CHECK: ld [[FP:[0-9]+]], 0(3)
|
|
; CHECK: ld 11, 16(3)
|
|
; CHECK: ld 2, 8(3)
|
|
; CHECK-NEXT: mtctr [[FP]]
|
|
; CHECK-NEXT: bctrl
|
|
; CHECK-NEXT: ld 2, 40(1)
|
|
ret void
|
|
}
|
|
|
|
; Absolute values must use the regular indirect call sequence
|
|
; The main purpose of this test is to ensure that BLA is not
|
|
; used on 64-bit SVR4 (as e.g. on Darwin).
|
|
define void @test_abs() nounwind {
|
|
; CHECK-LABEL: test_abs:
|
|
tail call void inttoptr (i64 1024 to void ()*)() nounwind
|
|
; CHECK: ld [[FP:[0-9]+]], 1024(0)
|
|
; CHECK: ld 11, 1040(0)
|
|
; CHECK: ld 2, 1032(0)
|
|
; CHECK-NEXT: mtctr [[FP]]
|
|
; CHECK-NEXT: bctrl
|
|
; CHECK-NEXT: ld 2, 40(1)
|
|
ret void
|
|
}
|
|
|
|
declare double @sin(double) nounwind
|
|
|
|
; External functions call should also have a 'nop'
|
|
define double @test_external(double %x) nounwind {
|
|
; CHECK-LABEL: test_external:
|
|
%call = tail call double @sin(double %x) nounwind
|
|
; CHECK: bl sin
|
|
; CHECK-NEXT: nop
|
|
ret double %call
|
|
}
|
|
|
|
; The 'ld 2, 40(1)' really must always come directly after the bctrl to make
|
|
; the unwinding code in libgcc happy.
|
|
@g = external global void ()*
|
|
declare void @h(i64)
|
|
define void @test_indir_toc_reload(i64 %x) {
|
|
%1 = load void ()*, void ()** @g
|
|
call void %1()
|
|
call void @h(i64 %x)
|
|
ret void
|
|
|
|
; CHECK-LABEL: @test_indir_toc_reload
|
|
; CHECK: bctrl
|
|
; CHECK-NEXT: ld 2, 40(1)
|
|
; CHECK: blr
|
|
}
|
|
|