Fix misc x32 bugs.
[external/binutils.git] / ld / testsuite / ld-elfvsb / elfvsb.exp
1 # Expect script for ld-visibility tests
2 #   Copyright 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2010
3 #   Free Software Foundation, Inc.
4 #
5 # This file is part of the GNU Binutils.
6 #
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.
11 #
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.
16 #
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,
20 # MA 02110-1301, USA.
21 #
22 # Written by Ian Lance Taylor (ian@cygnus.com)
23 #            and H.J. Lu (hjl@gnu.org)
24 #
25
26 # Make sure that ld can generate ELF shared libraries with visibility.
27
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*] } {
44     return
45 }
46
47 if { [istarget *-*-linux*aout*] \
48      || [istarget *-*-linux*oldld*] } {
49     return
50 }
51
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]
57 }
58
59 # The remaining tests can only be run if ld generates native executables.
60 if ![isnative] then {return}
61
62 set tmpdir tmpdir
63 set SHCFLAG ""
64 set shared_needs_pic "no"
65
66 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
67
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"
73
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
80
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]
84     puts $file shlibvar1
85     puts $file shlibvar2
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
93     close $file
94 }
95
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 
99     # anchors off.
100     set SHCFLAG "-fno-section-anchors"
101
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\"); }"
110         close $file
111         if [run_host_cmd_yesno "$CC" "$CFLAGS -c $tmpdir/movw-detect.c -o $tmpdir/movw-detect.o"] {
112             set shared_needs_pic "yes"
113         }
114     }
115 }
116
117 set support_protected "no"
118
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
124       }
125     }
126 }
127
128 # The test procedure.
129 proc visibility_test { visibility progname testname main sh1 sh2 dat args } {
130     global CC
131     global srcdir
132     global subdir
133     global exec_output
134     global link_output
135     global host_triplet
136     global tmpdir
137
138     if [llength $args] { set shldflags [lindex $args 0] } else { set shldflags "" }
139
140     # Build the shared library.
141     # On AIX, we need to use an export file.
142     set shared -shared
143     if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
144         set shared "-bM:SRE -bE:$tmpdir/xcoff.exp"
145     }
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] } {
150             pass "$testname"
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] } {
154             pass "$testname"
155         } else {
156             fail "$testname"
157         }}
158         return
159     }
160
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
164     # can not find -lc.
165     set rpath $tmpdir
166     if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
167         set rpath /lib:$tmpdir
168     }
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] } {
173             pass "$testname"
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] } {
179             pass "$testname"
180         } else {
181             fail "$testname"
182         }}
183         return
184     }
185
186     if { [ string match $visibility "hidden" ]
187          || [ string match $visibility "hidden_undef" ]
188          || [ string match $visibility "protected_undef" ] } {
189         fail "$testname"
190     }
191
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"
199         fail "$testname"
200         return
201     }
202
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]
207
208     if {![string match "" $exec_output]} then {
209         send_log "$exec_output\n"
210         verbose "$exec_output"
211         fail "$testname"
212         return
213     }
214
215     pass "$testname"
216 }
217
218 proc visibility_run {visibility} {
219     global CC
220     global CFLAGS
221     global SHCFLAG
222     global srcdir
223     global subdir
224     global tmpdir
225     global picflag
226     global target_triplet
227     global support_protected
228     global shared_needs_pic
229
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"
248     } else {
249         set VSBCFLAG ""
250     }}}}}}}}}
251
252     if { [istarget powerpc*-*-linux*] } {
253         # Testing non-PIC libraries is a waste of effort on any target.
254         # If you don't pass -fpic or -fPIC to gcc, gcc will assume quite
255         # reasonably that you are not compiling for a shared library.
256         # It can then make optimisations that result in shared library
257         # functions and variables not being overridable.  Newer versions
258         # of gcc are more likely to do this.
259     } else {
260     # Compile the main program.
261     if ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/main.c $tmpdir/mainnp.o] {
262         unresolved "visibility ($visibility) (non PIC)"
263         unresolved "visibility ($visibility)"
264     } else {
265         # The shared library is composed of two files.  First compile them
266         # without using -fpic.  That should work on an ELF system,
267         # although it will be less efficient because the dynamic linker
268         # will need to do more relocation work.  However, note that not
269         # using -fpic will cause some of the tests to return different
270         # results.
271         if { ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh1.c $tmpdir/sh1np.o]
272              || ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh2.c $tmpdir/sh2np.o] } {
273             unresolved "visibility ($visibility) (non PIC)"
274         } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
275             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o xcoff
276         } else {
277             # SunOS non PIC shared libraries don't permit some cases of
278             # overriding.
279             if { [ string match $visibility "protected" ]
280                  || [ string match $visibility "protected_undef_def" ] } {
281                 if [ string match $support_protected "no" ] {
282                     setup_xfail $target_triplet
283                 }
284             } else {
285                 setup_xfail "*-*-sunos4*"
286             }
287
288             # Non-pic code uses name binding rules for applications to
289             # reference variables by gp-relative relocs, which can't be
290             # used with overridable symbols.
291             if { ![ string match $visibility "hidden_undef" ]
292                  && ![ string match $visibility "protected_undef" ] } {
293                 setup_xfail "ia64-*-linux*"
294                 setup_xfail "alpha*-*-linux*"
295             }
296             if { ![ string match $visibility "hidden" ]
297                  && ![ string match $visibility "hidden_undef" ]
298                  && ![ string match $visibility "hidden_undef_def" ]
299                  && ![ string match $visibility "protected_undef" ] } {
300                 setup_xfail "s390x-*-linux*"
301                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
302                     setup_xfail "sparc*-*-linux*"
303                 }
304             }
305             if { [is_elf64 $tmpdir/mainnp.o] } {
306                 setup_xfail "x86_64-*-linux*"
307             }
308             if { ![istarget hppa*64*-*-linux*] } {
309                 setup_xfail "hppa*-*-linux*"
310             }
311             if [ string match $shared_needs_pic "yes" ] {
312                 setup_xfail "arm*-*-linux*"
313             }
314
315             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o elfvsb
316
317             # Test ELF shared library relocations with a non-zero load
318             # address for the library.  Near as I can tell, the R_*_RELATIVE
319             # relocations for various targets are broken in the case where
320             # the load address is not zero (which is the default).
321             if { [ string match $visibility "protected" ]
322                  || [ string match $visibility "protected_undef_def" ] } {
323                 if [ string match $support_protected "no" ] {
324                     setup_xfail $target_triplet
325                 }
326             } else {
327                 setup_xfail "*-*-sunos4*"
328                 setup_xfail "*-*-linux*libc1"
329             }
330             if { [ string match $visibility "hidden_normal" ]
331                  || [ string match $visibility "hidden_weak" ]
332                  || [ string match $visibility "protected" ]
333                  || [ string match $visibility "protected_undef_def" ]
334                  || [ string match $visibility "protected_weak" ]
335                  || [ string match $visibility "normal" ] } {
336                 setup_xfail "powerpc-*-linux*"
337                 setup_xfail "s390x-*-linux*"
338                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
339                     setup_xfail "sparc*-*-linux*"
340                 }
341             }
342             if { ![ string match $visibility "hidden_undef" ]
343                  && ![ string match $visibility "protected_undef" ] } {
344                 setup_xfail "ia64-*-linux*"
345                 setup_xfail "alpha*-*-linux*"
346                 setup_xfail "mips*-*-linux*"
347             }
348             if { [is_elf64 $tmpdir/mainnp.o] } {
349                 setup_xfail "x86_64-*-linux*"
350             }
351             if { ![istarget hppa*64*-*-linux*] } {
352                 setup_xfail "hppa*-*-linux*"
353             }
354             if [ string match $shared_needs_pic "yes" ] {
355                 setup_xfail "arm*-*-linux*"
356             }
357
358             visibility_test $visibility vnp "visibility ($visibility) (non PIC, load offset)" \
359                 mainnp.o sh1np.o sh2np.o elfvsb \
360                 "-T $srcdir/$subdir/elf-offset.ld"
361         } }
362
363         # Now compile the code using -fpic.
364
365         if { ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh1.c $tmpdir/sh1p.o] 
366             || ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh2.c $tmpdir/sh2p.o] } {
367             unresolved "visibility ($visibility)"
368         } else {
369             if { [ string match $visibility "protected" ]
370                  || [ string match $visibility "protected_undef_def" ] } {
371                 if [ string match $support_protected "no" ] {
372                     setup_xfail $target_triplet
373                 }
374             }
375             # SunOS can not compare function pointers correctly
376             if [istarget "*-*-sunos4*"] {
377                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o sun4
378             } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
379                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o xcoff
380             } else {
381                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o elfvsb
382             } }
383         }
384     }}
385
386     if { [istarget powerpc*-*-linux*] } {
387         # Don't bother.
388     } else {
389     # Now do the same tests again, but this time compile main.c PIC.
390     if ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/main.c $tmpdir/mainp.o] {
391         unresolved "visibility ($visibility) (PIC main, non PIC so)"
392         unresolved "visibility ($visibility) (PIC main)"
393     } else {
394         if { [file exists $tmpdir/sh1np.o ] && [ file exists $tmpdir/sh2np.o ] } {
395             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
396                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o xcoff
397             } else {
398                 # SunOS non PIC shared libraries don't permit some cases of
399                 # overriding.
400                 if { [ string match $visibility "protected" ]
401                      || [ string match $visibility "protected_undef_def" ] } {
402                     if [ string match $support_protected "no" ] {
403                         setup_xfail $target_triplet
404                     }
405                 } else {
406                     setup_xfail "*-*-sunos4*"
407                 }
408                 if { ![ string match $visibility "hidden_undef" ]
409                      && ![ string match $visibility "protected_undef" ] } {
410                     setup_xfail "ia64-*-linux*"
411                     setup_xfail "alpha*-*-linux*"
412                 }
413                 if { ![ string match $visibility "hidden" ]
414                      && ![ string match $visibility "hidden_undef" ]
415                      && ![ string match $visibility "hidden_undef_def" ]
416                      && ![ string match $visibility "protected_undef" ] } {
417                     setup_xfail "s390x-*-linux*"
418                     if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainp.o] } {
419                         setup_xfail "sparc*-*-linux*"
420                     }
421                 }
422                 if { [is_elf64 $tmpdir/mainp.o] } {
423                     setup_xfail "x86_64-*-linux*"
424                 }
425                 if { ![istarget hppa*64*-*-linux*] } {
426                     setup_xfail "hppa*-*-linux*"
427                 }
428                 if [ string match $shared_needs_pic "yes" ] {
429                     setup_xfail "arm*-*-linux*"
430                 }
431
432                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o elfvsb
433             }
434         } else {
435             unresolved "visibility (PIC main, non PIC so)"
436         }
437
438         if { [file exists $tmpdir/sh1p.o ] && [ file exists $tmpdir/sh2p.o ] } {
439             if { [ string match $visibility "protected" ]
440                  || [ string match $visibility "protected_undef_def" ] } {
441                 if [ string match $support_protected "no" ] {
442                     setup_xfail $target_triplet
443                 }
444             }
445             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
446                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o xcoff
447             } else {
448                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o elfvsb
449             }
450         } else {
451             unresolved "visibility ($visibility) (PIC main)"
452         }
453     }}
454 }
455
456 if [istarget mips*-*-*] {
457     set picflag ""
458 } else {
459     # Unfortunately, the gcc argument is -fpic and the cc argument is
460     # -KPIC.  We have to try both.
461     set picflag "-fpic"
462     send_log "$CC $picflag\n"
463     verbose "$CC $picflag"
464     catch "exec $CC $picflag" exec_output
465     send_log "$exec_output\n"
466     verbose "--" "$exec_output"
467     if { [string match "*illegal option*" $exec_output] \
468          || [string match "*option ignored*" $exec_output] \
469          || [string match "*unrecognized option*" $exec_output] \
470          || [string match "*passed to ld*" $exec_output] } {
471         if [istarget *-*-sunos4*] {
472             set picflag "-pic"
473         } else {
474             set picflag "-KPIC"
475         }
476     }
477 }
478 verbose "Using $picflag to compile PIC code"
479
480 visibility_run hidden
481 visibility_run hidden_normal
482 visibility_run hidden_undef
483 visibility_run hidden_undef_def
484 visibility_run hidden_weak
485 visibility_run protected
486 visibility_run protected_undef
487 visibility_run protected_undef_def
488 visibility_run protected_weak
489 visibility_run normal
490
491 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/common.c tmpdir/common.o] } {
492     unresolved "common hidden symbol"
493 } else {
494     if ![ld_simple_link $ld tmpdir/common "tmpdir/common.o"] {
495         fail "common hidden symbol"
496     } else {
497         pass "common hidden symbol"
498     }
499 }
500
501 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/test.c tmpdir/test.o] } {
502     unresolved "weak hidden symbol"
503 } else {
504    if { ![ld_compile "$CC -g $CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh3.c tmpdir/sh3.o] } {
505         unresolved "weak hidden symbol"
506     } else {
507         if ![ld_simple_link $ld tmpdir/sh3.so "-shared tmpdir/sh3.o"] {
508             fail "weak hidden symbol"
509         } else {
510             if ![ld_simple_link $ld tmpdir/weak "tmpdir/test.o tmpdir/sh3.o"] {
511                 fail "weak hidden symbol DSO last"
512             } else {
513                 pass "weak hidden symbol DSO last"
514             }
515             if ![ld_simple_link $ld tmpdir/weak "tmpdir/sh3.so tmpdir/test.o"] {
516                 fail "weak hidden symbol DSO first"
517             } else {
518                 pass "weak hidden symbol DSO first"
519             }
520         }
521     }
522 }
523
524 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
525     # Remove the temporary directory.
526     catch "exec rm -rf $tmpdir" exec_status
527 }