1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
;; Tagged symbols are only available on aarch64-linux-android.
; RUN: not llc -filetype=null %s -mtriple=aarch64-unknown-linux 2>&1 | FileCheck %s --check-prefix=ERR
; RUN: %if x86-registered-target %{ not llc -filetype=null %s -mtriple=x86_64-unknown-linux 2>&1 | FileCheck %s --check-prefix=ERR %}
; ERR: error: tagged symbols (-fsanitize=memtag-globals) are only supported on AArch64 Android
; RUN: llc %s -mtriple=aarch64-linux-android31 -o %t.S
; RUN: FileCheck %s --input-file=%t.S --check-prefix=CHECK-ASM
; RUN: llvm-mc -filetype=obj %t.S -triple=aarch64-linux-android31 -o %t.o
; RUN: llvm-readelf -r %t.o | FileCheck %s --check-prefix=CHECK-RELOCS
; RUN: obj2yaml %t.o -o %t.yaml
; RUN: FileCheck %s --input-file=%t.yaml --check-prefix=CHECK-YAML
; RUN: yaml2obj %t.yaml -o %t.o
; RUN: llvm-readelf -r %t.o | FileCheck %s --check-prefix=CHECK-RELOCS
;; Check we don't create relocations referencing a section symbol for sanitize_memtag globals.
; CHECK-RELOCS: Relocation section '.rela.text' {{.*}} contains 4 entries:
; CHECK-RELOCS: R_AARCH64_ADR_GOT_PAGE {{.*}} internal_four + 0
; CHECK-RELOCS-NEXT: R_AARCH64_ADR_GOT_PAGE {{.*}} four + 0
; CHECK-RELOCS-NEXT: R_AARCH64_LD64_GOT_LO12_NC {{.*}} internal_four + 0
; CHECK-RELOCS-NEXT: R_AARCH64_LD64_GOT_LO12_NC {{.*}} four + 0
; CHECK-RELOCS: Relocation section '.rela.memtag.globals.static' {{.*}} contains 4 entries
; CHECK-RELOCS: R_AARCH64_NONE {{.*}} internal_four
; CHECK-RELOCS: R_AARCH64_NONE {{.*}} four
; CHECK-RELOCS: R_AARCH64_NONE {{.*}} sixteen
; CHECK-RELOCS: R_AARCH64_NONE {{.*}} huge
; CHECK-RELOCS-NOT: specialcaselisted
; CHECK-YAML: Sections:
; CHECK-YAML: - Name: .rela.memtag.globals.static
; CHECK-YAML-NOT: - Name:
; CHECK-YAML: Relocations:
; CHECK-YAML-NEXT: - Symbol: internal_four
; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
; CHECK-YAML-NEXT: - Symbol: four
; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
; CHECK-YAML-NEXT: - Symbol: sixteen
; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
; CHECK-YAML-NEXT: - Symbol: huge
; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
; CHECK-YAML-NEXT: -
; CHECK-ASM: .memtag internal_four
; CHECK-ASM: .memtag four
; CHECK-ASM: .memtag sixteen
; CHECK-ASM: .memtag huge
; CHECK-ASM-NOT: .memtag specialcaselisted
@internal_four = internal global i32 1, sanitize_memtag
@four = dso_local global i32 1, sanitize_memtag
@sixteen = global [16 x i8] zeroinitializer, sanitize_memtag
@huge = global [16777232 x i8] zeroinitializer, sanitize_memtag
@specialcaselisted = global i16 2
define i32 @use() {
entry:
%a = load i32, ptr @internal_four
%b = load i32, ptr @four
%sum = add i32 %a, %b
ret i32 %sum
}
|
