OSDN Git Service

2005-11-11 Andreas Tobler <a.tobler@schweiz.ch>
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / lib / target-supports.exp
index 3b98c6b..5b770dc 100644 (file)
@@ -12,7 +12,7 @@
 #
 # You should have received a copy of the GNU General Public License
 # along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
 
 # Please email any bugs, comments, and/or additions to this file to:
 # gcc-patches@gcc.gnu.org
@@ -304,6 +304,86 @@ proc check_profiling_available { test_what } {
     return $profiling_available_saved
 }
 
+# Return 1 if target has packed layout of structure members by
+# default, 0 otherwise.  Note that this is slightly different than
+# whether the target has "natural alignment": both attributes may be
+# false.
+
+proc check_effective_target_default_packed { } {
+    global et_default_packed_saved
+    global et_default_packed_target_name
+
+    if { ![info exists et_default_packed_target_name] } {
+       set et_default_packed_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_default_packed_target_name } {
+       verbose "check_effective_target_default_packed: `$et_default_packed_target_name'" 2
+       set et_default_packed_target_name $current_target
+       if [info exists et_default_packed_saved] {
+           verbose "check_effective_target_default_packed: removing cached result" 2
+           unset et_default_packed_saved
+       }
+    }
+
+    if [info exists et_default_packed_saved] {
+       verbose "check_effective_target_default_packed: using cached result" 2
+    } else {
+       verbose "check_effective_target_default_packed: compiling source" 2
+
+       set et_default_packed_saved \
+           [string match "" [get_compiler_messages default_packed assembly {
+           struct x { char a; long b; } c;
+           int s[sizeof (c) == sizeof (char) + sizeof (long) ? 1 : -1];
+       } ]]
+
+    }
+    verbose "check_effective_target_default_packed: returning $et_default_packed_saved" 2
+    return $et_default_packed_saved
+}
+
+# Return 1 if target has PCC_BITFIELD_TYPE_MATTERS defined.  See
+# documentation, where the test also comes from.
+
+proc check_effective_target_pcc_bitfield_type_matters { } {
+    global et_pcc_bitfield_type_matters_saved
+    global et_pcc_bitfield_type_matters_target_name
+
+    if { ![info exists et_pcc_bitfield_type_matters_target_name] } {
+       set et_pcc_bitfield_type_matters_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_pcc_bitfield_type_matters_target_name } {
+       verbose "check_effective_target_pcc_bitfield_type_matters: `$et_pcc_bitfield_type_matters_target_name'" 2
+       set et_pcc_bitfield_type_matters_target_name $current_target
+       if [info exists et_pcc_bitfield_type_matters_saved] {
+           verbose "check_effective_target_pcc_bitfield_type_matters: removing cached result" 2
+           unset et_pcc_bitfield_type_matters_saved
+       }
+    }
+
+    if [info exists et_pcc_bitfield_type_matters_saved] {
+       verbose "check_effective_target_pcc_bitfield_type_matters: using cached result" 2
+    } else {
+       verbose "check_effective_target_pcc_bitfield_type_matters: compiling source" 2
+
+       # PCC_BITFIELD_TYPE_MATTERS isn't just about unnamed or empty
+       # bitfields, but let's stick to the example code from the docs.
+       set et_pcc_bitfield_type_matters_saved \
+           [string match "" [get_compiler_messages pcc_bitfield_type_matters assembly {
+           struct foo1 { char x; char :0; char y; };
+           struct foo2 { char x; int :0; char y; };
+           int s[sizeof (struct foo1) != sizeof (struct foo2) ? 1 : -1];
+       } ]]
+    }
+    verbose "check_effective_target_pcc_bitfield_type_matters: returning $et_pcc_bitfield_type_matters_saved" 2
+    return $et_pcc_bitfield_type_matters_saved
+}
+
 # Return 1 if -fpic and -fPIC are supported, as in no warnings or errors
 # emitted, 0 otherwise.  Whether a shared library can actually be built is
 # out of scope for this test.
@@ -410,6 +490,172 @@ proc check_named_sections_available { } {
     return $answer
 }
 
