[ELF/AARCH64] - Implemented R_AARCH64_TSTBR14 relocation.

R_AARCH64_TSTBR14 is calculated as S+A-P,
Set the immediate field of a TBZ/TBNZ instruction to bits [15:2] of X; check -2^15 ≤ X < 2^15

Differential revision: http://reviews.llvm.org/D15824

llvm-svn: 257334

3 files changed, 115 insertions, 0 deletions

diff --git a/lld/ELF/Target.cpp b/lld/ELF/Target.cpp
index 2d09e48e995..cf0f61c156c 100644
--- a/lld/ELF/Target.cpp
+++ b/lld/ELF/Target.cpp
@@ -1225,6 +1225,7 @@ bool AArch64TargetInfo::relocNeedsPlt(uint32_t Type,
   case R_AARCH64_CALL26:
   case R_AARCH64_CONDBR19:
   case R_AARCH64_JUMP26:
+  case R_AARCH64_TSTBR14:
     return canBePreempted(&S, true);
   }
 }
@@ -1320,6 +1321,12 @@ void AArch64TargetInfo::relocateOne(uint8_t *Loc, uint8_t *BufEnd,
   case R_AARCH64_PREL64:
     write64le(Loc, SA - P);
     break;
+  case R_AARCH64_TSTBR14: {
+    uint64_t X = SA - P;
+    checkInt<16>(X, Type);
+    or32le(Loc, (X & 0xFFFC) << 3);
+    break;
+  }
   default:
     error("unrecognized reloc " + Twine(Type));
   }
