bolt/test/AArch64/constant_island_pie_update.s

   1 // This test checks that the constant island offset and value is updated if
   2 // it has dynamic relocation. The tests checks both .rela.dyn and relr.dyn
   3 // dynamic relocations.
   4 // Also check that we don't duplicate CI if it has dynamic relocations.
   5
   6 # RUN: llvm-mc -filetype=obj -triple aarch64-unknown-unknown %s -o %t.o
   7 // .rela.dyn
   8 # RUN: %clang %cflags -fPIC -pie %t.o -o %t.rela.exe -nostdlib \
   9 # RUN:   -Wl,-q -Wl,-z,notext
  10 # RUN: llvm-bolt %t.rela.exe -o %t.rela.bolt --use-old-text=0 --lite=0
  11 # RUN: llvm-objdump -j .text -d --show-all-symbols %t.rela.bolt | FileCheck %s
  12 # RUN: llvm-readelf -rsW %t.rela.bolt | FileCheck --check-prefix=ELFCHECK %s
  13 // .relr.dyn
  14 # RUN: %clang %cflags -fPIC -pie %t.o -o %t.relr.exe -nostdlib \
  15 # RUN:   -Wl,-q -Wl,-z,notext -Wl,--pack-dyn-relocs=relr
  16 # RUN: llvm-objcopy --remove-section .rela.mytext %t.relr.exe
  17 # RUN: llvm-bolt %t.relr.exe -o %t.relr.bolt --use-old-text=0 --lite=0
  18 # RUN: llvm-objdump -j .text -d --show-all-symbols %t.relr.bolt | FileCheck %s
  19 # RUN: llvm-objdump -j .text -d %t.relr.bolt | \
  20 # RUN:   FileCheck %s --check-prefix=ADDENDCHECK
  21 # RUN: llvm-readelf -rsW %t.relr.bolt | FileCheck --check-prefix=ELFCHECK %s
  22 # RUN: llvm-readelf -SW %t.relr.bolt | FileCheck --check-prefix=RELRSZCHECK %s
  23
  24 // Check that the CI value was updated
  25 # CHECK: [[#%x,ADDR:]] <exitLocal>:
  26 # CHECK: {{.*}} <$d>:
  27 # CHECK-NEXT: {{.*}} .word 0x{{[0]+}}[[#ADDR]]
  28 # CHECK-NEXT: {{.*}} .word 0x00000000
  29 # CHECK-NEXT: {{.*}} .word 0x{{[0]+}}[[#ADDR]]
  30 # CHECK-NEXT: {{.*}} .word 0x00000000
  31 # CHECK-NEXT: {{.*}} .word 0x00000000
  32 # CHECK-NEXT: {{.*}} .word 0x00000000
  33 # CHECK-NEXT: {{.*}} .word 0x{{[0]+}}[[#ADDR]]
  34 # CHECK-NEXT: {{.*}} .word 0x00000000
  35
  36 // Check that addend was properly patched in mytextP with stripped relocations
  37 # ADDENDCHECK: [[#%x,ADDR:]] <exitLocal>:
  38 # ADDENDCHECK: {{.*}} <mytextP>:
  39 # ADDENDCHECK-NEXT: {{.*}} .word 0x{{[0]+}}[[#ADDR]]
  40 # ADDENDCHECK-NEXT: {{.*}} .word 0x00000000
  41
  42 // Check that we've relaxed adr to adrp + add to refer external CI
  43 # CHECK: <addressDynCi>:
  44 # CHECK-NEXT: adrp
  45 # CHECK-NEXT: add
  46
  47 // Check that relocation offsets were updated
  48 # ELFCHECK: [[#%x,OFF:]] [[#%x,INFO_DYN:]] R_AARCH64_RELATIVE
  49 # ELFCHECK-NEXT: [[#OFF + 8]] {{0*}}[[#INFO_DYN]] R_AARCH64_RELATIVE
  50 # ELFCHECK-NEXT: [[#OFF + 24]] {{0*}}[[#INFO_DYN]] R_AARCH64_RELATIVE
  51 # ELFCHECK-NEXT: {{.*}} R_AARCH64_RELATIVE
  52 # ELFCHECK: {{.*}}[[#OFF]] {{.*}} $d
  53
  54 // Check that .relr.dyn size is 2 bytes to ensure that last 3 relocations were
  55 // encoded as a bitmap so the total section size for 3 relocations is 2 bytes.
  56 # RELRSZCHECK: .relr.dyn RELR [[#%x,ADDR:]] [[#%x,OFF:]] {{0*}}10
  57
  58   .text
  59   .align 4
  60   .local exitLocal
  61   .type exitLocal, %function
  62 exitLocal:
  63   add x1, x1, #1
  64   add x1, x1, #1
  65   nop
  66   nop
  67   ret
  68   .size exitLocal, .-exitLocal
  69
  70   .global _start
  71   .type _start, %function
  72 _start:
  73   mov x0, #0
  74   adr x1, .Lci
  75   ldr x1, [x1]
  76   blr x1
  77   mov x0, #1
  78   bl exitLocal
  79   nop
  80 .Lci:
  81   .xword exitLocal
  82   .xword exitLocal
  83   .xword 0
  84   .xword exitLocal
  85   .size _start, .-_start
  86
  87   .global addressDynCi
  88   .type addressDynCi, %function
  89 addressDynCi:
  90   adr x1, .Lci
  91   bl _start
  92 .size addressDynCi, .-addressDynCi
  93
  94   .section ".mytext", "ax"
  95   .balign 8
  96   .global dummy
  97   .type dummy, %function
  98 dummy:
  99   nop
 100   .word 0
 101   .size dummy, .-dummy
 102
 103   .global mytextP
 104 mytextP:
 105   .xword exitLocal
 106   .size mytextP, .-mytextP