1 # Copyright (C) 1999, 2001, 2003, 2004, 2005, 2006, 2007
2 # Free Software Foundation, Inc.
4 # This program 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.
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.
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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
18 # Please email any bugs, comments, and/or additions to this file to:
19 # gcc-patches@gcc.gnu.org
21 # This file defines procs for determining features supported by the target.
23 # Try to compile some code and return the messages printed by the compiler,
24 # and optionally the contents for assembly files. Either a string or
25 # a list of two strings are returned, depending on WANT_OUTPUT.
27 # BASENAME is a basename to use for temporary files.
28 # WANT_OUTPUT is a flag which is 0 to request returning just the
29 # compiler messages, or 1 to return the messages and the contents
30 # of the assembly file. TYPE should be "assembly" if WANT_OUTPUT
32 # TYPE is the type of compilation to perform (see target_compile).
33 # CONTENTS gives the contents of the input file.
34 # The rest is optional:
35 # OPTIONS: additional compiler options to use.
36 proc get_compiler_messages {basename want_output type contents args} {
39 if { [llength $args] > 0 } {
40 set options [list "additional_flags=[lindex $args 0]"]
45 set src ${basename}[pid].c
47 assembly { set output ${basename}[pid].s }
48 object { set output ${basename}[pid].o }
53 set lines [${tool}_target_compile $src $output $type "$options"]
57 if { $type != "assembly" } {
58 error "WANT_OUTPUT can only be used with assembly output"
59 } elseif { ![string match "" $lines] } {
61 set result [list $lines ""]
64 set chan [open "$output"]
65 while {[gets $chan line] >= 0} {
69 set result [list $lines $text]
75 remote_file build delete $output
79 proc current_target_name { } {
81 if [info exists target_info(target,name)] {
82 set answer $target_info(target,name)
89 # Implement an effective-target check for property PROP by invoking
90 # the compiler and seeing if it prints any messages. Assume that the
91 # property holds if the compiler doesn't print anything. The other
92 # arguments are as for get_compiler_messages, starting with TYPE.
93 proc check_no_compiler_messages {prop args} {
96 set target [current_target_name]
97 if {![info exists et_cache($prop,target)]
98 || $et_cache($prop,target) != $target} {
99 verbose "check_no_compiler_messages $prop: compiling source for $target" 2
100 set et_cache($prop,target) $target
101 set et_cache($prop,value) \
102 [string match "" [eval get_compiler_messages $prop 0 $args]]
104 set value $et_cache($prop,value)
105 verbose "check_no_compiler_messages $prop: returning $value for $target" 2
109 # Similar to check_no_compiler_messages, but also verify that the regular
110 # expression PATTERN matches the compiler's output.
111 proc check_no_messages_and_pattern {prop pattern args} {
114 set target [current_target_name]
115 if {![info exists et_cache($prop,target)]
116 || $et_cache($prop,target) != $target} {
117 verbose "check_no_messages_and_pattern $prop: compiling source for $target" 2
118 set et_cache($prop,target) $target
119 set results [eval get_compiler_messages $prop 1 $args]
120 set et_cache($prop,value) \
121 [expr [string match "" [lindex $results 0]] \
122 && [regexp $pattern [lindex $results 1]]]
124 set value $et_cache($prop,value)
125 verbose "check_no_messages_and_pattern $prop: returning $value for $target" 2
129 ###############################
130 # proc check_weak_available { }
131 ###############################
133 # weak symbols are only supported in some configs/object formats
134 # this proc returns 1 if they're supported, 0 if they're not, or -1 if unsure
136 proc check_weak_available { } {
137 global target_triplet
140 # All mips targets should support it
142 if { [ string first "mips" $target_cpu ] >= 0 } {
146 # All solaris2 targets should support it
148 if { [regexp ".*-solaris2.*" $target_triplet] } {
152 # DEC OSF/1/Digital UNIX/Tru64 UNIX supports it
154 if { [regexp "alpha.*osf.*" $target_triplet] } {
158 # Windows targets Cygwin and MingW32 support it
160 if { [regexp ".*mingw32|.*cygwin" $target_triplet] } {
164 # HP-UX 10.X doesn't support it
166 if { [istarget "hppa*-*-hpux10*"] } {
170 # ELF and ECOFF support it. a.out does with gas/gld but may also with
171 # other linkers, so we should try it
173 set objformat [gcc_target_object_format]
181 unknown { return -1 }
186 ###############################
187 # proc check_visibility_available { what_kind }
188 ###############################
190 # The visibility attribute is only support in some object formats
191 # This proc returns 1 if it is supported, 0 if not.
192 # The argument is the kind of visibility, default/protected/hidden/internal.
194 proc check_visibility_available { what_kind } {
196 global target_triplet
198 # On NetWare, support makes no sense.
199 if { [istarget *-*-netware*] } {
203 if [string match "" $what_kind] { set what_kind "hidden" }
205 return [check_no_compiler_messages visibility_available_$what_kind object "
206 void f() __attribute__((visibility(\"$what_kind\")));
211 ###############################
212 # proc check_alias_available { }
213 ###############################
215 # Determine if the target toolchain supports the alias attribute.
217 # Returns 2 if the target supports aliases. Returns 1 if the target
218 # only supports weak aliased. Returns 0 if the target does not
219 # support aliases at all. Returns -1 if support for aliases could not
222 proc check_alias_available { } {
223 global alias_available_saved
226 if [info exists alias_available_saved] {
227 verbose "check_alias_available returning saved $alias_available_saved" 2
231 verbose "check_alias_available compiling testfile $src" 2
232 set f [open $src "w"]
233 # Compile a small test program. The definition of "g" is
234 # necessary to keep the Solaris assembler from complaining
236 puts $f "#ifdef __cplusplus\nextern \"C\"\n#endif\n"
237 puts $f "void g() {} void f() __attribute__((alias(\"g\")));"
239 set lines [${tool}_target_compile $src $obj object ""]
241 remote_file build delete $obj
243 if [string match "" $lines] then {
244 # No error messages, everything is OK.
245 set alias_available_saved 2
247 if [regexp "alias definitions not supported" $lines] {
248 verbose "check_alias_available target does not support aliases" 2
250 set objformat [gcc_target_object_format]
252 if { $objformat == "elf" } {
253 verbose "check_alias_available but target uses ELF format, so it ought to" 2
254 set alias_available_saved -1
256 set alias_available_saved 0
259 if [regexp "only weak aliases are supported" $lines] {
260 verbose "check_alias_available target supports only weak aliases" 2
261 set alias_available_saved 1
263 set alias_available_saved -1
268 verbose "check_alias_available returning $alias_available_saved" 2
271 return $alias_available_saved
274 # Returns true if --gc-sections is supported on the target.
276 proc check_gc_sections_available { } {
277 global gc_sections_available_saved
280 if {![info exists gc_sections_available_saved]} {
281 # Some targets don't support gc-sections despite whatever's
282 # advertised by ld's options.
283 if { [istarget alpha*-*-*]
284 || [istarget ia64-*-*] } {
285 set gc_sections_available_saved 0
289 # VxWorks kernel modules are relocatable objects linked with -r,
290 # while RTP executables are linked with -q (--emit-relocs).
291 # Both of these options are incompatible with --gc-sections.
292 if { [istarget *-*-vxworks*] } {
293 set gc_sections_available_saved 0
297 # Check if the ld used by gcc supports --gc-sections.
298 set gcc_spec [${tool}_target_compile "-dumpspecs" "" "none" ""]
299 regsub ".*\n\*linker:\[ \t\]*\n(\[^ \t\n\]*).*" "$gcc_spec" {\1} linker
300 set gcc_ld [lindex [${tool}_target_compile "-print-prog-name=$linker" "" "none" ""] 0]
301 set ld_output [remote_exec host "$gcc_ld" "--help"]
302 if { [ string first "--gc-sections" $ld_output ] >= 0 } {
303 set gc_sections_available_saved 1
305 set gc_sections_available_saved 0
308 return $gc_sections_available_saved
311 # Return true if profiling is supported on the target.
313 proc check_profiling_available { test_what } {
314 global profiling_available_saved
316 verbose "Profiling argument is <$test_what>" 1
318 # These conditions depend on the argument so examine them before
319 # looking at the cache variable.
321 # Support for -p on solaris2 relies on mcrt1.o which comes with the
322 # vendor compiler. We cannot reliably predict the directory where the
323 # vendor compiler (and thus mcrt1.o) is installed so we can't
324 # necessarily find mcrt1.o even if we have it.
325 if { [istarget *-*-solaris2*] && [lindex $test_what 1] == "-p" } {
329 # Support for -p on irix relies on libprof1.a which doesn't appear to
330 # exist on any irix6 system currently posting testsuite results.
331 # Support for -pg on irix relies on gcrt1.o which doesn't exist yet.
332 # See: http://gcc.gnu.org/ml/gcc/2002-10/msg00169.html
333 if { [istarget mips*-*-irix*]
334 && ([lindex $test_what 1] == "-p" || [lindex $test_what 1] == "-pg") } {
338 # At present, there is no profiling support on NetWare.
339 if { [istarget *-*-netware*] } {
343 # Now examine the cache variable.
344 if {![info exists profiling_available_saved]} {
345 # Some targets don't have any implementation of __bb_init_func or are
346 # missing other needed machinery.
347 if { [istarget mmix-*-*]
348 || [istarget arm*-*-eabi*]
349 || [istarget arm*-*-elf]
350 || [istarget arm*-*-symbianelf*]
351 || [istarget bfin-*-*]
352 || [istarget powerpc-*-eabi*]
353 || [istarget strongarm*-*-elf]
354 || [istarget xscale*-*-elf]
355 || [istarget cris-*-*]
356 || [istarget h8300-*-*]
357 || [istarget m32c-*-elf]
358 || [istarget m68k-*-elf]
359 || [istarget mips*-*-elf]
360 || [istarget xtensa-*-elf]
361 || [istarget *-*-vxworks*]
362 || [istarget *-*-windiss] } {
363 set profiling_available_saved 0
365 set profiling_available_saved 1
369 return $profiling_available_saved
372 # Return 1 if target has packed layout of structure members by
373 # default, 0 otherwise. Note that this is slightly different than
374 # whether the target has "natural alignment": both attributes may be
377 proc check_effective_target_default_packed { } {
378 return [check_no_compiler_messages default_packed assembly {
379 struct x { char a; long b; } c;
380 int s[sizeof (c) == sizeof (char) + sizeof (long) ? 1 : -1];
384 # Return 1 if target has PCC_BITFIELD_TYPE_MATTERS defined. See
385 # documentation, where the test also comes from.
387 proc check_effective_target_pcc_bitfield_type_matters { } {
388 # PCC_BITFIELD_TYPE_MATTERS isn't just about unnamed or empty
389 # bitfields, but let's stick to the example code from the docs.
390 return [check_no_compiler_messages pcc_bitfield_type_matters assembly {
391 struct foo1 { char x; char :0; char y; };
392 struct foo2 { char x; int :0; char y; };
393 int s[sizeof (struct foo1) != sizeof (struct foo2) ? 1 : -1];
397 # Return 1 if *native* thread local storage (TLS) is supported, 0 otherwise.
399 # This won't change for different subtargets so cache the result.
401 proc check_effective_target_tls {} {
405 if [info exists et_tls_saved] {
406 verbose "check_effective_target_tls: using cached result" 2
412 verbose "check_effective_target_tls: compiling testfile $src" 2
413 set f [open $src "w"]
414 # Compile a small test program.
415 puts $f "__thread int i;\n"
418 # Test for thread-local data supported by the platform.
419 set comp_output [${tool}_target_compile $src $asm assembly ""]
421 if { [string match "*not supported*" $comp_output] } {
427 if { [string match "*emutls*" $text]} {
433 remove-build-file $asm
435 verbose "check_effective_target_tls: returning $et_tls_saved" 2
439 # Return 1 if TLS executables can run correctly, 0 otherwise.
441 # This won't change for different subtargets so cache the result.
443 proc check_effective_target_tls_runtime {} {
444 global et_tls_runtime_saved
447 if [info exists et_tls_runtime_saved] {
448 verbose "check_effective_target_tls_runtime: using cached result" 2
450 set et_tls_runtime_saved 0
452 set src tls_runtime[pid].c
453 set exe tls_runtime[pid].x
454 verbose "check_effective_target_tls_runtime: compiling testfile $src" 2
455 set f [open $src "w"]
456 # Compile a small test program.
457 puts $f "__thread int thr = 0;\n"
458 puts $f "int main(void)\n {\n return thr;\n}"
462 [${tool}_target_compile $src $exe executable ""]
465 if [string match "" $comp_output] then {
466 # No error messages, everything is OK.
468 set result [remote_load target "./$exe" "" ""]
469 set status [lindex $result 0]
470 remote_file build delete $exe
472 verbose "check_effective_target_tls_runtime status is <$status>" 2
474 if { $status == "pass" } {
475 set et_tls_runtime_saved 1
478 verbose "check_effective_target_tls_runtime: returning $et_tls_runtime_saved" 2
482 return $et_tls_runtime_saved
485 # Return 1 if compilation with -fopenmp is error-free for trivial
488 proc check_effective_target_fopenmp {} {
489 return [check_no_compiler_messages fopenmp object {
494 # Return 1 if compilation with -freorder-blocks-and-partition is error-free
495 # for trivial code, 0 otherwise.
497 proc check_effective_target_freorder {} {
498 return [check_no_compiler_messages freorder object {
500 } "-freorder-blocks-and-partition"]
503 # Return 1 if -fpic and -fPIC are supported, as in no warnings or errors
504 # emitted, 0 otherwise. Whether a shared library can actually be built is
505 # out of scope for this test.
507 proc check_effective_target_fpic { } {
508 # Note that M68K has a multilib that supports -fpic but not
509 # -fPIC, so we need to check both. We test with a program that
510 # requires GOT references.
511 foreach arg {fpic fPIC} {
512 if [check_no_compiler_messages $arg object {
513 extern int foo (void); extern int bar;
514 int baz (void) { return foo () + bar; }
522 # Return true if the target supports -mpaired-single (as used on MIPS).
524 proc check_effective_target_mpaired_single { } {
525 return [check_no_compiler_messages mpaired_single object {
530 # Return 1 if the target does not use a status wrapper.
532 proc check_effective_target_unwrapped { } {
533 if { [target_info needs_status_wrapper] != "" \
534 && [target_info needs_status_wrapper] != "0" } {
540 # Return true if iconv is supported on the target. In particular IBM1047.
542 proc check_iconv_available { test_what } {
550 verbose "check_iconv_available compiling testfile $src" 2
551 set f [open $src "w"]
552 # Compile a small test program.
553 puts $f "#include <iconv.h>\n"
554 puts $f "int main (void)\n {\n iconv_t cd; \n"
555 puts $f "cd = iconv_open (\"[lindex $test_what 1]\", \"UTF-8\");\n"
556 puts $f "if (cd == (iconv_t) -1)\n return 1;\n"
557 puts $f "return 0;\n}"
560 # If the tool configuration file has not set libiconv, try "-liconv"
561 if { ![info exists libiconv] } {
562 set libiconv "-liconv"
564 set lines [${tool}_target_compile $src $exe executable "libs=$libiconv" ]
567 if [string match "" $lines] then {
568 # No error messages, everything is OK.
570 set result [${tool}_load "./$exe" "" ""]
571 set status [lindex $result 0]
572 remote_file build delete $exe
574 verbose "check_iconv_available status is <$status>" 2
576 if { $status == "pass" } then {
584 # Return true if named sections are supported on this target.
586 proc check_named_sections_available { } {
587 return [check_no_compiler_messages named_sections assembly {
588 int __attribute__ ((section("whatever"))) foo;
592 # Return 1 if the target supports Fortran real kinds larger than real(8),
595 # When the target name changes, replace the cached result.
597 proc check_effective_target_fortran_large_real { } {
598 global et_fortran_large_real_saved
599 global et_fortran_large_real_target_name
602 if { ![info exists et_fortran_large_real_target_name] } {
603 set et_fortran_large_real_target_name ""
606 # If the target has changed since we set the cached value, clear it.
607 set current_target [current_target_name]
608 if { $current_target != $et_fortran_large_real_target_name } {
609 verbose "check_effective_target_fortran_large_real: `$et_fortran_large_real_target_name' `$current_target'" 2
610 set et_fortran_large_real_target_name $current_target
611 if [info exists et_fortran_large_real_saved] {
612 verbose "check_effective_target_fortran_large_real: removing cached result" 2
613 unset et_fortran_large_real_saved
617 if [info exists et_fortran_large_real_saved] {
618 verbose "check_effective_target_fortran_large_real returning saved $et_fortran_large_real_saved" 2
620 set et_fortran_large_real_saved 0
622 # Set up, compile, and execute a test program using large real
623 # kinds. Include the current process ID in the file names to
624 # prevent conflicts with invocations for multiple testsuites.
625 set src real[pid].f90
628 set f [open $src "w"]
629 puts $f "integer,parameter :: k = &"
630 puts $f " selected_real_kind (precision (0.0_8) + 1)"
631 puts $f "real(kind=k) :: x"
632 puts $f "x = cos (x);"
636 verbose "check_effective_target_fortran_large_real compiling testfile $src" 2
637 set lines [${tool}_target_compile $src $exe executable ""]
640 if [string match "" $lines] then {
641 # No error message, compilation succeeded.
642 set et_fortran_large_real_saved 1
646 return $et_fortran_large_real_saved
649 # Return 1 if the target supports Fortran integer kinds larger than
650 # integer(8), 0 otherwise.
652 # When the target name changes, replace the cached result.
654 proc check_effective_target_fortran_large_int { } {
655 global et_fortran_large_int_saved
656 global et_fortran_large_int_target_name
659 if { ![info exists et_fortran_large_int_target_name] } {
660 set et_fortran_large_int_target_name ""
663 # If the target has changed since we set the cached value, clear it.
664 set current_target [current_target_name]
665 if { $current_target != $et_fortran_large_int_target_name } {
666 verbose "check_effective_target_fortran_large_int: `$et_fortran_large_int_target_name' `$current_target'" 2
667 set et_fortran_large_int_target_name $current_target
668 if [info exists et_fortran_large_int_saved] {
669 verbose "check_effective_target_fortran_large_int: removing cached result" 2
670 unset et_fortran_large_int_saved
674 if [info exists et_fortran_large_int_saved] {
675 verbose "check_effective_target_fortran_large_int returning saved $et_fortran_large_int_saved" 2
677 set et_fortran_large_int_saved 0
679 # Set up, compile, and execute a test program using large integer
680 # kinds. Include the current process ID in the file names to
681 # prevent conflicts with invocations for multiple testsuites.
685 set f [open $src "w"]
686 puts $f "integer,parameter :: k = &"
687 puts $f " selected_int_kind (range (0_8) + 1)"
688 puts $f "integer(kind=k) :: i"
692 verbose "check_effective_target_fortran_large_int compiling testfile $src" 2
693 set lines [${tool}_target_compile $src $exe executable ""]
696 if [string match "" $lines] then {
697 # No error message, compilation succeeded.
698 set et_fortran_large_int_saved 1
702 return $et_fortran_large_int_saved
705 # Return 1 if we can statically link libgfortran, 0 otherwise.
707 # When the target name changes, replace the cached result.
709 proc check_effective_target_static_libgfortran { } {
710 global et_static_libgfortran
711 global et_static_libgfortran_target_name
714 if { ![info exists et_static_libgfortran_target_name] } {
715 set et_static_libgfortran_target_name ""
718 # If the target has changed since we set the cached value, clear it.
719 set current_target [current_target_name]
720 if { $current_target != $et_static_libgfortran_target_name } {
721 verbose "check_effective_target_static_libgfortran: `$et_static_libgfortran_target_name' `$current_target'" 2
722 set et_static_libgfortran_target_name $current_target
723 if [info exists et_static_libgfortran_saved] {
724 verbose "check_effective_target_static_libgfortran: removing cached result" 2
725 unset et_static_libgfortran_saved
729 if [info exists et_static_libgfortran_saved] {
730 verbose "check_effective_target_static_libgfortran returning saved $et_static_libgfortran_saved" 2
732 set et_static_libgfortran_saved 0
734 # Set up, compile, and execute a test program using static linking.
735 # Include the current process ID in the file names to prevent
736 # conflicts with invocations for multiple testsuites.
737 set opts "additional_flags=-static"
738 set src static[pid].f
739 set exe static[pid].x
741 set f [open $src "w"]
742 puts $f " print *, 'test'"
746 verbose "check_effective_target_static_libgfortran compiling testfile $src" 2
747 set lines [${tool}_target_compile $src $exe executable "$opts"]
750 if [string match "" $lines] then {
751 # No error message, compilation succeeded.
752 set et_static_libgfortran_saved 1
756 return $et_static_libgfortran_saved
759 # Return 1 if the target supports executing AltiVec instructions, 0
760 # otherwise. Cache the result.
762 proc check_vmx_hw_available { } {
763 global vmx_hw_available_saved
766 if [info exists vmx_hw_available_saved] {
767 verbose "check_hw_available returning saved $vmx_hw_available_saved" 2
769 set vmx_hw_available_saved 0
771 # Some simulators are known to not support VMX instructions.
772 if { [istarget powerpc-*-eabi] || [istarget powerpc*-*-eabispe] } {
773 verbose "check_hw_available returning 0" 2
774 return $vmx_hw_available_saved
777 # Set up, compile, and execute a test program containing VMX
778 # instructions. Include the current process ID in the file
779 # names to prevent conflicts with invocations for multiple
784 set f [open $src "w"]
785 puts $f "int main() {"
786 puts $f "#ifdef __MACH__"
787 puts $f " asm volatile (\"vor v0,v0,v0\");"
789 puts $f " asm volatile (\"vor 0,0,0\");"
791 puts $f " return 0; }"
794 # Most targets don't require special flags for this test case, but
796 if [istarget *-*-darwin*] {
797 set opts "additional_flags=-maltivec"
802 verbose "check_vmx_hw_available compiling testfile $src" 2
803 set lines [${tool}_target_compile $src $exe executable "$opts"]
806 if [string match "" $lines] then {
807 # No error message, compilation succeeded.
808 set result [${tool}_load "./$exe" "" ""]
809 set status [lindex $result 0]
810 remote_file build delete $exe
811 verbose "check_vmx_hw_available testfile status is <$status>" 2
813 if { $status == "pass" } then {
814 set vmx_hw_available_saved 1
817 verbose "check_vmx_hw_availalble testfile compilation failed" 2
821 return $vmx_hw_available_saved
824 # GCC 3.4.0 for powerpc64-*-linux* included an ABI fix for passing
825 # complex float arguments. This affects gfortran tests that call cabsf
826 # in libm built by an earlier compiler. Return 1 if libm uses the same
827 # argument passing as the compiler under test, 0 otherwise.
829 # When the target name changes, replace the cached result.
831 proc check_effective_target_broken_cplxf_arg { } {
832 global et_broken_cplxf_arg_saved
833 global et_broken_cplxf_arg_target_name
836 # Skip the work for targets known not to be affected.
837 if { ![istarget powerpc64-*-linux*] } {
839 } elseif { [is-effective-target ilp32] } {
843 if { ![info exists et_broken_cplxf_arg_target_name] } {
844 set et_broken_cplxf_arg_target_name ""
847 # If the target has changed since we set the cached value, clear it.
848 set current_target [current_target_name]
849 if { $current_target != $et_broken_cplxf_arg_target_name } {
850 verbose "check_effective_target_broken_cplxf_arg: `$et_broken_cplxf_arg_target_name'" 2
851 set et_broken_cplxf_arg_target_name $current_target
852 if [info exists et_broken_cplxf_arg_saved] {
853 verbose "check_effective_target_broken_cplxf_arg: removing cached result" 2
854 unset et_broken_cplxf_arg_saved
858 if [info exists et_broken_cplxf_arg_saved] {
859 verbose "check_effective_target_broken_cplxf_arg: using cached result" 2
861 set et_broken_cplxf_arg_saved 0
862 # This is only known to affect one target.
863 if { ![istarget powerpc64-*-linux*] || ![is-effective-target lp64] } {
864 set et_broken_cplxf_arg_saved 0
865 verbose "check_effective_target_broken_cplxf_arg: caching 0" 2
866 return $et_broken_cplxf_arg_saved
869 # Set up, compile, and execute a C test program that calls cabsf.
873 set f [open $src "w"]
874 puts $f "#include <complex.h>"
875 puts $f "extern void abort (void);"
876 puts $f "float fabsf (float);"
877 puts $f "float cabsf (_Complex float);"
878 puts $f "int main ()"
880 puts $f " _Complex float cf;"
882 puts $f " cf = 3 + 4.0fi;"
883 puts $f " f = cabsf (cf);"
884 puts $f " if (fabsf (f - 5.0) > 0.0001) abort ();"
889 set lines [${tool}_target_compile $src $exe executable "-lm"]
892 if [string match "" $lines] {
893 # No error message, compilation succeeded.
894 set result [${tool}_load "./$exe" "" ""]
895 set status [lindex $result 0]
896 remote_file build delete $exe
898 verbose "check_effective_target_broken_cplxf_arg: status is <$status>" 2
900 if { $status != "pass" } {
901 set et_broken_cplxf_arg_saved 1
904 verbose "check_effective_target_broken_cplxf_arg: compilation failed" 2
907 return $et_broken_cplxf_arg_saved
910 proc check_alpha_max_hw_available { } {
911 global alpha_max_hw_available_saved
914 if [info exists alpha_max_hw_available_saved] {
915 verbose "check_alpha_max_hw_available returning saved $alpha_max_hw_available_saved" 2
917 set alpha_max_hw_available_saved 0
919 # Set up, compile, and execute a test program probing bit 8 of the
920 # architecture mask, which indicates presence of MAX instructions.
924 set f [open $src "w"]
925 puts $f "int main() { return __builtin_alpha_amask(1<<8) != 0; }"
928 verbose "check_alpha_max_hw_available compiling testfile $src" 2
929 set lines [${tool}_target_compile $src $exe executable ""]
932 if [string match "" $lines] then {
933 # No error message, compilation succeeded.
934 set result [${tool}_load "./$exe" "" ""]
935 set status [lindex $result 0]
936 remote_file build delete $exe
937 verbose "check_alpha_max_hw_available testfile status is <$status>" 2
939 if { $status == "pass" } then {
940 set alpha_max_hw_available_saved 1
943 verbose "check_alpha_max_hw_availalble testfile compilation failed" 2
947 return $alpha_max_hw_available_saved
950 # Returns true iff the FUNCTION is available on the target system.
951 # (This is essentially a Tcl implementation of Autoconf's
954 proc check_function_available { function } {
955 set var "${function}_available_saved"
959 if {![info exists $var]} {
962 # Check to make sure.
963 set src "function[pid].c"
964 set exe "function[pid].exe"
966 set f [open $src "w"]
967 puts $f "#ifdef __cplusplus\nextern \"C\"\n#endif\n"
968 puts $f "char $function ();\n"
969 puts $f "int main () { $function (); }"
972 set lines [${tool}_target_compile $src $exe executable ""]
976 if {![string match "" $lines]} then {
978 verbose -log "$function is not available"
980 verbose -log "$function is available"
987 # Returns true iff "fork" is available on the target system.
989 proc check_fork_available {} {
990 return [check_function_available "fork"]
993 # Returns true iff "mkfifo" is available on the target system.
995 proc check_mkfifo_available {} {
996 if {[istarget *-*-cygwin*]} {
997 # Cygwin has mkfifo, but support is incomplete.
1001 return [check_function_available "mkfifo"]
1004 # Returns true iff "__cxa_atexit" is used on the target system.
1006 proc check_cxa_atexit_available { } {
1007 global et_cxa_atexit
1008 global et_cxa_atexit_target_name
1011 if { ![info exists et_cxa_atexit_target_name] } {
1012 set et_cxa_atexit_target_name ""
1015 # If the target has changed since we set the cached value, clear it.
1016 set current_target [current_target_name]
1017 if { $current_target != $et_cxa_atexit_target_name } {
1018 verbose "check_cxa_atexit_available: `$et_cxa_atexit_target_name'" 2
1019 set et_cxa_atexit_target_name $current_target
1020 if [info exists et_cxa_atexit] {
1021 verbose "check_cxa_atexit_available: removing cached result" 2
1026 if [info exists et_cxa_atexit] {
1027 verbose "check_cxa_atexit_available: using cached result" 2
1028 } elseif { [istarget "hppa*-*-hpux10*"] } {
1029 # HP-UX 10 doesn't have __cxa_atexit but subsequent test passes.
1034 # Set up, compile, and execute a C++ test program that depends
1035 # on correct ordering of static object destructors. This is
1036 # indicative of the presence and use of __cxa_atexit.
1037 set src cxaatexit[pid].cc
1038 set exe cxaatexit[pid].x
1040 set f [open $src "w"]
1041 puts $f "#include <stdlib.h>"
1042 puts $f "static unsigned int count;"
1045 puts $f " X() { count = 1; }"
1048 puts $f " if (count != 3)"
1050 puts $f " count = 4;"
1055 puts $f " static X x;"
1059 puts $f " Y() { f(); count = 2; }"
1062 puts $f " if (count != 2)"
1064 puts $f " count = 3;"
1068 puts $f "int main()"
1069 puts $f "{ return 0; }"
1072 set lines [${tool}_target_compile $src $exe executable ""]
1075 if [string match "" $lines] {
1076 # No error message, compilation succeeded.
1077 set result [${tool}_load "./$exe" "" ""]
1078 set status [lindex $result 0]
1079 remote_file build delete $exe
1081 verbose "check_cxa_atexit_available: status is <$status>" 2
1083 if { $status == "pass" } {
1087 verbose "check_cxa_atexit_available: compilation failed" 2
1090 return $et_cxa_atexit
1094 # Return 1 if we're generating 32-bit code using default options, 0
1097 proc check_effective_target_ilp32 { } {
1098 return [check_no_compiler_messages ilp32 object {
1099 int dummy[sizeof (int) == 4
1100 && sizeof (void *) == 4
1101 && sizeof (long) == 4 ? 1 : -1];
1105 # Return 1 if we're generating 32-bit or larger integers using default
1106 # options, 0 otherwise.
1108 proc check_effective_target_int32plus { } {
1109 return [check_no_compiler_messages int32plus object {
1110 int dummy[sizeof (int) >= 4 ? 1 : -1];
1114 # Return 1 if we're generating 32-bit or larger pointers using default
1115 # options, 0 otherwise.
1117 proc check_effective_target_ptr32plus { } {
1118 return [check_no_compiler_messages ptr32plus object {
1119 int dummy[sizeof (void *) >= 4 ? 1 : -1];
1123 # Return 1 if we support 32-bit or larger array and structure sizes
1124 # using default options, 0 otherwise.
1126 proc check_effective_target_size32plus { } {
1127 return [check_no_compiler_messages size32plus object {
1132 # Returns 1 if we're generating 16-bit or smaller integers with the
1133 # default options, 0 otherwise.
1135 proc check_effective_target_int16 { } {
1136 return [check_no_compiler_messages int16 object {
1137 int dummy[sizeof (int) < 4 ? 1 : -1];
1141 # Return 1 if we're generating 64-bit code using default options, 0
1144 proc check_effective_target_lp64 { } {
1145 return [check_no_compiler_messages lp64 object {
1146 int dummy[sizeof (int) == 4
1147 && sizeof (void *) == 8
1148 && sizeof (long) == 8 ? 1 : -1];
1152 # Return 1 if the target supports long double larger than double,
1155 proc check_effective_target_large_long_double { } {
1156 return [check_no_compiler_messages large_long_double object {
1157 int dummy[sizeof(long double) > sizeof(double) ? 1 : -1];
1162 # Return 1 if the target supports compiling decimal floating point,
1165 proc check_effective_target_dfp_nocache { } {
1166 verbose "check_effective_target_dfp_nocache: compiling source" 2
1167 set ret [string match "" [get_compiler_messages dfp 0 object {
1168 _Decimal32 x; _Decimal64 y; _Decimal128 z;
1170 verbose "check_effective_target_dfp_nocache: returning $ret" 2
1174 proc check_effective_target_dfprt_nocache { } {
1179 verbose "check_effective_target_dfprt_nocache: compiling source" 2
1180 # Set up, compile, and execute a test program containing decimal
1182 set src dfprt[pid].c
1183 set exe dfprt[pid].x
1185 set f [open $src "w"]
1186 puts $f "_Decimal32 x = 1.2df; _Decimal64 y = 2.3dd; _Decimal128 z;"
1187 puts $f "int main () { z = x + y; return 0; }"
1190 verbose "check_effective_target_dfprt_nocache: compiling testfile $src" 2
1191 set lines [${tool}_target_compile $src $exe executable ""]
1194 if [string match "" $lines] then {
1195 # No error message, compilation succeeded.
1196 set result [${tool}_load "./$exe" "" ""]
1197 set status [lindex $result 0]
1198 remote_file build delete $exe
1199 verbose "check_effective_target_dfprt_nocache: testfile status is <$status>" 2
1200 if { $status == "pass" } then {
1205 verbose "check_effective_target_dfprt_nocache: returning $ret" 2
1208 # Return 1 if the target supports compiling Decimal Floating Point,
1211 # This won't change for different subtargets so cache the result.
1213 proc check_effective_target_dfp { } {
1216 if [info exists et_dfp_saved] {
1217 verbose "check_effective_target_dfp: using cached result" 2
1219 set et_dfp_saved [check_effective_target_dfp_nocache]
1221 verbose "check_effective_target_dfp: returning $et_dfp_saved" 2
1222 return $et_dfp_saved
1225 # Return 1 if the target supports linking and executing Decimal Floating
1226 # Point, # 0 otherwise.
1228 # This won't change for different subtargets so cache the result.
1230 proc check_effective_target_dfprt { } {
1231 global et_dfprt_saved
1234 if [info exists et_dfprt_saved] {
1235 verbose "check_effective_target_dfprt: using cached result" 2
1237 set et_dfprt_saved [check_effective_target_dfprt_nocache]
1239 verbose "check_effective_target_dfprt: returning $et_dfprt_saved" 2
1240 return $et_dfprt_saved
1243 # Return 1 if the target needs a command line argument to enable a SIMD
1246 proc check_effective_target_vect_cmdline_needed { } {
1247 global et_vect_cmdline_needed_saved
1248 global et_vect_cmdline_needed_target_name
1250 if { ![info exists et_vect_cmdline_needed_target_name] } {
1251 set et_vect_cmdline_needed_target_name ""
1254 # If the target has changed since we set the cached value, clear it.
1255 set current_target [current_target_name]
1256 if { $current_target != $et_vect_cmdline_needed_target_name } {
1257 verbose "check_effective_target_vect_cmdline_needed: `$et_vect_cmdline_needed_target_name' `$current_target'" 2
1258 set et_vect_cmdline_needed_target_name $current_target
1259 if { [info exists et_vect_cmdline_needed_saved] } {
1260 verbose "check_effective_target_vect_cmdline_needed: removing cached result" 2
1261 unset et_vect_cmdline_needed_saved
1265 if [info exists et_vect_cmdline_needed_saved] {
1266 verbose "check_effective_target_vect_cmdline_needed: using cached result" 2
1268 set et_vect_cmdline_needed_saved 1
1269 if { [istarget ia64-*-*]
1270 || (([istarget x86_64-*-*] || [istarget i?86-*-*])
1271 && [check_effective_target_lp64])
1272 || ([istarget powerpc*-*-*]
1273 && ([check_effective_target_powerpc_spe]
1274 || [check_effective_target_powerpc_altivec]))} {
1275 set et_vect_cmdline_needed_saved 0
1279 verbose "check_effective_target_vect_cmdline_needed: returning $et_vect_cmdline_needed_saved" 2
1280 return $et_vect_cmdline_needed_saved
1283 # Return 1 if the target supports hardware vectors of int, 0 otherwise.
1285 # This won't change for different subtargets so cache the result.
1287 proc check_effective_target_vect_int { } {
1288 global et_vect_int_saved
1290 if [info exists et_vect_int_saved] {
1291 verbose "check_effective_target_vect_int: using cached result" 2
1293 set et_vect_int_saved 0
1294 if { [istarget i?86-*-*]
1295 || [istarget powerpc*-*-*]
1296 || [istarget spu-*-*]
1297 || [istarget x86_64-*-*]
1298 || [istarget sparc*-*-*]
1299 || [istarget alpha*-*-*]
1300 || [istarget ia64-*-*] } {
1301 set et_vect_int_saved 1
1305 verbose "check_effective_target_vect_int: returning $et_vect_int_saved" 2
1306 return $et_vect_int_saved
1309 # Return 1 is this is an arm target using 32-bit instructions
1310 proc check_effective_target_arm32 { } {
1311 global et_arm32_saved
1312 global et_arm32_target_name
1313 global compiler_flags
1315 if { ![info exists et_arm32_target_name] } {
1316 set et_arm32_target_name ""
1319 # If the target has changed since we set the cached value, clear it.
1320 set current_target [current_target_name]
1321 if { $current_target != $et_arm32_target_name } {
1322 verbose "check_effective_target_arm32: `$et_arm32_target_name' `$current_target'" 2
1323 set et_arm32_target_name $current_target
1324 if { [info exists et_arm32_saved] } {
1325 verbose "check_effective_target_arm32: removing cached result" 2
1326 unset et_arm32_saved
1330 if [info exists et_arm32_saved] {
1331 verbose "check-effective_target_arm32: using cached result" 2
1333 set et_arm32_saved 0
1334 if { [istarget arm-*-*]
1335 || [istarget strongarm*-*-*]
1336 || [istarget xscale-*-*] } {
1337 if ![string match "*-mthumb *" $compiler_flags] {
1338 set et_arm32_saved 1
1342 verbose "check_effective_target_arm32: returning $et_arm32_saved" 2
1343 return $et_arm32_saved
1346 # Return 1 if this is an ARM target supporting -mfpu=vfp
1347 # -mfloat-abi=softfp. Some multilibs may be incompatible with these
1350 proc check_effective_target_arm_vfp_ok { } {
1351 if { [check_effective_target_arm32] } {
1352 return [check_no_compiler_messages arm_vfp_ok object {
1354 } "-mfpu=vfp -mfloat-abi=softfp"]
1360 # Return 1 if this is a PowerPC target with floating-point registers.
1362 proc check_effective_target_powerpc_fprs { } {
1363 if { [istarget powerpc*-*-*]
1364 || [istarget rs6000-*-*] } {
1365 return [check_no_compiler_messages powerpc_fprs object {
1377 # Return 1 if this is a PowerPC target supporting -maltivec.
1379 proc check_effective_target_powerpc_altivec_ok { } {
1380 if { [istarget powerpc*-*-*]
1381 || [istarget rs6000-*-*] } {
1382 # AltiVec is not supported on Aix.
1383 if { [istarget powerpc*-*-aix*] } {
1386 return [check_no_compiler_messages powerpc_altivec_ok object {
1394 # Return 1 if this is a PowerPC target with SPE enabled.
1396 proc check_effective_target_powerpc_spe { } {
1397 if { [istarget powerpc*-*-*] } {
1398 return [check_no_compiler_messages powerpc_spe object {
1410 # Return 1 if this is a PowerPC target with Altivec enabled.
1412 proc check_effective_target_powerpc_altivec { } {
1413 if { [istarget powerpc*-*-*] } {
1414 return [check_no_compiler_messages powerpc_altivec object {
1426 # Return 1 if the target supports hardware vector shift operation.
1428 proc check_effective_target_vect_shift { } {
1429 global et_vect_shift_saved
1431 if [info exists et_vect_shift_saved] {
1432 verbose "check_effective_target_vect_shift: using cached result" 2
1434 set et_vect_shift_saved 0
1435 if { [istarget powerpc*-*-*]
1436 || [istarget ia64-*-*]
1437 || [istarget i?86-*-*]
1438 || [istarget x86_64-*-*] } {
1439 set et_vect_shift_saved 1
1443 verbose "check_effective_target_vect_shift: returning $et_vect_shift_saved" 2
1444 return $et_vect_shift_saved
1447 # Return 1 if the target supports hardware vectors of long, 0 otherwise.
1449 # This can change for different subtargets so do not cache the result.
1451 proc check_effective_target_vect_long { } {
1452 if { [istarget i?86-*-*]
1453 || ([istarget powerpc*-*-*] && [check_effective_target_ilp32])
1454 || [istarget x86_64-*-*]
1455 || ([istarget sparc*-*-*] && [check_effective_target_ilp32]) } {
1461 verbose "check_effective_target_vect_long: returning $answer" 2
1465 # Return 1 if the target supports hardware vectors of float, 0 otherwise.
1467 # This won't change for different subtargets so cache the result.
1469 proc check_effective_target_vect_float { } {
1470 global et_vect_float_saved
1472 if [info exists et_vect_float_saved] {
1473 verbose "check_effective_target_vect_float: using cached result" 2
1475 set et_vect_float_saved 0
1476 if { [istarget i?86-*-*]
1477 || [istarget powerpc*-*-*]
1478 || [istarget spu-*-*]
1479 || [istarget mipsisa64*-*-*]
1480 || [istarget x86_64-*-*]
1481 || [istarget ia64-*-*] } {
1482 set et_vect_float_saved 1
1486 verbose "check_effective_target_vect_float: returning $et_vect_float_saved" 2
1487 return $et_vect_float_saved
1490 # Return 1 if the target supports hardware vectors of double, 0 otherwise.
1492 # This won't change for different subtargets so cache the result.
1494 proc check_effective_target_vect_double { } {
1495 global et_vect_double_saved
1497 if [info exists et_vect_double_saved] {
1498 verbose "check_effective_target_vect_double: using cached result" 2
1500 set et_vect_double_saved 0
1501 if { [istarget i?86-*-*]
1502 || [istarget x86_64-*-*]
1503 || [istarget spu-*-*] } {
1504 set et_vect_double_saved 1
1508 verbose "check_effective_target_vect_double: returning $et_vect_double_saved" 2
1509 return $et_vect_double_saved
1512 # Return 0 if the target supports hardware comparison of vectors of double, 0 otherwise.
1514 # This won't change for different subtargets so cache the result.
1516 proc check_effective_target_vect_no_compare_double { } {
1517 global et_vect_no_compare_double_saved
1519 if [info exists et_vect_no_compare_double_saved] {
1520 verbose "check_effective_target_vect_no_compare_double: using cached result" 2
1522 set et_vect_no_compare_double_saved 0
1523 if { [istarget spu-*-*] } {
1524 set et_vect_no_compare_double_saved 1
1528 verbose "check_effective_target_vect_no_compare_double: returning $et_vect_no_compare_double_saved" 2
1529 return $et_vect_no_compare_double_saved
1532 # Return 1 if the target plus current options does not support a vector
1533 # max instruction on "int", 0 otherwise.
1535 # This won't change for different subtargets so cache the result.
1537 proc check_effective_target_vect_no_int_max { } {
1538 global et_vect_no_int_max_saved
1540 if [info exists et_vect_no_int_max_saved] {
1541 verbose "check_effective_target_vect_no_int_max: using cached result" 2
1543 set et_vect_no_int_max_saved 0
1544 if { [istarget sparc*-*-*]
1545 || [istarget spu-*-*]
1546 || [istarget alpha*-*-*] } {
1547 set et_vect_no_int_max_saved 1
1550 verbose "check_effective_target_vect_no_int_max: returning $et_vect_no_int_max_saved" 2
1551 return $et_vect_no_int_max_saved
1554 # Return 1 if the target plus current options does not support a vector
1555 # add instruction on "int", 0 otherwise.
1557 # This won't change for different subtargets so cache the result.
1559 proc check_effective_target_vect_no_int_add { } {
1560 global et_vect_no_int_add_saved
1562 if [info exists et_vect_no_int_add_saved] {
1563 verbose "check_effective_target_vect_no_int_add: using cached result" 2
1565 set et_vect_no_int_add_saved 0
1566 # Alpha only supports vector add on V8QI and V4HI.
1567 if { [istarget alpha*-*-*] } {
1568 set et_vect_no_int_add_saved 1
1571 verbose "check_effective_target_vect_no_int_add: returning $et_vect_no_int_add_saved" 2
1572 return $et_vect_no_int_add_saved
1575 # Return 1 if the target plus current options does not support vector
1576 # bitwise instructions, 0 otherwise.
1578 # This won't change for different subtargets so cache the result.
1580 proc check_effective_target_vect_no_bitwise { } {
1581 global et_vect_no_bitwise_saved
1583 if [info exists et_vect_no_bitwise_saved] {
1584 verbose "check_effective_target_vect_no_bitwise: using cached result" 2
1586 set et_vect_no_bitwise_saved 0
1588 verbose "check_effective_target_vect_no_bitwise: returning $et_vect_no_bitwise_saved" 2
1589 return $et_vect_no_bitwise_saved
1592 # Return 1 if the target plus current options supports a vector
1593 # widening summation of *short* args into *int* result, 0 otherwise.
1594 # A target can also support this widening summation if it can support
1595 # promotion (unpacking) from shorts to ints.
1597 # This won't change for different subtargets so cache the result.
1599 proc check_effective_target_vect_widen_sum_hi_to_si { } {
1600 global et_vect_widen_sum_hi_to_si
1602 if [info exists et_vect_widen_sum_hi_to_si_saved] {
1603 verbose "check_effective_target_vect_widen_sum_hi_to_si: using cached result" 2
1605 set et_vect_widen_sum_hi_to_si_saved [check_effective_target_vect_unpack]
1606 if { [istarget powerpc*-*-*] } {
1607 set et_vect_widen_sum_hi_to_si_saved 1
1610 verbose "check_effective_target_vect_widen_sum_hi_to_si: returning $et_vect_widen_sum_hi_to_si_saved" 2
1611 return $et_vect_widen_sum_hi_to_si_saved
1614 # Return 1 if the target plus current options supports a vector
1615 # widening summation of *char* args into *short* result, 0 otherwise.
1616 # A target can also support this widening summation if it can support
1617 # promotion (unpacking) from chars to shorts.
1619 # This won't change for different subtargets so cache the result.
1621 proc check_effective_target_vect_widen_sum_qi_to_hi { } {
1622 global et_vect_widen_sum_qi_to_hi
1624 if [info exists et_vect_widen_sum_qi_to_hi_saved] {
1625 verbose "check_effective_target_vect_widen_sum_qi_to_hi: using cached result" 2
1627 set et_vect_widen_sum_qi_to_hi_saved 0
1628 if { [check_effective_target_vect_unpack] } {
1629 set et_vect_widen_sum_qi_to_hi_saved 1
1632 verbose "check_effective_target_vect_widen_sum_qi_to_hi: returning $et_vect_widen_sum_qi_to_hi_saved" 2
1633 return $et_vect_widen_sum_qi_to_hi_saved
1636 # Return 1 if the target plus current options supports a vector
1637 # widening summation of *char* args into *int* result, 0 otherwise.
1639 # This won't change for different subtargets so cache the result.
1641 proc check_effective_target_vect_widen_sum_qi_to_si { } {
1642 global et_vect_widen_sum_qi_to_si
1644 if [info exists et_vect_widen_sum_qi_to_si_saved] {
1645 verbose "check_effective_target_vect_widen_sum_qi_to_si: using cached result" 2
1647 set et_vect_widen_sum_qi_to_si_saved 0
1648 if { [istarget powerpc*-*-*] } {
1649 set et_vect_widen_sum_qi_to_si_saved 1
1652 verbose "check_effective_target_vect_widen_sum_qi_to_si: returning $et_vect_widen_sum_qi_to_si_saved" 2
1653 return $et_vect_widen_sum_qi_to_si_saved
1656 # Return 1 if the target plus current options supports a vector
1657 # widening multiplication of *char* args into *short* result, 0 otherwise.
1658 # A target can also support this widening multplication if it can support
1659 # promotion (unpacking) from chars to shorts, and vect_short_mult (non-widening
1660 # multiplication of shorts).
1662 # This won't change for different subtargets so cache the result.
1665 proc check_effective_target_vect_widen_mult_qi_to_hi { } {
1666 global et_vect_widen_mult_qi_to_hi
1668 if [info exists et_vect_widen_mult_qi_to_hi_saved] {
1669 verbose "check_effective_target_vect_widen_mult_qi_to_hi: using cached result" 2
1671 if { [check_effective_target_vect_unpack]
1672 && [check_effective_target_vect_short_mult] } {
1673 set et_vect_widen_mult_qi_to_hi_saved 1
1675 set et_vect_widen_mult_qi_to_hi_saved 0
1677 if { [istarget powerpc*-*-*] } {
1678 set et_vect_widen_mult_qi_to_hi_saved 1
1681 verbose "check_effective_target_vect_widen_mult_qi_to_hi: returning $et_vect_widen_mult_qi_to_hi_saved" 2
1682 return $et_vect_widen_mult_qi_to_hi_saved
1685 # Return 1 if the target plus current options supports a vector
1686 # widening multiplication of *short* args into *int* result, 0 otherwise.
1687 # A target can also support this widening multplication if it can support
1688 # promotion (unpacking) from shorts to ints, and vect_int_mult (non-widening
1689 # multiplication of ints).
1691 # This won't change for different subtargets so cache the result.
1694 proc check_effective_target_vect_widen_mult_hi_to_si { } {
1695 global et_vect_widen_mult_hi_to_si
1697 if [info exists et_vect_widen_mult_hi_to_si_saved] {
1698 verbose "check_effective_target_vect_widen_mult_hi_to_si: using cached result" 2
1700 if { [check_effective_target_vect_unpack]
1701 && [check_effective_target_vect_int_mult] } {
1702 set et_vect_widen_mult_hi_to_si_saved 1
1704 set et_vect_widen_mult_hi_to_si_saved 0
1706 if { [istarget powerpc*-*-*]
1707 || [istarget spu-*-*]
1708 || [istarget i?86-*-*]
1709 || [istarget x86_64-*-*] } {
1710 set et_vect_widen_mult_hi_to_si_saved 1
1713 verbose "check_effective_target_vect_widen_mult_hi_to_si: returning $et_vect_widen_mult_hi_to_si_saved" 2
1714 return $et_vect_widen_mult_hi_to_si_saved
1717 # Return 1 if the target plus current options supports a vector
1718 # dot-product of signed chars, 0 otherwise.
1720 # This won't change for different subtargets so cache the result.
1722 proc check_effective_target_vect_sdot_qi { } {
1723 global et_vect_sdot_qi
1725 if [info exists et_vect_sdot_qi_saved] {
1726 verbose "check_effective_target_vect_sdot_qi: using cached result" 2
1728 set et_vect_sdot_qi_saved 0
1730 verbose "check_effective_target_vect_sdot_qi: returning $et_vect_sdot_qi_saved" 2
1731 return $et_vect_sdot_qi_saved
1734 # Return 1 if the target plus current options supports a vector
1735 # dot-product of unsigned chars, 0 otherwise.
1737 # This won't change for different subtargets so cache the result.
1739 proc check_effective_target_vect_udot_qi { } {
1740 global et_vect_udot_qi
1742 if [info exists et_vect_udot_qi_saved] {
1743 verbose "check_effective_target_vect_udot_qi: using cached result" 2
1745 set et_vect_udot_qi_saved 0
1746 if { [istarget powerpc*-*-*] } {
1747 set et_vect_udot_qi_saved 1
1750 verbose "check_effective_target_vect_udot_qi: returning $et_vect_udot_qi_saved" 2
1751 return $et_vect_udot_qi_saved
1754 # Return 1 if the target plus current options supports a vector
1755 # dot-product of signed shorts, 0 otherwise.
1757 # This won't change for different subtargets so cache the result.
1759 proc check_effective_target_vect_sdot_hi { } {
1760 global et_vect_sdot_hi
1762 if [info exists et_vect_sdot_hi_saved] {
1763 verbose "check_effective_target_vect_sdot_hi: using cached result" 2
1765 set et_vect_sdot_hi_saved 0
1766 if { [istarget powerpc*-*-*]
1767 || [istarget i?86-*-*]
1768 || [istarget x86_64-*-*] } {
1769 set et_vect_sdot_hi_saved 1
1772 verbose "check_effective_target_vect_sdot_hi: returning $et_vect_sdot_hi_saved" 2
1773 return $et_vect_sdot_hi_saved
1776 # Return 1 if the target plus current options supports a vector
1777 # dot-product of unsigned shorts, 0 otherwise.
1779 # This won't change for different subtargets so cache the result.
1781 proc check_effective_target_vect_udot_hi { } {
1782 global et_vect_udot_hi
1784 if [info exists et_vect_udot_hi_saved] {
1785 verbose "check_effective_target_vect_udot_hi: using cached result" 2
1787 set et_vect_udot_hi_saved 0
1788 if { [istarget powerpc*-*-*] } {
1789 set et_vect_udot_hi_saved 1
1792 verbose "check_effective_target_vect_udot_hi: returning $et_vect_udot_hi_saved" 2
1793 return $et_vect_udot_hi_saved
1797 # Return 1 if the target plus current options supports a vector
1798 # demotion (packing) of shorts (to chars) and ints (to shorts)
1799 # using modulo arithmetic, 0 otherwise.
1801 # This won't change for different subtargets so cache the result.
1803 proc check_effective_target_vect_pack_mod { } {
1804 global et_vect_pack_mod
1806 if [info exists et_vect_pack_mod_saved] {
1807 verbose "check_effective_target_vect_pack_mod: using cached result" 2
1809 set et_vect_pack_mod_saved 0
1810 if { [istarget powerpc*-*-*]
1811 || [istarget i?86-*-*]
1812 || [istarget x86_64-*-*] } {
1813 set et_vect_pack_mod_saved 1
1816 verbose "check_effective_target_vect_pack_mod: returning $et_vect_pack_mod_saved" 2
1817 return $et_vect_pack_mod_saved
1820 # Return 1 if the target plus current options supports a vector
1821 # promotion (unpacking) of chars (to shorts) and shorts (to ints), 0 otherwise.
1823 # This won't change for different subtargets so cache the result.
1825 proc check_effective_target_vect_unpack { } {
1826 global et_vect_unpack
1828 if [info exists et_vect_unpack_saved] {
1829 verbose "check_effective_target_vect_unpack: using cached result" 2
1831 set et_vect_unpack_saved 0
1832 if { [istarget powerpc*-*-*]
1833 || [istarget i?86-*-*]
1834 || [istarget x86_64-*-*] } {
1835 set et_vect_unpack_saved 1
1838 verbose "check_effective_target_vect_unpack: returning $et_vect_unpack_saved" 2
1839 return $et_vect_unpack_saved
1842 # Return 1 if the target plus current options does not support a vector
1843 # alignment mechanism, 0 otherwise.
1845 # This won't change for different subtargets so cache the result.
1847 proc check_effective_target_vect_no_align { } {
1848 global et_vect_no_align_saved
1850 if [info exists et_vect_no_align_saved] {
1851 verbose "check_effective_target_vect_no_align: using cached result" 2
1853 set et_vect_no_align_saved 0
1854 if { [istarget mipsisa64*-*-*]
1855 || [istarget sparc*-*-*]
1856 || [istarget ia64-*-*] } {
1857 set et_vect_no_align_saved 1
1860 verbose "check_effective_target_vect_no_align: returning $et_vect_no_align_saved" 2
1861 return $et_vect_no_align_saved
1864 # Return 1 if the target supports vector conditional operations, 0 otherwise.
1866 proc check_effective_target_vect_condition { } {
1867 global et_vect_cond_saved
1869 if [info exists et_vect_cond_saved] {
1870 verbose "check_effective_target_vect_cond: using cached result" 2
1872 set et_vect_cond_saved 0
1873 if { [istarget powerpc*-*-*]
1874 || [istarget ia64-*-*]
1875 || [istarget i?86-*-*]
1876 || [istarget x86_64-*-*] } {
1877 set et_vect_cond_saved 1
1881 verbose "check_effective_target_vect_cond: returning $et_vect_cond_saved" 2
1882 return $et_vect_cond_saved
1885 # Return 1 if the target supports vector char multiplication, 0 otherwise.
1887 proc check_effective_target_vect_char_mult { } {
1888 global et_vect_char_mult_saved
1890 if [info exists et_vect_char_mult_saved] {
1891 verbose "check_effective_target_vect_char_mult: using cached result" 2
1893 set et_vect_char_mult_saved 0
1894 if { [istarget ia64-*-*]
1895 || [istarget i?86-*-*]
1896 || [istarget x86_64-*-*] } {
1897 set et_vect_char_mult_saved 1
1901 verbose "check_effective_target_vect_char_mult: returning $et_vect_char_mult_saved" 2
1902 return $et_vect_char_mult_saved
1905 # Return 1 if the target supports vector short multiplication, 0 otherwise.
1907 proc check_effective_target_vect_short_mult { } {
1908 global et_vect_short_mult_saved
1910 if [info exists et_vect_short_mult_saved] {
1911 verbose "check_effective_target_vect_short_mult: using cached result" 2
1913 set et_vect_short_mult_saved 0
1914 if { [istarget ia64-*-*]
1915 || [istarget i?86-*-*]
1916 || [istarget x86_64-*-*] } {
1917 set et_vect_short_mult_saved 1
1921 verbose "check_effective_target_vect_short_mult: returning $et_vect_short_mult_saved" 2
1922 return $et_vect_short_mult_saved
1925 # Return 1 if the target supports vector int multiplication, 0 otherwise.
1927 proc check_effective_target_vect_int_mult { } {
1928 global et_vect_int_mult_saved
1930 if [info exists et_vect_int_mult_saved] {
1931 verbose "check_effective_target_vect_int_mult: using cached result" 2
1933 set et_vect_int_mult_saved 0
1934 if { [istarget powerpc*-*-*]
1935 || [istarget i?86-*-*]
1936 || [istarget x86_64-*-*] } {
1937 set et_vect_int_mult_saved 1
1941 verbose "check_effective_target_vect_int_mult: returning $et_vect_int_mult_saved" 2
1942 return $et_vect_int_mult_saved
1945 # Return 1 if the target supports vector even/odd elements extraction, 0 otherwise.
1947 proc check_effective_target_vect_extract_even_odd { } {
1948 global et_vect_extract_even_odd_saved
1950 if [info exists et_vect_extract_even_odd_saved] {
1951 verbose "check_effective_target_vect_extract_even_odd: using cached result" 2
1953 set et_vect_extract_even_odd_saved 0
1954 if { [istarget powerpc*-*-*] } {
1955 set et_vect_extract_even_odd_saved 1
1959 verbose "check_effective_target_vect_extract_even_odd: returning $et_vect_extract_even_odd_saved" 2
1960 return $et_vect_extract_even_odd_saved
1963 # Return 1 if the target supports vector interleaving, 0 otherwise.
1965 proc check_effective_target_vect_interleave { } {
1966 global et_vect_interleave_saved
1968 if [info exists et_vect_interleave_saved] {
1969 verbose "check_effective_target_vect_interleave: using cached result" 2
1971 set et_vect_interleave_saved 0
1972 if { [istarget powerpc*-*-*]
1973 || [istarget i?86-*-*]
1974 || [istarget x86_64-*-*] } {
1975 set et_vect_interleave_saved 1
1979 verbose "check_effective_target_vect_interleave: returning $et_vect_interleave_saved" 2
1980 return $et_vect_interleave_saved
1983 # Return 1 if the target supports section-anchors
1985 proc check_effective_target_section_anchors { } {
1986 global et_section_anchors_saved
1988 if [info exists et_section_anchors_saved] {
1989 verbose "check_effective_target_section_anchors: using cached result" 2
1991 set et_section_anchors_saved 0
1992 if { [istarget powerpc*-*-*] } {
1993 set et_section_anchors_saved 1
1997 verbose "check_effective_target_section_anchors: returning $et_section_anchors_saved" 2
1998 return $et_section_anchors_saved
2001 # Return 1 if the target supports atomic operations on "int" and "long".
2003 proc check_effective_target_sync_int_long { } {
2004 global et_sync_int_long_saved
2006 if [info exists et_sync_int_long_saved] {
2007 verbose "check_effective_target_sync_int_long: using cached result" 2
2009 set et_sync_int_long_saved 0
2010 # This is intentionally powerpc but not rs6000, rs6000 doesn't have the
2011 # load-reserved/store-conditional instructions.
2012 if { [istarget ia64-*-*]
2013 || [istarget i?86-*-*]
2014 || [istarget x86_64-*-*]
2015 || [istarget alpha*-*-*]
2016 || [istarget s390*-*-*]
2017 || [istarget powerpc*-*-*]
2018 || [istarget sparc64-*-*]
2019 || [istarget sparcv9-*-*] } {
2020 set et_sync_int_long_saved 1
2024 verbose "check_effective_target_sync_int_long: returning $et_sync_int_long_saved" 2
2025 return $et_sync_int_long_saved
2028 # Return 1 if the target supports atomic operations on "char" and "short".
2030 proc check_effective_target_sync_char_short { } {
2031 global et_sync_char_short_saved
2033 if [info exists et_sync_char_short_saved] {
2034 verbose "check_effective_target_sync_char_short: using cached result" 2
2036 set et_sync_char_short_saved 0
2037 # This is intentionally powerpc but not rs6000, rs6000 doesn't have the
2038 # load-reserved/store-conditional instructions.
2039 if { [istarget ia64-*-*]
2040 || [istarget i?86-*-*]
2041 || [istarget x86_64-*-*]
2042 || [istarget alpha*-*-*]
2043 || [istarget s390*-*-*]
2044 || [istarget powerpc*-*-*]
2045 || [istarget sparc64-*-*]
2046 || [istarget sparcv9-*-*] } {
2047 set et_sync_char_short_saved 1
2051 verbose "check_effective_target_sync_char_short: returning $et_sync_char_short_saved" 2
2052 return $et_sync_char_short_saved
2055 # Return 1 if the target uses a ColdFire FPU.
2057 proc check_effective_target_coldfire_fpu { } {
2058 return [check_no_compiler_messages coldfire_fpu assembly {
2065 # Return true if this is a uClibc target.
2067 proc check_effective_target_uclibc {} {
2068 return [check_no_compiler_messages uclibc object {
2069 #include <features.h>
2070 #if !defined (__UCLIBC__)
2076 # Return true if this is a uclibc target and if the uclibc feature
2077 # described by __$feature__ is not present.
2079 proc check_missing_uclibc_feature {feature} {
2080 return [check_no_compiler_messages $feature object "
2081 #include <features.h>
2082 #if !defined (__UCLIBC) || !defined (__${feature}__)
2088 # Return true if this is a Newlib target.
2090 proc check_effective_target_newlib {} {
2091 return [check_no_compiler_messages newlib object {
2097 # (a) an error of a few ULP is expected in string to floating-point
2098 # conversion functions; and
2099 # (b) overflow is not always detected correctly by those functions.
2101 proc check_effective_target_lax_strtofp {} {
2102 # By default, assume that all uClibc targets suffer from this.
2103 return [check_effective_target_uclibc]
2106 # Return 1 if this is a target for which wcsftime is a dummy
2107 # function that always returns 0.
2109 proc check_effective_target_dummy_wcsftime {} {
2110 # By default, assume that all uClibc targets suffer from this.
2111 return [check_effective_target_uclibc]
2114 # Return 1 if constructors with initialization priority arguments are
2115 # supposed on this target.
2117 proc check_effective_target_init_priority {} {
2118 return [check_no_compiler_messages init_priority assembly "
2119 void f() __attribute__((constructor (1000)));
2124 # Return 1 if the target matches the effective target 'arg', 0 otherwise.
2125 # This can be used with any check_* proc that takes no argument and
2126 # returns only 1 or 0. It could be used with check_* procs that take
2127 # arguments with keywords that pass particular arguments.
2129 proc is-effective-target { arg } {
2131 if { [info procs check_effective_target_${arg}] != [list] } {
2132 set selected [check_effective_target_${arg}]
2135 "vmx_hw" { set selected [check_vmx_hw_available] }
2136 "named_sections" { set selected [check_named_sections_available] }
2137 "gc_sections" { set selected [check_gc_sections_available] }
2138 "cxa_atexit" { set selected [check_cxa_atexit_available] }
2139 default { error "unknown effective target keyword `$arg'" }
2142 verbose "is-effective-target: $arg $selected" 2
2146 # Return 1 if the argument is an effective-target keyword, 0 otherwise.
2148 proc is-effective-target-keyword { arg } {
2149 if { [info procs check_effective_target_${arg}] != [list] } {
2152 # These have different names for their check_* procs.
2154 "vmx_hw" { return 1 }
2155 "named_sections" { return 1 }
2156 "gc_sections" { return 1 }
2157 "cxa_atexit" { return 1 }
2158 default { return 0 }
2163 # Return 1 if target default to short enums
2165 proc check_effective_target_short_enums { } {
2166 return [check_no_compiler_messages short_enums assembly {
2168 int s[sizeof (enum foo) == 1 ? 1 : -1];
2172 # Return 1 if target supports merging string constants at link time.
2174 proc check_effective_target_string_merging { } {
2175 return [check_no_messages_and_pattern string_merging \
2176 "rodata\\.str" assembly {
2177 const char *var = "String";
2181 # Return 1 if target has the basic signed and unsigned types in
2182 # <stdint.h>, 0 otherwise.
2184 proc check_effective_target_stdint_types { } {
2185 return [check_no_compiler_messages stdint_types assembly {
2187 int8_t a; int16_t b; int32_t c; int64_t d;
2188 uint8_t e; uint16_t f; uint32_t g; uint64_t h;
2192 # Return 1 if programs are intended to be run on a simulator
2193 # (i.e. slowly) rather than hardware (i.e. fast).
2195 proc check_effective_target_simulator { } {
2197 # All "src/sim" simulators set this one.
2198 if [board_info target exists is_simulator] {
2199 return [board_info target is_simulator]
2202 # The "sid" simulators don't set that one, but at least they set
2204 if [board_info target exists slow_simulator] {
2205 return [board_info target slow_simulator]
2211 # Return 1 if the target is a VxWorks RTP.
2213 proc check_effective_target_vxworks_kernel { } {
2214 return [check_no_compiler_messages vxworks_kernel assembly {
2215 #if !defined __vxworks || defined __RTP__
2221 # Return 1 if the target is expected to provide wide character support.
2223 proc check_effective_target_wchar { } {
2224 if {[check_missing_uclibc_feature UCLIBC_HAS_WCHAR]} {
2227 return [check_no_compiler_messages wchar assembly {