-# Copyright (C) 1999, 2001, 2003, 2004, 2005, 2006
+# Copyright (C) 1999, 2001, 2003, 2004, 2005, 2006, 2007
# Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# This file defines procs for determining features supported by the target.
-# Try to compile some code and return the messages printed by the compiler.
+# Try to compile some code and return the messages printed by the compiler,
+# and optionally the contents for assembly files. Either a string or
+# a list of two strings are returned, depending on WANT_OUTPUT.
#
# BASENAME is a basename to use for temporary files.
+# WANT_OUTPUT is a flag which is 0 to request returning just the
+# compiler messages, or 1 to return the messages and the contents
+# of the assembly file. TYPE should be "assembly" if WANT_OUTPUT
+# is set.
# TYPE is the type of compilation to perform (see target_compile).
# CONTENTS gives the contents of the input file.
# The rest is optional:
# OPTIONS: additional compiler options to use.
-proc get_compiler_messages {basename type contents args} {
+proc get_compiler_messages {basename want_output type contents args} {
global tool
if { [llength $args] > 0 } {
- set options "additional_flags=[lindex $args 0]"
+ set options [list "additional_flags=[lindex $args 0]"]
} else {
set options ""
}
close $f
set lines [${tool}_target_compile $src $output $type "$options"]
file delete $src
- remote_file build delete $output
- return $lines
+ if { $want_output } {
+ if { $type != "assembly" } {
+ error "WANT_OUTPUT can only be used with assembly output"
+ } elseif { ![string match "" $lines] } {
+ # An error occurred.
+ set result [list $lines ""]
+ } else {
+ set text ""
+ set chan [open "$output"]
+ while {[gets $chan line] >= 0} {
+ append text "$line\n"
+ }
+ close $chan
+ set result [list $lines $text]
+ }
+ } else {
+ set result $lines
+ }
+
+ remote_file build delete $output
+ return $result
}
proc current_target_name { } {
set target [current_target_name]
if {![info exists et_cache($prop,target)]
|| $et_cache($prop,target) != $target} {
- verbose "check_effective_target $prop: compiling source for $target" 2
+ verbose "check_no_compiler_messages $prop: compiling source for $target" 2
+ set et_cache($prop,target) $target
+ set et_cache($prop,value) \
+ [string match "" [eval get_compiler_messages $prop 0 $args]]
+ }
+ set value $et_cache($prop,value)
+ verbose "check_no_compiler_messages $prop: returning $value for $target" 2
+ return $value
+}
+
+# Similar to check_no_compiler_messages, but also verify that the regular
+# expression PATTERN matches the compiler's output.
+proc check_no_messages_and_pattern {prop pattern args} {
+ global et_cache
+
+ set target [current_target_name]
+ if {![info exists et_cache($prop,target)]
+ || $et_cache($prop,target) != $target} {
+ verbose "check_no_messages_and_pattern $prop: compiling source for $target" 2
set et_cache($prop,target) $target
+ set results [eval get_compiler_messages $prop 1 $args]
set et_cache($prop,value) \
- [string match "" [eval get_compiler_messages $prop $args]]
+ [expr [string match "" [lindex $results 0]] \
+ && [regexp $pattern [lindex $results 1]]]
}
set value $et_cache($prop,value)
- verbose "check_effective_target $prop: returning $value for $target" 2
+ verbose "check_no_messages_and_pattern $prop: returning $value for $target" 2
return $value
}
# HP-UX 10.X doesn't support it
- if { [regexp "hppa.*hpux10" $target_triplet] } {
+ if { [istarget "hppa*-*-hpux10*"] } {
return 0
}
proc check_effective_target_tls {} {
global et_tls_saved
+ global tool
if [info exists et_tls_saved] {
verbose "check_effective_target_tls: using cached result" 2
# Test for thread-local data supported by the platform.
set comp_output \
- [target_compile $src $asm assembly ""]
+ [${tool}_target_compile $src $asm assembly ""]
file delete $src
if { [string match "*not supported*" $comp_output] } {
set et_tls_saved 0
proc check_effective_target_tls_runtime {} {
global et_tls_runtime_saved
+ global tool
if [info exists et_tls_runtime_saved] {
verbose "check_effective_target_tls_runtime: using cached result" 2
close $f
set comp_output \
- [target_compile $src $exe executable ""]
+ [${tool}_target_compile $src $exe executable ""]
file delete $src
if [string match "" $comp_output] then {
set exe "function[pid].exe"
set f [open $src "w"]
+ puts $f "#ifdef __cplusplus\nextern \"C\"\n#endif\n"
+ puts $f "char $function ();\n"
puts $f "int main () { $function (); }"
close $f
if [info exists et_cxa_atexit] {
verbose "check_cxa_atexit_available: using cached result" 2
+ } elseif { [istarget "hppa*-*-hpux10*"] } {
+ # HP-UX 10 doesn't have __cxa_atexit but subsequent test passes.
+ set et_cxa_atexit 0
} else {
set et_cxa_atexit 0
}]
}
+# Return 1 if the target supports long double larger than double,
+# 0 otherwise.
+
+proc check_effective_target_large_long_double { } {
+ return [check_no_compiler_messages large_long_double object {
+ int dummy[sizeof(long double) > sizeof(double) ? 1 : -1];
+ }]
+}
+
+
# Return 1 if the target supports compiling decimal floating point,
# 0 otherwise.
proc check_effective_target_dfp_nocache { } {
verbose "check_effective_target_dfp_nocache: compiling source" 2
- set ret [string match "" [get_compiler_messages dfp object {
+ set ret [string match "" [get_compiler_messages dfp 0 object {
_Decimal32 x; _Decimal64 y; _Decimal128 z;
}]]
verbose "check_effective_target_dfp_nocache: returning $ret" 2
# Return 1 if the target needs a command line argument to enable a SIMD
# instruction set.
-#
-# This won't change for different subtargets so cache the result.
proc check_effective_target_vect_cmdline_needed { } {
global et_vect_cmdline_needed_saved
+ global et_vect_cmdline_needed_target_name
+
+ if { ![info exists et_vect_cmdline_needed_target_name] } {
+ set et_vect_cmdline_needed_target_name ""
+ }
+
+ # If the target has changed since we set the cached value, clear it.
+ set current_target [current_target_name]
+ if { $current_target != $et_vect_cmdline_needed_target_name } {
+ verbose "check_effective_target_vect_cmdline_needed: `$et_vect_cmdline_needed_target_name' `$current_target'" 2
+ set et_vect_cmdline_needed_target_name $current_target
+ if { [info exists et_vect_cmdline_needed_saved] } {
+ verbose "check_effective_target_vect_cmdline_needed: removing cached result" 2
+ unset et_vect_cmdline_needed_saved
+ }
+ }
if [info exists et_vect_cmdline_needed_saved] {
verbose "check_effective_target_vect_cmdline_needed: using cached result" 2
} else {
set et_vect_cmdline_needed_saved 1
if { [istarget ia64-*-*]
- || [istarget x86_64-*-*] } {
+ || (([istarget x86_64-*-*] || [istarget i?86-*-*])
+ && [check_effective_target_lp64])
+ || ([istarget powerpc*-*-*]
+ && ([check_effective_target_powerpc_spe]
+ || [check_effective_target_powerpc_altivec]))} {
set et_vect_cmdline_needed_saved 0
}
}
set et_vect_int_saved 0
if { [istarget i?86-*-*]
|| [istarget powerpc*-*-*]
+ || [istarget spu-*-*]
|| [istarget x86_64-*-*]
|| [istarget sparc*-*-*]
|| [istarget alpha*-*-*]
return $et_arm32_saved
}
+# Return 1 if this is an ARM target supporting -mfpu=vfp
+# -mfloat-abi=softfp. Some multilibs may be incompatible with these
+# options.
+
+proc check_effective_target_arm_vfp_ok { } {
+ if { [check_effective_target_arm32] } {
+ return [check_no_compiler_messages arm_vfp_ok object {
+ int dummy;
+ } "-mfpu=vfp -mfloat-abi=softfp"]
+ } else {
+ return 0
+ }
+}
+
# Return 1 if this is a PowerPC target with floating-point registers.
proc check_effective_target_powerpc_fprs { } {
}
}
+# Return 1 if this is a PowerPC target with SPE enabled.
+
+proc check_effective_target_powerpc_spe { } {
+ if { [istarget powerpc*-*-*] } {
+ return [check_no_compiler_messages powerpc_spe object {
+ #ifndef __SPE__
+ #error not SPE
+ #else
+ int dummy;
+ #endif
+ }]
+ } else {
+ return 0
+ }
+}
+
+# Return 1 if this is a PowerPC target with Altivec enabled.
+
+proc check_effective_target_powerpc_altivec { } {
+ if { [istarget powerpc*-*-*] } {
+ return [check_no_compiler_messages powerpc_altivec object {
+ #ifndef __ALTIVEC__
+ #error not Altivec
+ #else
+ int dummy;
+ #endif
+ }]
+ } else {
+ return 0
+ }
+}
+
# Return 1 if the target supports hardware vector shift operation.
proc check_effective_target_vect_shift { } {
set et_vect_float_saved 0
if { [istarget i?86-*-*]
|| [istarget powerpc*-*-*]
+ || [istarget spu-*-*]
|| [istarget mipsisa64*-*-*]
|| [istarget x86_64-*-*]
|| [istarget ia64-*-*] } {
} else {
set et_vect_double_saved 0
if { [istarget i?86-*-*]
- || [istarget x86_64-*-*] } {
+ || [istarget x86_64-*-*]
+ || [istarget spu-*-*] } {
set et_vect_double_saved 1
}
}
return $et_vect_double_saved
}
+# Return 0 if the target supports hardware comparison of vectors of double, 0 otherwise.
+#
+# This won't change for different subtargets so cache the result.
+
+proc check_effective_target_vect_no_compare_double { } {
+ global et_vect_no_compare_double_saved
+
+ if [info exists et_vect_no_compare_double_saved] {
+ verbose "check_effective_target_vect_no_compare_double: using cached result" 2
+ } else {
+ set et_vect_no_compare_double_saved 0
+ if { [istarget spu-*-*] } {
+ set et_vect_no_compare_double_saved 1
+ }
+ }
+
+ verbose "check_effective_target_vect_no_compare_double: returning $et_vect_no_compare_double_saved" 2
+ return $et_vect_no_compare_double_saved
+}
+
# Return 1 if the target plus current options does not support a vector
# max instruction on "int", 0 otherwise.
#
} else {
set et_vect_no_int_max_saved 0
if { [istarget sparc*-*-*]
+ || [istarget spu-*-*]
|| [istarget alpha*-*-*] } {
set et_vect_no_int_max_saved 1
}
# Return 1 if the target plus current options supports a vector
# widening summation of *short* args into *int* result, 0 otherwise.
+# A target can also support this widening summation if it can support
+# promotion (unpacking) from shorts to ints.
#
# This won't change for different subtargets so cache the result.
proc check_effective_target_vect_widen_sum_hi_to_si { } {
global et_vect_widen_sum_hi_to_si
-
+
if [info exists et_vect_widen_sum_hi_to_si_saved] {
verbose "check_effective_target_vect_widen_sum_hi_to_si: using cached result" 2
} else {
- set et_vect_widen_sum_hi_to_si_saved 0
- if { [istarget powerpc*-*-*]
- || [istarget ia64-*-*] } {
+ set et_vect_widen_sum_hi_to_si_saved [check_effective_target_vect_unpack]
+ if { [istarget powerpc*-*-*] } {
set et_vect_widen_sum_hi_to_si_saved 1
}
}
# Return 1 if the target plus current options supports a vector
# widening summation of *char* args into *short* result, 0 otherwise.
+# A target can also support this widening summation if it can support
+# promotion (unpacking) from chars to shorts.
#
# This won't change for different subtargets so cache the result.
proc check_effective_target_vect_widen_sum_qi_to_hi { } {
global et_vect_widen_sum_qi_to_hi
-
+
if [info exists et_vect_widen_sum_qi_to_hi_saved] {
verbose "check_effective_target_vect_widen_sum_qi_to_hi: using cached result" 2
} else {
set et_vect_widen_sum_qi_to_hi_saved 0
- if { [istarget ia64-*-*] } {
+ if { [check_effective_target_vect_unpack] } {
set et_vect_widen_sum_qi_to_hi_saved 1
- }
+ }
}
verbose "check_effective_target_vect_widen_sum_qi_to_hi: returning $et_vect_widen_sum_qi_to_hi_saved" 2
return $et_vect_widen_sum_qi_to_hi_saved
proc check_effective_target_vect_widen_sum_qi_to_si { } {
global et_vect_widen_sum_qi_to_si
-
+
if [info exists et_vect_widen_sum_qi_to_si_saved] {
verbose "check_effective_target_vect_widen_sum_qi_to_si: using cached result" 2
} else {
}
# Return 1 if the target plus current options supports a vector
-# widening summation, 0 otherwise.
+# widening multiplication of *char* args into *short* result, 0 otherwise.
+# A target can also support this widening multplication if it can support
+# promotion (unpacking) from chars to shorts, and vect_short_mult (non-widening
+# multiplication of shorts).
#
# This won't change for different subtargets so cache the result.
-
-proc check_effective_target_vect_widen_sum { } {
- global et_vect_widen_sum
-
- if [info exists et_vect_widen_sum_saved] {
- verbose "check_effective_target_vect_widen_sum: using cached result" 2
+
+
+proc check_effective_target_vect_widen_mult_qi_to_hi { } {
+ global et_vect_widen_mult_qi_to_hi
+
+ if [info exists et_vect_widen_mult_qi_to_hi_saved] {
+ verbose "check_effective_target_vect_widen_mult_qi_to_hi: using cached result" 2
+ } else {
+ if { [check_effective_target_vect_unpack]
+ && [check_effective_target_vect_short_mult] } {
+ set et_vect_widen_mult_qi_to_hi_saved 1
+ } else {
+ set et_vect_widen_mult_qi_to_hi_saved 0
+ }
+ if { [istarget powerpc*-*-*] } {
+ set et_vect_widen_mult_qi_to_hi_saved 1
+ }
+ }
+ verbose "check_effective_target_vect_widen_mult_qi_to_hi: returning $et_vect_widen_mult_qi_to_hi_saved" 2
+ return $et_vect_widen_mult_qi_to_hi_saved
+}
+
+# Return 1 if the target plus current options supports a vector
+# widening multiplication of *short* args into *int* result, 0 otherwise.
+# A target can also support this widening multplication if it can support
+# promotion (unpacking) from shorts to ints, and vect_int_mult (non-widening
+# multiplication of ints).
+#
+# This won't change for different subtargets so cache the result.
+
+
+proc check_effective_target_vect_widen_mult_hi_to_si { } {
+ global et_vect_widen_mult_hi_to_si
+
+ if [info exists et_vect_widen_mult_hi_to_si_saved] {
+ verbose "check_effective_target_vect_widen_mult_hi_to_si: using cached result" 2
} else {
- set et_vect_widen_sum_saved 0
+ if { [check_effective_target_vect_unpack]
+ && [check_effective_target_vect_int_mult] } {
+ set et_vect_widen_mult_hi_to_si_saved 1
+ } else {
+ set et_vect_widen_mult_hi_to_si_saved 0
+ }
if { [istarget powerpc*-*-*]
- || [istarget ia64-*-*] } {
- set et_vect_widen_sum_saved 1
+ || [istarget spu-*-*]
+ || [istarget i?86-*-*]
+ || [istarget x86_64-*-*] } {
+ set et_vect_widen_mult_hi_to_si_saved 1
}
}
- verbose "check_effective_target_vect_widen_sum: returning $et_vect_widen_sum_saved" 2
- return $et_vect_widen_sum_saved
+ verbose "check_effective_target_vect_widen_mult_hi_to_si: returning $et_vect_widen_mult_hi_to_si_saved" 2
+ return $et_vect_widen_mult_hi_to_si_saved
}
# Return 1 if the target plus current options supports a vector
verbose "check_effective_target_vect_sdot_qi: using cached result" 2
} else {
set et_vect_sdot_qi_saved 0
- if { [istarget ia64-*-*] } {
- set et_vect_sdot_qi_saved 1
- }
}
verbose "check_effective_target_vect_sdot_qi: returning $et_vect_sdot_qi_saved" 2
return $et_vect_sdot_qi_saved
verbose "check_effective_target_vect_udot_qi: using cached result" 2
} else {
set et_vect_udot_qi_saved 0
- if { [istarget powerpc*-*-*]
- || [istarget ia64-*-*] } {
+ if { [istarget powerpc*-*-*] } {
set et_vect_udot_qi_saved 1
}
}
set et_vect_sdot_hi_saved 0
if { [istarget powerpc*-*-*]
|| [istarget i?86-*-*]
- || [istarget x86_64-*-*]
- || [istarget ia64-*-*] } {
+ || [istarget x86_64-*-*] } {
set et_vect_sdot_hi_saved 1
}
}
}
+# Return 1 if the target plus current options supports a vector
+# demotion (packing) of shorts (to chars) and ints (to shorts)
+# using modulo arithmetic, 0 otherwise.
+#
+# This won't change for different subtargets so cache the result.
+
+proc check_effective_target_vect_pack_mod { } {
+ global et_vect_pack_mod
+
+ if [info exists et_vect_pack_mod_saved] {
+ verbose "check_effective_target_vect_pack_mod: using cached result" 2
+ } else {
+ set et_vect_pack_mod_saved 0
+ if { [istarget powerpc*-*-*]
+ || [istarget i?86-*-*]
+ || [istarget x86_64-*-*] } {
+ set et_vect_pack_mod_saved 1
+ }
+ }
+ verbose "check_effective_target_vect_pack_mod: returning $et_vect_pack_mod_saved" 2
+ return $et_vect_pack_mod_saved
+}
+
+# Return 1 if the target plus current options supports a vector
+# promotion (unpacking) of chars (to shorts) and shorts (to ints), 0 otherwise.
+#
+# This won't change for different subtargets so cache the result.
+
+proc check_effective_target_vect_unpack { } {
+ global et_vect_unpack
+
+ if [info exists et_vect_unpack_saved] {
+ verbose "check_effective_target_vect_unpack: using cached result" 2
+ } else {
+ set et_vect_unpack_saved 0
+ if { [istarget powerpc*-*-*]
+ || [istarget i?86-*-*]
+ || [istarget x86_64-*-*] } {
+ set et_vect_unpack_saved 1
+ }
+ }
+ verbose "check_effective_target_vect_unpack: returning $et_vect_unpack_saved" 2
+ return $et_vect_unpack_saved
+}
+
# Return 1 if the target plus current options does not support a vector
# alignment mechanism, 0 otherwise.
#
return $et_vect_int_mult_saved
}
+# Return 1 if the target supports vector even/odd elements extraction, 0 otherwise.
+
+proc check_effective_target_vect_extract_even_odd { } {
+ global et_vect_extract_even_odd_saved
+
+ if [info exists et_vect_extract_even_odd_saved] {
+ verbose "check_effective_target_vect_extract_even_odd: using cached result" 2
+ } else {
+ set et_vect_extract_even_odd_saved 0
+ if { [istarget powerpc*-*-*] } {
+ set et_vect_extract_even_odd_saved 1
+ }
+ }
+
+ verbose "check_effective_target_vect_extract_even_odd: returning $et_vect_extract_even_odd_saved" 2
+ return $et_vect_extract_even_odd_saved
+}
+
+# Return 1 if the target supports vector interleaving, 0 otherwise.
+
+proc check_effective_target_vect_interleave { } {
+ global et_vect_interleave_saved
+
+ if [info exists et_vect_interleave_saved] {
+ verbose "check_effective_target_vect_interleave: using cached result" 2
+ } else {
+ set et_vect_interleave_saved 0
+ if { [istarget powerpc*-*-*]
+ || [istarget i?86-*-*]
+ || [istarget x86_64-*-*] } {
+ set et_vect_interleave_saved 1
+ }
+ }
+
+ verbose "check_effective_target_vect_interleave: returning $et_vect_interleave_saved" 2
+ return $et_vect_interleave_saved
+}
+
+# Return 1 if the target supports section-anchors
+
+proc check_effective_target_section_anchors { } {
+ global et_section_anchors_saved
+
+ if [info exists et_section_anchors_saved] {
+ verbose "check_effective_target_section_anchors: using cached result" 2
+ } else {
+ set et_section_anchors_saved 0
+ if { [istarget powerpc*-*-*] } {
+ set et_section_anchors_saved 1
+ }
+ }
+
+ verbose "check_effective_target_section_anchors: returning $et_section_anchors_saved" 2
+ return $et_section_anchors_saved
+}
+
# Return 1 if the target supports atomic operations on "int" and "long".
proc check_effective_target_sync_int_long { } {
}]
}
+# Return 1 if target supports merging string constants at link time.
+
+proc check_effective_target_string_merging { } {
+ return [check_no_messages_and_pattern string_merging \
+ "rodata\\.str" assembly {
+ const char *var = "String";
+ } {-O2}]
+}
+
+# Return 1 if target has the basic signed and unsigned types in
+# <stdint.h>, 0 otherwise.
+
+proc check_effective_target_stdint_types { } {
+ return [check_no_compiler_messages stdint_types assembly {
+ #include <stdint.h>
+ int8_t a; int16_t b; int32_t c; int64_t d;
+ uint8_t e; uint16_t f; uint32_t g; uint64_t h;
+ }]
+}
+
+# Return 1 if programs are intended to be run on a simulator
+# (i.e. slowly) rather than hardware (i.e. fast).
+
+proc check_effective_target_simulator { } {
+
+ # All "src/sim" simulators set this one.
+ if [board_info target exists is_simulator] {
+ return [board_info target is_simulator]
+ }
+
+ # The "sid" simulators don't set that one, but at least they set
+ # this one.
+ if [board_info target exists slow_simulator] {
+ return [board_info target slow_simulator]
+ }
+
+ return 0
+}