ld/testsuite/ld-elfvsb/elfvsb.exp

   1 # Expect script for ld-visibility tests
   2 #   Copyright 2000, 2001, 2003, 2004 Free Software Foundation, Inc.
   3 #
   4 # This file is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2 of the License, or
   7 # (at your option) any later version.
   8 #
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13 #
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program; if not, write to the Free Software
  16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  17 #
  18 # Written by Ian Lance Taylor (ian@cygnus.com)
  19 #            and H.J. Lu (hjl@gnu.org)
  20 #
  21
  22 # Make sure that ld can generate ELF shared libraries with visibility.
  23
  24 # This test can only be run on a couple of ELF platforms.
  25 # Square bracket expressions seem to confuse istarget.
  26 if { ![istarget hppa*64*-*-hpux*] \
  27      && ![istarget hppa*-*-linux*] \
  28      && ![istarget i?86-*-linux*] \
  29      && ![istarget ia64-*-linux*] \
  30      && ![istarget m68k-*-linux*] \
  31      && ![istarget mips*-*-linux*] \
  32      && ![istarget powerpc*-*-linux*] \
  33      && ![istarget arm*-*-linux*] \
  34      && ![istarget alpha*-*-linux*] \
  35      && ![istarget sparc*-*-linux*] \
  36      && ![istarget s390*-*-linux*] \
  37      && ![istarget sh\[34\]*-*-linux*] \
  38      && ![istarget x86_64-*-linux*] } {
  39     return
  40 }
  41
  42 if { [istarget *-*-linux*aout*] \
  43      || [istarget *-*-linux*oldld*] } {
  44     return
  45 }
  46
  47 set test_list [lsort [glob -nocomplain $srcdir/$subdir/*.d]]
  48 foreach t $test_list {
  49     # We need to strip the ".d", but can leave the dirname.
  50     verbose [file rootname $t]
  51     run_dump_test [file rootname $t]
  52 }
  53
  54 # The remaining tests can only be run if ld generates native executables.
  55 if ![isnative] then {return}
  56
  57 set tmpdir tmpdir
  58 set SHCFLAG ""
  59
  60 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
  61
  62     # AIX shared libraries do not seem to support useful features,
  63     # like overriding the shared library function or letting the
  64     # shared library refer to objects defined in the main program.  We
  65     # avoid testing those features.
  66     set SHCFLAG "-DXCOFF_TEST"
  67
  68     # The AIX 3.2.5 loader appears to randomly fail when loading
  69     # shared libraries from NSF mounted partitions, so we avoid any
  70     # potential problems by using a local directory.
  71     catch {exec /bin/sh -c "echo $$"} pid
  72     set tmpdir /usr/tmp/ld.$pid
  73     catch "exec mkdir $tmpdir" exec_status
  74
  75     # On AIX, we need to explicitly export the symbols the shared
  76     # library is going to provide, and need.
  77     set file [open $tmpdir/xcoff.exp w]
  78     puts $file shlibvar1
  79     puts $file shlibvar2
  80     puts $file shlib_shlibvar1
  81     puts $file shlib_shlibvar2
  82     puts $file shlib_shlibcall
  83     puts $file shlib_shlibcalled
  84     puts $file shlib_checkfunptr1
  85     puts $file shlib_getfunptr1
  86     puts $file shlib_check
  87     close $file
  88 }
  89
  90 set support_protected "no"
  91
  92 if [istarget *-*-linux*] {
  93     if [ld_compile "$CC -g $CFLAGS -DPROTECTED_CHECK" $srcdir/$subdir/main.c $tmpdir/main.o] {
  94       if [ld_simple_link $CC $tmpdir/main "$tmpdir/main.o"] {
  95         catch "exec $tmpdir/main" support_protected
  96       }
  97     }
  98 }
  99
 100 # The test procedure.
 101 proc visibility_test { visibility progname testname main sh1 sh2 dat args } {
 102     global CC
 103     global srcdir
 104     global subdir
 105     global exec_output
 106     global link_output
 107     global host_triplet
 108     global tmpdir
 109
 110     if [llength $args] { set shldflags [lindex $args 0] } else { set shldflags "" }
 111
 112     # Build the shared library.
 113     # On AIX, we need to use an export file.
 114     set shared -shared
 115     if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 116         set shared "-bM:SRE -bE:$tmpdir/xcoff.exp"
 117     }
 118     if {![ld_simple_link $CC $tmpdir/$progname.so "$shared $shldflags $tmpdir/$sh1 $tmpdir/$sh2"]} {
 119         if { [ string match $visibility "hidden_undef" ]
 120              && [regexp ".*/sh1.c.*: undefined reference to \`visibility\'" $link_output]
 121              && [regexp ".*/sh1.c.*: undefined reference to \`visibility_var\'" $link_output] } {
 122             pass "$testname"
 123         } else { if { [ string match $visibility "protected_undef" ]
 124              && [regexp ".*/sh1.c.*: undefined reference to \`visibility\'" $link_output]
 125              && [regexp ".*/sh1.c.*: undefined reference to \`visibility_var\'" $link_output] } {
 126             pass "$testname"
 127         } else {
 128             fail "$testname"
 129         }}
 130         return
 131     }
 132
 133     # Link against the shared library.  Use -rpath so that the
 134     # dynamic linker can locate the shared library at runtime.
 135     # On AIX, we must include /lib in -rpath, as otherwise the loader
 136     # can not find -lc.
 137     set rpath $tmpdir
 138     if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 139         set rpath /lib:$tmpdir
 140     }
 141     if ![ld_simple_link $CC $tmpdir/$progname "-Wl,-rpath,$rpath $tmpdir/$main $tmpdir/$progname.so"] {
 142         if { [ string match $visibility "hidden" ]
 143              && [regexp ".*/main.c.*: undefined reference to \`visibility\'" $link_output]
 144              && [regexp ".*/main.c.*: undefined reference to \`visibility_var\'" $link_output] } {
 145             pass "$testname"
 146         } else { if { [ string match $visibility "hidden_undef_def" ]
 147              && [regexp ".*/main.c.*: undefined reference to \`visibility\'" $link_output]
 148              && [regexp ".*/main.c.*: undefined reference to \`visibility_def\'" $link_output]
 149              && [regexp ".*/main.c.*: undefined reference to \`visibility_func\'" $link_output]
 150              && [regexp ".*/main.c.*: undefined reference to \`visibility_var\'" $link_output] } {
 151             pass "$testname"
 152         } else {
 153             fail "$testname"
 154         }}
 155         return
 156     }
 157
 158     if { [ string match $visibility "hidden" ]
 159          || [ string match $visibility "hidden_undef" ]
 160          || [ string match $visibility "protected_undef" ] } {
 161         fail "$testname"
 162     }
 163
 164     # Run the resulting program
 165     send_log "$tmpdir/$progname >$tmpdir/$progname.out\n"
 166     verbose "$tmpdir/$progname >$tmpdir/$progname.out"
 167     catch "exec $tmpdir/$progname >$tmpdir/$progname.out" exec_output
 168     if ![string match "" $exec_output] then {
 169         send_log "$exec_output\n"
 170         verbose "$exec_output"
 171         fail "$testname"
 172         return
 173     }
 174
 175     send_log "diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat\n"
 176     verbose "diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat"
 177     catch "exec diff $tmpdir/$progname.out $srcdir/$subdir/$dat.dat" exec_output
 178     set exec_output [prune_warnings $exec_output]
 179
 180     if {![string match "" $exec_output]} then {
 181         send_log "$exec_output\n"
 182         verbose "$exec_output"
 183         fail "$testname"
 184         return
 185     }
 186
 187     pass "$testname"
 188 }
 189
 190 proc visibility_run {visibility} {
 191     global CC
 192     global CFLAGS
 193     global SHCFLAG
 194     global srcdir
 195     global subdir
 196     global tmpdir
 197     global picflag
 198     global target_triplet
 199     global support_protected
 200
 201     if [ string match $visibility "hidden" ] {
 202         set VSBCFLAG "-DHIDDEN_TEST"
 203     } else { if [ string match $visibility "hidden_normal" ] {
 204         set VSBCFLAG "-DHIDDEN_NORMAL_TEST"
 205     } else { if [ string match $visibility "hidden_undef" ] {
 206         set VSBCFLAG "-DHIDDEN_UNDEF_TEST"
 207     } else { if [ string match $visibility "hidden_undef_def" ] {
 208         set VSBCFLAG "-DHIDDEN_UNDEF_TEST -DDSO_DEFINE_TEST"
 209     } else { if [ string match $visibility "hidden_weak" ] {
 210         set VSBCFLAG "-DHIDDEN_WEAK_TEST"
 211     } else { if [ string match $visibility "protected" ] {
 212         set VSBCFLAG "-DPROTECTED_TEST"
 213     } else { if [ string match $visibility "protected_undef" ] {
 214         set VSBCFLAG "-DPROTECTED_UNDEF_TEST"
 215     } else { if [ string match $visibility "protected_undef_def" ] {
 216         set VSBCFLAG "-DPROTECTED_UNDEF_TEST -DDSO_DEFINE_TEST"
 217     } else { if [ string match $visibility "protected_weak" ] {
 218         set VSBCFLAG "-DPROTECTED_WEAK_TEST"
 219     } else {
 220         set VSBCFLAG ""
 221     }}}}}}}}}
 222
 223     # Compile the main program.
 224     if ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/main.c $tmpdir/mainnp.o] {
 225         unresolved "visibility ($visibility) (non PIC)"
 226         unresolved "visibility ($visibility)"
 227     } else {
 228         # The shared library is composed of two files.  First compile them
 229         # without using -fpic.  That should work on an ELF system,
 230         # although it will be less efficient because the dynamic linker
 231         # will need to do more relocation work.  However, note that not
 232         # using -fpic will cause some of the tests to return different
 233         # results.
 234         if { ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh1.c $tmpdir/sh1np.o]
 235              || ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG" $srcdir/$subdir/sh2.c $tmpdir/sh2np.o] } {
 236             unresolved "visibility ($visibility) (non PIC)"
 237         } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 238             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o xcoff
 239         } else {
 240             # SunOS non PIC shared libraries don't permit some cases of
 241             # overriding.
 242             if { [ string match $visibility "protected" ]
 243                  || [ string match $visibility "protected_undef_def" ] } {
 244                 if [ string match $support_protected "no" ] {
 245                     setup_xfail $target_triplet
 246                 }
 247             } else {
 248                 setup_xfail "*-*-sunos4*"
 249             }
 250
 251             # Non-pic code uses name binding rules for applications to
 252             # reference variables by gp-relative relocs, which can't be
 253             # used with overridable symbols.
 254             if { ![ string match $visibility "hidden_undef" ]
 255                  && ![ string match $visibility "protected_undef" ] } {
 256                 setup_xfail "ia64-*-linux*"
 257                 setup_xfail "alpha*-*-linux*"
 258             }
 259             if { ![ string match $visibility "hidden" ]
 260                  && ![ string match $visibility "hidden_undef" ]
 261                  && ![ string match $visibility "hidden_undef_def" ]
 262                  && ![ string match $visibility "protected_undef" ] } {
 263                 setup_xfail "s390x-*-linux*"
 264                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
 265                     setup_xfail "sparc*-*-linux*"
 266                 }
 267             }
 268             setup_xfail "x86_64-*-linux*"
 269             if { ![istarget hppa*64*-*-linux*] } {
 270                 setup_xfail "hppa*-*-linux*"
 271             }
 272
 273             visibility_test $visibility vnp "visibility ($visibility) (non PIC)" mainnp.o sh1np.o sh2np.o elfvsb
 274
 275             # Test ELF shared library relocations with a non-zero load
 276             # address for the library.  Near as I can tell, the R_*_RELATIVE
 277             # relocations for various targets are broken in the case where
 278             # the load address is not zero (which is the default).
 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                 setup_xfail "*-*-linux*libc1"
 287             }
 288             if { [ string match $visibility "hidden_normal" ]
 289                  || [ string match $visibility "hidden_weak" ]
 290                  || [ string match $visibility "protected" ]
 291                  || [ string match $visibility "protected_undef_def" ]
 292                  || [ string match $visibility "protected_weak" ]
 293                  || [ string match $visibility "normal" ] } {
 294                 setup_xfail "powerpc-*-linux*"
 295                 if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainnp.o] } {
 296                     setup_xfail "sparc*-*-linux*"
 297                 }
 298             }
 299             if { ![ string match $visibility "hidden_undef" ]
 300                  && ![ string match $visibility "protected_undef" ] } {
 301                 setup_xfail "ia64-*-linux*"
 302                 setup_xfail "alpha*-*-linux*"
 303                 setup_xfail "mips*-*-linux*"
 304             }
 305             setup_xfail "x86_64-*-linux*"
 306             if { ![istarget hppa*64*-*-linux*] } {
 307                 setup_xfail "hppa*-*-linux*"
 308             }
 309
 310             visibility_test $visibility vnp "visibility ($visibility) (non PIC, load offset)" \
 311                 mainnp.o sh1np.o sh2np.o elfvsb \
 312                 "-T $srcdir/$subdir/elf-offset.ld"
 313         } }
 314
 315         # Now compile the code using -fpic.
 316
 317         if { ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG $picflag" $srcdir/$subdir/sh1.c $tmpdir/sh1p.o]
 318             || ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG $picflag" $srcdir/$subdir/sh2.c $tmpdir/sh2p.o] } {
 319             unresolved "visibility ($visibility)"
 320         } else {
 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             }
 327             # SunOS can not compare function pointers correctly
 328             if [istarget "*-*-sunos4*"] {
 329                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o sun4
 330             } else { if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 331                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o xcoff
 332             } else {
 333                 visibility_test $visibility vp "visibility ($visibility)" mainnp.o sh1p.o sh2p.o elfvsb
 334             } }
 335         }
 336     }
 337
 338     # Now do the same tests again, but this time compile main.c PIC.
 339     if ![ld_compile "$CC -g $CFLAGS $SHCFLAG $VSBCFLAG $picflag" $srcdir/$subdir/main.c $tmpdir/mainp.o] {
 340         unresolved "visibility ($visibility) (PIC main, non PIC so)"
 341         unresolved "visibility ($visibility) (PIC main)"
 342     } else {
 343         if { [file exists $tmpdir/sh1np.o ] && [ file exists $tmpdir/sh2np.o ] } {
 344             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 345                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o xcoff
 346             } else {
 347                 # SunOS non PIC shared libraries don't permit some cases of
 348                 # overriding.
 349                 if { [ string match $visibility "protected" ]
 350                      || [ string match $visibility "protected_undef_def" ] } {
 351                     if [ string match $support_protected "no" ] {
 352                         setup_xfail $target_triplet
 353                     }
 354                 } else {
 355                     setup_xfail "*-*-sunos4*"
 356                 }
 357                 if { ![ string match $visibility "hidden_undef" ]
 358                      && ![ string match $visibility "protected_undef" ] } {
 359                     setup_xfail "ia64-*-linux*"
 360                     setup_xfail "alpha*-*-linux*"
 361                 }
 362                 if { ![ string match $visibility "hidden" ]
 363                      && ![ string match $visibility "hidden_undef" ]
 364                      && ![ string match $visibility "hidden_undef_def" ]
 365                      && ![ string match $visibility "protected_undef" ] } {
 366                     setup_xfail "s390x-*-linux*"
 367                     if { [istarget sparc*-*-linux*] && [is_elf64 $tmpdir/mainp.o] } {
 368                         setup_xfail "sparc*-*-linux*"
 369                     }
 370                 }
 371                 setup_xfail "x86_64-*-linux*"
 372                 if { ![istarget hppa*64*-*-linux*] } {
 373                     setup_xfail "hppa*-*-linux*"
 374                 }
 375
 376                 visibility_test $visibility vmpnp "visibility ($visibility) (PIC main, non PIC so)" mainp.o sh1np.o sh2np.o elfvsb
 377             }
 378         } else {
 379             unresolved "visibility (PIC main, non PIC so)"
 380         }
 381
 382         if { [file exists $tmpdir/sh1p.o ] && [ file exists $tmpdir/sh2p.o ] } {
 383             if { [ string match $visibility "protected" ]
 384                  || [ string match $visibility "protected_undef_def" ] } {
 385                 if [ string match $support_protected "no" ] {
 386                     setup_xfail $target_triplet
 387                 }
 388             }
 389             if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 390                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o xcoff
 391             } else {
 392                 visibility_test $visibility vmpp "visibility ($visibility) (PIC main)" mainp.o sh1p.o sh2p.o elfvsb
 393             }
 394         } else {
 395             unresolved "visibility ($visibility) (PIC main)"
 396         }
 397     }
 398 }
 399
 400 if [istarget mips*-*-*] {
 401     set picflag ""
 402 } else {
 403     # Unfortunately, the gcc argument is -fpic and the cc argument is
 404     # -KPIC.  We have to try both.
 405     set picflag "-fpic"
 406     send_log "$CC $picflag\n"
 407     verbose "$CC $picflag"
 408     catch "exec $CC $picflag" exec_output
 409     send_log "$exec_output\n"
 410     verbose "--" "$exec_output"
 411     if { [string match "*illegal option*" $exec_output] \
 412          || [string match "*option ignored*" $exec_output] \
 413          || [string match "*unrecognized option*" $exec_output] \
 414          || [string match "*passed to ld*" $exec_output] } {
 415         if [istarget *-*-sunos4*] {
 416             set picflag "-pic"
 417         } else {
 418             set picflag "-KPIC"
 419         }
 420     }
 421 }
 422 verbose "Using $picflag to compile PIC code"
 423
 424 visibility_run hidden
 425 visibility_run hidden_normal
 426 visibility_run hidden_undef
 427 visibility_run hidden_undef_def
 428 visibility_run hidden_weak
 429 visibility_run protected
 430 visibility_run protected_undef
 431 visibility_run protected_undef_def
 432 visibility_run protected_weak
 433 visibility_run normal
 434
 435 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/common.c tmpdir/common.o] } {
 436     unresolved "common hidden symbol"
 437 } else {
 438     if ![ld_simple_link $ld tmpdir/common "tmpdir/common.o"] {
 439         fail "common hidden symbol"
 440     } else {
 441         pass "common hidden symbol"
 442     }
 443 }
 444
 445 if { ![ld_compile "$CC -g $CFLAGS" $srcdir/$subdir/test.c tmpdir/test.o] } {
 446     unresolved "weak hidden symbol"
 447 } else {
 448    if { ![ld_compile "$CC -g $CFLAGS $picflag" $srcdir/$subdir/sh3.c tmpdir/sh3.o] } {
 449         unresolved "weak hidden symbol"
 450     } else {
 451         if ![ld_simple_link $ld tmpdir/sh3.so "-shared tmpdir/sh3.o"] {
 452             fail "weak hidden symbol"
 453         } else {
 454             if ![ld_simple_link $ld tmpdir/weak "tmpdir/test.o tmpdir/sh3.o"] {
 455                 fail "weak hidden symbol DSO last"
 456             } else {
 457                 pass "weak hidden symbol DSO last"
 458             }
 459             if ![ld_simple_link $ld tmpdir/weak "tmpdir/sh3.so tmpdir/test.o"] {
 460                 fail "weak hidden symbol DSO first"
 461             } else {
 462                 pass "weak hidden symbol DSO first"
 463             }
 464         }
 465     }
 466 }
 467
 468 if { [istarget rs6000*-*-aix*] || [istarget powerpc*-*-aix*] } {
 469     # Remove the temporary directory.
 470     catch "exec rm -rf $tmpdir" exec_status
 471 }