diff options
Diffstat (limited to 'test/ELF/aarch64-undefined-weak.s')
| -rw-r--r-- | test/ELF/aarch64-undefined-weak.s | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/ELF/aarch64-undefined-weak.s b/test/ELF/aarch64-undefined-weak.s new file mode 100644 index 0000000000000..74fef669ed74f --- /dev/null +++ b/test/ELF/aarch64-undefined-weak.s @@ -0,0 +1,45 @@ +// RUN: llvm-mc -filetype=obj -triple=aarch64-none-linux %s -o %t +// RUN: ld.lld %t -o %t2 2>&1 +// RUN: llvm-objdump -triple=aarch64-none-linux -d %t2 | FileCheck %s +// REQUIRES: aarch64 + +// Check that the ARM 64-bit ABI rules for undefined weak symbols are applied. +// Branch instructions are resolved to the next instruction. Undefined +// Symbols in relative are resolved to the place so S - P + A = A. + + .weak target + + .text + .global _start +_start: +// R_AARCH64_JUMP26 + b target +// R_AARCH64_CALL26 + bl target +// R_AARCH64_CONDBR19 + b.eq target +// R_AARCH64_TSTBR14 + cbz x1, target +// R_AARCH64_ADR_PREL_LO21 + adr x0, target +// R_AARCH64_ADR_PREL_PG_HI21 + adrp x0, target +// R_AARCH64_PREL32 + .word target - . +// R_AARCH64_PREL64 + .xword target - . +// R_AARCH64_PREL16 + .hword target - . + +// CHECK: Disassembly of section .text: +// 131076 = 0x20004 +// CHECK: 20000: 01 80 00 14 b #131076 +// CHECK-NEXT: 20004: 02 80 00 94 bl #131080 +// CHECK-NEXT: 20008: 60 00 10 54 b.eq #131084 +// CHECK-NEXT: 2000c: 81 00 10 b4 cbz x1, #131088 +// CHECK-NEXT: 20010: 00 00 00 10 adr x0, #0 +// CHECK-NEXT: 20014: 00 00 00 90 adrp x0, #0 +// CHECK: 20018: 00 00 00 00 .word 0x00000000 +// CHECK-NEXT: 2001c: 00 00 00 00 .word 0x00000000 +// CHECK-NEXT: 20020: 00 00 00 00 .word 0x00000000 +// CHECK-NEXT: 20024: 00 00 .short 0x0000 |