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