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 if ![ld_link $ld "tmpdir/libtest-2-now.so" "-shared -z now tmpdir/test-2.o"] {
 238     fail "Could not link libtest-2-now.so"
 239     set fails [expr $fails + 1]
 240 }
 241
 242 if { $fails == 0 } {
 243   pass "Building ifunc binaries"
 244   set fails 0
 245 } else {
 246     return
 247 }
 248
 249 # Check the executables and shared libraries
 250 #
 251 # The linked ifunc using executables and the shared library containing
 252 # ifunc should have an OSABI field of GNU.  The linked non-ifunc using
 253 # executable should have an OSABI field of NONE (aka System V).
 254
 255 case $target_triplet in {
 256     { hppa*-*-linux* } { set expected_none {UNIX - GNU} }
 257     default { set expected_none {UNIX - System V} }
 258 }
 259
 260 if {! [check_osabi tmpdir/libshared_ifunc.so {UNIX - GNU}]} {
 261     fail "Shared libraries containing ifunc does not have an OS/ABI field of GNU"
 262     set fails [expr $fails + 1]
 263 }
 264 if {! [check_osabi tmpdir/local_prog {UNIX - GNU}]} {
 265     fail "Local ifunc-using executable does not have an OS/ABI field of GNU"
 266     set fails [expr $fails + 1]
 267 }
 268 if {! [check_osabi tmpdir/static_prog {UNIX - GNU}]} {
 269     fail "Static ifunc-using executable does not have an OS/ABI field of GNU"
 270     set fails [expr $fails + 1]
 271 }
 272 if {! [check_osabi tmpdir/dynamic_prog $expected_none]} {
 273     fail "Dynamic ifunc-using executable does not have an OS/ABI field of $expected_none"
 274     set fails [expr $fails + 1]
 275 }
 276 if {! [check_osabi tmpdir/static_nonifunc_prog $expected_none]} {
 277     fail "Static non-ifunc-using executable does not have an OS/ABI field of $expected_none"
 278     set fails [expr $fails + 1]
 279 }
 280
 281 # The linked ifunc using executables and the shared library containing
 282 # ifunc should contain an IFUNC symbol.  The non-ifunc using executable
 283 # should not.
 284
 285 if {[contains_ifunc_symbol tmpdir/libshared_ifunc.so] != 1} {
 286     fail "Shared libraries containing ifunc does not contain an IFUNC symbol"
 287     set fails [expr $fails + 1]
 288 }
 289 if {[contains_ifunc_symbol tmpdir/local_prog] != 1} {
 290     fail "Local ifunc-using executable does not contain an IFUNC symbol"
 291     set fails [expr $fails + 1]
 292 }
 293 if {[contains_ifunc_symbol tmpdir/static_prog] != 1} {
 294     fail "Static ifunc-using executable does not contain an IFUNC symbol"
 295     set fails [expr $fails + 1]
 296 }
 297 if {[contains_ifunc_symbol tmpdir/dynamic_prog] != 0} {
 298     fail "Dynamic ifunc-using executable contains an IFUNC symbol"
 299     set fails [expr $fails + 1]
 300 }
 301 if {[contains_ifunc_symbol tmpdir/static_nonifunc_prog] != 0} {
 302     fail "Static non-ifunc-using executable contains an IFUNC symbol"
 303     set fails [expr $fails + 1]
 304 }
 305 if {[contains_ifunc_symbol tmpdir/test-1] != 0} {
 306     fail "test-1 contains IFUNC symbols"
 307     set fails [expr $fails + 1]
 308 }
 309 if {[contains_ifunc_symbol tmpdir/libtest-2.so] != 0} {
 310     fail "libtest-2.so contains IFUNC symbols"
 311     set fails [expr $fails + 1]
 312 }
 313 if {[contains_ifunc_symbol tmpdir/libtest-2-now.so] != 0} {
 314     fail "libtest-2-now.so contains IFUNC symbols"
 315     set fails [expr $fails + 1]
 316 }
 317
 318 # The linked ifunc using executables and shared libraries should contain
 319 # a dynamic reloc referencing the IFUNC symbol.  (Even the static
 320 # executable which should have a dynamic section created for it).  The
 321 # non-ifunc using executable should not.
 322
 323 if {[contains_irelative_reloc tmpdir/libshared_ifunc.so] != 1} {
 324     fail "ifunc-using shared library does not contain R_*_IRELATIVE relocation"
 325     set fails [expr $fails + 1]
 326 }
 327 if {[contains_irelative_reloc tmpdir/local_prog] != 1} {
 328     fail "Local ifunc-using executable does not contain R_*_IRELATIVE relocation"
 329     set fails [expr $fails + 1]
 330 }
 331 if {[contains_irelative_reloc tmpdir/static_prog] != 1} {
 332     fail "Static ifunc-using executable does not contain R_*_IRELATIVE relocation"
 333     set fails [expr $fails + 1]
 334 }
 335 if {[contains_ifunc_reloc tmpdir/dynamic_prog] != 0} {
 336     fail "Dynamic ifunc-using executable contains a reloc against an IFUNC symbol"
 337     set fails [expr $fails + 1]
 338 }
 339 if {[contains_ifunc_reloc tmpdir/static_nonifunc_prog] == 1} {
 340     fail "Static non-ifunc-using executable contains a reloc against an IFUNC symbol!"
 341     set fails [expr $fails + 1]
 342 }
 343
 344 if { $fails == 0 } {
 345   pass "Checking ifunc binaries"
 346 }
 347
 348 run_cc_link_tests [list \
 349     [list \
 350         "Build libpr16467a.so" \
 351         "-shared -Wl,--version-script=pr16467a.map" \
 352         "-fPIC" \
 353         { pr16467a.c } \
 354         {} \
 355         "libpr16467a.so" \
 356     ] \
 357     [list \
 358         "Build libpr16467b.a" \
 359         "" \
 360         "-fPIC" \
 361         { pr16467b.c } \
 362         {} \
 363         "libpr16467b.a" \
 364     ] \
 365     [list \
 366         "Build libpr16467b.so" \
 367         "-shared tmpdir/pr16467b.o tmpdir/libpr16467a.so \
 368          -Wl,--version-script=pr16467b.map" \
 369         "-fPIC" \
 370         { dummy.c } \
 371         {} \
 372         "libpr16467b.so" \
 373     ] \
 374     [list \
 375         "Build libpr16467c.a" \
 376         "" \
 377         "" \
 378         { pr16467c.c } \
 379         {} \
 380         "libpr16467c.a" \
 381     ] \
 382 ]
 383
 384 run_ld_link_exec_tests [list \
 385     [list \
 386         "Common symbol override ifunc test 1a" \
 387         "-static" \
 388         "" \
 389         { ifunc-common-1a.c ifunc-common-1b.c } \
 390         "ifunc-common-1a" \
 391         "ifunc-common-1.out" \
 392         "-g" \
 393     ] \
 394     [list \
 395         "Common symbol override ifunc test 1b" \
 396         "-static" \
 397         "" \
 398         { ifunc-common-1b.c ifunc-common-1a.c } \
 399         "ifunc-common-1b" \
 400         "ifunc-common-1.out" \
 401         "-g" \
 402     ] \
 403 ]
 404
 405 set test_list [lsort [glob -nocomplain $srcdir/$subdir/*.d]]
 406 foreach t $test_list {
 407     # We need to strip the ".d", but can leave the dirname.
 408     verbose [file rootname $t]
 409     run_dump_test [file rootname $t]
 410 }
 411
 412 # Run-time tests which require working IFUNC support.
 413 if { ![check_ifunc_available] } {
 414     return
 415 }
 416
 417 run_cc_link_tests [list \
 418     [list \
 419         "Build ifunc-lib.so" \
 420         "-shared" \
 421         "-fPIC" \
 422         { ifunc-lib.c } \
 423         {} \
 424         "libifunc-lib.so" \
 425     ] \
 426 ]
 427
 428 run_ld_link_exec_tests [list \
 429     [list \
 430         "Run pr16467" \
 431         "-Wl,--no-as-needed tmpdir/pr16467c.o tmpdir/libpr16467b.so tmpdir/libpr16467a.so" \
 432         "" \
 433         { dummy.c } \
 434         "pr16467" \
 435         "pr16467.out" \
 436         "" \
 437     ] \
 438     [list \
 439         "Run ifunc-main" \
 440         "-Wl,--no-as-needed tmpdir/libifunc-lib.so" \
 441         "" \
 442         { ifunc-main.c } \
 443         "ifunc-main" \
 444         "ifunc-main.out" \
 445     ] \
 446     [list \
 447         "Run ifunc-main with -fpic" \
 448         "-Wl,--no-as-needed tmpdir/libifunc-lib.so" \
 449         "" \
 450         { ifunc-main.c } \
 451         "ifunc-main" \
 452         "ifunc-main.out" \
 453         "-fpic" \
 454     ] \
 455 ]
 456
 457 # Run-time tests which require working ifunc attribute support.
 458 if { ![check_ifunc_attribute_available] } {
 459     return
 460 }
 461
 462 run_cc_link_tests [list \
 463     [list \
 464         "Build pr18808a.o" \
 465         "" \
 466         "" \
 467         { pr18808a.c } \
 468         "" \
 469         "" \
 470     ] \
 471     [list \
 472         "Build libpr18808.so" \
 473         "-shared" \
 474         "-fPIC -O2 -g" \
 475         { pr18808b.c } \
 476         {} \
 477         "libpr18808.so" \
 478     ] \
 479     [list \
 480         "Build pr18841a.o" \
 481         "" \
 482         "" \
 483         { pr18841a.c } \
 484         "" \
 485         "" \
 486     ] \
 487     [list \
 488         "Build libpr18841b.so" \
 489         "-shared" \
 490         "-fPIC -O0 -g" \
 491         { pr18841b.c } \
 492         {} \
 493         "libpr18841b.so" \
 494     ] \
 495     [list \
 496         "Build libpr18841c.so" \
 497         "-shared" \
 498         "-fPIC -O0 -g" \
 499         { pr18841c.c } \
 500         {} \
 501         "libpr18841c.so" \
 502     ] \
 503 ]
 504
 505 run_ld_link_exec_tests [list \
 506     [list \
 507         "Run pr18808" \
 508         "-Wl,--no-as-needed tmpdir/pr18808a.o tmpdir/libpr18808.so" \
 509         "" \
 510         { dummy.c } \
 511         "pr18808" \
 512         "pr18808.out" \
 513     ] \
 514     [list \
 515         "Run pr18841 with libpr18841b.so" \
 516         "-Wl,--no-as-needed tmpdir/pr18841a.o tmpdir/libpr18841b.so" \
 517         "" \
 518         { dummy.c } \
 519         "pr18841b" \
 520         "pr18841.out" \
 521     ] \
 522     [list \
 523         "Run pr18841 with libpr18841c.so" \
 524         "-Wl,--as-needed tmpdir/pr18841a.o tmpdir/libpr18841c.so" \
 525         "" \
 526         { dummy.c } \
 527         "pr18841c" \
 528         "pr18841.out" \
 529     ] \
 530 ]