[PowerPC] Fix label address calculation for ppc32

This patch fixes calculating address of label on ppc32 (for -fPIC).

Differential Revision: https://reviews.llvm.org/D46582

llvm-svn: 335043
This commit is contained in:
Strahinja Petrovic 2018-06-19 13:07:40 +00:00
parent 84529ae281
commit f9eee9f1c7
2 changed files with 48 additions and 3 deletions

View File

@ -2581,10 +2581,11 @@ SDValue PPCTargetLowering::LowerBlockAddress(SDValue Op,
// 64-bit SVR4 ABI code is always position-independent. // 64-bit SVR4 ABI code is always position-independent.
// The actual BlockAddress is stored in the TOC. // The actual BlockAddress is stored in the TOC.
if (Subtarget.isSVR4ABI() && Subtarget.isPPC64()) { if (Subtarget.isSVR4ABI() && isPositionIndependent()) {
setUsesTOCBasePtr(DAG); if (Subtarget.isPPC64())
setUsesTOCBasePtr(DAG);
SDValue GA = DAG.getTargetBlockAddress(BA, PtrVT, BASDN->getOffset()); SDValue GA = DAG.getTargetBlockAddress(BA, PtrVT, BASDN->getOffset());
return getTOCEntry(DAG, SDLoc(BASDN), true, GA); return getTOCEntry(DAG, SDLoc(BASDN), Subtarget.isPPC64(), GA);
} }
unsigned MOHiFlag, MOLoFlag; unsigned MOHiFlag, MOLoFlag;

View File

@ -0,0 +1,44 @@
; RUN: llc < %s -mtriple=powerpc-unknown-linux-gnu -relocation-model=pic | FileCheck %s
; unsigned int foo(void) {
; return 0;
; }
;
; int main() {
; L: __attribute__ ((unused));
; static const unsigned int arr[] =
; {
; (unsigned int) &&x - (unsigned int)&&L ,
; (unsigned int) &&y - (unsigned int)&&L
; };
;
; unsigned int ret = foo();
; void* g = (void *) ((unsigned int)&&L + arr[ret]);
; goto *g;
;
; x:
; return 15;
; y:
; return 25;
; }
define i32 @foo() local_unnamed_addr {
entry:
ret i32 0
}
define i32 @main() {
entry:
br label %L
L: ; preds = %L, %entry
indirectbr i8* inttoptr (i32 add (i32 ptrtoint (i8* blockaddress(@main, %L) to i32), i32 sub (i32 ptrtoint (i8* blockaddress(@main, %return) to i32), i32 ptrtoint (i8* blockaddress(@main, %L) to i32))) to i8*), [label %return, label %L]
return: ; preds = %L
ret i32 15
}
; CHECK: lwz 3, .LC0-.LTOC(30)
; CHECK-NOT: li 3, .Ltmp1-.L1$pb@l
; CHECK-NOT: addis 4, 30, .Ltmp1-.L1$pb@ha