5331ad554c4b6f1dd99f9171ceebf7fd0abfaa12
[external/binutils.git] / ld / testsuite / ld-elfvsb / elfvsb.exp
1 # Expect script for ld-visibility tests
2 #   Copyright (C) 2000-2017 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 # Written by Ian Lance Taylor (ian@cygnus.com)
22 #            and H.J. Lu (hjl@gnu.org)
23 #
24
25 # Make sure that ld can generate ELF shared libraries with visibility.
26
27 # This test can only be run on a couple of ELF platforms.
28 # Square bracket expressions seem to confuse istarget.
29 if { ![istarget hppa*64*-*-hpux*] \
30      && ![istarget hppa*-*-linux*] \
31      && ![istarget i?86-*-linux*] \
32      && ![istarget i?86-*-gnu*] \
33      && ![istarget *-*-nacl*] \
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 set COMPRESS_LDFLAG "-Wl,--compress-debug-sections=zlib-gabi"
66
67 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
68
69     # AIX shared libraries do not seem to support useful features,
70     # like overriding the shared library function or letting the
71     # shared library refer to objects defined in the main program.  We
72     # avoid testing those features.
73     set SHCFLAG "-DXCOFF_TEST"
74
75     # The AIX 3.2.5 loader appears to randomly fail when loading
76     # shared libraries from NSF mounted partitions, so we avoid any
77     # potential problems by using a local directory.
78     catch {exec /bin/sh -c "echo $$"} pid
79     set tmpdir /usr/tmp/ld.$pid
80     catch "exec mkdir $tmpdir" exec_status
81
82     # On AIX, we need to explicitly export the symbols the shared
83     # library is going to provide, and need.
84     set file [open $tmpdir/xcoff.exp w]
85     puts $file shlibvar1
86     puts $file shlibvar2
87     puts $file shlib_shlibvar1
88     puts $file shlib_shlibvar2
89     puts $file shlib_shlibcall
90     puts $file shlib_shlibcalled
91     puts $file shlib_checkfunptr1
92     puts $file shlib_getfunptr1
93     puts $file shlib_check
94     close $file
95 }
96
97 if [istarget arm*-*-linux*] {
98     # On ARM section anchors can change the symbol pre-emptability for
99     # non-PIC shared libraries, causing these tests to fail.  Turn section
100     # anchors off.
101     set SHCFLAG "-fno-section-anchors"
102
103     # On targets that have MOVW the compiler will emit relocations which
104     # the linker doesn't support when compiling -shared without -fpic.  The
105     # test to find out whether we want to XFAIL the non-PIC tests requires
106     # a compile - so we pre-calculate it here.  We also note that this can
107     # only affect arm*-*-*eabi* targets as the old ABI doesn't support v7.
108     if [istarget arm*-*-*eabi*] {
109         set file [open $tmpdir/movw-detect.c w]
110         puts $file "void foo(void) { __asm (\"movw r0, #0\"); }"
111         close $file
112         if [run_host_cmd_yesno "$CC" "$CFLAGS -c $tmpdir/movw-detect.c -o $tmpdir/movw-detect.o"] {
113             set shared_needs_pic "yes"
114         }
115     }
116 }
117
118 set support_protected "no"
119
120 if { [istarget *-*-linux*]
121      || [istarget *-*-nacl*]
122      || [istarget *-*-gnu*] } {
123     if [ld_compile "$CC -g $CFLAGS -DPROTECTED_CHECK" $srcdir/$subdir/main.c $tmpdir/main.o] {
124       if [ld_simple_link $CC $tmpdir/main "$tmpdir/main.o"] {
125         catch "exec $tmpdir/main" support_protected
126       }
127     }
128 }
129
130 # The test procedure.
131 proc visibility_test { visibility progname testname main sh1 sh2 dat args } {
132     global CC
133     global srcdir
134     global subdir
135     global exec_output
136     global link_output
137     global host_triplet
138     global tmpdir
139
140     if [llength $args] { set shldflags [lindex $args 0] } else { set shldflags "" }
141
142     # Build the shared library.
143     # On AIX, we need to use an export file.
144     set shared -shared
145     if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
146         set shared "-bM:SRE -bE:$tmpdir/xcoff.exp"
147     }
148     if {![ld_simple_link $CC $tmpdir/$progname.so "$shared $shldflags $tmpdir/$sh1 $tmpdir/$sh2"]} {
149         if { [ string match $visibility "hidden_undef" ]
150              && [regexp "undefined reference to \`\.?visibility\'" $link_output]
151              && [regexp "undefined reference to \`visibility_var\'" $link_output] } {
152             pass "$testname"
153         } else { if { [ string match $visibility "protected_undef" ]
154              && [regexp "undefined reference to \`\.?visibility\'" $link_output]
155              && [regexp "undefined reference to \`visibility_var\'" $link_output] } {
156             pass "$testname"
157         } else {
158             fail "$testname"
159         }}
160         return
161     }
162
163     # Link against the shared library.  Use -rpath so that the
164     # dynamic linker can locate the shared library at runtime.
165     # On AIX, we must include /lib in -rpath, as otherwise the loader
166     # can not find -lc.
167     set rpath $tmpdir
168     if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
169         set rpath /lib:$tmpdir
170     }
171     if ![ld_simple_link $CC $tmpdir/$progname "-Wl,-rpath,$rpath $tmpdir/$main $tmpdir/$progname.so"] {
172         if { [ string match $visibility "hidden" ]
173              && [regexp "undefined reference to \`\.?visibility\'" $link_output]
174              && [regexp "undefined reference to \`visibility_var\'" $link_output] } {
175             pass "$testname"
176         } else { if { [ string match $visibility "hidden_undef_def" ]
177              && [regexp "undefined reference to \`\.?visibility\'" $link_output]
178              && [regexp "undefined reference to \`visibility_def\'" $link_output]
179              && [regexp "undefined reference to \`\.?visibility_func\'" $link_output]
180              && [regexp "undefined reference to \`visibility_var\'" $link_output] } {
181             pass "$testname"
182         } else {
183             fail "$testname"
184         }}
185         return
186     }
187
188     if { [ string match $visibility "hidden" ]
189          || [ string match $visibility "hidden_undef" ]
190          || [ string match $visibility "protected_undef" ] } {
191         fail "$testname"
192     }
193
194     # Run the resulting program
195     send_log "$tmpdir/$progname >$tmpdir/$progname.out\n"
196     verbose "$tmpdir/$progname >$tmpdir/$progname.out"
197     catch "exec $tmpdir/$progname >$tmpdir/$progname.out" exec_output
198     if ![string match "" $exec_output] then {
199         send_log "$exec_output\n"
200         verbose "$exec_output"
201         fail "$testname"
202         return
203     }
204
205     send_log "diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat\n"
206     verbose "diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat"
207     catch "exec diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat" exec_output
208     set exec_output [prune_warnings $exec_output]
209
210     if {![string match "" $exec_output]} then {
211         send_log "$exec_output\n"
212         verbose "$exec_output"
213         fail "$testname"
214         return
215     }
216
217     pass "$testname"
218 }
219
220 proc visibility_run {visibility} {
221     global CC
222     global CFLAGS
223     global SHCFLAG
224     global srcdir
225     global subdir
226     global tmpdir
227     global picflag
228     global target_triplet
229     global support_protected
230     global shared_needs_pic
231     global PLT_CFLAGS
232     global COMPRESS_LDFLAG
233
234     if [ string match $visibility "hidden" ] {
235         set VSBCFLAG "-DHIDDEN_TEST"
236     } else { if [ string match $visibility "hidden_normal" ] {
237         set VSBCFLAG "-DHIDDEN_NORMAL_TEST"
238     } else { if [ string match $visibility "hidden_undef" ] {
239         set VSBCFLAG "-DHIDDEN_UNDEF_TEST"
240     } else { if [ string match $visibility "hidden_undef_def" ] {
241         set VSBCFLAG "-DHIDDEN_UNDEF_TEST -DDSO_DEFINE_TEST"
242     } else { if [ string match $visibility "hidden_weak" ] {
243         set VSBCFLAG "-DHIDDEN_WEAK_TEST"
244     } else { if [ string match $visibility "protected" ] {
245         set VSBCFLAG "-DPROTECTED_TEST"
246     } else { if [ string match $visibility "protected_undef" ] {
247         set VSBCFLAG "-DPROTECTED_UNDEF_TEST"
248     } else { if [ string match $visibility "protected_undef_def" ] {
249         set VSBCFLAG "-DPROTECTED_UNDEF_TEST -DDSO_DEFINE_TEST"
250     } else { if [ string match $visibility "protected_weak" ] {
251         set VSBCFLAG "-DPROTECTED_WEAK_TEST"
252     } else {
253         set VSBCFLAG ""
254     }}}}}}}}}
255
256     if { [istarget powerpc*-*-linux*] \
257          || ( [istarget mips*-*-linux*] && [at_least_gcc_version 4 3] )} {
258         # Testing non-PIC libraries is a waste of effort on any target.
259         # If you don't pass -fpic or -fPIC to gcc, gcc will assume quite
260         # reasonably that you are not compiling for a shared library.
261         # It can then make optimisations that result in shared library
262         # functions and variables not being overridable.  Newer versions
263         # of gcc are more likely to do this.
264     } else {
265     # Compile the main program.  Make sure that PLT is used since PLT
266     # is expected.
267     if ![ld_compile "$CC -g $PLT_CFLAGS $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/main.c $tmpdir/mainnp.o] {
268         unresolved "visibility ($visibility) (non PIC)"
269         unresolved "visibility ($visibility)"
270     } else {
271         # The shared library is composed of two files.  First compile them
272         # without using -fpic.  That should work on an ELF system,
273         # although it will be less efficient because the dynamic linker
274         # will need to do more relocation work.  However, note that not
275         # using -fpic will cause some of the tests to return different
276         # results.  Make sure that PLT is used since PLT is expected.
277         if { ![ld_compile "$CC -g $PLT_CFLAGS $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh1.c $tmpdir/sh1np.o]
278              || ![ld_compile "$CC -g $PLT_CFLAGS $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh2.c $tmpdir/sh2np.o] } {
279             unresolved "visibility ($visibility) (non PIC)"
280         } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
281             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o xcoff
282         } else {
283             # SunOS non PIC shared libraries don't permit some cases of
284             # overriding.
285             if { [ string match $visibility "protected" ]
286                  || [ string match $visibility "protected_undef_def" ] } {
287                 if [ string match $support_protected "no" ] {
288                     setup_xfail $target_triplet
289                 }
290             } else {
291                 setup_xfail "*-*-sunos4*"
292             }
293
294             # Non-pic code uses name binding rules for applications to
295             # reference variables by gp-relative relocs, which can't be
296             # used with overridable symbols.
297             if { ![ string match $visibility "hidden_undef" ]
298                  && ![ string match $visibility "protected_undef" ] } {
299                 setup_xfail "ia64-*-linux*"
300                 setup_xfail "alpha*-*-linux*"
301             }
302             if { ![ string match $visibility "hidden" ]
303                  && ![ string match $visibility "hidden_undef" ]
304                  && ![ string match $visibility "hidden_undef_def" ]
305                  && ![ string match $visibility "protected_undef" ] } {
306                 setup_xfail "s390x-*-linux*"
307                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
308                     setup_xfail "sparc*-*-linux*"
309                 }
310             }
311             if { [is_elf64 $tmpdir/mainnp.o] } {
312                 setup_xfail "x86_64-*-linux*"
313             }
314             setup_xfail "x86_64-*-linux-gnux32"
315             if { ![istarget hppa*64*-*-linux*] } {
316                 setup_xfail "hppa*-*-linux*"
317             }
318             if [ string match $shared_needs_pic "yes" ] {
319                 setup_xfail "arm*-*-linux*"
320             }
321
322             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o elfvsb
323
324             # Test ELF shared library relocations with a non-zero load
325             # address for the library.  Near as I can tell, the R_*_RELATIVE
326             # relocations for various targets are broken in the case where
327             # the load address is not zero (which is the default).
328             if { [ string match $visibility "protected" ]
329                  || [ string match $visibility "protected_undef_def" ] } {
330                 if [ string match $support_protected "no" ] {
331                     setup_xfail $target_triplet
332                 }
333             } else {
334                 setup_xfail "*-*-sunos4*"
335                 setup_xfail "*-*-linux*libc1"
336             }
337             if { [ string match $visibility "hidden_normal" ]
338                  || [ string match $visibility "hidden_weak" ]
339                  || [ string match $visibility "protected" ]
340                  || [ string match $visibility "protected_undef_def" ]
341                  || [ string match $visibility "protected_weak" ]
342                  || [ string match $visibility "normal" ] } {
343                 setup_xfail "powerpc-*-linux*"
344                 setup_xfail "s390x-*-linux*"
345                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
346                     setup_xfail "sparc*-*-linux*"
347                 }
348             }
349             if { ![ string match $visibility "hidden_undef" ]
350                  && ![ string match $visibility "protected_undef" ] } {
351                 setup_xfail "ia64-*-linux*"
352                 setup_xfail "alpha*-*-linux*"
353                 setup_xfail "mips*-*-linux*"
354             }
355             if { [is_elf64 $tmpdir/mainnp.o] } {
356                 setup_xfail "x86_64-*-linux*"
357             }
358             setup_xfail "x86_64-*-linux-gnux32"
359             if { ![istarget hppa*64*-*-linux*] } {
360                 setup_xfail "hppa*-*-linux*"
361             }
362             if [ string match $shared_needs_pic "yes" ] {
363                 setup_xfail "arm*-*-linux*"
364             }
365
366             visibility_test $visibility vnp "visibility ($visibility) (non PIC, load offset)" \
367                 mainnp.o sh1np.o sh2np.o elfvsb \
368                 "-T $srcdir/$subdir/elf-offset.ld"
369         } }
370
371         # Now compile the code using -fpic.
372
373         if { ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh1.c $tmpdir/sh1p.o]
374             || ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh2.c $tmpdir/sh2p.o] } {
375             unresolved "visibility ($visibility)"
376         } else {
377             if { [ string match $visibility "protected" ]
378                  || [ string match $visibility "protected_undef_def" ] } {
379                 if [ string match $support_protected "no" ] {
380                     setup_xfail $target_triplet
381                 }
382             }
383             # SunOS can not compare function pointers correctly
384             if [istarget "*-*-sunos4*"] {
385                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o sun4
386             } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
387                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o xcoff
388             } else {
389                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o elfvsb $COMPRESS_LDFLAG
390             } }
391         }
392     }}
393
394     if { [istarget powerpc*-*-linux*] } {
395         # Don't bother.
396     } else {
397     # Now do the same tests again, but this time compile main.c PIC.
398     if ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/main.c $tmpdir/mainp.o] {
399         unresolved "visibility ($visibility) (PIC main, non PIC so)"
400         unresolved "visibility ($visibility) (PIC main)"
401     } else {
402         if { [file exists $tmpdir/sh1np.o ] && [ file exists $tmpdir/sh2np.o ] } {
403             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
404                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o xcoff
405             } else {
406                 # SunOS non PIC shared libraries don't permit some cases of
407                 # overriding.
408                 if { [ string match $visibility "protected" ]
409                      || [ string match $visibility "protected_undef_def" ] } {
410                     if [ string match $support_protected "no" ] {
411                         setup_xfail $target_triplet
412                     }
413                 } else {
414                     setup_xfail "*-*-sunos4*"
415                 }
416                 if { ![ string match $visibility "hidden_undef" ]
417                      && ![ string match $visibility "protected_undef" ] } {
418                     setup_xfail "ia64-*-linux*"
419                     setup_xfail "alpha*-*-linux*"
420                 }
421                 if { ![ string match $visibility "hidden" ]
422                      && ![ string match $visibility "hidden_undef" ]
423                      && ![ string match $visibility "hidden_undef_def" ]
424                      && ![ string match $visibility "protected_undef" ] } {
425                     setup_xfail "s390x-*-linux*"
426                     if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainp.o] } {
427                         setup_xfail "sparc*-*-linux*"
428                     }
429                 }
430                 if { [is_elf64 $tmpdir/mainp.o] } {
431                     setup_xfail "x86_64-*-linux*"
432                 }
433                 setup_xfail "x86_64-*-linux-gnux32"
434                 if { ![istarget hppa*64*-*-linux*] } {
435                     setup_xfail "hppa*-*-linux*"
436                 }
437                 if [ string match $shared_needs_pic "yes" ] {
438                     setup_xfail "arm*-*-linux*"
439                 }
440
441                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o elfvsb
442             }
443         } else {
444             unresolved "visibility (PIC main, non PIC so)"
445         }
446
447         if { [file exists $tmpdir/sh1p.o ] && [ file exists $tmpdir/sh2p.o ] } {
448             if { [ string match $visibility "protected" ]
449                  || [ string match $visibility "protected_undef_def" ] } {
450                 if [ string match $support_protected "no" ] {
451                     setup_xfail $target_triplet
452                 }
453             }
454             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
455                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o xcoff
456             } else {
457                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o elfvsb
458             }
459         } else {
460             unresolved "visibility ($visibility) (PIC main)"
461         }
462     }}
463 }
464
465 # Old version of GCC for MIPS default to enabling -fpic
466 # and get confused if it is used on the command line.
467 if { [istarget mips*-*-*] && ! [at_least_gcc_version 4 3] } then {
468     set picflag ""
469 } else {
470     # Unfortunately, the gcc argument is -fpic and the cc argument is
471     # -KPIC.  We have to try both.
472     set picflag "-fpic"
473     send_log "$CC $picflag\n"
474     verbose "$CC $picflag"
475     catch "exec $CC $picflag" exec_output
476     send_log "$exec_output\n"
477     verbose "--" "$exec_output"
478     if { [string match "*illegal option*" $exec_output] \
479          || [string match "*option ignored*" $exec_output] \
480          || [string match "*unrecognized option*" $exec_output] \
481          || [string match "*passed to ld*" $exec_output] } {
482         if [istarget *-*-sunos4*] {
483             set picflag "-pic"
484         } else {
485             set picflag "-KPIC"
486         }
487     }
488 }
489 verbose "Using $picflag to compile PIC code"
490
491 visibility_run hidden
492 visibility_run hidden_normal
493 visibility_run hidden_undef
494 visibility_run hidden_undef_def
495 visibility_run hidden_weak
496 visibility_run protected
497 visibility_run protected_undef
498 visibility_run protected_undef_def
499 visibility_run protected_weak
500 visibility_run normal
501
502 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/common.c tmpdir/common.o] } {
503     unresolved "common hidden symbol"
504 } else {
505     if ![ld_simple_link $ld tmpdir/common "tmpdir/common.o"] {
506         fail "common hidden symbol"
507     } else {
508         pass "common hidden symbol"
509     }
510 }
511
512 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/test.c tmpdir/test.o] } {
513     unresolved "weak hidden symbol"
514 } else {
515    if { ![ld_compile "$CC -g $CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh3.c tmpdir/sh3.o] } {
516         unresolved "weak hidden symbol"
517     } else {
518         if ![ld_simple_link $ld tmpdir/sh3.so "-shared tmpdir/sh3.o"] {
519             fail "weak hidden symbol"
520         } else {
521             if ![ld_simple_link $ld tmpdir/weak "tmpdir/test.o tmpdir/sh3.o"] {
522                 fail "weak hidden symbol DSO last"
523             } else {
524                 pass "weak hidden symbol DSO last"
525             }
526             if ![ld_simple_link $ld tmpdir/weak "tmpdir/sh3.so tmpdir/test.o"] {
527                 fail "weak hidden symbol DSO first"
528             } else {
529                 pass "weak hidden symbol DSO first"
530             }
531         }
532     }
533 }
534
535 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
536     # Remove the temporary directory.
537     catch "exec rm -rf $tmpdir" exec_status
538 }