[llvm] e396681 - [test] Improve R_AARCH64_PLT32 and R_AARCH64_GOTPCREL32 tests

[Fangrui Song via llvm-commits]

Author: Fangrui Song
Date: 2025-03-23T11:41:12-07:00
New Revision: e3966814d55905dcd3aaac1b60d81ff1d686f627

URL: https://github.com/llvm/llvm-project/commit/e3966814d55905dcd3aaac1b60d81ff1d686f627
DIFF: https://github.com/llvm/llvm-project/commit/e3966814d55905dcd3aaac1b60d81ff1d686f627.diff

LOG: [test] Improve R_AARCH64_PLT32 and R_AARCH64_GOTPCREL32 tests

Added: 
    llvm/test/MC/AArch64/data-directive-specifier.s

Modified: 
    

Removed: 
    llvm/test/MC/AArch64/elf-reloc-gotpcrel32.s
    llvm/test/MC/AArch64/elf-reloc-plt32.s


################################################################################
diff  --git a/llvm/test/MC/AArch64/data-directive-specifier.s b/llvm/test/MC/AArch64/data-directive-specifier.s
new file mode 100644
index 0000000000000..3a8665126097a
--- /dev/null
+++ b/llvm/test/MC/AArch64/data-directive-specifier.s
@@ -0,0 +1,44 @@
+# RUN: llvm-mc -triple=aarch64 -filetype=obj %s | llvm-readobj -r - | FileCheck %s
+# RUN: not llvm-mc -triple=aarch64 -filetype=obj %s --defsym ERR=1 -o /dev/null 2>&1 | FileCheck %s --check-prefix=ERR --implicit-check-not=error:
+
+.globl g
+g:
+l:
+
+# CHECK:      Section ({{.*}}) .rela.data {
+# CHECK-NEXT:   0x0 R_AARCH64_PLT32 l 0x0
+# CHECK-NEXT:   0x4 R_AARCH64_PLT32 l 0x4
+# CHECK-NEXT:   0x8 R_AARCH64_PLT32 extern 0x4
+# CHECK-NEXT:   0xC R_AARCH64_PLT32 g 0x8
+# CHECK-NEXT:   0x10 R_AARCH64_PLT32 g 0x18
+# CHECK-NEXT: }
+.data
+.word l at plt - .
+.word l at plt - .data
+
+.word extern at plt - . + 4
+.word g at plt - . + 8
+.word g at plt - .data + 8
+
+# CHECK:      Section ({{.*}}) .rela.data1 {
+# CHECK-NEXT:   0x0 R_AARCH64_GOTPCREL32 data1 0x0
+# CHECK-NEXT:   0x4 R_AARCH64_GOTPCREL32 extern 0x4
+# CHECK-NEXT:    0x8 R_AARCH64_GOTPCREL32 extern 0xFFFFFFFFFFFFFFFB
+# CHECK-NEXT: }
+.section .data1,"aw"
+data1:
+.word data1 at GOTPCREL
+.word extern at gotpcrel+4
+.word extern at GOTPCREL-5
+
+.ifdef ERR
+# ERR: [[#@LINE+1]]:7: error: symbol 'und' can not be undefined in a subtraction expression
+.word extern at plt - und
+
+.quad g at plt - .
+
+.word extern at gotpcrel - .
+
+# ERR: [[#@LINE+1]]:7: error: symbol 'und' can not be undefined in a subtraction expression
+.word extern at gotpcrel - und
+.endif

diff  --git a/llvm/test/MC/AArch64/elf-reloc-gotpcrel32.s b/llvm/test/MC/AArch64/elf-reloc-gotpcrel32.s
deleted file mode 100644
index afbcaad9e1dfd..0000000000000
--- a/llvm/test/MC/AArch64/elf-reloc-gotpcrel32.s
+++ /dev/null
@@ -1,14 +0,0 @@
-// RUN: llvm-mc -triple=aarch64 -filetype=obj %s -o - | \
-// RUN:   llvm-readobj -r - | FileCheck %s
-
-        .section .data
-this:
-        .word this at GOTPCREL
-        .word extern_sym at GOTPCREL+4
-        .word negative_offset at GOTPCREL-4
-
-// CHECK:      Section ({{.*}}) .rela.data
-// CHECK-NEXT:   0x0 R_AARCH64_GOTPCREL32 this 0x0
-// CHECK-NEXT:   0x4 R_AARCH64_GOTPCREL32 extern_sym 0x4
-// CHECK-NEXT:   0x8 R_AARCH64_GOTPCREL32 negative_offset 0xFFFFFFFFFFFFFFFC
-// CHECK-NEXT: }

diff  --git a/llvm/test/MC/AArch64/elf-reloc-plt32.s b/llvm/test/MC/AArch64/elf-reloc-plt32.s
deleted file mode 100644
index fdf603ffe3bae..0000000000000
--- a/llvm/test/MC/AArch64/elf-reloc-plt32.s
+++ /dev/null
@@ -1,14 +0,0 @@
-// RUN: llvm-mc -triple=aarch64 -filetype=obj %s -o - | \
-// RUN:   llvm-readobj -r - | FileCheck %s
-.globl func
-func:
-
-        .section .data
-this:
-        .word extern_func at PLT - this + 4
-        .word func at plt - . + 8
-
-// CHECK:      Section ({{.*}}) .rela.data
-// CHECK-NEXT:   0x0 R_AARCH64_PLT32 extern_func 0x4
-// CHECK-NEXT:   0x4 R_AARCH64_PLT32 func 0x8
-// CHECK-NEXT: }