llvm/test/MC/AArch64/global-tagging.ll

   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: yaml2obj %t.yaml -o %t.o
  15 ; RUN: llvm-readelf -r %t.o | FileCheck %s --check-prefix=CHECK-RELOCS
  16
  17 ;; Check we don't create relocations referencing a section symbol for sanitize_memtag globals.
  18 ; CHECK-RELOCS:      Relocation section '.rela.text' {{.*}} contains 4 entries:
  19 ; CHECK-RELOCS:      R_AARCH64_ADR_GOT_PAGE     {{.*}} internal_four + 0
  20 ; CHECK-RELOCS-NEXT: R_AARCH64_ADR_GOT_PAGE     {{.*}} four + 0
  21 ; CHECK-RELOCS-NEXT: R_AARCH64_LD64_GOT_LO12_NC {{.*}} internal_four + 0
  22 ; CHECK-RELOCS-NEXT: R_AARCH64_LD64_GOT_LO12_NC {{.*}} four + 0
  23
  24 ; CHECK-RELOCS:     Relocation section '.rela.memtag.globals.static' {{.*}} contains 4 entries
  25 ; CHECK-RELOCS:     R_AARCH64_NONE {{.*}} internal_four
  26 ; CHECK-RELOCS:     R_AARCH64_NONE {{.*}} four
  27 ; CHECK-RELOCS:     R_AARCH64_NONE {{.*}} sixteen
  28 ; CHECK-RELOCS:     R_AARCH64_NONE {{.*}} huge
  29 ; CHECK-RELOCS-NOT: specialcaselisted
  30
  31 ; CHECK-YAML:      Sections:
  32 ; CHECK-YAML:      - Name: .rela.memtag.globals.static
  33 ; CHECK-YAML-NOT:  - Name:
  34 ; CHECK-YAML:      Relocations:
  35 ; CHECK-YAML-NEXT: - Symbol: internal_four
  36 ; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
  37 ; CHECK-YAML-NEXT: - Symbol: four
  38 ; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
  39 ; CHECK-YAML-NEXT: - Symbol: sixteen
  40 ; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
  41 ; CHECK-YAML-NEXT: - Symbol: huge
  42 ; CHECK-YAML-NEXT: Type: R_AARCH64_NONE
  43 ; CHECK-YAML-NEXT: -
  44
  45 ; CHECK-ASM: .memtag internal_four
  46 ; CHECK-ASM: .memtag four
  47 ; CHECK-ASM: .memtag sixteen
  48 ; CHECK-ASM: .memtag huge
  49 ; CHECK-ASM-NOT: .memtag specialcaselisted
  50
  51 @internal_four = internal global i32 1, sanitize_memtag
  52 @four = dso_local global i32 1, sanitize_memtag
  53 @sixteen = global [16 x i8] zeroinitializer, sanitize_memtag
  54 @huge = global [16777232 x i8] zeroinitializer, sanitize_memtag
  55 @specialcaselisted = global i16 2
  56
  57 define i32 @use() {
  58 entry:
  59   %a = load i32, ptr @internal_four
  60   %b = load i32, ptr @four
  61   %sum = add i32 %a, %b
  62   ret i32 %sum
  63 }