| # REQUIRES: ppc |
| # RUN: llvm-mc -filetype=obj -triple=powerpc %s -o %t.o |
| # RUN: echo '.globl f, g, h; f: g: h:' | llvm-mc -filetype=obj -triple=powerpc - -o %t1.o |
| # RUN: ld.lld -shared %t1.o -soname t1.so -o %t1.so |
| # RUN: echo 'bl f+0x8000@plt' | llvm-mc -filetype=obj -triple=powerpc - -o %t2.o |
| |
| ## Check we can create PLT entries for -fPIE or -fpie executable. |
| # RUN: ld.lld -pie %t.o %t1.so %t2.o -o %t |
| # RUN: llvm-readobj -r %t | FileCheck --check-prefix=RELOC %s |
| # RUN: llvm-readobj -d %t | FileCheck --check-prefix=DYN %s |
| # RUN: llvm-readelf -S %t | FileCheck --check-prefix=SEC %s |
| # RUN: llvm-readelf -x .plt %t | FileCheck --check-prefix=HEX %s |
| # RUN: llvm-objdump -d --no-show-raw-insn %t | FileCheck --check-prefixes=CHECK,PIE %s |
| |
| ## Check we can create PLT entries for -fPIC or -fpic DSO. |
| # RUN: ld.lld -shared %t.o %t1.so %t2.o -o %t |
| # RUN: llvm-readobj -r %t | FileCheck --check-prefix=RELOC %s |
| # RUN: llvm-objdump -d --no-show-raw-insn %t | FileCheck --check-prefixes=CHECK,SHARED %s |
| |
| # RELOC: .rela.dyn { |
| # RELOC-NEXT: R_PPC_ADDR32 f 0x0 |
| # RELOC-NEXT: R_PPC_ADDR32 g 0x0 |
| # RELOC-NEXT: R_PPC_ADDR32 h 0x0 |
| # RELOC-NEXT: } |
| # RELOC-NEXT: .rela.plt { |
| # RELOC-NEXT: R_PPC_JMP_SLOT f 0x0 |
| # RELOC-NEXT: R_PPC_JMP_SLOT g 0x0 |
| # RELOC-NEXT: R_PPC_JMP_SLOT h 0x0 |
| # RELOC-NEXT: } |
| |
| # SEC: .got PROGBITS 00020370 |
| # DYN: PPC_GOT 0x20370 |
| |
| ## .got2+0x8000-0x10004 = 0x30000+0x8000-0x10004 = 65536*2+32764 |
| # CHECK-LABEL: <_start>: |
| # PIE-NEXT: bcl 20, 31, 0x10210 |
| # PIE-NEXT: 10210: mflr 30 |
| # PIE-NEXT: addis 30, 30, 3 |
| # PIE-NEXT: addi 30, 30, -32404 |
| ## Two bl 00008000.got2.plt_pic32.f |
| # PIE-NEXT: bl 0x10244 |
| # PIE-NEXT: bl 0x10244 |
| ## Two bl 00008000.got2.plt_pic32.g |
| # PIE-NEXT: bl 0x10254 |
| # PIE-NEXT: bl 0x10254 |
| ## Two bl 00008000.got2.plt_pic32.h |
| # PIE-NEXT: bl 0x10264 |
| # PIE-NEXT: bl 0x10264 |
| # PIE-NEXT: addis 30, 30, {{.*}} |
| # PIE-NEXT: addi 30, 30, {{.*}} |
| ## bl 00008000.plt_pic32.f |
| # PIE-NEXT: bl 0x10274 |
| ## bl 00008000.plt_pic32.f |
| # PIE-NEXT: bl 0x10284 |
| # SHARED-NEXT: bcl 20, 31, 0x10230 |
| # SHARED-NEXT: 10230: mflr 30 |
| # SHARED-NEXT: addis 30, 30, 3 |
| # SHARED-NEXT: addi 30, 30, -32420 |
| # SHARED-NEXT: bl 0x10264 |
| # SHARED-NEXT: bl 0x10264 |
| # SHARED-NEXT: bl 0x10274 |
| # SHARED-NEXT: bl 0x10274 |
| # SHARED-NEXT: bl 0x10284 |
| # SHARED-NEXT: bl 0x10284 |
| # SHARED-NEXT: addis 30, 30, {{.*}} |
| # SHARED-NEXT: addi 30, 30, {{.*}} |
| # SHARED-NEXT: bl 0x10294 |
| # SHARED-NEXT: bl 0x102a4 |
| # CHECK-EMPTY: |
| |
| ## -fPIC call stubs of f and g. |
| # CHECK-NEXT: <00008000.got2.plt_pic32.f>: |
| # CHECK-NEXT: lwz 11, 32760(30) |
| # CHECK-NEXT: mtctr 11 |
| # CHECK-NEXT: bctr |
| # CHECK-NEXT: nop |
| # CHECK-EMPTY: |
| # CHECK-NEXT: <00008000.got2.plt_pic32.g>: |
| # CHECK-NEXT: lwz 11, 32764(30) |
| # CHECK-NEXT: mtctr 11 |
| # CHECK-NEXT: bctr |
| # CHECK-NEXT: nop |
| # CHECK-EMPTY: |
| |
| ## The -fPIC call stub of h needs two instructions addis+lwz to represent the offset 65536*1-32768. |
| # CHECK-NEXT: <00008000.got2.plt_pic32.h>: |
| # CHECK-NEXT: addis 11, 30, 1 |
| # CHECK-NEXT: lwz 11, -32768(11) |
| # CHECK-NEXT: mtctr 11 |
| # CHECK-NEXT: bctr |
| # CHECK-EMPTY: |
| |
| ## -fpic call stub of f. |
| # CHECK-NEXT: <00000000.plt_pic32.f>: |
| # CHECK-NEXT: addis 11, 30, 2 |
| # CHECK-NEXT: lwz 11, 4(11) |
| # CHECK-NEXT: mtctr 11 |
| # CHECK-NEXT: bctr |
| # CHECK-EMPTY: |
| |
| ## Another -fPIC call stub of f from another object file %t2.o |
| ## .got2 may have different addresses in different object files, |
| ## so the call stub cannot be shared. |
| # CHECK-NEXT: <00008000.got2.plt_pic32.f>: |
| |
| ## In Secure PLT ABI, .plt stores function pointers to first instructions of .glink |
| # HEX: 0x00040374 00010294 00010298 0001029c |
| |
| ## These instructions are referenced by .plt entries. |
| # CHECK: [[#%x,GLINK:]] <.glink>: |
| # CHECK-NEXT: b 0x[[#%x,GLINK+12]] |
| # CHECK-NEXT: b 0x[[#%x,GLINK+12]] |
| # CHECK-NEXT: b 0x[[#%x,GLINK+12]] |
| |
| ## PLTresolve |
| ## Operand of addi: 0x102cc-.glink = 24 |
| # CHECK-NEXT: addis 11, 11, 0 |
| # CHECK-NEXT: mflr 0 |
| # CHECK-NEXT: bcl 20, 31, 0x[[#%x,NEXT:]] |
| # CHECK-NEXT: [[#%x,NEXT]]: addi 11, 11, 24 |
| |
| # CHECK-NEXT: mflr 12 |
| # CHECK-NEXT: mtlr 0 |
| # CHECK-NEXT: sub 11, 11, 12 |
| |
| ## Operand of lwz in -pie mode: &.got[1] - 0x102bc = 0x20380+4 - 0x102bc = 65536*1+200 |
| # CHECK-NEXT: addis 12, 12, 1 |
| # PIE-NEXT: lwz 0, 200(12) |
| # SHARED-NEXT: lwz 0, 184(12) |
| |
| # PIE-NEXT: lwz 12, 204(12) |
| # SHARED-NEXT: lwz 12, 188(12) |
| # CHECK-NEXT: mtctr 0 |
| # CHECK-NEXT: add 0, 11, 11 |
| # CHECK-NEXT: add 11, 0, 11 |
| # CHECK-NEXT: bctr |
| |
| .section .got2,"aw" |
| .space 65516 |
| .long f |
| .long g |
| .long h |
| |
| .text |
| .globl _start |
| _start: |
| bcl 20,31,.L |
| .L: |
| mflr 30 |
| addis 30, 30, .got2+0x8000-.L@ha |
| addi 30, 30, .got2+0x8000-.L@l |
| bl f+0x8000@plt |
| bl f+0x8000@plt |
| bl g+0x8000@plt |
| bl g+0x8000@plt |
| bl h+0x8000@plt |
| bl h+0x8000@plt |
| |
| ## An addend of 0 indicates r30 is stored in _GLOBAL_OFFSET_TABLE_. |
| ## The existing thunk is incompatible, thus it cannot be reused. |
| addis 30, 30, _GLOBAL_OFFSET_TABLE_-.L@ha |
| addi 30, 30, _GLOBAL_OFFSET_TABLE_-.L@l |
| bl f@plt |