[PATCH] D76294: [PowerPC][Future] Add initial support for PC Relative addressing to get block address

[Victor Huang via Phabricator via llvm-commits]

NeHuang created this revision.
NeHuang added reviewers: hfinkel, nemanjai, stefanp, lei, power-llvm-team.
NeHuang added a project: LLVM.
Herald added subscribers: llvm-commits, shchenz, kbarton, hiraditya.
NeHuang retitled this revision from "[PowerPC][Future] Add initial support for PC Relative addressing to get block address base address" to "[PowerPC][Future] Add initial support for PC Relative addressing to get block address ".
Herald added a subscriber: wuzish.

Add initial support for PCRelative addressing to get block address instead of using TOC.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D76294

Files:
  llvm/lib/Target/PowerPC/PPCISelLowering.cpp
  llvm/test/CodeGen/PowerPC/block-address.ll


Index: llvm/test/CodeGen/PowerPC/block-address.ll
===================================================================
--- /dev/null
+++ llvm/test/CodeGen/PowerPC/block-address.ll
@@ -0,0 +1,17 @@
+; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
+; RUN:   -mcpu=future -ppc-asm-full-reg-names < %s | FileCheck %s \
+; RUN:   --check-prefix=CHECK
+define dso_local void @blockaddress() {
+; CHECK-LABEL: blockaddress:
+; CHECK:       # %bb.0: # %entry
+; CHECK:       paddi r3, 0, .Ltmp0 at PCREL, 1
+; CHECK:       bl helper at notoc
+entry:
+  tail call void @helper(i8* blockaddress(@blockaddress, %label))
+  br label %label
+
+label:                                            ; preds = %entry
+  ret void
+}
+
+declare void @helper(i8*)
Index: llvm/lib/Target/PowerPC/PPCISelLowering.cpp
===================================================================
--- llvm/lib/Target/PowerPC/PPCISelLowering.cpp
+++ llvm/lib/Target/PowerPC/PPCISelLowering.cpp
@@ -2553,7 +2553,9 @@
   bool Global = GSDN && GSDN->getTargetFlags() == PPCII::MO_PCREL_FLAG;
   JumpTableSDNode *JT = dyn_cast<JumpTableSDNode>(N.getNode());
   bool JumpTable = JT && JT->getTargetFlags() == PPCII::MO_PCREL_FLAG;
-  if (ConstPool || Global || JumpTable) {
+  BlockAddressSDNode *BASDN = dyn_cast<BlockAddressSDNode>(N.getNode());
+  bool BlockAddress = BASDN && BASDN->getTargetFlags() == PPCII::MO_PCREL_FLAG;
+  if (ConstPool || Global || JumpTable || BlockAddress) {
     Base = N;
     return true;
   }
@@ -2890,6 +2892,13 @@
   // 64-bit SVR4 ABI and AIX ABI code are always position-independent.
   // The actual BlockAddress is stored in the TOC.
   if (Subtarget.is64BitELFABI() || Subtarget.isAIXABI()) {
+    if (Subtarget.hasPCRelativeMemops()) {
+      SDLoc DL(BASDN);
+      EVT Ty = getPointerTy(DAG.getDataLayout());
+      SDValue GA = DAG.getTargetBlockAddress(BA, Ty, BASDN->getOffset(),
+                                             PPCII::MO_PCREL_FLAG);
+      return DAG.getNode(PPCISD::MAT_PCREL_ADDR, DL, Ty, GA);
+    }
     setUsesTOCBasePtr(DAG);
     SDValue GA = DAG.getTargetBlockAddress(BA, PtrVT, BASDN->getOffset());
     return getTOCEntry(DAG, SDLoc(BASDN), GA);


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76294.250797.patch
Type: text/x-patch
Size: 2195 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200317/7ee165de/attachment.bin>