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             setup_xfail "x86_64-*-linux*"
 306             if { ![istarget hppa*64*-*-linux*] } {
 307                 setup_xfail "hppa*-*-linux*"
 308             }
 309             if [ string match $shared_needs_pic "yes" ] {
 310                 setup_xfail "arm*-*-linux*"
 311             }
 312
 313             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o elfvsb
 314
 315             # Test ELF shared library relocations with a non-zero load
 316             # address for the library.  Near as I can tell, the R_*_RELATIVE
 317             # relocations for various targets are broken in the case where
 318             # the load address is not zero (which is the default).
 319             if { [ string match $visibility "protected" ]
 320                  || [ string match $visibility "protected_undef_def" ] } {
 321                 if [ string match $support_protected "no" ] {
 322                     setup_xfail $target_triplet
 323                 }
 324             } else {
 325                 setup_xfail "*-*-sunos4*"
 326                 setup_xfail "*-*-linux*libc1"
 327             }
 328             if { [ string match $visibility "hidden_normal" ]
 329                  || [ string match $visibility "hidden_weak" ]
 330                  || [ string match $visibility "protected" ]
 331                  || [ string match $visibility "protected_undef_def" ]
 332                  || [ string match $visibility "protected_weak" ]
 333                  || [ string match $visibility "normal" ] } {
 334                 setup_xfail "powerpc-*-linux*"
 335                 setup_xfail "s390x-*-linux*"
 336                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
 337                     setup_xfail "sparc*-*-linux*"
 338                 }
 339             }
 340             if { ![ string match $visibility "hidden_undef" ]
 341                  && ![ string match $visibility "protected_undef" ] } {
 342                 setup_xfail "ia64-*-linux*"
 343                 setup_xfail "alpha*-*-linux*"
 344                 setup_xfail "mips*-*-linux*"
 345             }
 346             setup_xfail "x86_64-*-linux*"
 347             if { ![istarget hppa*64*-*-linux*] } {
 348                 setup_xfail "hppa*-*-linux*"
 349             }
 350             if [ string match $shared_needs_pic "yes" ] {
 351                 setup_xfail "arm*-*-linux*"
 352             }
 353
 354             visibility_test $visibility vnp "visibility ($visibility) (non PIC, load offset)" \
 355                 mainnp.o sh1np.o sh2np.o elfvsb \
 356                 "-T $srcdir/$subdir/elf-offset.ld"
 357         } }
 358
 359         # Now compile the code using -fpic.
 360
 361         if { ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh1.c $tmpdir/sh1p.o]
 362             || ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/sh2.c $tmpdir/sh2p.o] } {
 363             unresolved "visibility ($visibility)"
 364         } else {
 365             if { [ string match $visibility "protected" ]
 366                  || [ string match $visibility "protected_undef_def" ] } {
 367                 if [ string match $support_protected "no" ] {
 368                     setup_xfail $target_triplet
 369                 }
 370             }
 371             # SunOS can not compare function pointers correctly
 372             if [istarget "*-*-sunos4*"] {
 373                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o sun4
 374             } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 375                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o xcoff
 376             } else {
 377                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o elfvsb
 378             } }
 379         }
 380     }}
 381
 382     if { [istarget powerpc*-*-linux*] } {
 383         # Don't bother.
 384     } else {
 385     # Now do the same tests again, but this time compile main.c PIC.
 386     if ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG -DSHARED $picflag" $srcdir/$subdir/main.c $tmpdir/mainp.o] {
 387         unresolved "visibility ($visibility) (PIC main, non PIC so)"
 388         unresolved "visibility ($visibility) (PIC main)"
 389     } else {
 390         if { [file exists $tmpdir/sh1np.o ] && [ file exists $tmpdir/sh2np.o ] } {
 391             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 392                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o xcoff
 393             } else {
 394                 # SunOS non PIC shared libraries don't permit some cases of
 395                 # overriding.
 396                 if { [ string match $visibility "protected" ]
 397                      || [ string match $visibility "protected_undef_def" ] } {
 398                     if [ string match $support_protected "no" ] {
 399                         setup_xfail $target_triplet
 400                     }
 401                 } else {
 402                     setup_xfail "*-*-sunos4*"
 403                 }
 404                 if { ![ string match $visibility "hidden_undef" ]
 405                      && ![ string match $visibility "protected_undef" ] } {
 406                     setup_xfail "ia64-*-linux*"
 407                     setup_xfail "alpha*-*-linux*"
 408                 }
 409                 if { ![ string match $visibility "hidden" ]
 410                      && ![ string match $visibility "hidden_undef" ]
 411                      && ![ string match $visibility "hidden_undef_def" ]
 412                      && ![ string match $visibility "protected_undef" ] } {
 413                     setup_xfail "s390x-*-linux*"
 414                     if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainp.o] } {
 415                         setup_xfail "sparc*-*-linux*"
 416                     }
 417                 }
 418                 setup_xfail "x86_64-*-linux*"
 419                 if { ![istarget hppa*64*-*-linux*] } {
 420                     setup_xfail "hppa*-*-linux*"
 421                 }
 422                 if [ string match $shared_needs_pic "yes" ] {
 423                     setup_xfail "arm*-*-linux*"
 424                 }
 425
 426                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o elfvsb
 427             }
 428         } else {
 429             unresolved "visibility (PIC main, non PIC so)"
 430         }
 431
 432         if { [file exists $tmpdir/sh1p.o ] && [ file exists $tmpdir/sh2p.o ] } {
 433             if { [ string match $visibility "protected" ]
 434                  || [ string match $visibility "protected_undef_def" ] } {
 435                 if [ string match $support_protected "no" ] {
 436                     setup_xfail $target_triplet
 437                 }
 438             }
 439             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 440                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o xcoff
 441             } else {
 442                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o elfvsb
 443             }
 444         } else {
 445             unresolved "visibility ($visibility) (PIC main)"
 446         }
 447     }}
 448 }
 449
 450 if [istarget mips*-*-*] {
 451     set picflag ""
 452 } else {
 453     # Unfortunately, the gcc argument is -fpic and the cc argument is
 454     # -KPIC.  We have to try both.
 455     set picflag "-fpic"
 456     send_log "$CC $picflag\n"
 457     verbose "$CC $picflag"
 458     catch "exec $CC $picflag" exec_output
 459     send_log "$exec_output\n"
 460     verbose "--" "$exec_output"
 461     if { [string match "*illegal option*" $exec_output] \
 462          || [string match "*option ignored*" $exec_output] \
 463          || [string match "*unrecognized option*" $exec_output] \
 464          || [string match "*passed to ld*" $exec_output] } {
 465         if [istarget *-*-sunos4*] {
 466             set picflag "-pic"
 467         } else {
 468             set picflag "-KPIC"
 469         }
 470     }
 471 }
 472 verbose "Using $picflag to compile PIC code"
 473
 474 visibility_run hidden
 475 visibility_run hidden_normal
 476 visibility_run hidden_undef
 477 visibility_run hidden_undef_def
 478 visibility_run hidden_weak
 479 visibility_run protected
 480 visibility_run protected_undef
 481 visibility_run protected_undef_def
 482 visibility_run protected_weak
 483 visibility_run normal
 484
 485 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/common.c tmpdir/common.o] } {
 486     unresolved "common hidden symbol"
 487 } else {
 488     if ![ld_simple_link $ld tmpdir/common "tmpdir/common.o"] {
 489         fail "common hidden symbol"
 490     } else {
 491         pass "common hidden symbol"
 492     }
 493 }
 494
 495 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/test.c tmpdir/test.o] } {
 496     unresolved "weak hidden symbol"
 497 } else {
 498    if { ![ld_compile "$CC -g $CFLAGS -DSHARED $picflag" $srcdir/$subdir/sh3.c tmpdir/sh3.o] } {
 499         unresolved "weak hidden symbol"
 500     } else {
 501         if ![ld_simple_link $ld tmpdir/sh3.so "-shared tmpdir/sh3.o"] {
 502             fail "weak hidden symbol"
 503         } else {
 504             if ![ld_simple_link $ld tmpdir/weak "tmpdir/test.o tmpdir/sh3.o"] {
 505                 fail "weak hidden symbol DSO last"
 506             } else {
 507                 pass "weak hidden symbol DSO last"
 508             }
 509             if ![ld_simple_link $ld tmpdir/weak "tmpdir/sh3.so tmpdir/test.o"] {
 510                 fail "weak hidden symbol DSO first"
 511             } else {
 512                 pass "weak hidden symbol DSO first"
 513             }
 514         }
 515     }
 516 }
 517
 518 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 519     # Remove the temporary directory.
 520     catch "exec rm -rf $tmpdir" exec_status
 521 }