+# Return 1 if the target supports Fortran real kinds larger than real(8),
+# 0 otherwise.
+#
+# When the target name changes, replace the cached result.
+
+proc check_effective_target_fortran_large_real { } {
+    global et_fortran_large_real_saved
+    global et_fortran_large_real_target_name
+    global tool
+
+    if { ![info exists et_fortran_large_real_target_name] } {
+       set et_fortran_large_real_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_fortran_large_real_target_name } {
+       verbose "check_effective_target_fortran_large_real: `$et_fortran_large_real_target_name' `$current_target'" 2
+       set et_fortran_large_real_target_name $current_target
+       if [info exists et_fortran_large_real_saved] {
+           verbose "check_effective_target_fortran_large_real: removing cached result" 2
+           unset et_fortran_large_real_saved
+       }
+    }
+
+    if [info exists et_fortran_large_real_saved] {
+       verbose "check_effective_target_fortran_large_real returning saved $et_fortran_large_real_saved" 2
+    } else {
+       set et_fortran_large_real_saved 0
+
+       # Set up, compile, and execute a test program using large real
+       # kinds.  Include the current process ID in the file names to
+       # prevent conflicts with invocations for multiple testsuites.
+       set src real[pid].f90
+        set exe real[pid].x
+
+       set f [open $src "w"]
+       puts $f "integer,parameter :: k = &"
+        puts $f "  selected_real_kind (precision (0.0_8) + 1)"
+        puts $f "real(kind=k) :: x"
+       puts $f "end"
+       close $f
+
+       verbose "check_effective_target_fortran_large_real compiling testfile $src" 2
+       set lines [${tool}_target_compile $src $exe executable ""]
+       file delete $src
+
+       if [string match "" $lines] then {
+           # No error message, compilation succeeded.
+           set et_fortran_large_real_saved 1
+       }
+    }
+
+    return $et_fortran_large_real_saved
+}
+
+# Return 1 if the target supports Fortran integer kinds larger than
+# integer(8), 0 otherwise.
+#
+# When the target name changes, replace the cached result.
+
+proc check_effective_target_fortran_large_int { } {
+    global et_fortran_large_int_saved
+    global et_fortran_large_int_target_name
+    global tool
+
+    if { ![info exists et_fortran_large_int_target_name] } {
+       set et_fortran_large_int_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_fortran_large_int_target_name } {
+       verbose "check_effective_target_fortran_large_int: `$et_fortran_large_int_target_name' `$current_target'" 2
+       set et_fortran_large_int_target_name $current_target
+       if [info exists et_fortran_large_int_saved] {
+           verbose "check_effective_target_fortran_large_int: removing cached result" 2
+           unset et_fortran_large_int_saved
+       }
+    }
+
+    if [info exists et_fortran_large_int_saved] {
+       verbose "check_effective_target_fortran_large_int returning saved $et_fortran_large_int_saved" 2
+    } else {
+       set et_fortran_large_int_saved 0
+
+       # Set up, compile, and execute a test program using large integer
+       # kinds.  Include the current process ID in the file names to
+       # prevent conflicts with invocations for multiple testsuites.
+       set src int[pid].f90
+        set exe int[pid].x
+
+       set f [open $src "w"]
+       puts $f "integer,parameter :: k = &"
+        puts $f "  selected_int_kind (range (0_8) + 1)"
+        puts $f "integer(kind=k) :: i"
+       puts $f "end"
+       close $f
+
+       verbose "check_effective_target_fortran_large_int compiling testfile $src" 2
+       set lines [${tool}_target_compile $src $exe executable ""]
+       file delete $src
+
+       if [string match "" $lines] then {
+           # No error message, compilation succeeded.
+           set et_fortran_large_int_saved 1
+       }
+    }
+
+    return $et_fortran_large_int_saved
+}
+
+# Return 1 if we can statically link libgfortran, 0 otherwise.
+#
+# When the target name changes, replace the cached result.
+
+proc check_effective_target_static_libgfortran { } {
+    global et_static_libgfortran
+    global et_static_libgfortran_target_name
+    global tool
+
+    if { ![info exists et_static_libgfortran_target_name] } {
+       set et_static_libgfortran_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_static_libgfortran_target_name } {
+       verbose "check_effective_target_static_libgfortran: `$et_static_libgfortran_target_name' `$current_target'" 2
+       set et_static_libgfortran_target_name $current_target
+       if [info exists et_static_libgfortran_saved] {
+           verbose "check_effective_target_static_libgfortran: removing cached result" 2
+           unset et_static_libgfortran_saved
+       }
+    }
+
+    if [info exists et_static_libgfortran_saved] {
+       verbose "check_effective_target_static_libgfortran returning saved $et_static_libgfortran_saved" 2
+    } else {
+       set et_static_libgfortran_saved 0
+
+       # Set up, compile, and execute a test program using static linking.
+       # Include the current process ID in the file names to prevent
+       # conflicts with invocations for multiple testsuites.
+       set opts "additional_flags=-static"
+       set src static[pid].f
+       set exe static[pid].x
+
+       set f [open $src "w"]
+       puts $f "      print *, 'test'"
+       puts $f "      end"
+       close $f
+
+       verbose "check_effective_target_static_libgfortran compiling testfile $src" 2
+       set lines [${tool}_target_compile $src $exe executable "$opts"]
+       file delete $src
+
+       if [string match "" $lines] then {
+           # No error message, compilation succeeded.
+           set et_static_libgfortran_saved 1
+       }
+    }
+
+    return $et_static_libgfortran_saved
+}
+
 # Return 1 if the target supports executing AltiVec instructions, 0
 # otherwise.  Cache the result.
 
