ld/testsuite/ld-ifunc/ifunc.exp

   1 # Expect script for linker support of IFUNC symbols and relocations.
   2 #
   3 #   Copyright (C) 2009-2017 Free Software Foundation, Inc.
   4 #   Contributed by Red Hat.
   5 #
   6 # This file is part of the GNU Binutils.
   7 #
   8 # This program is free software; you can redistribute it and/or modify
   9 # it under the terms of the GNU General Public License as published by
  10 # the Free Software Foundation; either version 3 of the License, or
  11 # (at your option) any later version.
  12 #
  13 # This program is distributed in the hope that it will be useful,
  14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 # GNU General Public License for more details.
  17 #
  18 # You should have received a copy of the GNU General Public License
  19 # along with this program; if not, write to the Free Software
  20 # Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
  21 # MA 02110-1301, USA.
  22 #
  23 # Written by Nick Clifton <nickc@redhat.com>
  24
  25
  26 # IFUNC support has only been implemented for the ix86, x86_64, powerpc,
  27 # aarch64, sparc, and S/390 so far.
  28 if {!(([istarget "i?86-*-*"]
  29        || [istarget "x86_64-*-*"]
  30        || [istarget "powerpc*-*-*"]
  31        || [istarget "aarch64*-*-*"]
  32        || [istarget "sparc*-*-*"]
  33        || [istarget "s390*-*-*"])
  34       && ([istarget "*-*-elf*"]
  35           || [istarget "*-*-nacl*"]
  36           || (([istarget "*-*-linux*"]
  37                || [istarget "*-*-gnu*"])
  38               && ![istarget "*-*-*aout*"]
  39               && ![istarget "*-*-*oldld*"]))) } {
  40     verbose "IFUNC tests not run - target does not support IFUNC"
  41     return
  42 }
  43
  44 # Skip targets where -shared is not supported
  45
  46 if ![check_shared_lib_support] {
  47     return
  48 }
  49
  50 # We need a working compiler.  (Strictly speaking this is
  51 # not true, we could use target specific assembler files).
  52 if { [which $CC] == 0 } {
  53     verbose "IFUNC tests not run - no compiler available"
  54     return
  55 }
  56
  57 # A procedure to check the OS/ABI field in the ELF header of a binary file.
  58 proc check_osabi { binary_file expected_osabi } {
  59     global READELF
  60     global READELFFLAGS
  61
  62     catch "exec $READELF $READELFFLAGS --file-header $binary_file > readelf.out" got
  63
  64     if ![string match "" $got] then {
  65         verbose "proc check_osabi: Readelf produced unexpected out processing $binary_file: $got"
  66         return 0
  67     }
  68
  69     if { ![regexp "\n\[ \]*OS/ABI:\[ \]*(.+)\n\[ \]*ABI" \
  70            [file_contents readelf.out] nil osabi] } {
  71         verbose "proc check_osabi: Readelf failed to extract an ELF header from $binary_file"
  72         return 0
  73     }
  74
  75     if { $osabi == $expected_osabi } {
  76         return 1
  77     }
  78
  79     verbose "Expected OSABI: $expected_osabi, Obtained osabi: $osabi"
  80
  81     return 0
  82 }
  83
  84 # A procedure to confirm that a file contains the IFUNC symbol.
  85 # Returns -1 upon error, 0 if the symbol was not found and 1 if it was found.
  86 proc contains_ifunc_symbol { binary_file } {
  87     global READELF
  88     global READELFFLAGS
  89
  90     catch "exec $READELF $READELFFLAGS --symbols $binary_file > readelf.out" got
  91
  92     if ![string match "" $got] then {
  93         verbose "proc contains_ifunc_symbol: Readelf produced unexpected out processing $binary_file: $got"
  94         return -1
  95     }
  96
  97     # Look for a line like this:
  98     #    58: 0000000000400600    30 IFUNC   GLOBAL DEFAULT   12 library_func2
  99     # with perhaps some other info between the visibility and section
 100
 101     if { ![regexp ".*\[ \]*IFUNC\[ \]+GLOBAL\[ \]+DEFAULT .* \[UND0-9\]+\[ \]+library_func2\n" [file_contents readelf.out]] } {
 102         return 0
 103     }
 104
 105     return 1
 106 }
 107
 108 # A procedure to confirm that a file contains the R_*_IRELATIVE
 109 # relocation.
 110 # Returns -1 upon error, 0 if the relocation was not found and 1 if
 111 # it was found.
 112 proc contains_irelative_reloc { binary_file } {
 113     global READELF
 114     global READELFFLAGS
 115
 116     catch "exec $READELF $READELFFLAGS --relocs --wide $binary_file > readelf.out" got
 117
 118     if ![string match "" $got] then {
 119         verbose "proc contains_irelative_reloc: Readelf produced unexpected out processing $binary_file: $got"
 120         return -1
 121     }
 122
 123     # Look for a line like this:
 124     #    0000000000600ab0  0000000000000025 R_X86_64_IRELATIVE      000000000040061c
 125     #    080496f4  0000002a R_386_IRELATIVE
 126
 127
 128     if { ![regexp "\[0-9a-f\]+\[ \]+\[0-9a-f\]+\[ \]+R_\[_0-9A-Z\]+_IREL(|ATIVE)\[ \]*\[0-9a-f\]*\n" [file_contents readelf.out]] } {
 129         return 0
 130     }
 131
 132     return 1
 133 }
 134
 135 # A procedure to confirm that a file contains a relocation that references an IFUNC symbol.
 136 # Returns -1 upon error, 0 if the reloc was not found and 1 if it was found.
 137 proc contains_ifunc_reloc { binary_file } {
 138     global READELF
 139     global READELFFLAGS
 140
 141     catch "exec $READELF $READELFFLAGS --relocs $binary_file > readelf.out" got
 142
 143     if ![string match "" $got] then {
 144         verbose "proc contains_ifunc_reloc: Readelf produced unexpected out processing $binary_file: $got"
 145         return -1
 146     }
 147
 148     if [string match "" [file_contents readelf.out]] then {
 149         verbose "No relocs found in $binary_file"
 150         return 0
 151     }
 152
 153     if { ![regexp "\\(\\)" [file_contents readelf.out]] } {
 154         return 0
 155     }
 156
 157     return 1
 158 }
 159
 160 set fails 0
 161
 162 # Create the object files, libraries and executables.
 163 if ![ld_compile "$CC -c -fPIC" "$srcdir/$subdir/prog.c" "tmpdir/shared_prog.o"] {
 164     fail "Could not create a PIC object file"
 165     set fails [expr $fails + 1]
 166 }
 167 if ![ld_compile "$CC -c" "$srcdir/$subdir/prog.c" "tmpdir/static_prog.o"] {
 168     fail "Could not create a non-PIC object file"
 169     set fails [expr $fails + 1]
 170 }
 171 if ![ld_compile "$CC -c -fPIC -DWITH_IFUNC" "$srcdir/$subdir/lib.c" "tmpdir/shared_ifunc.o"] {
 172     fail "Could not create a PIC object file containing an IFUNC symbol"
 173     set fails [expr $fails + 1]
 174 }
 175 if ![ld_compile "$CC -c -DWITH_IFUNC" "$srcdir/$subdir/lib.c" "tmpdir/static_ifunc.o"] {
 176     fail "Could not create a non-PIC object file containing an IFUNC symbol"
 177     set fails [expr $fails + 1]
 178 }
 179 if ![ld_compile "$CC -c -DWITHOUT_IFUNC" "$srcdir/$subdir/lib.c" "tmpdir/static_noifunc.o"] {
 180     fail "Could not create an ordinary non-PIC object file"
 181     set fails [expr $fails + 1]
 182 }
 183 if ![ld_assemble $as "$srcdir/ld-elf/empty.s" "tmpdir/empty.o"] {
 184     fail "Could not create an empty object file"
 185     set fails [expr $fails + 1]
 186 }
 187 if ![ld_compile "$CC -c" "$srcdir/$subdir/test-1.c" "tmpdir/test-1.o"] {
 188     fail "Could not create test-1.o"
 189     set fails [expr $fails + 1]
 190 }
 191 if ![ld_compile "$CC -fPIC -c" "$srcdir/$subdir/test-2.c" "tmpdir/test-2.o"] {
 192     fail "Could not create test-2.o"
 193     set fails [expr $fails + 1]
 194 }
 195
 196 if { $fails != 0 } {
 197     return
 198 }
 199
 200 if ![ld_link $ld "tmpdir/libshared_ifunc.so" "-shared tmpdir/shared_ifunc.o"] {
 201     fail "Could not create a shared library containing an IFUNC symbol"
 202     set fails [expr $fails + 1]
 203 }
 204 if ![ar_simple_create $ar "" "tmpdir/libifunc.a" "tmpdir/static_ifunc.o"] {
 205     fail "Could not create a static library containing an IFUNC symbol"
 206     set fails [expr $fails + 1]
 207 }
 208
 209 if { $fails != 0 } {
 210     return
 211 }
 212
 213 if ![ld_link $CC "tmpdir/dynamic_prog" "-Wl,--no-as-needed,-rpath=./tmpdir,-Bdynamic -Ltmpdir tmpdir/shared_prog.o -lshared_ifunc"] {
 214     fail "Could not link a dynamic executable"
 215     set fails [expr $fails + 1]
 216 }
 217 if ![ld_link $CC "tmpdir/local_prog" "-Wl,--no-as-needed,-rpath=./tmpdir -Ltmpdir tmpdir/static_prog.o -lifunc"] {
 218     fail "Could not link a dynamic executable using local ifunc"
 219     set fails [expr $fails + 1]
 220 }
 221 if ![ld_link $CC "tmpdir/static_prog" "-static -Ltmpdir tmpdir/static_prog.o -lifunc"] {
 222     fail "Could not link a static executable"
 223     set fails [expr $fails + 1]
 224 }
 225 if ![ld_link $ld "tmpdir/static_nonifunc_prog" "-static tmpdir/empty.o"] {
 226     fail "Could not link a non-ifunc using static executable"
 227     set fails [expr $fails + 1]
 228 }
 229 if ![ld_link $CC "tmpdir/test-1" "-Wl,--no-as-needed,-rpath=./tmpdir tmpdir/test-1.o tmpdir/libshared_ifunc.so"] {
 230     fail "Could not link test-1"
 231     set fails [expr $fails + 1]
 232 }
 233 if ![ld_link $ld "tmpdir/libtest-2.so" "-shared tmpdir/test-2.o"] {
 234     fail "Could not link libtest-2.so"
 235     set fails [expr $fails + 1]
 236 }
 237
 238 if { $fails == 0 } {
 239   pass "Building ifunc binaries"
 240   set fails 0
 241 } else {
 242     return
 243 }
 244
 245 # Check the executables and shared libraries
 246 #
 247 # The linked ifunc using executables and the shared library containing
 248 # ifunc should have an OSABI field of GNU.  The linked non-ifunc using
 249 # executable should have an OSABI field of NONE (aka System V).
 250
 251 case $target_triplet in {
 252     { hppa*-*-linux* } { set expected_none {UNIX - GNU} }
 253     default { set expected_none {UNIX - System V} }
 254 }
 255
 256 if {! [check_osabi tmpdir/libshared_ifunc.so {UNIX - GNU}]} {
 257     fail "Shared libraries containing ifunc does not have an OS/ABI field of GNU"
 258     set fails [expr $fails + 1]
 259 }
 260 if {! [check_osabi tmpdir/local_prog {UNIX - GNU}]} {
 261     fail "Local ifunc-using executable does not have an OS/ABI field of GNU"
 262     set fails [expr $fails + 1]
 263 }
 264 if {! [check_osabi tmpdir/static_prog {UNIX - GNU}]} {
 265     fail "Static ifunc-using executable does not have an OS/ABI field of GNU"
 266     set fails [expr $fails + 1]
 267 }
 268 if {! [check_osabi tmpdir/dynamic_prog $expected_none]} {
 269     fail "Dynamic ifunc-using executable does not have an OS/ABI field of $expected_none"
 270     set fails [expr $fails + 1]
 271 }
 272 if {! [check_osabi tmpdir/static_nonifunc_prog $expected_none]} {
 273     fail "Static non-ifunc-using executable does not have an OS/ABI field of $expected_none"
 274     set fails [expr $fails + 1]
 275 }
 276
 277 # The linked ifunc using executables and the shared library containing
 278 # ifunc should contain an IFUNC symbol.  The non-ifunc using executable
 279 # should not.
 280
 281 if {[contains_ifunc_symbol tmpdir/libshared_ifunc.so] != 1} {
 282     fail "Shared libraries containing ifunc does not contain an IFUNC symbol"
 283     set fails [expr $fails + 1]
 284 }
 285 if {[contains_ifunc_symbol tmpdir/local_prog] != 1} {
 286     fail "Local ifunc-using executable does not contain an IFUNC symbol"
 287     set fails [expr $fails + 1]
 288 }
 289 if {[contains_ifunc_symbol tmpdir/static_prog] != 1} {
 290     fail "Static ifunc-using executable does not contain an IFUNC symbol"
 291     set fails [expr $fails + 1]
 292 }
 293 if {[contains_ifunc_symbol tmpdir/dynamic_prog] != 0} {
 294     fail "Dynamic ifunc-using executable contains an IFUNC symbol"
 295     set fails [expr $fails + 1]
 296 }
 297 if {[contains_ifunc_symbol tmpdir/static_nonifunc_prog] != 0} {
 298     fail "Static non-ifunc-using executable contains an IFUNC symbol"
 299     set fails [expr $fails + 1]
 300 }
 301 if {[contains_ifunc_symbol tmpdir/test-1] != 0} {
 302     fail "test-1 contains IFUNC symbols"
 303     set fails [expr $fails + 1]
 304 }
 305 if {[contains_ifunc_symbol tmpdir/libtest-2.so] != 0} {
 306     fail "libtest-2.so contains IFUNC symbols"
 307     set fails [expr $fails + 1]
 308 }
 309
 310 # The linked ifunc using executables and shared libraries should contain
 311 # a dynamic reloc referencing the IFUNC symbol.  (Even the static
 312 # executable which should have a dynamic section created for it).  The
 313 # non-ifunc using executable should not.
 314
 315 if {[contains_irelative_reloc tmpdir/libshared_ifunc.so] != 1} {
 316     fail "ifunc-using shared library does not contain R_*_IRELATIVE relocation"
 317     set fails [expr $fails + 1]
 318 }
 319 if {[contains_irelative_reloc tmpdir/local_prog] != 1} {
 320     fail "Local ifunc-using executable does not contain R_*_IRELATIVE relocation"
 321     set fails [expr $fails + 1]
 322 }
 323 if {[contains_irelative_reloc tmpdir/static_prog] != 1} {
 324     fail "Static ifunc-using executable does not contain R_*_IRELATIVE relocation"
 325     set fails [expr $fails + 1]
 326 }
 327 if {[contains_ifunc_reloc tmpdir/dynamic_prog] != 0} {
 328     fail "Dynamic ifunc-using executable contains a reloc against an IFUNC symbol"
 329     set fails [expr $fails + 1]
 330 }
 331 if {[contains_ifunc_reloc tmpdir/static_nonifunc_prog] == 1} {
 332     fail "Static non-ifunc-using executable contains a reloc against an IFUNC symbol!"
 333     set fails [expr $fails + 1]
 334 }
 335
 336 if { $fails == 0 } {
 337   pass "Checking ifunc binaries"
 338 }
 339
 340 run_cc_link_tests [list \
 341     [list \
 342         "Build libpr16467a.so" \
 343         "-shared -Wl,--version-script=pr16467a.map" \
 344         "-fPIC" \
 345         { pr16467a.c } \
 346         {} \
 347         "libpr16467a.so" \
 348     ] \
 349     [list \
 350         "Build libpr16467b.a" \
 351         "" \
 352         "-fPIC" \
 353         { pr16467b.c } \
 354         {} \
 355         "libpr16467b.a" \
 356     ] \
 357     [list \
 358         "Build libpr16467b.so" \
 359         "-shared tmpdir/pr16467b.o tmpdir/libpr16467a.so \
 360          -Wl,--version-script=pr16467b.map" \
 361         "-fPIC" \
 362         { dummy.c } \
 363         {} \
 364         "libpr16467b.so" \
 365     ] \
 366     [list \
 367         "Build libpr16467c.a" \
 368         "" \
 369         "" \
 370         { pr16467c.c } \
 371         {} \
 372         "libpr16467c.a" \
 373     ] \
 374 ]
 375
 376 run_ld_link_exec_tests [list \
 377     [list \
 378         "Common symbol override ifunc test 1a" \
 379         "-static" \
 380         "" \
 381         { ifunc-common-1a.c ifunc-common-1b.c } \
 382         "ifunc-common-1a" \
 383         "ifunc-common-1.out" \
 384         "-g" \
 385     ] \
 386     [list \
 387         "Common symbol override ifunc test 1b" \
 388         "-static" \
 389         "" \
 390         { ifunc-common-1b.c ifunc-common-1a.c } \
 391         "ifunc-common-1b" \
 392         "ifunc-common-1.out" \
 393         "-g" \
 394     ] \
 395 ]
 396
 397 set test_list [lsort [glob -nocomplain $srcdir/$subdir/*.d]]
 398 foreach t $test_list {
 399     # We need to strip the ".d", but can leave the dirname.
 400     verbose [file rootname $t]
 401     run_dump_test [file rootname $t]
 402 }
 403
 404 # Run-time tests which require working IFUNC support.
 405 if { ![check_ifunc_available] } {
 406     return
 407 }
 408
 409 run_cc_link_tests [list \
 410     [list \
 411         "Build ifunc-lib.so" \
 412         "-shared" \
 413         "-fPIC" \
 414         { ifunc-lib.c } \
 415         {} \
 416         "libifunc-lib.so" \
 417     ] \
 418 ]
 419
 420 run_ld_link_exec_tests [list \
 421     [list \
 422         "Run pr16467" \
 423         "-Wl,--no-as-needed tmpdir/pr16467c.o tmpdir/libpr16467b.so tmpdir/libpr16467a.so" \
 424         "" \
 425         { dummy.c } \
 426         "pr16467" \
 427         "pr16467.out" \
 428         "" \
 429     ] \
 430     [list \
 431         "Run ifunc-main" \
 432         "-Wl,--no-as-needed tmpdir/libifunc-lib.so" \
 433         "" \
 434         { ifunc-main.c } \
 435         "ifunc-main" \
 436         "ifunc-main.out" \
 437     ] \
 438     [list \
 439         "Run ifunc-main with -fpic" \
 440         "-Wl,--no-as-needed tmpdir/libifunc-lib.so" \
 441         "" \
 442         { ifunc-main.c } \
 443         "ifunc-main" \
 444         "ifunc-main.out" \
 445         "-fpic" \
 446     ] \
 447 ]
 448
 449 # Run-time tests which require working ifunc attribute support.
 450 if { ![check_ifunc_attribute_available] } {
 451     return
 452 }
 453
 454 run_cc_link_tests [list \
 455     [list \
 456         "Build pr18808a.o" \
 457         "" \
 458         "" \
 459         { pr18808a.c } \
 460         "" \
 461         "" \
 462     ] \
 463     [list \
 464         "Build libpr18808.so" \
 465         "-shared" \
 466         "-fPIC -O2 -g" \
 467         { pr18808b.c } \
 468         {} \
 469         "libpr18808.so" \
 470     ] \
 471     [list \
 472         "Build pr18841a.o" \
 473         "" \
 474         "" \
 475         { pr18841a.c } \
 476         "" \
 477         "" \
 478     ] \
 479     [list \
 480         "Build libpr18841b.so" \
 481         "-shared" \
 482         "-fPIC -O0 -g" \
 483         { pr18841b.c } \
 484         {} \
 485         "libpr18841b.so" \
 486     ] \
 487     [list \
 488         "Build libpr18841c.so" \
 489         "-shared" \
 490         "-fPIC -O0 -g" \
 491         { pr18841c.c } \
 492         {} \
 493         "libpr18841c.so" \
 494     ] \
 495 ]
 496
 497 run_ld_link_exec_tests [list \
 498     [list \
 499         "Run pr18808" \
 500         "-Wl,--no-as-needed tmpdir/pr18808a.o tmpdir/libpr18808.so" \
 501         "" \
 502         { dummy.c } \
 503         "pr18808" \
 504         "pr18808.out" \
 505     ] \
 506     [list \
 507         "Run pr18841 with libpr18841b.so" \
 508         "-Wl,--no-as-needed tmpdir/pr18841a.o tmpdir/libpr18841b.so" \
 509         "" \
 510         { dummy.c } \
 511         "pr18841b" \
 512         "pr18841.out" \
 513     ] \
 514     [list \
 515         "Run pr18841 with libpr18841c.so" \
 516         "-Wl,--as-needed tmpdir/pr18841a.o tmpdir/libpr18841c.so" \
 517         "" \
 518         { dummy.c } \
 519         "pr18841c" \
 520         "pr18841.out" \
 521     ] \
 522 ]