Mercurial > hg > CbC > CbC_llvm
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