|
150
|
1 # REQUIRES: ppc
|
|
|
2 # RUN: llvm-mc -filetype=obj -triple=powerpc %s -o %t.o
|
|
|
3 # RUN: echo '.globl f, g, h; f: g: h:' | llvm-mc -filetype=obj -triple=powerpc - -o %t1.o
|
|
|
4 # RUN: ld.lld -shared %t1.o -soname t1.so -o %t1.so
|
|
|
5 # RUN: echo 'bl f+0x8000@plt' | llvm-mc -filetype=obj -triple=powerpc - -o %t2.o
|
|
|
6
|
|
|
7 ## Check we can create PLT entries for -fPIE or -fpie executable.
|
|
|
8 # RUN: ld.lld -pie %t.o %t1.so %t2.o -o %t
|
|
|
9 # RUN: llvm-readobj -r %t | FileCheck --check-prefix=RELOC %s
|
|
|
10 # RUN: llvm-readobj -d %t | FileCheck --check-prefix=DYN %s
|
|
|
11 # RUN: llvm-readelf -S %t | FileCheck --check-prefix=SEC %s
|
|
|
12 # RUN: llvm-readelf -x .plt %t | FileCheck --check-prefix=HEX %s
|
|
|
13 # RUN: llvm-objdump -d --no-show-raw-insn %t | FileCheck --check-prefixes=CHECK,PIE %s
|
|
|
14
|
|
|
15 ## Check we can create PLT entries for -fPIC or -fpic DSO.
|
|
|
16 # RUN: ld.lld -shared %t.o %t1.so %t2.o -o %t
|
|
|
17 # RUN: llvm-readobj -r %t | FileCheck --check-prefix=RELOC %s
|
|
|
18 # RUN: llvm-objdump -d --no-show-raw-insn %t | FileCheck --check-prefixes=CHECK,SHARED %s
|
|
|
19
|
|
|
20 # RELOC: .rela.dyn {
|
|
|
21 # RELOC-NEXT: R_PPC_ADDR32 f 0x0
|
|
|
22 # RELOC-NEXT: R_PPC_ADDR32 g 0x0
|
|
|
23 # RELOC-NEXT: R_PPC_ADDR32 h 0x0
|
|
|
24 # RELOC-NEXT: }
|
|
|
25 # RELOC-NEXT: .rela.plt {
|
|
|
26 # RELOC-NEXT: R_PPC_JMP_SLOT f 0x0
|
|
|
27 # RELOC-NEXT: R_PPC_JMP_SLOT g 0x0
|
|
|
28 # RELOC-NEXT: R_PPC_JMP_SLOT h 0x0
|
|
|
29 # RELOC-NEXT: }
|
|
|
30
|
|
|
31 # SEC: .got PROGBITS 00020368
|
|
|
32 # DYN: PPC_GOT 0x20368
|
|
|
33
|
|
|
34 ## .got2+0x8000-0x10004 = 0x30000+0x8000-0x10004 = 65536*2+32764
|
|
|
35 # CHECK-LABEL: _start:
|
|
|
36 # CHECK-NEXT: bcl 20, 31, .+4
|
|
|
37 # PIE-NEXT: 10210: mflr 30
|
|
|
38 # PIE-NEXT: addis 30, 30, 3
|
|
|
39 # PIE-NEXT: addi 30, 30, -32412
|
|
|
40 # SHARED-NEXT: 10230: mflr 30
|
|
|
41 # SHARED-NEXT: addis 30, 30, 3
|
|
|
42 # SHARED-NEXT: addi 30, 30, -32420
|
|
|
43
|
|
|
44 ## Two bl 00008000.got2.plt_pic32.f
|
|
|
45 # CHECK-NEXT: bl .+40
|
|
|
46 # CHECK-NEXT: bl .+36
|
|
|
47 ## Two bl 00008000.got2.plt_pic32.g
|
|
|
48 # CHECK-NEXT: bl .+48
|
|
|
49 # CHECK-NEXT: bl .+44
|
|
|
50 ## Two bl 00008000.got2.plt_pic32.h
|
|
|
51 # CHECK-NEXT: bl .+56
|
|
|
52 # CHECK-NEXT: bl .+52
|
|
|
53 # CHECK-NEXT: addis 30, 30, {{.*}}
|
|
|
54 # CHECK-NEXT: addi 30, 30, {{.*}}
|
|
|
55 ## bl 00008000.plt_pic32.f
|
|
|
56 # CHECK-NEXT: bl .+56
|
|
|
57 ## bl 00008000.plt_pic32.f
|
|
|
58 # CHECK-NEXT: bl .+68
|
|
|
59 # CHECK-EMPTY:
|
|
|
60
|
|
|
61 ## -fPIC call stubs of f and g.
|
|
|
62 # CHECK-NEXT: 00008000.got2.plt_pic32.f:
|
|
|
63 # CHECK-NEXT: lwz 11, 32760(30)
|
|
|
64 # CHECK-NEXT: mtctr 11
|
|
|
65 # CHECK-NEXT: bctr
|
|
|
66 # CHECK-NEXT: nop
|
|
|
67 # CHECK-EMPTY:
|
|
|
68 # CHECK-NEXT: 00008000.got2.plt_pic32.g:
|
|
|
69 # CHECK-NEXT: lwz 11, 32764(30)
|
|
|
70 # CHECK-NEXT: mtctr 11
|
|
|
71 # CHECK-NEXT: bctr
|
|
|
72 # CHECK-NEXT: nop
|
|
|
73 # CHECK-EMPTY:
|
|
|
74
|
|
|
75 ## The -fPIC call stub of h needs two instructions addis+lwz to represent the offset 65536*1-32768.
|
|
|
76 # CHECK-NEXT: 00008000.got2.plt_pic32.h:
|
|
|
77 # CHECK-NEXT: addis 11, 30, 1
|
|
|
78 # CHECK-NEXT: lwz 11, -32768(11)
|
|
|
79 # CHECK-NEXT: mtctr 11
|
|
|
80 # CHECK-NEXT: bctr
|
|
|
81 # CHECK-EMPTY:
|
|
|
82
|
|
|
83 ## -fpic call stub of f.
|
|
|
84 # CHECK-NEXT: 00000000.plt_pic32.f:
|
|
|
85 # CHECK-NEXT: addis 11, 30, 2
|
|
|
86 # CHECK-NEXT: lwz 11, 4(11)
|
|
|
87 # CHECK-NEXT: mtctr 11
|
|
|
88 # CHECK-NEXT: bctr
|
|
|
89 # CHECK-EMPTY:
|
|
|
90
|
|
|
91 ## Another -fPIC call stub of f from another object file %t2.o
|
|
|
92 ## .got2 may have different addresses in different object files,
|
|
|
93 ## so the call stub cannot be shared.
|
|
|
94 # CHECK-NEXT: 00008000.got2.plt_pic32.f:
|
|
|
95
|
|
|
96 ## In Secure PLT ABI, .plt stores function pointers to first instructions of .glink
|
|
|
97 # HEX: 0x0004036c 00010294 00010298 0001029c
|
|
|
98
|
|
|
99 ## These instructions are referenced by .plt entries.
|
|
|
100 # PIE: 00010294 .glink:
|
|
|
101 # SHARED: 000102b4 .glink:
|
|
|
102 # CHECK-NEXT: b .+12
|
|
|
103 # CHECK-NEXT: b .+8
|
|
|
104 # CHECK-NEXT: b .+4
|
|
|
105
|
|
|
106 ## PLTresolve
|
|
|
107 ## Operand of addi: 0x100a8-.glink = 24
|
|
|
108 # CHECK-NEXT: addis 11, 11, 0
|
|
|
109 # CHECK-NEXT: mflr 0
|
|
|
110 # CHECK-NEXT: bcl 20, 31, .+4
|
|
|
111 # PIE-NEXT: 102ac: addi 11, 11, 24
|
|
|
112 # SHARED-NEXT: 102cc: addi 11, 11, 24
|
|
|
113
|
|
|
114 # CHECK-NEXT: mflr 12
|
|
|
115 # CHECK-NEXT: mtlr 0
|
|
|
116 # CHECK-NEXT: subf 11, 12, 11
|
|
|
117
|
|
|
118 ## Operand of lwz in -pie mode: &.got[1] - 0x100a8 = 0x20088+4 - 0x100a8 = 65536*1-28
|
|
|
119 # CHECK-NEXT: addis 12, 12, 1
|
|
|
120 # PIE-NEXT: lwz 0, 192(12)
|
|
|
121 # SHARED-NEXT: lwz 0, 184(12)
|
|
|
122
|
|
|
123 # PIE-NEXT: lwz 12, 196(12)
|
|
|
124 # SHARED-NEXT: lwz 12, 188(12)
|
|
|
125 # CHECK-NEXT: mtctr 0
|
|
|
126 # CHECK-NEXT: add 0, 11, 11
|
|
|
127 # CHECK-NEXT: add 11, 0, 11
|
|
|
128 # CHECK-NEXT: bctr
|
|
|
129
|
|
|
130 .section .got2,"aw"
|
|
|
131 .space 65516
|
|
|
132 .long f
|
|
|
133 .long g
|
|
|
134 .long h
|
|
|
135
|
|
|
136 .text
|
|
|
137 .globl _start
|
|
|
138 _start:
|
|
|
139 bcl 20,31,.L
|
|
|
140 .L:
|
|
|
141 mflr 30
|
|
|
142 addis 30, 30, .got2+0x8000-.L@ha
|
|
|
143 addi 30, 30, .got2+0x8000-.L@l
|
|
|
144 bl f+0x8000@plt
|
|
|
145 bl f+0x8000@plt
|
|
|
146 bl g+0x8000@plt
|
|
|
147 bl g+0x8000@plt
|
|
|
148 bl h+0x8000@plt
|
|
|
149 bl h+0x8000@plt
|
|
|
150
|
|
|
151 ## An addend of 0 indicates r30 is stored in _GLOBAL_OFFSET_TABLE_.
|
|
|
152 ## The existing thunk is incompatible, thus it cannot be reused.
|
|
|
153 addis 30, 30, _GLOBAL_OFFSET_TABLE_-.L@ha
|
|
|
154 addi 30, 30, _GLOBAL_OFFSET_TABLE_-.L@l
|
|
|
155 bl f@plt
|
