1 # Expect script
for ld-visibility tests
2 # Copyright
2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2010
3 # Free Software Foundation
, Inc.
5 # This file is part of the GNU Binutils.
7 # This
program is free software
; you can redistribute it and
/or modify
8 # it under the terms of the GNU General Public License as published by
9 # the Free Software Foundation
; either version
3 of the License
, or
10 #
(at your option
) any later version.
12 # This
program is distributed in the hope that it will be useful
,
13 # but WITHOUT
ANY WARRANTY
; without even the implied warranty of
14 # MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE. See the
15 # GNU General Public License
for more details.
17 # You should have received a copy of the GNU General Public License
18 # along with this
program; if not
, write to the Free Software
19 # Foundation
, Inc.
, 51 Franklin Street
- Fifth Floor
, Boston
,
22 # Written by Ian Lance Taylor
(ian@cygnus.com
)
23 # and H.J. Lu
(hjl@gnu.org
)
26 # Make sure that
ld can generate ELF shared libraries with visibility.
28 # This test can only be run
on a couple of ELF platforms.
29 # Square bracket expressions seem to confuse istarget.
30 if { ![istarget hppa
*64*-*-hpux
*] \
31 && ![istarget hppa
*-*-linux
*] \
32 && ![istarget i?
86-*-linux
*] \
33 && ![istarget i?
86-*-gnu
*] \
34 && ![istarget ia64
-*-linux
*] \
35 && ![istarget m68k
-*-linux
*] \
36 && ![istarget mips
*-*-linux
*] \
37 && ![istarget powerpc
*-*-linux
*] \
38 && ![istarget arm
*-*-linux
*] \
39 && ![istarget alpha
*-*-linux
*] \
40 && ![istarget sparc
*-*-linux
*] \
41 && ![istarget s390
*-*-linux
*] \
42 && ![istarget sh\
[34\
]*-*-linux
*] \
43 && ![istarget x86_64
-*-linux
*] } {
47 if { [istarget
*-*-linux
*aout
*] \
48 ||
[istarget
*-*-linux
*oldld
*] } {
52 set test_list
[lsort
[glob
-nocomplain $srcdir
/$subdir
/*.d
]]
53 foreach t $test_list
{
54 # We need to
strip the
".d", but can leave the dirname.
55 verbose
[file rootname $t
]
56 run_dump_test
[file rootname $t
]
59 # The remaining tests can only be run
if ld generates native executables.
60 if ![isnative
] then {return}
64 set shared_needs_pic
"no"
66 if { [istarget rs6000
*-*-aix
*] ||
[istarget powerpc
*-*-aix
*] } {
68 # AIX shared libraries
do not seem to support useful features
,
69 # like overriding the shared library function or letting the
70 # shared library refer to objects defined in the main
program. We
71 # avoid testing those features.
72 set SHCFLAG
"-DXCOFF_TEST"
74 # The AIX
3.2.5 loader appears to randomly fail when loading
75 # shared libraries from NSF mounted partitions
, so we avoid
any
76 # potential problems by using a local directory.
77 catch
{exec
/bin
/sh
-c
"echo $$"} pid
78 set tmpdir
/usr
/tmp
/ld.$pid
79 catch
"exec mkdir $tmpdir" exec_status
81 #
On AIX
, we need to explicitly
export the symbols the shared
82 # library is going to provide
, and need.
83 set file
[open $tmpdir
/xcoff.exp w
]
86 puts $file shlib_shlibvar1
87 puts $file shlib_shlibvar2
88 puts $file shlib_shlibcall
89 puts $file shlib_shlibcalled
90 puts $file shlib_checkfunptr1
91 puts $file shlib_getfunptr1
92 puts $file shlib_check
96 if [istarget arm
*-*-linux
*] {
97 #
On ARM section anchors can change the symbol pre
-emptability
for
98 # non
-PIC shared libraries
, causing these tests to fail. Turn section
100 set SHCFLAG
"-fno-section-anchors"
102 #
On targets that have MOVW the compiler will emit relocations which
103 # the linker doesn
't support when compiling -shared without -fpic. The
104 # test to find out whether we want to XFAIL the non-PIC tests requires
105 # a compile - so we pre-calculate it here. We also note that this can
106 # only affect arm*-*-*eabi targets as the old ABI doesn't support v7.
107 if [istarget arm
*-*-*eabi
] {
108 set file
[open $tmpdir
/movw
-detect.c w
]
109 puts $file
"void foo(void) { __asm (\"movw r0, #0\"); }"
111 if [run_host_cmd_yesno
"$CC" "$CFLAGS -c $tmpdir/movw-detect.c -o $tmpdir/movw-detect.o"] {
112 set shared_needs_pic
"yes"
117 set support_protected
"no"
119 if { [istarget
*-*-linux
*]
120 ||
[istarget
*-*-gnu
*] } {
121 if [ld_compile
"$CC -g $CFLAGS -DPROTECTED_CHECK" $srcdir/$subdir/main.c $tmpdir/main.o] {
122 if [ld_simple_link $CC $tmpdir
/main
"$tmpdir/main.o"] {
123 catch
"exec $tmpdir/main" support_protected
128 # The test procedure.
129 proc visibility_test
{ visibility progname testname main sh1 sh2 dat
args } {
138 if [llength $
args] { set shldflags
[lindex $
args 0] } else { set shldflags
"" }
140 # Build the shared library.
141 #
On AIX
, we need to use an
export file.
143 if { [istarget rs6000
*-*-aix
*] ||
[istarget powerpc
*-*-aix
*] } {
144 set shared
"-bM:SRE -bE:$tmpdir/xcoff.exp"
146 if {![ld_simple_link $CC $tmpdir
/$progname.so
"$shared $shldflags $tmpdir/$sh1 $tmpdir/$sh2"]} {
147 if { [ string match $visibility
"hidden_undef" ]
148 && [regexp
"undefined reference to \`\.?visibility\'" $link_output]
149 && [regexp
"undefined reference to \`visibility_var\'" $link_output] } {
151 } else { if { [ string match $visibility
"protected_undef" ]
152 && [regexp
"undefined reference to \`\.?visibility\'" $link_output]
153 && [regexp
"undefined reference to \`visibility_var\'" $link_output] } {
161 # Link against the shared library. Use
-rpath so that the
162 # dynamic linker can locate the shared library at runtime.
163 #
On AIX
, we must
include /lib in
-rpath
, as otherwise the loader
166 if { [istarget rs6000
*-*-aix
*] ||
[istarget powerpc
*-*-aix
*] } {
167 set rpath
/lib
:$tmpdir
169 if ![ld_simple_link $CC $tmpdir
/$progname
"-Wl,-rpath,$rpath $tmpdir/$main $tmpdir/$progname.so"] {
170 if { [ string match $visibility
"hidden" ]
171 && [regexp
"undefined reference to \`\.?visibility\'" $link_output]
172 && [regexp
"undefined reference to \`visibility_var\'" $link_output] } {
174 } else { if { [ string match $visibility
"hidden_undef_def" ]
175 && [regexp
"undefined reference to \`\.?visibility\'" $link_output]
176 && [regexp
"undefined reference to \`visibility_def\'" $link_output]
177 && [regexp
"undefined reference to \`\.?visibility_func\'" $link_output]
178 && [regexp
"undefined reference to \`visibility_var\'" $link_output] } {
186 if { [ string match $visibility
"hidden" ]
187 ||
[ string match $visibility
"hidden_undef" ]
188 ||
[ string match $visibility
"protected_undef" ] } {
192 # Run the resulting
program
193 send_log
"$tmpdir/$progname >$tmpdir/$progname.out\n"
194 verbose
"$tmpdir/$progname >$tmpdir/$progname.out"
195 catch
"exec $tmpdir/$progname >$tmpdir/$progname.out" exec_output
196 if ![string match
"" $exec_output] then {
197 send_log
"$exec_output\n"
198 verbose
"$exec_output"
203 send_log
"diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat\n"
204 verbose
"diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat"
205 catch
"exec diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat" exec_output
206 set exec_output
[prune_warnings $exec_output
]
208 if {![string match
"" $exec_output]} then {
209 send_log
"$exec_output\n"
210 verbose
"$exec_output"
218 proc visibility_run
{visibility
} {
226 global target_triplet
227 global support_protected
228 global shared_needs_pic
230 if [ string match $visibility
"hidden" ] {
231 set VSBCFLAG
"-DHIDDEN_TEST"
232 } else { if [ string match $visibility
"hidden_normal" ] {
233 set VSBCFLAG
"-DHIDDEN_NORMAL_TEST"
234 } else { if [ string match $visibility
"hidden_undef" ] {
235 set VSBCFLAG
"-DHIDDEN_UNDEF_TEST"
236 } else { if [ string match $visibility
"hidden_undef_def" ] {
237 set VSBCFLAG
"-DHIDDEN_UNDEF_TEST -DDSO_DEFINE_TEST"
238 } else { if [ string match $visibility
"hidden_weak" ] {
239 set VSBCFLAG
"-DHIDDEN_WEAK_TEST"
240 } else { if [ string match $visibility
"protected" ] {
241 set VSBCFLAG
"-DPROTECTED_TEST"
242 } else { if [ string match $visibility
"protected_undef" ] {
243 set VSBCFLAG
"-DPROTECTED_UNDEF_TEST"
244 } else { if [ string match $visibility
"protected_undef_def" ] {
245 set VSBCFLAG
"-DPROTECTED_UNDEF_TEST -DDSO_DEFINE_TEST"
246 } else { if [ string match $visibility
"protected_weak" ] {
247 set VSBCFLAG
"-DPROTECTED_WEAK_TEST"
252 #
Compile the main
program.
253 if ![ld_compile
"$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/main.c $tmpdir/mainnp.o] {
254 unresolved
"visibility ($visibility) (non PIC)"
255 unresolved
"visibility ($visibility)"
257 # The shared library is composed of two files. First
compile them
258 # without using
-fpic. That should work
on an ELF
system,
259 # although it will be less efficient because the dynamic linker
260 # will need to
do more relocation work. However
, note that not
261 # using
-fpic will cause some of the tests to
return different
263 if { ![ld_compile
"$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh1.c $tmpdir/sh1np.o]
264 ||
![ld_compile
"$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh2.c $tmpdir/sh2np.o] } {
265 unresolved
"visibility ($visibility) (non PIC)"
266 } else { if { [istarget rs6000
*-*-aix
*] ||
[istarget powerpc
*-*-aix
*] } {
267 visibility_test $visibility vnp
"visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o xcoff
269 # SunOS non PIC shared libraries don
't permit some cases of
271 if { [ string match $visibility "protected" ]
272 || [ string match $visibility "protected_undef_def" ] } {
273 if [ string match $support_protected "no" ] {
274 setup_xfail $target_triplet
277 setup_xfail "*-*-sunos4*"
280 # Non-pic code uses name binding rules for applications to
281 # reference variables by gp-relative relocs, which can't be
282 # used with overridable symbols.
283 if { ![ string match $visibility
"hidden_undef" ]
284 && ![ string match $visibility
"protected_undef" ] } {
285 setup_xfail
"ia64-*-linux*"
286 setup_xfail
"alpha*-*-linux*"
288 if { ![ string match $visibility
"hidden" ]
289 && ![ string match $visibility
"hidden_undef" ]
290 && ![ string match $visibility
"hidden_undef_def" ]
291 && ![ string match $visibility
"protected_undef" ] } {
292 setup_xfail
"s390x-*-linux*"
293 if { [istarget sparc
*-*-linux
*] && [is_elf64 $tmpdir
/mainnp.o
] } {
294 setup_xfail
"sparc*-*-linux*"
297 setup_xfail
"x86_64-*-linux*"
298 if { ![istarget hppa
*64*-*-linux
*] } {
299 setup_xfail
"hppa*-*-linux*"
301 if [ string match $shared_needs_pic
"yes" ] {
302 setup_xfail
"arm*-*-linux*"
305 visibility_test $visibility vnp
"visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o elfvsb
307 # Test ELF shared library relocations with a non
-zero
load
308 # address
for the library. Near as I can tell
, the R_
*_RELATIVE
309 # relocations
for various targets are broken in the case where
310 # the
load address is not zero
(which is the default
).
311 if { [ string match $visibility
"protected" ]
312 ||
[ string match $visibility
"protected_undef_def" ] } {
313 if [ string match $support_protected
"no" ] {
314 setup_xfail $target_triplet
317 setup_xfail
"*-*-sunos4*"
318 setup_xfail
"*-*-linux*libc1"
320 if { [ string match $visibility
"hidden_normal" ]
321 ||
[ string match $visibility
"hidden_weak" ]
322 ||
[ string match $visibility
"protected" ]
323 ||
[ string match $visibility
"protected_undef_def" ]
324 ||
[ string match $visibility
"protected_weak" ]
325 ||
[ string match $visibility
"normal" ] } {
326 setup_xfail
"powerpc-*-linux*"
327 setup_xfail
"s390x-*-linux*"
328 if { [istarget sparc
*-*-linux
*] && [is_elf64 $tmpdir
/mainnp.o
] } {
329 setup_xfail
"sparc*-*-linux*"
332 if { ![ string match $visibility
"hidden_undef" ]
333 && ![ string match $visibility
"protected_undef" ] } {
334 setup_xfail
"ia64-*-linux*"
335 setup_xfail
"alpha*-*-linux*"
336 setup_xfail
"mips*-*-linux*"
338 setup_xfail
"x86_64-*-linux*"
339 if { ![istarget hppa
*64*-*-linux
*] } {
340 setup_xfail
"hppa*-*-linux*"
342 if [ string match $shared_needs_pic
"yes" ] {
343 setup_xfail
"arm*-*-linux*"
346 visibility_test $visibility vnp
"visibility ($visibility) (non PIC, load offset)" \
347 mainnp.o sh1np.o sh2np.o elfvsb \
348 "-T $srcdir/$subdir/elf-offset.ld"
351 # Now
compile the code using
-fpic.
353 if { ![ld_compile
"$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh1.c $tmpdir/sh1p.o]
354 ||
![ld_compile
"$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh2.c $tmpdir/sh2p.o] } {
355 unresolved
"visibility ($visibility)"
357 if { [ string match $visibility
"protected" ]
358 ||
[ string match $visibility
"protected_undef_def" ] } {
359 if [ string match $support_protected
"no" ] {
360 setup_xfail $target_triplet
363 # SunOS can not compare function pointers correctly
364 if [istarget
"*-*-sunos4*"] {
365 visibility_test $visibility vp
"visibility ($visibility)" mainnp.o sh1p.o sh2p.o sun4
366 } else { if { [istarget rs6000
*-*-aix
*] ||
[istarget powerpc
*-*-aix
*] } {
367 visibility_test $visibility vp
"visibility ($visibility)" mainnp.o sh1p.o sh2p.o xcoff
369 visibility_test $visibility vp
"visibility ($visibility)" mainnp.o sh1p.o sh2p.o elfvsb
374 # Now
do the same tests again
, but this time
compile main.c PIC.
375 if ![ld_compile
"$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/main.c $tmpdir/mainp.o] {
376 unresolved
"visibility ($visibility) (PIC main, non PIC so)"
377 unresolved
"visibility ($visibility) (PIC main)"
379 if { [file
exists $tmpdir
/sh1np.o
] && [ file
exists $tmpdir
/sh2np.o
] } {
380 if { [istarget rs6000
*-*-aix
*] ||
[istarget powerpc
*-*-aix
*] } {
381 visibility_test $visibility vmpnp
"visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o xcoff
383 # SunOS non PIC shared libraries don
't permit some cases of
385 if { [ string match $visibility "protected" ]
386 || [ string match $visibility "protected_undef_def" ] } {
387 if [ string match $support_protected "no" ] {
388 setup_xfail $target_triplet
391 setup_xfail "*-*-sunos4*"
393 if { ![ string match $visibility "hidden_undef" ]
394 && ![ string match $visibility "protected_undef" ] } {
395 setup_xfail "ia64-*-linux*"
396 setup_xfail "alpha*-*-linux*"
398 if { ![ string match $visibility "hidden" ]
399 && ![ string match $visibility "hidden_undef" ]
400 && ![ string match $visibility "hidden_undef_def" ]
401 && ![ string match $visibility "protected_undef" ] } {
402 setup_xfail "s390x-*-linux*"
403 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainp.o] } {
404 setup_xfail "sparc*-*-linux*"
407 setup_xfail "x86_64-*-linux*"
408 if { ![istarget hppa*64*-*-linux*] } {
409 setup_xfail "hppa*-*-linux*"
411 if [ string match $shared_needs_pic "yes" ] {
412 setup_xfail "arm*-*-linux*"
415 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o elfvsb
418 unresolved "visibility (PIC main, non PIC so)"
421 if { [file exists $tmpdir/sh1p.o ] && [ file exists $tmpdir/sh2p.o ] } {
422 if { [ string match $visibility "protected" ]
423 || [ string match $visibility "protected_undef_def" ] } {
424 if [ string match $support_protected "no" ] {
425 setup_xfail $target_triplet
428 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
429 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o xcoff
431 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o elfvsb
434 unresolved "visibility ($visibility) (PIC main)"
439 if [istarget mips*-*-*] {
442 # Unfortunately, the gcc argument is -fpic and the cc argument is
443 # -KPIC. We have to try both.
445 send_log "$CC $picflag\n"
446 verbose "$CC $picflag"
447 catch "exec $CC $picflag" exec_output
448 send_log "$exec_output\n"
449 verbose "--" "$exec_output"
450 if { [string match "*illegal option*" $exec_output] \
451 || [string match "*option ignored*" $exec_output] \
452 || [string match "*unrecognized option*" $exec_output] \
453 || [string match "*passed to ld*" $exec_output] } {
454 if [istarget *-*-sunos4*] {
461 verbose "Using $picflag to compile PIC code"
463 visibility_run hidden
464 visibility_run hidden_normal
465 visibility_run hidden_undef
466 visibility_run hidden_undef_def
467 visibility_run hidden_weak
468 visibility_run protected
469 visibility_run protected_undef
470 visibility_run protected_undef_def
471 visibility_run protected_weak
472 visibility_run normal
474 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/common.c tmpdir/common.o] } {
475 unresolved "common hidden symbol"
477 if ![ld_simple_link $ld tmpdir/common "tmpdir/common.o"] {
478 fail "common hidden symbol"
480 pass "common hidden symbol"
484 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/test.c tmpdir/test.o] } {
485 unresolved "weak hidden symbol"
487 if { ![ld_compile "$CC -g $CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh3.c tmpdir/sh3.o] } {
488 unresolved "weak hidden symbol"
490 if ![ld_simple_link $ld tmpdir/sh3.so "-shared tmpdir/sh3.o"] {
491 fail "weak hidden symbol"
493 if ![ld_simple_link $ld tmpdir/weak "tmpdir/test.o tmpdir/sh3.o"] {
494 fail "weak hidden symbol DSO last"
496 pass "weak hidden symbol DSO last"
498 if ![ld_simple_link $ld tmpdir/weak "tmpdir/sh3.so tmpdir/test.o"] {
499 fail "weak hidden symbol DSO first"
501 pass "weak hidden symbol DSO first"
507 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
508 # Remove the temporary directory.
509 catch "exec rm -rf $tmpdir" exec_status