1 # Expect script for linker support of IFUNC symbols and relocations.
3 # Copyright (C) 2009-2019 Free Software Foundation, Inc.
4 # Contributed by Red Hat.
6 # This file is part of the GNU Binutils.
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.
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.
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,
23 # Written by Nick Clifton <nickc@redhat.com>
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 verbose "IFUNC tests not run - target does not support IFUNC"
42 # Skip targets where -shared is not supported
44 if ![check_shared_lib_support] {
49 set saved_ASFLAGS "$ASFLAGS"
50 if { [istarget "i?86-*-*"] || [istarget "x86_64-*-*"] } {
51 set ASFLAGS "$ASFLAGS -mx86-used-note=no"
54 # This test does not need a compiler...
55 run_dump_test "ifuncmod5"
57 set test_list [lsort [glob -nocomplain $srcdir/$subdir/*.d]]
58 foreach t $test_list {
59 # We need to strip the ".d", but can leave the dirname.
60 verbose [file rootname $t]
61 run_dump_test [file rootname $t]
64 # We need a working compiler. (Strictly speaking this is
65 # not true, we could use target specific assembler files).
66 if { ![check_compiler_available] } {
67 verbose "IFUNC tests not run - no compiler available"
71 # A procedure to check the OS/ABI field in the ELF header of a binary file.
72 proc check_osabi { binary_file expected_osabi } {
76 catch "exec $READELF $READELFFLAGS --file-header $binary_file > readelf.out" got
78 if ![string match "" $got] then {
79 verbose "proc check_osabi: Readelf produced unexpected out processing $binary_file: $got"
83 if { ![regexp "\n\[ \]*OS/ABI:\[ \]*(.+)\n\[ \]*ABI" \
84 [file_contents readelf.out] nil osabi] } {
85 verbose "proc check_osabi: Readelf failed to extract an ELF header from $binary_file"
89 if { $osabi == $expected_osabi } {
93 verbose "Expected OSABI: $expected_osabi, Obtained osabi: $osabi"
98 # A procedure to confirm that a file contains the IFUNC symbol.
99 # Returns -1 upon error, 0 if the symbol was not found and 1 if it was found.
100 proc contains_ifunc_symbol { binary_file } {
104 catch "exec $READELF $READELFFLAGS --symbols $binary_file > readelf.out" got
106 if ![string match "" $got] then {
107 verbose "proc contains_ifunc_symbol: Readelf produced unexpected out processing $binary_file: $got"
111 # Look for a line like this:
112 # 58: 0000000000400600 30 IFUNC GLOBAL DEFAULT 12 library_func2
113 # with perhaps some other info between the visibility and section
115 if { ![regexp ".*\[ \]*IFUNC\[ \]+GLOBAL\[ \]+DEFAULT .* \[UND0-9\]+\[ \]+library_func2\n" [file_contents readelf.out]] } {
122 # A procedure to confirm that a file contains the R_*_IRELATIVE
124 # Returns -1 upon error, 0 if the relocation was not found and 1 if
126 proc contains_irelative_reloc { binary_file } {
130 catch "exec $READELF $READELFFLAGS --relocs --wide $binary_file > readelf.out" got
132 if ![string match "" $got] then {
133 verbose "proc contains_irelative_reloc: Readelf produced unexpected out processing $binary_file: $got"
137 # Look for a line like this:
138 # 0000000000600ab0 0000000000000025 R_X86_64_IRELATIVE 000000000040061c
139 # 080496f4 0000002a R_386_IRELATIVE
142 if { ![regexp "\[0-9a-f\]+\[ \]+\[0-9a-f\]+\[ \]+R_\[_0-9A-Z\]+_IREL(|ATIVE)\[ \]*\[0-9a-f\]*\n" [file_contents readelf.out]] } {
149 # A procedure to confirm that a file contains a relocation that references an IFUNC symbol.
150 # Returns -1 upon error, 0 if the reloc was not found and 1 if it was found.
151 proc contains_ifunc_reloc { binary_file } {
155 catch "exec $READELF $READELFFLAGS --relocs $binary_file > readelf.out" got
157 if ![string match "" $got] then {
158 verbose "proc contains_ifunc_reloc: Readelf produced unexpected out processing $binary_file: $got"
162 if [string match "" [file_contents readelf.out]] then {
163 verbose "No relocs found in $binary_file"
167 if { ![regexp "\\(\\)" [file_contents readelf.out]] } {
176 # Create the object files, libraries and executables.
177 if ![ld_compile "$CC -c -fPIC" "$srcdir/$subdir/prog.c" "tmpdir/shared_prog.o"] {
178 fail "Could not create a PIC object file"
179 set fails [expr $fails + 1]
181 if ![ld_compile "$CC -c $NOPIE_CFLAGS" "$srcdir/$subdir/prog.c" "tmpdir/static_prog.o"] {
182 fail "Could not create a non-PIC object file"
183 set fails [expr $fails + 1]
185 if ![ld_compile "$CC -c -fPIC -DWITH_IFUNC" "$srcdir/$subdir/lib.c" "tmpdir/shared_ifunc.o"] {
186 fail "Could not create a PIC object file containing an IFUNC symbol"
187 set fails [expr $fails + 1]
189 if ![ld_compile "$CC -c $NOPIE_CFLAGS -DWITH_IFUNC" "$srcdir/$subdir/lib.c" "tmpdir/static_ifunc.o"] {
190 fail "Could not create a non-PIC object file containing an IFUNC symbol"
191 set fails [expr $fails + 1]
193 if ![ld_compile "$CC -c -DWITHOUT_IFUNC" "$srcdir/$subdir/lib.c" "tmpdir/static_noifunc.o"] {
194 fail "Could not create an ordinary non-PIC object file"
195 set fails [expr $fails + 1]
197 if ![ld_assemble $as "$srcdir/ld-elf/empty.s" "tmpdir/empty.o"] {
198 fail "Could not create an empty object file"
199 set fails [expr $fails + 1]
201 if ![ld_compile "$CC -c" "$srcdir/$subdir/test-1.c" "tmpdir/test-1.o"] {
202 fail "Could not create test-1.o"
203 set fails [expr $fails + 1]
205 if ![ld_compile "$CC -fPIC -c" "$srcdir/$subdir/test-2.c" "tmpdir/test-2.o"] {
206 fail "Could not create test-2.o"
207 set fails [expr $fails + 1]
214 if ![ld_link $ld "tmpdir/libshared_ifunc.so" "-shared tmpdir/shared_ifunc.o"] {
215 fail "Could not create a shared library containing an IFUNC symbol"
216 set fails [expr $fails + 1]
218 if ![ar_simple_create $ar "" "tmpdir/libifunc.a" "tmpdir/static_ifunc.o"] {
219 fail "Could not create a static library containing an IFUNC symbol"
220 set fails [expr $fails + 1]
227 if ![ld_link $CC "tmpdir/dynamic_prog" "-Wl,--no-as-needed,-rpath=./tmpdir,-Bdynamic -Ltmpdir tmpdir/shared_prog.o -lshared_ifunc"] {
228 fail "Could not link a dynamic executable"
229 set fails [expr $fails + 1]
231 if ![ld_link $CC "tmpdir/local_prog" "$NOPIE_LDFLAGS -Wl,--no-as-needed,-rpath=./tmpdir -Ltmpdir tmpdir/static_prog.o -lifunc"] {
232 fail "Could not link a dynamic executable using local ifunc"
233 set fails [expr $fails + 1]
235 if ![string match "" $STATIC_LDFLAGS] {
236 if ![ld_link $CC "tmpdir/static_prog" "-static -Ltmpdir tmpdir/static_prog.o -lifunc"] {
237 fail "Could not link a static executable"
238 set fails [expr $fails + 1]
241 if ![ld_link $ld "tmpdir/static_nonifunc_prog" "-static tmpdir/empty.o"] {
242 fail "Could not link a non-ifunc using static executable"
243 set fails [expr $fails + 1]
245 if ![ld_link $CC "tmpdir/test-1" "-Wl,--no-as-needed,-rpath=./tmpdir tmpdir/test-1.o tmpdir/libshared_ifunc.so"] {
246 fail "Could not link test-1"
247 set fails [expr $fails + 1]
249 if ![ld_link $ld "tmpdir/libtest-2.so" "-shared tmpdir/test-2.o"] {
250 fail "Could not link libtest-2.so"
251 set fails [expr $fails + 1]
253 if ![ld_link $ld "tmpdir/libtest-2-now.so" "-shared -z now tmpdir/test-2.o"] {
254 fail "Could not link libtest-2-now.so"
255 set fails [expr $fails + 1]
259 pass "Building ifunc binaries"
265 # Check the executables and shared libraries
267 # The linked ifunc using executables and the shared library containing
268 # ifunc should have an OSABI field of GNU. The linked non-ifunc using
269 # executable should have an OSABI field of NONE (aka System V).
271 case $target_triplet in {
272 { hppa*-*-linux* } { set expected_none {UNIX - GNU} }
273 default { set expected_none {UNIX - System V} }
276 if {! [check_osabi tmpdir/libshared_ifunc.so {UNIX - GNU}]} {
277 fail "Shared libraries containing ifunc does not have an OS/ABI field of GNU"
278 set fails [expr $fails + 1]
280 if {! [check_osabi tmpdir/local_prog {UNIX - GNU}]} {
281 fail "Local ifunc-using executable does not have an OS/ABI field of GNU"
282 set fails [expr $fails + 1]
284 if { ![string match "" $STATIC_LDFLAGS] \
285 && ![check_osabi tmpdir/static_prog {UNIX - GNU}]} {
286 fail "Static ifunc-using executable does not have an OS/ABI field of GNU"
287 set fails [expr $fails + 1]
289 if {! [check_osabi tmpdir/dynamic_prog $expected_none]} {
290 fail "Dynamic ifunc-using executable does not have an OS/ABI field of $expected_none"
291 set fails [expr $fails + 1]
293 if {! [check_osabi tmpdir/static_nonifunc_prog $expected_none]} {
294 fail "Static non-ifunc-using executable does not have an OS/ABI field of $expected_none"
295 set fails [expr $fails + 1]
298 # The linked ifunc using executables and the shared library containing
299 # ifunc should contain an IFUNC symbol. The non-ifunc using executable
302 if {[contains_ifunc_symbol tmpdir/libshared_ifunc.so] != 1} {
303 fail "Shared libraries containing ifunc does not contain an IFUNC symbol"
304 set fails [expr $fails + 1]
306 if {[contains_ifunc_symbol tmpdir/local_prog] != 1} {
307 fail "Local ifunc-using executable does not contain an IFUNC symbol"
308 set fails [expr $fails + 1]
310 if { ![string match "" $STATIC_LDFLAGS] \
311 && [contains_ifunc_symbol tmpdir/static_prog] != 1} {
312 fail "Static ifunc-using executable does not contain an IFUNC symbol"
313 set fails [expr $fails + 1]
315 if {[contains_ifunc_symbol tmpdir/dynamic_prog] != 0} {
316 fail "Dynamic ifunc-using executable contains an IFUNC symbol"
317 set fails [expr $fails + 1]
319 if {[contains_ifunc_symbol tmpdir/static_nonifunc_prog] != 0} {
320 fail "Static non-ifunc-using executable contains an IFUNC symbol"
321 set fails [expr $fails + 1]
323 if {[contains_ifunc_symbol tmpdir/test-1] != 0} {
324 fail "test-1 contains IFUNC symbols"
325 set fails [expr $fails + 1]
327 if {[contains_ifunc_symbol tmpdir/libtest-2.so] != 0} {
328 fail "libtest-2.so contains IFUNC symbols"
329 set fails [expr $fails + 1]
331 if {[contains_ifunc_symbol tmpdir/libtest-2-now.so] != 0} {
332 fail "libtest-2-now.so contains IFUNC symbols"
333 set fails [expr $fails + 1]
336 # The linked ifunc using executables and shared libraries should contain
337 # a dynamic reloc referencing the IFUNC symbol. (Even the static
338 # executable which should have a dynamic section created for it). The
339 # non-ifunc using executable should not.
341 if {[contains_irelative_reloc tmpdir/libshared_ifunc.so] != 1} {
342 fail "ifunc-using shared library does not contain R_*_IRELATIVE relocation"
343 set fails [expr $fails + 1]
345 if {[contains_irelative_reloc tmpdir/local_prog] != 1} {
346 fail "Local ifunc-using executable does not contain R_*_IRELATIVE relocation"
347 set fails [expr $fails + 1]
349 if { ![string match "" $STATIC_LDFLAGS] \
350 && [contains_irelative_reloc tmpdir/static_prog] != 1} {
351 fail "Static ifunc-using executable does not contain R_*_IRELATIVE relocation"
352 set fails [expr $fails + 1]
354 if {[contains_ifunc_reloc tmpdir/dynamic_prog] != 0} {
355 fail "Dynamic ifunc-using executable contains a reloc against an IFUNC symbol"
356 set fails [expr $fails + 1]
358 if {[contains_ifunc_reloc tmpdir/static_nonifunc_prog] == 1} {
359 fail "Static non-ifunc-using executable contains a reloc against an IFUNC symbol!"
360 set fails [expr $fails + 1]
364 pass "Checking ifunc binaries"
367 run_cc_link_tests [list \
369 "Build libpr16467a.so" \
370 "-shared -Wl,--version-script=pr16467a.map" \
377 "Build libpr16467b.a" \
385 "Build libpr16467b.so" \
386 "-shared tmpdir/pr16467b.o tmpdir/libpr16467a.so \
387 -Wl,--version-script=pr16467b.map" \
394 "Build libpr16467c.a" \
402 "Build libpr16467an.so" \
403 "-shared -Wl,-z,now -Wl,--version-script=pr16467a.map" \
410 "Build libpr16467bn.so" \
411 "-shared tmpdir/pr16467b.o tmpdir/libpr16467an.so \
412 -Wl,--version-script=pr16467b.map" \
420 run_ld_link_exec_tests [list \
422 "Common symbol override ifunc test 1a" \
425 { ifunc-common-1a.c ifunc-common-1b.c } \
427 "ifunc-common-1.out" \
431 "Common symbol override ifunc test 1b" \
434 { ifunc-common-1b.c ifunc-common-1a.c } \
436 "ifunc-common-1.out" \
441 # Run-time tests which require working IFUNC support.
442 if { ![check_ifunc_available] } {
446 run_cc_link_tests [list \
448 "Build ifunc-lib.so" \
456 "Build ifunc-libn.so" \
457 "-shared -Wl,-z,now" \
465 run_ld_link_exec_tests [list \
468 "-Wl,--no-as-needed tmpdir/pr16467c.o tmpdir/libpr16467b.so tmpdir/libpr16467a.so" \
476 "Run pr16467 (-z now)" \
477 "-Wl,-z,now -Wl,--no-as-needed tmpdir/pr16467c.o tmpdir/libpr16467bn.so tmpdir/libpr16467an.so" \
486 "-Wl,--no-as-needed tmpdir/libifunc-lib.so" \
493 "Run ifunc-main with -fpic" \
494 "-Wl,--no-as-needed tmpdir/libifunc-lib.so" \
502 "Run ifunc-main (-z now)" \
503 "-Wl,-z,now -Wl,--no-as-needed tmpdir/libifunc-libn.so" \
510 "Run ifunc-main with PIE (-z now)" \
511 "-pie -Wl,-z,now -Wl,--no-as-needed tmpdir/libifunc-libn.so" \
520 # Run-time tests which require working ifunc attribute support.
521 if { ![check_ifunc_attribute_available] } {
525 run_cc_link_tests [list \
535 "Build libpr18808.so" \
543 "Build libpr18808n.so" \
544 "-shared -Wl,-z,now" \
559 "Build libpr18841b.so" \
567 "Build libpr18841c.so" \
575 "Build libpr18841bn.so" \
576 "-Wl,-z,now -shared" \
583 "Build libpr18841cn.so" \
585 "-Wl,-z,now -fPIC -O0 -g" \
591 "Build libpr23169a.so" \
599 "Build libpr23169b.so" \
600 "-shared -Wl,-z,now" \
608 "$NOPIE_LDFLAGS -Wl,--no-as-needed tmpdir/libpr23169a.so" \
609 "$NOPIE_CFLAGS -O2 -g" \
610 { pr23169b.c pr23169c.c } \
611 {{readelf {--dyn-syms} pr23169a.rd} \
612 {readelf {-r -W} pr23169b.rd}} \
617 "-pie -Wl,--no-as-needed tmpdir/libpr23169a.so" \
619 { pr23169b.c pr23169c.c } \
620 {{readelf {--dyn-syms} pr23169c.rd} \
621 {readelf {-r -W} pr23169b.rd}} \
626 "$NOPIE_LDFLAGS -Wl,--no-as-needed tmpdir/libpr23169a.so" \
628 { pr23169b.c pr23169c.c } \
629 {{readelf {--dyn-syms} pr23169c.rd} \
630 {readelf {-r -W} pr23169b.rd}} \
635 "$NOPIE_LDFLAGS -Wl,--no-as-needed,-z,now tmpdir/libpr23169b.so" \
636 "$NOPIE_CFLAGS -O2 -g" \
637 { pr23169b.c pr23169c.c } \
638 {{readelf {--dyn-syms} pr23169a.rd} \
639 {readelf {-r -W} pr23169b.rd}} \
644 "-pie -Wl,--no-as-needed,-z,now tmpdir/libpr23169b.so" \
646 { pr23169b.c pr23169c.c } \
647 {{readelf {--dyn-syms} pr23169c.rd} \
648 {readelf {-r -W} pr23169b.rd}} \
653 "$NOPIE_LDFLAGS -Wl,--no-as-needed,-z,now tmpdir/libpr23169b.so" \
655 { pr23169b.c pr23169c.c } \
656 {{readelf {--dyn-syms} pr23169c.rd} \
657 {readelf {-r -W} pr23169b.rd}} \
662 run_ld_link_exec_tests [list \
665 "-Wl,--no-as-needed tmpdir/pr18808a.o tmpdir/libpr18808.so" \
672 "Run pr18808 (-z now)" \
673 "-Wl,-z,now -Wl,--no-as-needed tmpdir/pr18808a.o tmpdir/libpr18808n.so" \
680 "Run pr18841 with libpr18841b.so" \
681 "-Wl,--no-as-needed tmpdir/pr18841a.o tmpdir/libpr18841b.so" \
688 "Run pr18841 with libpr18841c.so" \
689 "-Wl,--as-needed tmpdir/pr18841a.o tmpdir/libpr18841c.so" \
696 "Run pr18841 with libpr18841bn.so (-z now)" \
697 "-Wl,-z,now -Wl,--no-as-needed tmpdir/pr18841a.o tmpdir/libpr18841bn.so" \
704 "Run pr18841 with libpr18841cn.so (-z now)" \
705 "-Wl,-z,now -Wl,--as-needed tmpdir/pr18841a.o tmpdir/libpr18841cn.so" \
713 # The pr23169 testcase is not valid. In general, you can't call ifunc
714 # resolvers in another binary unless you know what you're doing. In
715 # particular you must ensure that the binary containing the resolver
716 # is relocated before the resolver is called (for example, the
717 # function addresses returned by the resolver may be loaded from the
719 # That does not happen for the pr23169 testcase where the resolver is
720 # in the executable (which is relocated last by ld.so).
722 && !([istarget "powerpc-*-*"]
723 || [istarget "aarch64*-*-*"]
724 || [istarget "sparc*-*-*"]) } {
725 run_ld_link_exec_tests [list \
728 "$NOPIE_LDFLAGS -Wl,--no-as-needed tmpdir/libpr23169a.so" \
730 { pr23169b.c pr23169c.c } \
733 "$NOPIE_CFLAGS -O2 -g" \
737 "-pie -Wl,--no-as-needed tmpdir/libpr23169a.so" \
739 { pr23169b.c pr23169c.c } \
746 "$NOPIE_LDFLAGS -Wl,--no-as-needed tmpdir/libpr23169a.so" \
748 { pr23169b.c pr23169c.c } \
755 "$NOPIE_LDFLAGS -Wl,--no-as-needed,-z,now tmpdir/libpr23169b.so" \
757 { pr23169b.c pr23169c.c } \
760 "$NOPIE_CFLAGS -O2 -g" \
764 "-pie -Wl,--no-as-needed,-z,now tmpdir/libpr23169b.so" \
766 { pr23169b.c pr23169c.c } \
773 "$NOPIE_LDFLAGS -Wl,--no-as-needed,-z,now tmpdir/libpr23169b.so" \
775 { pr23169b.c pr23169c.c } \
781 if { $STATIC_PIE_LDFLAGS != "" } then {
782 run_ld_link_exec_tests [list \
785 "$STATIC_PIE_LDFLAGS" \
787 { pr23169a.c pr23169b.c pr23169c.c } \
796 set ASFLAGS "$saved_ASFLAGS"