1# Expect script for ld-x86_64 tests
2#   Copyright (C) 2002-2014 Free Software Foundation, Inc.
3#
4# This file is part of the GNU Binutils.
5#
6# This program is free software; you can redistribute it and/or modify
7# it under the terms of the GNU General Public License as published by
8# the Free Software Foundation; either version 3 of the License, or
9# (at your option) any later version.
10#
11# This program is distributed in the hope that it will be useful,
12# but WITHOUT ANY WARRANTY; without even the implied warranty of
13# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14# GNU General Public License for more details.
15#
16# You should have received a copy of the GNU General Public License
17# along with this program; if not, write to the Free Software
18# Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
19# MA 02110-1301, USA.
20#
21
22# Test x86_64 linking; all types of relocs.  This tests the assembler and
23# tools like objdump as well as the linker.
24
25if { !([istarget "x86_64-*-elf*"]
26       || [istarget "x86_64-*-nacl*"]
27       || [istarget "x86_64-*-linux*"]) } {
28    return
29}
30
31if [istarget "*-*-nacl*"] {
32    set emul "elf_x86_64_nacl"
33} else {
34    set emul "elf_x86_64"
35}
36
37# List contains test-items with 3 items followed by 2 lists:
38# 0:name 1:ld early options 2:ld late options 3:assembler options
39# 4:filenames of assembler files 5: action and options. 6: name of output file
40
41# Actions:
42# objdump: Apply objdump options on result.  Compare with regex (last arg).
43# nm: Apply nm options on result.  Compare with regex (last arg).
44# readelf: Apply readelf options on result.  Compare with regex (last arg).
45
46set x86_64tests {
47    {"Helper shared library (basic PLT test)"
48      "-shared -melf_x86_64" "" "--64" {pltlib.s} {} "libpltlib.so"}
49    {"basic PLT generation"
50     "-melf_x86_64 tmpdir/libpltlib.so" "" "--64" {plt.s}
51     {{objdump -drj.plt plt.pd}} "plt"}
52    {"TLS -fpic -shared transitions"
53     "-shared -melf_x86_64 --no-ld-generated-unwind-info" ""
54     "--64" {tlspic1.s tlspic2.s}
55     {{readelf -WSsrl tlspic.rd} {objdump -drj.text tlspic.dd}
56      {objdump -sj.got tlspic.sd} {objdump -sj.tdata tlspic.td}}
57      "libtlspic.so"}
58    {"TLS descriptor -fpic -shared transitions"
59     "-shared -melf_x86_64 --no-ld-generated-unwind-info" ""
60     "--64" {tlsdesc.s tlspic2.s}
61     {{readelf -WSsrld tlsdesc.rd} {objdump -drj.text tlsdesc.dd}
62      {objdump "-s -j.got -j.got.plt" tlsdesc.sd} {objdump -sj.tdata tlsdesc.td}
63      {objdump -drj.plt tlsdesc.pd}} "libtlsdesc.so"}
64    {"Helper shared library" "-shared -melf_x86_64" ""
65     "--64" {tlslib.s} {} "libtlslib.so"}
66    {"TLS -fpic and -fno-pic exec transitions"
67     "-melf_x86_64 tmpdir/libtlslib.so --no-ld-generated-unwind-info" ""
68     "--64" {tlsbinpic.s tlsbin.s}
69     {{readelf -WSsrl tlsbin.rd} {objdump -drj.text tlsbin.dd}
70      {objdump -sj.got tlsbin.sd} {objdump -sj.tdata tlsbin.td}}
71      "tlsbin"}
72    {"TLS descriptor -fpic and -fno-pic exec transitions"
73     "-melf_x86_64 tmpdir/libtlslib.so --no-ld-generated-unwind-info" ""
74     "--64" {tlsbindesc.s tlsbin.s}
75     {{readelf -WSsrl tlsbindesc.rd} {objdump -drj.text tlsbindesc.dd}
76      {objdump -sj.got tlsbindesc.sd} {objdump -sj.tdata tlsbindesc.td}}
77      "tlsbindesc"}
78    {"TLS with global dynamic and descriptors"
79     "-shared -melf_x86_64 --no-ld-generated-unwind-info" ""
80     "--64" {tlsgdesc.s}
81     {{readelf -WSsrl tlsgdesc.rd} {objdump -drj.text tlsgdesc.dd}}
82      "libtlsgdesc.so"}
83    {"TLS in debug sections" "-melf_x86_64" ""
84     "--64" {tlsg.s}
85     {{objdump -sj.debug_foobar tlsg.sd}} "tlsg"}
86    {"TLS GD->LE transition" "-melf_x86_64" ""
87     "--64" {tlsgd1.s}
88     {{objdump -dwr tlsgd1.dd}} "tlsgd1"}
89    {"TLS LD->LE transition" "-melf_x86_64" ""
90     "--64" {tlsld1.s}
91     {{objdump -dwr tlsld1.dd}} "tlsld1"}
92    {"TLS IE->LE transition" "-melf_x86_64" ""
93     "--64" {tlsie1.s}
94     {{objdump -dwr tlsie1.dd}} "tlsie1"}
95    {"Helper 64bit object 1" "-r -melf_x86_64" ""
96     "--64" {mixed1a.s} {} "libmixe1a.o"}
97    {"Helper 32bit object 1" "-r -melf_i386" ""
98     "--32" {mixed1b.s} {} "libmixe1b.o"}
99    {"Helper 64bit object 2" "-r -melf_x86_64" ""
100     "--64" {mixed2a.s} {} "libmixe2a.o"}
101    {"Helper 32bit object 2" "-r -melf_i386" ""
102     "--32" {mixed2b.s} {} "libmixe2b.o"}
103    {"Split by file with 'l' flag on section."
104     "-split-by-file -r -melf_x86_64" ""
105     "--64" {split-by-file1.s split-by-file2.s}
106     {{readelf -SW split-by-file.rd}} "split-by-file.o"}
107    {"TLS X32 IE->LE transition" "-melf32_x86_64" ""
108     "--x32" {tlsie4.s}
109     {{objdump -dwr tlsie4.dd}} "tlsie4"}
110    {"TLS X32 GD->LE transition" "-melf32_x86_64" ""
111     "--x32" {tlsgd4.s}
112     {{objdump -dwr tlsgd4.dd}} "tlsgd4"}
113    {"Helper TLS GD->IE transition DSO" "-shared -melf_x86_64" ""
114     "--64" {tlsgd5b.s} {} "libtlsgd5.so"}
115    {"TLS GD->IE transition" "-melf_x86_64 tmpdir/libtlsgd5.so" ""
116     "--64" {tlsgd5a.s}
117     {{objdump -dwr tlsgd5.dd}} "tlsgd5"}
118    {"Helper TLS X32 GD->IE transition DSO" "-shared -melf32_x86_64" ""
119     "--x32" {tlsgd6b.s} {} "libtlsgd6.so"}
120    {"TLS X32 GD->IE transition" "-melf32_x86_64 tmpdir/libtlsgd6.so" ""
121     "--x32" {tlsgd6a.s}
122     {{objdump -dwr tlsgd6.dd}} "tlsgd6"}
123    {"TLS X32 LD->LE transition" "-melf32_x86_64" ""
124     "--x32" {tlsld2.s}
125     {{objdump -dwr tlsld2.dd}} "tlsld2"}
126    {"TLS -mcmodel=large GD->LE transition" "-melf_x86_64" ""
127     "--64" {tlsgd7.s}
128     {{objdump -dwr tlsgd7.dd}} "tlsgd7"}
129    {"TLS -mcmodel=large LD->LE transition" "-melf_x86_64" ""
130     "--64" {tlsld3.s}
131     {{objdump -dwr tlsld3.dd}} "tlsld3"}
132    {"TLS -mcmodel=large GD->IE transition" "-melf_x86_64 tmpdir/libtlsgd5.so" ""
133     "--64" {tlsgd8.s}
134     {{objdump -dwrj.text tlsgd8.dd}} "tlsgd8"}
135
136     {"build 32-bit object with 33 locals" "-melf_x86_64 -e 0" "" "--32" {32bit.s} {{ ld incompatible.l }} "dummy" }
137     {"build 64-bit object" "-melf_x86_64 -e 0 --defsym foo=1" "" "--64" {64bit.s} {} "dummy" }
138     {"link mixed objects"  "-melf_x86_64 -e 0 tmpdir/32bit.o tmpdir/64bit.o" "" "" {} { { ld incompatible.l } } "mixed"}
139    {"PR ld/17313 (1)" "-melf_x86_64" ""
140     "--64" {dummy.s} {} ""}
141    {"PR ld/17313 (2)" "-melf_x86_64 -shared --just-symbols=tmpdir/dummy.o" ""
142     "--64" {lea1.s} {} "libpr17313.so"}
143    {"PR ld/17306 (1)" "-melf_x86_64" ""
144     "--64" {pr17306b.s} {} ""}
145    {"PR ld/17306 (2)" "-melf_x86_64 -shared -Bsymbolic --just-symbols=tmpdir/pr17306b.o" ""
146     "--64" {pr17306a.s} {} "libpr17306.so"}
147}
148
149# So as to avoid rewriting every last test case here in a nacl variant,
150# we use black magic to massage the generic cases into nacl-variant cases.
151if [istarget "*-*-nacl*"] {
152    set emul elf_x86_64_nacl
153
154    set lhs {elf(32)?_(i386|x86_64)[[:>:]]}
155    set rhs {&_nacl}
156
157    # Change all the -melf_x86_64 to -melf_x86_64_nacl so linking can succeed.
158    regsub -all -- $lhs $x86_64tests $rhs x86_64tests
159
160    # Same, applied to all the run_dump_test cases.
161    set options_regsub(ld) [list $lhs $rhs]
162
163    # The section/segment layout differs too much for the vanilla
164    # readelf output files to match.  So massage the cases so that
165    # they refer to a foo-nacl.rd file instead of a foo.rd file.
166    regsub -all -- {([a-z0-9]+)\.rd} $x86_64tests {\1-nacl.rd} x86_64tests
167
168    # Likewise for PLTs.
169    regsub -all -- {([a-z0-9]+)\.pd} $x86_64tests {\1-nacl.pd} x86_64tests
170} else {
171    set emul elf_x86_64
172}
173
174run_ld_link_tests $x86_64tests
175
176global link_output
177global ld
178
179set test_name "Mixed x86_64 and i386 input test 1"
180set test mixed1
181if { ![ld_simple_link $ld tmpdir/$test "-m$emul tmpdir/${test}a.o tmpdir/${test}b.o"] } {
182    if [string match "*i386* architecture of input file `tmpdir/${test}b.o' is incompatible with i386:x86-64* output*" $link_output] {
183	pass "$test_name"
184    } {
185	fail "$test_name"
186    }
187}
188
189set test_name "Mixed x86_64 and i386 input test 2"
190set test mixed2
191if { ![ld_simple_link $ld tmpdir/$test "-m$emul tmpdir/${test}a.o tmpdir/${test}b.o"] } {
192    if [string match "*i386* architecture of input file `tmpdir/${test}b.o' is incompatible with i386:x86-64* output*" $link_output] {
193	pass "$test_name"
194    } {
195	fail "$test_name"
196    }
197}
198
199run_dump_test "abs"
200run_dump_test "abs-l1om"
201run_dump_test "pcrel8"
202run_dump_test "pcrel16"
203run_dump_test "tlsgd2"
204run_dump_test "tlsgd3"
205run_dump_test "tlsie2"
206run_dump_test "tlsie3"
207run_dump_test "hidden1"
208run_dump_test "hidden2"
209run_dump_test "hidden3"
210run_dump_test "protected1"
211run_dump_test "protected2"
212run_dump_test "protected2-l1om"
213run_dump_test "protected3"
214run_dump_test "protected3-l1om"
215run_dump_test "protected4"
216run_dump_test "protected5"
217run_dump_test "tlsle1"
218run_dump_test "tlspie1"
219run_dump_test "unique1"
220run_dump_test "nogot1"
221run_dump_test "nogot2"
222run_dump_test "discarded1"
223run_dump_test "pr12718"
224run_dump_test "pr12921"
225run_dump_test "pr13947"
226run_dump_test "pr12570a"
227run_dump_test "pr12570b"
228run_dump_test "pr14215"
229run_dump_test "pr14207"
230run_dump_test "gotplt1"
231
232if { ![istarget "x86_64-*-linux*"] && ![istarget "x86_64-*-nacl*"]} {
233    return
234}
235
236if ![ld_assemble $as "--x32 $srcdir/$subdir/start.s" tmpdir/startx32.o] {
237    unresolved "Build ILP32 start.o"
238    return
239}
240
241if ![ld_assemble $as "--32 $srcdir/$subdir/start.s" tmpdir/start32.o] {
242    unresolved "Build ia32 start.o"
243    return
244}
245
246if ![ld_assemble $as "--64 $srcdir/$subdir/start.s" tmpdir/start64.o] {
247    unresolved "Build LP64 start.o"
248    return
249}
250
251if ![ld_assemble $as "--x32 $srcdir/$subdir/foo.s" tmpdir/foox32.o] {
252    unresolved "Build ILP32 foo.o"
253    return
254}
255
256if ![ld_assemble $as "--32 $srcdir/$subdir/foo.s" tmpdir/foo32.o] {
257    unresolved "Build ia32 foo.o"
258    return
259}
260
261if ![ld_assemble $as "--64 $srcdir/$subdir/foo.s" tmpdir/foo64.o] {
262    unresolved "Build LP64 foo.o"
263    return
264}
265
266run_dump_test "compressed1"
267run_dump_test "ilp32-1"
268run_dump_test "ilp32-2"
269run_dump_test "ilp32-3"
270run_dump_test "ilp32-4"
271run_dump_test "ilp32-4-nacl"
272run_dump_test "ilp32-5"
273run_dump_test "ilp32-6"
274run_dump_test "ilp32-7"
275run_dump_test "ilp32-8"
276run_dump_test "ilp32-9"
277run_dump_test "ilp32-10"
278run_dump_test "ilp32-11"
279run_dump_test "ia32-1"
280run_dump_test "ia32-2"
281run_dump_test "ia32-3"
282run_dump_test "lp64-1"
283run_dump_test "lp64-2"
284run_dump_test "lp64-3"
285run_dump_test "pr13082-1a"
286run_dump_test "pr13082-1b"
287run_dump_test "pr13082-2a"
288run_dump_test "pr13082-2b"
289run_dump_test "pr13082-3a"
290run_dump_test "pr13082-3b"
291run_dump_test "pr13082-4a"
292run_dump_test "pr13082-4b"
293run_dump_test "pr13082-5a"
294run_dump_test "pr13082-5b"
295run_dump_test "pr13082-6a"
296run_dump_test "pr13082-6b"
297run_dump_test "lea1a"
298run_dump_test "lea1b"
299run_dump_test "lea1c"
300run_dump_test "lea1d"
301run_dump_test "lea1e"
302run_dump_test "lea1f"
303run_dump_test "lea1g"
304run_dump_test "lea1h"
305run_dump_test "lea1i"
306run_dump_test "lea1j"
307run_dump_test "lea1k"
308run_dump_test "lea1l"
309run_dump_test "mov1a"
310run_dump_test "mov1b"
311run_dump_test "mov1c"
312run_dump_test "mov1d"
313
314# Must be native with the C compiler
315if { [isnative] && [which $CC] != 0 } {
316    run_cc_link_tests {
317	{"Helper X32 DSO from x86-64 object" "" "-m64 -fPIC -g"
318	 {simple.c} {} "libsimple.a"}
319    }
320
321    set convertx32 "$objcopy -O elf32-x86-64 tmpdir/simple.o tmpdir/simple-x32.o"
322    send_log "$convertx32\n"
323    set got [remote_exec host "$convertx32"]
324    if { [lindex $got 0] != 0 || ![string match "" [lindex $got 1]] } then {
325	send_log "$got\n"
326	fail "Convert x86-64 object to x32"
327	return
328    }
329
330    run_ld_link_tests {
331	{"X32 DSO from x86-64 object"
332	 "-shared -melf32_x86_64 tmpdir/simple-x32.o" "" "--x32"
333	{dummy.s} {{readelf {-s --wide} x86-64-x32.rd}} "x86-64-x32"}
334    }
335}
336