diff --git a/lld/test/ELF/Inputs/aarch64-tstbr14-reloc.s b/lld/test/ELF/Inputs/aarch64-tstbr14-reloc.s
new file mode 100644
index 00000000000..64dc4403384
--- /dev/null
+++ b/lld/test/ELF/Inputs/aarch64-tstbr14-reloc.s
@@ -0,0 +1,12 @@
+.globl _foo
+_foo:
+ nop
+ nop
+ nop
+ nop
+
+.globl _bar
+_bar:
+ nop
+ nop
+ nop
diff --git a/lld/test/ELF/aarch64-tstbr14-reloc.s b/lld/test/ELF/aarch64-tstbr14-reloc.s
new file mode 100644
index 00000000000..1dc1bdf3c09
--- /dev/null
+++ b/lld/test/ELF/aarch64-tstbr14-reloc.s
@@ -0,0 +1,96 @@
+# RUN: llvm-mc -filetype=obj -triple=aarch64-unknown-freebsd %p/Inputs/aarch64-tstbr14-reloc.s -o %t1
+# RUN: llvm-mc -filetype=obj -triple=aarch64-unknown-freebsd %s -o %t2
+# RUN: ld.lld %t1 %t2 -o %t
+# RUN: llvm-objdump -d %t | FileCheck %s
+# RUN: ld.lld -shared %t1 %t2 -o %t3
+# RUN: llvm-objdump -d %t3 | FileCheck -check-prefix=DSO %s
+# RUN: llvm-readobj -s -r %t3 | FileCheck -check-prefix=DSOREL %s
+# REQUIRES: aarch64
+
+# 0x1101c - 28 = 0x11000
+# 0x11020 - 16 = 0x11010
+# 0x11024 - 36 = 0x11000
+# 0x11028 - 24 = 0x11010
+# CHECK:      Disassembly of section .text:
+# CHECK-NEXT: _foo:
+# CHECK-NEXT:  11000: {{.*}} nop
+# CHECK-NEXT:  11004: {{.*}} nop
+# CHECK-NEXT:  11008: {{.*}} nop
+# CHECK-NEXT:  1100c: {{.*}} nop
+# CHECK:      _bar:
+# CHECK-NEXT:  11010: {{.*}} nop
+# CHECK-NEXT:  11014: {{.*}} nop
+# CHECK-NEXT:  11018: {{.*}} nop
+# CHECK:      _start:
+# CHECK-NEXT:  1101c: {{.*}} tbnz w3, #15, #-28
+# CHECK-NEXT:  11020: {{.*}} tbnz w3, #15, #-16
+# CHECK-NEXT:  11024: {{.*}} tbz x6, #45, #-36
+# CHECK-NEXT:  11028: {{.*}} tbz x6, #45, #-24
+
+#DSOREL:      Section {
+#DSOREL:        Index:
+#DSOREL:        Name: .got.plt
+#DSOREL-NEXT:   Type: SHT_PROGBITS
+#DSOREL-NEXT:   Flags [
+#DSOREL-NEXT:     SHF_ALLOC
+#DSOREL-NEXT:     SHF_WRITE
+#DSOREL-NEXT:   ]
+#DSOREL-NEXT:   Address: 0x3000
+#DSOREL-NEXT:   Offset: 0x3000
+#DSOREL-NEXT:   Size: 40
+#DSOREL-NEXT:   Link: 0
+#DSOREL-NEXT:   Info: 0
+#DSOREL-NEXT:   AddressAlignment: 8
+#DSOREL-NEXT:   EntrySize: 0
+#DSOREL-NEXT:  }
+#DSOREL:      Relocations [
+#DSOREL-NEXT:  Section ({{.*}}) .rela.plt {
+#DSOREL-NEXT:    0x3018 R_AARCH64_JUMP_SLOT _foo
+#DSOREL-NEXT:    0x3020 R_AARCH64_JUMP_SLOT _bar
+#DSOREL-NEXT:  }
+#DSOREL-NEXT:]
+
+#DSO:      Disassembly of section .text:
+#DSO-NEXT: _foo:
+#DSO-NEXT:  1000: {{.*}} nop
+#DSO-NEXT:  1004: {{.*}} nop
+#DSO-NEXT:  1008: {{.*}} nop
+#DSO-NEXT:  100c: {{.*}} nop
+#DSO:      _bar:
+#DSO-NEXT:  1010: {{.*}} nop
+#DSO-NEXT:  1014: {{.*}} nop
+#DSO-NEXT:  1018: {{.*}} nop
+#DSO:      _start:
+# 0x101c + 52 = 0x1050 = PLT[1]
+# 0x1020 + 64 = 0x1060 = PLT[2]
+# 0x1024 + 44 = 0x1050 = PLT[1]
+# 0x1028 + 56 = 0x1060 = PLT[2]
+#DSO-NEXT:  101c: {{.*}} tbnz w3, #15, #52
+#DSO-NEXT:  1020: {{.*}} tbnz w3, #15, #64
+#DSO-NEXT:  1024: {{.*}} tbz x6, #45, #44
+#DSO-NEXT:  1028: {{.*}} tbz x6, #45, #56
+#DSO-NEXT: Disassembly of section .plt:
+#DSO-NEXT: .plt:
+#DSO-NEXT:  1030: {{.*}} stp x16, x30, [sp, #-16]!
+#DSO-NEXT:  1034: {{.*}} adrp x16, #8192
+#DSO-NEXT:  1038: {{.*}} ldr x17, [x16, #16]
+#DSO-NEXT:  103c: {{.*}} add x16, x16, #16
+#DSO-NEXT:  1040: {{.*}} br x17
+#DSO-NEXT:  1044: {{.*}} nop
+#DSO-NEXT:  1048: {{.*}} nop
+#DSO-NEXT:  104c: {{.*}} nop
+#DSO-NEXT:  1050: {{.*}} adrp x16, #8192
+#DSO-NEXT:  1054: {{.*}} ldr x17, [x16, #24]
+#DSO-NEXT:  1058: {{.*}} add x16, x16, #24
+#DSO-NEXT:  105c: {{.*}} br x17
+#DSO-NEXT:  1060: {{.*}} adrp x16, #8192
+#DSO-NEXT:  1064: {{.*}} ldr x17, [x16, #32]
+#DSO-NEXT:  1068: {{.*}} add x16, x16, #32
+#DSO-NEXT:  106c: {{.*}} br x17
+
+.globl _start
+_start:
+ tbnz w3, #15, _foo
+ tbnz w3, #15, _bar
+ tbz x6, #45, _foo
+ tbz x6, #45, _bar