diff lld/test/ELF/aarch64-feature-btipac.s @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lld/test/ELF/aarch64-feature-btipac.s	Thu Feb 13 15:10:13 2020 +0900
@@ -0,0 +1,142 @@
+# REQUIRES: aarch64
+# RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %s -o %t.o
+# RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %p/Inputs/aarch64-btipac1.s -o %t1.o
+# RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %p/Inputs/aarch64-func3.s -o %t3.o
+# RUN: llvm-mc -filetype=obj -triple=aarch64-linux-gnu %p/Inputs/aarch64-func3-btipac.s -o %t3btipac.o
+
+## Build shared library with all inputs having BTI and PAC, expect PLT
+## entries supporting both PAC and BTI. For a shared library this means:
+## PLT[0] has bti c at start
+## PLT[n] has autia1716 before br x17
+
+# RUN: ld.lld %t1.o %t3btipac.o --shared --soname=t.so -o %t.so
+# RUN: llvm-readelf -n %t.so | FileCheck --check-prefix BTIPACPROP %s
+# RUN: llvm-objdump -d -mattr=+v8.5a --no-show-raw-insn %t.so | FileCheck --check-prefix BTIPACSO %s
+# RUN: llvm-readelf --dynamic-table %t.so | FileCheck --check-prefix BTIPACDYN %s
+
+# BTIPACSO: Disassembly of section .text:
+# BTIPACSO: 0000000000010348 func2:
+# BTIPACSO-NEXT:    10348:              bl      #56 <func3@plt>
+# BTIPACSO-NEXT:                        ret
+# BTIPACSO: 0000000000010350 func3:
+# BTIPACSO-NEXT:    10350:              ret
+# BTIPACSO: Disassembly of section .plt:
+# BTIPACSO: 0000000000010360 .plt:
+# BTIPACSO-NEXT:    10360:              bti     c
+# BTIPACSO-NEXT:                        stp     x16, x30, [sp, #-16]!
+# BTIPACSO-NEXT:                        adrp    x16, #131072
+# BTIPACSO-NEXT:                        ldr     x17, [x16, #1160]
+# BTIPACSO-NEXT:                        add     x16, x16, #1160
+# BTIPACSO-NEXT:                        br      x17
+# BTIPACSO-NEXT:                        nop
+# BTIPACSO-NEXT:                        nop
+# BTIPACSO: 0000000000010380 func3@plt:
+# BTIPACSO-NEXT:    10380:              adrp    x16, #131072
+# BTIPACSO-NEXT:                        ldr     x17, [x16, #1168]
+# BTIPACSO-NEXT:                        add     x16, x16, #1168
+# BTIPACSO-NEXT:                        autia1716
+# BTIPACSO-NEXT:                        br      x17
+# BTIPACSO-NEXT:                        nop
+
+# BTIPACPROP:    Properties:    aarch64 feature: BTI, PAC
+
+# BTIPACDYN:   0x0000000070000001 (AARCH64_BTI_PLT)
+# BTIPACDYN:   0x0000000070000003 (AARCH64_PAC_PLT)
+
+## Make an executable with both BTI and PAC properties. Expect:
+## PLT[0] bti c as first instruction
+## PLT[n] bti n as first instruction, autia1716 before br x17
+
+# RUN: ld.lld %t.o %t3btipac.o %t.so -o %t.exe
+# RUN: llvm-readelf -n %t.exe | FileCheck --check-prefix=BTIPACPROP %s
+# RUN: llvm-objdump -d -mattr=+v8.5a --no-show-raw-insn %t.exe | FileCheck --check-prefix BTIPACEX %s
+# RUN: llvm-readelf --dynamic-table %t.exe | FileCheck --check-prefix BTIPACDYN %s
+
+# BTIPACEX: Disassembly of section .text:
+# BTIPACEX: 0000000000210370 func1:
+# BTIPACEX-NEXT:   210370:              bl      #48 <func2@plt>
+# BTIPACEX-NEXT:                        ret
+# BTIPACEX-NEXT:                        ret
+# BTIPACEX: 000000000021037c func3:
+# BTIPACEX-NEXT:   21037c:              ret
+# BTIPACEX: Disassembly of section .plt:
+# BTIPACEX: 0000000000210380 .plt:
+# BTIPACEX-NEXT:   210380:              bti     c
+# BTIPACEX-NEXT:                        stp     x16, x30, [sp, #-16]!
+# BTIPACEX-NEXT:                        adrp    x16, #131072
+# BTIPACEX-NEXT:                        ldr     x17, [x16, #1208]
+# BTIPACEX-NEXT:                        add     x16, x16, #1208
+# BTIPACEX-NEXT:                        br      x17
+# BTIPACEX-NEXT:                        nop
+# BTIPACEX-NEXT:                        nop
+# BTIPACEX: 00000000002103a0 func2@plt:
+# BTIPACEX-NEXT:   2103a0:              bti     c
+# BTIPACEX-NEXT:                        adrp    x16, #131072
+# BTIPACEX-NEXT:                        ldr     x17, [x16, #1216]
+# BTIPACEX-NEXT:                        add     x16, x16, #1216
+# BTIPACEX-NEXT:                        autia1716
+# BTIPACEX-NEXT:                        br      x17
+
+## Check that combinations of BTI+PAC with 0 properties results in standard PLT
+
+# RUN: ld.lld %t.o %t3.o %t.so -o %t.exe
+# RUN: llvm-objdump -d -mattr=+v8.5a --no-show-raw-insn %t.exe | FileCheck --check-prefix EX %s
+# RUN: llvm-readelf --dynamic-table %t.exe | FileCheck --check-prefix=NODYN %s
+
+# EX: Disassembly of section .text:
+# EX: 00000000002102e0 func1:
+# EX-NEXT:   2102e0: bl      #48 <func2@plt>
+# EX-NEXT:           ret
+# EX-NEXT:           ret
+# EX: 00000000002102ec func3:
+# EX-NEXT:   2102ec: ret
+# EX: Disassembly of section .plt:
+# EX: 00000000002102f0 .plt:
+# EX-NEXT:   2102f0: stp     x16, x30, [sp, #-16]!
+# EX-NEXT:           adrp    x16, #131072
+# EX-NEXT:           ldr     x17, [x16, #1024]
+# EX-NEXT:           add     x16, x16, #1024
+# EX-NEXT:           br      x17
+# EX-NEXT:           nop
+# EX-NEXT:           nop
+# EX-NEXT:           nop
+# EX: 0000000000210310 func2@plt:
+# EX:        210310: adrp    x16, #131072
+# EX-NEXT:           ldr     x17, [x16, #1032]
+# EX-NEXT:           add     x16, x16, #1032
+# EX-NEXT:           br      x17
+
+# NODYN-NOT:   0x0000000070000001 (AARCH64_BTI_PLT)
+# NODYN-NOT:   0x0000000070000003 (AARCH64_PAC_PLT)
+
+## Check that combination of -z pac-plt and -z force-bti warns for the file that
+## doesn't contain the BTI property, but generates PAC and BTI PLT sequences.
+## The -z pac-plt doesn't warn as it is not required for correctness.
+
+# RUN: ld.lld %t.o %t3.o %t.so -z pac-plt -z force-bti -o %t.exe 2>&1 | FileCheck --check-prefix=FORCE-WARN %s
+
+# FORCE-WARN: aarch64-feature-btipac.s.tmp3.o: -z force-bti: file does not have BTI property
+
+# RUN: llvm-readelf -n %t.exe | FileCheck --check-prefix=BTIPACPROP %s
+# RUN: llvm-objdump -d -mattr=+v8.5a --no-show-raw-insn %t.exe | FileCheck --check-prefix BTIPACEX %s
+# RUN: llvm-readelf --dynamic-table %t.exe | FileCheck --check-prefix BTIPACDYN %s
+.section ".note.gnu.property", "a"
+.long 4
+.long 0x10
+.long 0x5
+.asciz "GNU"
+
+.long 0xc0000000 // GNU_PROPERTY_AARCH64_FEATURE_1_AND
+.long 4
+.long 3          // GNU_PROPERTY_AARCH64_FEATURE_1_BTI and PAC
+.long 0
+
+.text
+.globl _start
+.type func1,%function
+func1:
+  bl func2
+  ret
+.globl func3
+.type func3,%function
+  ret