lld/test/ELF/aarch64-reloc-pauth.s

   1 # REQUIRES: aarch64
   2
   3 # RUN: rm -rf %t && split-file %s %t && cd %t
   4
   5 # RUN: llvm-mc -filetype=obj -triple=aarch64 %p/Inputs/shared2.s -o a.o
   6 # RUN: ld.lld -shared a.o -soname=so -o a.so
   7 # RUN: llvm-mc -filetype=obj -triple=aarch64 main.s -o main.o
   8
   9 # RUN: ld.lld -pie main.o a.so -o main
  10 # RUN: llvm-readobj -r main | FileCheck --check-prefix=UNPACKED %s
  11
  12 # UNPACKED:          Section ({{.+}}) .rela.dyn {
  13 # UNPACKED-NEXT:       0x30470 R_AARCH64_AUTH_RELATIVE - 0x1
  14 # UNPACKED-NEXT:       0x30478 R_AARCH64_AUTH_RELATIVE - 0x30472
  15 # UNPACKED-NEXT:       0x30480 R_AARCH64_AUTH_RELATIVE - 0xFFFFFFFFFFFFFFFD
  16 # UNPACKED-NEXT:       0x30488 R_AARCH64_AUTH_RELATIVE - 0x12345678
  17 # UNPACKED-NEXT:       0x30490 R_AARCH64_AUTH_RELATIVE - 0x123456789A
  18 # UNPACKED-NEXT:       0x30498 R_AARCH64_AUTH_RELATIVE - 0xFFFFFFEDCBA98766
  19 # UNPACKED-NEXT:       0x304A0 R_AARCH64_AUTH_RELATIVE - 0x8003046F
  20 # UNPACKED-NEXT:       0x304B9 R_AARCH64_AUTH_RELATIVE - 0x4
  21 # UNPACKED-NEXT:       0x304C2 R_AARCH64_AUTH_RELATIVE - 0x30475
  22 # UNPACKED-NEXT:       0x304A8 R_AARCH64_AUTH_ABS64 zed2 0x1111
  23 # UNPACKED-NEXT:       0x304B0 R_AARCH64_AUTH_ABS64 bar2 0x0
  24 # UNPACKED-NEXT:     }
  25
  26 # RUN: ld.lld main.o a.so -o main.nopie
  27 # RUN: llvm-readobj -r main.nopie | FileCheck --check-prefix=NOPIE %s
  28
  29 # NOPIE:      Section ({{.+}}) .rela.dyn {
  30 # NOPIE:        0x230460 R_AARCH64_AUTH_RELATIVE - 0x200001
  31 # NOPIE-NEXT:   0x230468 R_AARCH64_AUTH_RELATIVE - 0x230462
  32 # NOPIE-NEXT:   0x230470 R_AARCH64_AUTH_RELATIVE - 0x1FFFFD
  33 # NOPIE-NEXT:   0x230478 R_AARCH64_AUTH_RELATIVE - 0x12545678
  34 # NOPIE-NEXT:   0x230480 R_AARCH64_AUTH_RELATIVE - 0x123476789A
  35 # NOPIE-NEXT:   0x230488 R_AARCH64_AUTH_RELATIVE - 0xFFFFFFEDCBC98766
  36 # NOPIE-NEXT:   0x230490 R_AARCH64_AUTH_RELATIVE - 0x8023045F
  37 # NOPIE-NEXT:   0x2304A9 R_AARCH64_AUTH_RELATIVE - 0x200004
  38 # NOPIE-NEXT:   0x2304B2 R_AARCH64_AUTH_RELATIVE - 0x230465
  39 # NOPIE-NEXT:   0x230498 R_AARCH64_AUTH_ABS64 zed2 0x1111
  40 # NOPIE-NEXT:   0x2304A0 R_AARCH64_AUTH_ABS64 bar2 0x0
  41 # NOPIE-NEXT: }
  42
  43 # RUN: ld.lld -pie -z pack-relative-relocs main.o a.so -o main.pie
  44 # RUN: llvm-readelf -S -d -r -x .test main.pie | FileCheck --check-prefixes=RELR,HEX %s
  45
  46 # RELR:      Section Headers:
  47 # RELR-NEXT: Name Type Address Off Size ES Flg Lk Inf Al
  48 # RELR:      .rela.dyn RELA {{0*}}[[ADDR1:.+]] {{0*}}[[ADDR1]] 000090 18 A 1 0 8
  49 # RELR:      .relr.auth.dyn AARCH64_AUTH_RELR {{0*}}[[ADDR2:.+]] {{0*}}[[ADDR2]] 000018 08 A 0 0 8
  50
  51 # RELR:      Dynamic section at offset {{.+}} contains 16 entries
  52 # RELR:      0x0000000070000012 (AARCH64_AUTH_RELR) 0x[[ADDR2]]
  53 # RELR-NEXT: 0x0000000070000011 (AARCH64_AUTH_RELRSZ) 24 (bytes)
  54 # RELR-NEXT: 0x0000000070000013 (AARCH64_AUTH_RELRENT) 8 (bytes)
  55
  56 ## Decoded SHT_RELR section is same as UNPACKED,
  57 ## but contains only the relative relocations.
  58 ## Any relative relocations with odd offset or value wider than 32 bits stay in SHT_RELA.
  59
  60 # RELR:      Relocation section '.rela.dyn' at offset 0x[[ADDR1]] contains 6 entries:
  61 # RELR-NEXT:     Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
  62 # RELR-NEXT: 0000000000030460  0000000000000411 R_AARCH64_AUTH_RELATIVE           123456789a
  63 # RELR-NEXT: 0000000000030468  0000000000000411 R_AARCH64_AUTH_RELATIVE           ffffffedcba98766
  64 # RELR-NEXT: 0000000000030470  0000000000000411 R_AARCH64_AUTH_RELATIVE           8003043f
  65 # RELR-NEXT: 0000000000030489  0000000000000411 R_AARCH64_AUTH_RELATIVE           4
  66 # RELR-NEXT: 0000000000030478  0000000100000244 R_AARCH64_AUTH_ABS64   0000000000000000 zed2 + 1111
  67 # RELR-NEXT: 0000000000030480  0000000200000244 R_AARCH64_AUTH_ABS64   0000000000000000 bar2 + 0
  68 # RELR-EMPTY:
  69 # RELR-NEXT: Relocation section '.relr.auth.dyn' at offset 0x[[ADDR2]] contains 5 entries:
  70 # RELR-NEXT: Index: Entry Address Symbolic Address
  71 # RELR-NEXT: 0000: 0000000000030440 0000000000030440 $d
  72 # RELR-NEXT: 0001: 000000000000000f 0000000000030448 $d + 0x8
  73 # RELR-NEXT:  0000000000030450 $d + 0x10
  74 # RELR-NEXT:  0000000000030458 $d + 0x18
  75 # RELR-NEXT: 0002: 0000000000030492 0000000000030492 $d + 0x52
  76
  77 # HEX:      Hex dump of section '.test':
  78 # HEX-NEXT: 0x00030440 01000000 2a000020 42040300 2b000000
  79 ##                     ^^^^^^^^ Implicit val = 1 = __ehdr_start + 1
  80 ##                              ^^^^ Discr = 42
  81 ##                                    ^^ Key (bits 5..6) = DA
  82 ##                                       ^^^^^^^^ Implicit val = 0x30442 = 0x30440 + 2 = .test + 2
  83 ##                                                ^^^^ Discr = 43
  84 ##                                                      ^^ Key (bits 5..6) = IA
  85 # HEX-NEXT: 0x00030450 fdffffff 2c000080 78563412 2d000020
  86 ##                     ^^^^^^^^ Implicit val = -3 = __ehdr_start - 3
  87 ##                              ^^^^ Discr = 44
  88 ##                                    ^^ Key (bits 5..6) = IA
  89 ##                                    ^^ Addr diversity (bit 7) = true
  90 ##                                       ^^^^^^^^ Implicit val = 0x12345678 = __ehdr_start + 0x12345678
  91 ##                                                ^^^^ Discr = 45
  92 ##                                                      ^^ Key (bits 5..6) = DA
  93 # HEX-NEXT: 0x00030460 00000000 2e000020 00000000 2f000020
  94 ##                     ^^^^^^^^ No implicit val (rela reloc due val wider than 32 bits)
  95 ##                              ^^^^ Discr = 46
  96 ##                                    ^^ Key (bits 5..6) = DA
  97 ##                                       ^^^^^^^^ No implicit val (rela reloc due to val wider than 32 bits)
  98 ##                                                ^^^^ Discr = 47
  99 ##                                                      ^^ Key (bits 5..6) = DA
 100 # HEX-NEXT: 0x00030470 00000000 30000020 00000000 31000020
 101 ##                     ^^^^^^^^ No implicit val (rela reloc due val wider than 32 bits)
 102 ##                              ^^^^ Discr = 48
 103 ##                                    ^^ Key (bits 5..6) = DA
 104 ##                                       ^^^^^^^^ No implicit val (rela reloc due to a preemptible symbol)
 105 ##                                                ^^^^ Discr = 49
 106 ##                                                      ^^ Key (bits 5..6) = DA
 107 # HEX-NEXT: 0x00030480 00000000 32000000 77000000 00330000
 108 ##                     ^^^^^^^^ No implicit val (rela reloc due to a preemptible symbol)
 109 ##                              ^^^^ Discr = 50
 110 ##                                    ^^ Key (bits 5..6) = IA
 111 ##                                         ^^^^^^ ^^ No implicit val (rela reloc due to odd offset)
 112 ##                                                  ^^^^ Discr = 51
 113 # HEX-NEXT: 0x00030490 20774504 03003400 0020{{\ }}
 114 ##                     ^^ Key (bits 5..6) = DA
 115 ##                         ^^^^ ^^^^ Implicit val = 0x30445 = 0x30440 + 5 = .test + 5
 116 ##                                  ^^^^ Discr = 52
 117 ##                                         ^^ Key (bits 5..6) = DA
 118
 119 #--- main.s
 120
 121 .section .test, "aw"
 122 .p2align 3
 123 .quad (__ehdr_start + 1)@AUTH(da,42)
 124 .quad (.test + 2)@AUTH(ia,43)
 125 .quad (__ehdr_start - 3)@AUTH(ia,44,addr)
 126 .quad (__ehdr_start + 0x12345678)@AUTH(da,45)
 127 ## Addend wider than 32 bits, not enough room for storing implicitly, would go to rela
 128 .quad (__ehdr_start + 0x123456789A)@AUTH(da,46)
 129 ## Negative addend wider than 32 bits, not enough room for storing implicitly, would go to rela
 130 .quad (__ehdr_start - 0x123456789A)@AUTH(da,47)
 131 ## INT32_MAX plus non-zero .test is wider than 32 bits, not enough room for storing implicitly, would go to rela
 132 .quad (.test + 0x7FFFFFFF)@AUTH(da,48)
 133 .quad (zed2 + 0x1111)@AUTH(da,49)
 134 .quad bar2@AUTH(ia,50)
 135 .byte 0x77
 136 .quad (__ehdr_start + 4)@AUTH(da,51)
 137 .byte 0x77
 138 .quad (.test + 5)@AUTH(da,52)
 139
 140 #--- empty-relr.s
 141
 142 ## .relr.auth.dyn relocations that do not fit 32 bits are moved to .rela.dyn.
 143 ## In this case .relr.auth.dyn will be made empty, but
 144 ## removeUnusedSyntheticSections fails to remove the section.
 145
 146 # RUN: llvm-mc -filetype=obj -triple=aarch64 empty-relr.s -o empty-relr.o
 147 # RUN: ld.lld -pie -z pack-relative-relocs empty-relr.o -o empty-relr
 148 # RUN: llvm-readelf -S -d -r empty-relr | FileCheck --check-prefixes=EMPTY-RELR %s
 149
 150 # EMPTY-RELR:      Section Headers:
 151 # EMPTY-RELR-NEXT: Name Type Address Off Size ES Flg Lk Inf Al
 152 # EMPTY-RELR:      .rela.dyn RELA {{0*}}[[ADDR1:.+]] {{0*}}[[ADDR1]] 000018 18 A 0 0 8
 153 # EMPTY-RELR:      .relr.auth.dyn AARCH64_AUTH_RELR {{0*}}[[ADDR2:.+]] {{0*}}[[ADDR2]] 000000 08 A 0 0 8
 154
 155 # EMPTY-RELR:      Dynamic section at offset {{.+}} contains 12 entries
 156 # EMPTY-RELR-NOT:  (AARCH64_AUTH_RELR)
 157 # EMPTY-RELR-NOT:  (AARCH64_AUTH_RELRSZ)
 158 # EMPTY-RELR-NOT:  (AARCH64_AUTH_RELRENT)
 159 # EMPTY-RELR:      0x0000000000000007 (RELA) 0x[[ADDR1]]
 160 # EMPTY-RELR-NEXT: 0x0000000000000008 (RELASZ) 24 (bytes)
 161 # EMPTY-RELR-NEXT: 0x0000000000000009 (RELAENT) 24 (bytes)
 162
 163 # EMPTY-RELR:      Relocation section '.rela.dyn' at offset {{.+}} contains 1 entries:
 164 # EMPTY-RELR-NEXT:     Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
 165 # EMPTY-RELR-NEXT: 0000000000030320  0000000000000411 R_AARCH64_AUTH_RELATIVE           8003031f
 166 # EMPTY-RELR-EMPTY:
 167 # EMPTY-RELR-NEXT: Relocation section '.relr.auth.dyn' at offset {{.+}} contains 0 entries:
 168 # EMPTY-RELR-NEXT: Index: Entry Address Symbolic Address
 169
 170 .section .test, "aw"
 171 .p2align 3
 172 .quad (.test + 0x7FFFFFFF)@AUTH(da,42)
 173
 174 #--- empty-rela.s
 175
 176 ## .relr.auth.dyn relocations that do not fit 32 bits are moved to .rela.dyn.
 177 ## If this scenario does not happen, .rela.dyn will remain empty,
 178 ## but removeUnusedSyntheticSections fails to remove the section.
 179
 180 # RUN: llvm-mc -filetype=obj -triple=aarch64 empty-rela.s -o empty-rela.o
 181 # RUN: ld.lld -pie -z pack-relative-relocs empty-rela.o -o empty-rela
 182 # RUN: llvm-readelf -S -d -r empty-rela | FileCheck --check-prefixes=EMPTY-RELA %s
 183 # RUN: ld.lld -r -z pack-relative-relocs empty-rela.o -o empty-rela.ro
 184 # RUN: llvm-readelf -S empty-rela.ro | FileCheck --check-prefixes=EMPTY-RELA-RO %s
 185
 186 # EMPTY-RELA:      Section Headers:
 187 # EMPTY-RELA-NEXT: Name Type Address Off Size ES Flg Lk Inf Al
 188 # EMPTY-RELA:      .rela.dyn RELA {{0*}}[[ADDR1:.+]] {{0*}}[[ADDR1]] 000000 18 A 0 0 8
 189 # EMPTY-RELA:      .relr.auth.dyn AARCH64_AUTH_RELR {{0*}}[[ADDR2:.+]] {{0*}}[[ADDR2]] 000008 08 A 0 0 8
 190
 191 # EMPTY-RELA:      Dynamic section at offset {{.+}} contains 12 entries
 192 # EMPTY-RELA-NOT:  (RELR)
 193 # EMPTY-RELA-NOT:  (RELRSZ)
 194 # EMPTY-RELA-NOT:  (RELRENT)
 195 # EMPTY-RELA:      0x0000000070000012 (AARCH64_AUTH_RELR) 0x[[ADDR2]]
 196 # EMPTY-RELA-NEXT: 0x0000000070000011 (AARCH64_AUTH_RELRSZ) 8 (bytes)
 197 # EMPTY-RELA-NEXT: 0x0000000070000013 (AARCH64_AUTH_RELRENT) 8 (bytes)
 198
 199 # EMPTY-RELA:      Relocation section '.rela.dyn' at offset {{.+}} contains 0 entries:
 200 # EMPTY-RELA-NEXT:     Offset             Info             Type               Symbol's Value  Symbol's Name
 201 # EMPTY-RELA-EMPTY:
 202 # EMPTY-RELA-NEXT: Relocation section '.relr.auth.dyn' at offset {{.+}} contains 1 entries:
 203 # EMPTY-RELA-NEXT: Index: Entry Address Symbolic Address
 204 # EMPTY-RELA-NEXT: 0000: 0000000000030310 0000000000030310 $d
 205
 206 # EMPTY-RELA-RO-NOT: .rela.dyn
 207
 208 .section .test, "aw"
 209 .p2align 3
 210 .quad (.test + 0x12345678)@AUTH(da,42)