Widening-Mul: Try .SAT_SUB for PLUS_EXPR when one op is IMM
[official-gcc.git] / gcc / testsuite / lib / c-compat.exp
blob8b968cb601ae640344a91bb59fa0969bbec7db93
1 # Copyright (C) 2002-2024 Free Software Foundation, Inc.
3 # This program is free software; you can redistribute it and/or modify
4 # it under the terms of the GNU General Public License as published by
5 # the Free Software Foundation; either version 3 of the License, or
6 # (at your option) any later version.
8 # This program is distributed in the hope that it will be useful,
9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11 # GNU General Public License for more details.
13 # You should have received a copy of the GNU General Public License
14 # along with GCC; see the file COPYING3. If not see
15 # <http://www.gnu.org/licenses/>.
17 # Please email any bugs, comments, and/or additions to this file to:
18 # gcc-patches@gcc.gnu.org
20 # Globals.
22 global compat_use_alt
23 global compat_same_alt
24 global compat_have_dfp
25 global compat_skip_list
27 # This file defines procs for determining features supported by both C
28 # compilers for compatibility tests.
30 load_lib target-supports.exp
31 load_lib target-libpath.exp
34 # compat-use-alt-compiler -- make the alternate compiler the default
36 proc compat-use-alt-compiler { } {
37 global GCC_UNDER_TEST ALT_CC_UNDER_TEST
38 global compat_same_alt compat_alt_caret compat_alt_color compat_no_line_no
39 global compat_alt_urls compat_alt_plain_output
40 global TEST_ALWAYS_FLAGS
42 # We don't need to do this if the alternate compiler is actually
43 # the same as the compiler under test.
44 if { $compat_same_alt == 0 } then {
45 set GCC_UNDER_TEST $ALT_CC_UNDER_TEST
47 # These flags are no longer added to TEST_ALWAYS_FLAGS by prune.exp
48 # because they are subsumed by -fdiagnostics-plain-output. Add them back
49 # for compatibility testing with older compilers that do not understand
50 # -fdiagnostics-plain-output.
51 set TEST_ALWAYS_FLAGS "-fno-diagnostics-show-caret -fno-diagnostics-show-line-numbers -fdiagnostics-color=never -fdiagnostics-urls=never $TEST_ALWAYS_FLAGS"
53 if { $compat_alt_caret == 0 } then {
54 regsub -all -- "-fno-diagnostics-show-caret" $TEST_ALWAYS_FLAGS "" TEST_ALWAYS_FLAGS
56 if { $compat_alt_color == 0 } then {
57 regsub -all -- "-fdiagnostics-color=never" $TEST_ALWAYS_FLAGS "" TEST_ALWAYS_FLAGS
59 if { $compat_alt_urls == 0 } then {
60 regsub -all -- "-fdiagnostics-urls=never" $TEST_ALWAYS_FLAGS "" TEST_ALWAYS_FLAGS
62 if { $compat_no_line_no == 0 } then {
63 regsub -all -- "-fno-diagnostics-show-line-numbers" $TEST_ALWAYS_FLAGS "" TEST_ALWAYS_FLAGS
65 if { $compat_alt_plain_output == 0 } then {
66 regsub -all -- "-fdiagnostics-plain-output" $TEST_ALWAYS_FLAGS "" TEST_ALWAYS_FLAGS
68 restore_gcc_exec_prefix_env_var
73 # compat-use-tst-compiler -- make compiler under test the default
75 proc compat-use-tst-compiler { } {
76 global GCC_UNDER_TEST compat_save_gcc_under_test
77 global compat_same_alt
78 global TEST_ALWAYS_FLAGS compat_save_TEST_ALWAYS_FLAGS
80 # We don't need to do this if the alternate compiler is actually
81 # the same as the compiler under test.
83 if { $compat_same_alt == 0 } then {
84 set GCC_UNDER_TEST $compat_save_gcc_under_test
85 set TEST_ALWAYS_FLAGS $compat_save_TEST_ALWAYS_FLAGS
86 set_gcc_exec_prefix_env_var
90 # Find out whether both compilers support decimal float types.
91 proc compat_setup_dfp { } {
92 global compat_use_alt
93 global compat_same_alt
94 global compat_have_dfp
95 global compat_alt_caret
96 global compat_alt_color
97 global compat_alt_urls
98 global compat_alt_plain_output
99 global compat_no_line_no
100 global TEST_ALWAYS_FLAGS compat_save_TEST_ALWAYS_FLAGS
102 set compat_alt_caret 0
103 set compat_alt_color 0
104 set compat_alt_urls 0
105 set compat_alt_plain_output 0
106 set compat_no_line_no 0
107 set compat_save_TEST_ALWAYS_FLAGS $TEST_ALWAYS_FLAGS
109 verbose "compat_setup_dfp: $compat_use_alt $compat_same_alt" 2
111 # Does the compiler under test support decimal float types?
112 compat-use-tst-compiler
113 set compat_have_dfp [check_effective_target_dfprt_nocache]
114 verbose "compat_have_dfp for tst compiler: $compat_have_dfp" 2
116 if { $compat_use_alt == 1 && $compat_same_alt == 0 } {
117 compat-use-alt-compiler
118 if { [check_no_compiler_messages_nocache compat_alt_has_caret object {
119 int dummy; } "-fno-diagnostics-show-caret"] != 0 } {
120 set compat_alt_caret 1
122 if { [check_no_compiler_messages_nocache compat_alt_has_color object {
123 int dummy; } "-fdiagnostics-color=never"] != 0 } {
124 set compat_alt_color 1
126 if { [check_no_compiler_messages_nocache compat_alt_has_urls object {
127 int dummy; } "-fdiagnostics-urls=never"] != 0 } {
128 set compat_alt_urls 1
130 if { [check_no_compiler_messages_nocache compat_alt_has_no_line_no object {
131 int dummy; } "-fno-diagnostics-show-line-numbers"] != 0 } {
132 set compat_no_line_no 1
134 if { [check_no_compiler_messages_nocache compat_alt_has_plain_output object {
135 int dummy; } "-fdiagnostics-plain-output"] != 0 } {
136 set compat_alt_plain_output 1
139 compat-use-tst-compiler
142 # If there is an alternate compiler, does it support decimal float types?
143 if { $compat_have_dfp == 1 && $compat_use_alt == 1 && $compat_same_alt == 0 } {
144 compat-use-alt-compiler
145 set compat_have_dfp [check_effective_target_dfprt_nocache]
146 compat-use-tst-compiler
147 verbose "compat_have_dfp for alt compiler: $compat_have_dfp" 2
150 # If decimal float is not supported, add it to the skip list, which
151 # affects code in the header files.
152 if { $compat_have_dfp == 0 } {
153 global compat_skip_list
154 lappend compat_skip_list "DECIMAL_FLOAT"
158 # If either compiler does not support decimal float types, skip this test.
160 proc dg-require-compat-dfp { args } {
161 global compat_have_dfp
162 if { $compat_have_dfp == 0 } {
163 upvar dg-do-what dg-do-what
164 set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]