@@ -812,14 +1058,22 @@ proc check_effective_target_arm32 { } {
 # Return 1 if the target supports hardware vector shift operation.
 
 proc check_effective_target_vect_shift { } {
-    if { [istarget powerpc*-*-*] } {
-       set answer 1
+    global et_vect_shift_saved
+
+    if [info exists et_vect_shift_saved] {
+       verbose "check_effective_target_vect_shift: using cached result" 2
     } else {
-       set answer 0
+       set et_vect_shift_saved 0
+       if { [istarget powerpc*-*-*]
+            || [istarget ia64-*-*]
+            || [istarget i?86-*-*]
+            || [istarget x86_64-*-*] } {
+          set et_vect_shift_saved 1
+       }
     }
 
-    verbose "check_effective_target_vect_shift: returning $answer" 2
-    return $answer
+    verbose "check_effective_target_vect_shift: returning $et_vect_shift_saved" 2
+    return $et_vect_shift_saved
 }
 
 # Return 1 if the target supports hardware vectors of long, 0 otherwise.
@@ -886,26 +1140,45 @@ proc check_effective_target_vect_double { } {
 }
 
 # Return 1 if the target plus current options does not support a vector
-# max instruction, 0 otherwise.
+# max instruction on "int", 0 otherwise.
 #
 # This won't change for different subtargets so cache the result.
 
-proc check_effective_target_vect_no_max { } {
-    global et_vect_no_max_saved
+proc check_effective_target_vect_no_int_max { } {
+    global et_vect_no_int_max_saved
 
-    if [info exists et_vect_no_max_saved] {
-       verbose "check_effective_target_vect_no_max: using cached result" 2
+    if [info exists et_vect_no_int_max_saved] {
+       verbose "check_effective_target_vect_no_int_max: using cached result" 2
     } else {
-       set et_vect_no_max_saved 0
-       if { [istarget i?86-*-*]
-            || [istarget x86_64-*-*]
-            || [istarget sparc*-*-*]
+       set et_vect_no_int_max_saved 0
+       if { [istarget sparc*-*-*]
             || [istarget alpha*-*-*] } {
-           set et_vect_no_max_saved 1
+           set et_vect_no_int_max_saved 1
        }
     }
-    verbose "check_effective_target_vect_no_max: returning $et_vect_no_max_saved" 2
-    return $et_vect_no_max_saved
+    verbose "check_effective_target_vect_no_int_max: returning $et_vect_no_int_max_saved" 2
+    return $et_vect_no_int_max_saved
+}
+
+# Return 1 if the target plus current options does not support a vector
+# add instruction on "int", 0 otherwise.
+#
+# This won't change for different subtargets so cache the result.
+
+proc check_effective_target_vect_no_int_add { } {
+    global et_vect_no_int_add_saved
+
+    if [info exists et_vect_no_int_add_saved] {
+       verbose "check_effective_target_vect_no_int_add: using cached result" 2
+    } else {
+       set et_vect_no_int_add_saved 0
+       # Alpha only supports vector add on V8QI and V4HI.
+       if { [istarget alpha*-*-*] } {
+           set et_vect_no_int_add_saved 1
+       }
+    }
+    verbose "check_effective_target_vect_no_int_add: returning $et_vect_no_int_add_saved" 2
+    return $et_vect_no_int_add_saved
 }
 
 # Return 1 if the target plus current options does not support vector
@@ -952,7 +1225,7 @@ proc check_effective_target_vect_no_align { } {
 proc check_effective_target_vect_condition { } {
     global et_vect_cond_saved
 
-    if [info exists et_vect_int_cond] {
+    if [info exists et_vect_cond_saved] {
        verbose "check_effective_target_vect_cond: using cached result" 2
     } else {
        set et_vect_cond_saved 0
@@ -1003,6 +1276,7 @@ proc check_effective_target_sync_int_long { } {
             || [istarget i?86-*-*]
             || [istarget x86_64-*-*]
             || [istarget alpha*-*-*] 
+            || [istarget s390*-*-*] 
             || [istarget powerpc*-*-*] } {
            set et_sync_int_long_saved 1
         }
@@ -1026,6 +1300,7 @@ proc check_effective_target_sync_char_short { } {
         if { [istarget ia64-*-*]
             || [istarget i?86-*-*]
             || [istarget x86_64-*-*]
+            || [istarget alpha*-*-*] 
             || [istarget powerpc*-*-*] } {
            set et_sync_char_short_saved 1
         }