3 ########################################################################
5 # File: generate_framework_tests
6 # Author: Janis Johnson
9 # Generate tests of GCC's test framework. Each test has encoded in
10 # its name the dg commands that are used in the test and the expected
11 # result of the test, *-1.c. Each test is followed by a test ending
12 # in *-2.c that is expected to pass.
14 # This script has evolved and could be rewritten to be more compact.
17 # Copyright (C) 2004-2020 Free Software Foundation, Inc.
19 # This file is free software; you can redistribute it and/or modify
20 # it under the terms of the GNU General Public License as published by
21 # the Free Software Foundation; either version 3 of the License, or
22 # (at your option) any later version.
24 # This program is distributed in the hope that it will be useful,
25 # but WITHOUT ANY WARRANTY; without even the implied warranty of
26 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
27 # GNU General Public License for more details.
29 # You should have received a copy of the GNU General Public License
30 # along with GCC; see the file COPYING3. If not see
31 # <http://www.gnu.org/licenses/>.
33 ########################################################################
39 GOOD2
='empty-*-* *-*-empty *-*-*'
40 BAD0
='empty-empty-empty'
42 BAD2
='empty-*-* *-empty-* *-*-empty'
44 # Programs used in the tests: good compile and run, bad compile, and
46 GOOD_PROG
="int main () { return 0; }"
47 BADC_PROG
="int missing_body () }"
48 BADR_PROG
="extern void abort (void); int main () { abort (); }"
50 # dg-do commands with a target list.
51 DOT_S0
="{ dg-do compile { target ${GOOD0} } }"
52 DOT_S1
="{ dg-do compile { target ${GOOD1} } }"
53 DOT_N0
="{ dg-do compile { target ${BAD0} } }"
54 DOT_N1
="{ dg-do compile { target ${BAD1} } }"
56 # dg-do commands with an xfail list; the xfail list is ignored for
57 # everything but "run".
58 DOX_P0
="{ dg-do run { xfail ${BAD0} } }"
59 DOX_P1
="{ dg-do run { xfail ${BAD1} } }"
60 DOX_F0
="{ dg-do run { xfail ${GOOD0} } }"
61 DOX_F1
="{ dg-do run { xfail ${GOOD1} } }"
63 # dg-xfail-if commands.
64 XIF_P0
="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DY2\" } }"
65 XIF_P1
="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DN\" } }"
66 XIF_P2
="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DN\" } { \"-DY1\" } }"
67 XIF_P3
="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DN1\" } { \"-DN2\" } }"
68 XIF_P4
="{ dg-xfail-if \"exclude option matched\" { ${GOOD0} } { \"-DY1\" } { \"-DY2\" } }"
69 XIF_P5
="{ dg-xfail-if \"include option not matched\" { ${GOOD0} } { \"-DN\" } { \"-DY1\" } }"
70 XIF_P6
="{ dg-xfail-if \"include option not matched\" { ${GOOD0} } { \"-DN1\" } { \"-DN2\" } }"
71 XIF_F0
="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"-DN\" } }"
72 XIF_F1
="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"-DN\" } }"
73 XIF_F2
="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"\" } }"
74 XIF_F3
="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"\" } }"
76 XIF_P7
="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DY2\" } }"
77 XIF_P8
="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DN\" } }"
78 XIF_P9
="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DN\" } { \"-DY1\" } }"
79 XIF_P10
="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DN1\" } { \"-DN2\" } }"
80 XIF_P11
="{ dg-xfail-if \"exclude option matched\" { ${GOOD1} } { \"-DY1\" } { \"-DY2\" } }"
81 XIF_P12
="{ dg-xfail-if \"include option not matched\" { ${GOOD1} } { \"-DN\" } { \"-DY1\" } }"
82 XIF_P13
="{ dg-xfail-if \"include option not matched\" { ${GOOD1} } { \"-DN1\" } { \"-DN2\" } }"
83 XIF_F4
="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"-DN\" } }"
84 XIF_F5
="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"-DN\" } }"
85 XIF_F6
="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"\" } }"
86 XIF_F7
="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"\" } }"
89 # dg-skip-if commands.
90 SIF_S0
="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DY2\" } }"
91 SIF_S1
="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DN\" } }"
92 SIF_S2
="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DN\" } { \"-DY1\" } }"
93 SIF_S3
="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DN1\" } { \"-DN2\" } }"
94 SIF_S4
="{ dg-skip-if \"exclude option matched\" { ${GOOD0} } { \"-DY1\" } { \"-DY2\" } }"
95 SIF_S5
="{ dg-skip-if \"include option not matched\" { ${GOOD0} } { \"-DN\" } { \"-DY1\" } }"
96 SIF_S6
="{ dg-skip-if \"include option not matched\" { ${GOOD0} } { \"-DN1\" } { \"-DN2\" } }"
97 SIF_N0
="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"-DN\" } }"
98 SIF_N1
="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"-DN\" } }"
99 SIF_N2
="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"\" } }"
100 SIF_N3
="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"\" } }"
101 SIF_S7
="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DY2\" } }"
102 SIF_S8
="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DN\" } }"
103 SIF_S9
="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DN\" } { \"-DY1\" } }"
104 SIF_S10
="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DN1\" } { \"-DN2\" } }"
105 SIF_S11
="{ dg-skip-if \"exclude option matched\" { ${GOOD1} } { \"-DY1\" } { \"-DY2\" } }"
106 SIF_S12
="{ dg-skip-if \"include option not matched\" { ${GOOD1} } { \"-DN\" } { \"-DY1\" } }"
107 SIF_S13
="{ dg-skip-if \"include option not matched\" { ${GOOD1} } { \"-DN1\" } { \"-DN2\" } }"
108 SIF_N4
="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"-DN\" } }"
109 SIF_N5
="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"-DN\" } }"
110 SIF_N6
="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"\" } }"
111 SIF_N7
="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"\" } }"
113 # dg-require-* commands, using procedures defined for this set of tests.
114 REQ_S0
="{ dg-require-true \"\" }" # do not skip the test
115 REQ_N0
="{ dg-require-false \"\" }" # skip the test
117 # scan-assembler-not, which is hoped to be representative of commands
118 # used with dg-final, with a target list.
119 SAT_N0
="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${BAD0} } } }"
120 SAT_N1
="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${BAD1} } } }"
121 SAT_S0
="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${GOOD0} } } }"
122 SAT_S1
="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${GOOD1} } } }"
124 # scan-assembler-not, which is hoped to be representative of commands
125 # used with dg-final, with an xfail list.
126 SAX_P0
="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${BAD0} } } }"
127 SAX_P1
="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${BAD1} } } }"
128 SAX_F0
="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${GOOD0} } } }"
129 SAX_F1
="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${GOOD1} } } }"
133 # Expected result of the *-1.c test, encoded into the file name.
143 "dots") KIND_LIST
="dots0 dots1";;
144 "dotn") KIND_LIST
="dotn0 dotn1";;
145 "doxp") KIND_LIST
="doxp0 doxp1";;
146 "doxf") KIND_LIST
="doxf0 doxf1";;
147 "sifs") KIND_LIST
="sifs0 sifs1 sifs2 sifs3 sifs4 sifs5 sifs6 sifs7 sifs8 sifs9 sifs10 sifs11 sifs12 sifs13";;
148 "sifn") KIND_LIST
="sifn0 sifn1 sifn2 sifn3 sifn4 sifn5 sifn6 sifn7";;
149 "xifp") KIND_LIST
="xifp0 xifp1 xifp2 xifp3 xifp4 xifp5 xifp6 xifp7 xifp8 xifp9 xifp10 xifp11 xifp12 xifp13";;
150 "xiff") KIND_LIST
="xiff0 xiff1 xiff2 xiff3 xiff4 xiff5 xiff6 xiff7";;
151 "sats") KIND_LIST
="sats0 sats1";;
152 "satn") KIND_LIST
="satn0 satn1";;
153 "saxp") KIND_LIST
="saxp0 saxp1";;
154 "saxf") KIND_LIST
="saxf0 saxf1";;
155 "reqs") KIND_LIST
="reqs0";;
156 "reqn") KIND_LIST
="reqn0";;
157 *) echo "oops: $KIND"; exit 1;;
166 "dots") echo '/*' "${DOT_S0}" '*/' >> $FILE;;
167 "dots0") echo '/*' "${DOT_S0}" '*/' >> $FILE;;
168 "dots1") echo '/*' "${DOT_S1}" '*/' >> $FILE;;
169 "dots2") echo '/*' "${DOT_S2}" '*/' >> $FILE;;
170 "dots3") echo '/*' "${DOT_S3}" '*/' >> $FILE;;
171 "dots4") echo '/*' "${DOT_S4}" '*/' >> $FILE;;
172 "dotn") echo '/*' "${DOT_N0}" '*/' >> $FILE;;
173 "dotn0") echo '/*' "${DOT_N0}" '*/' >> $FILE;;
174 "dotn1") echo '/*' "${DOT_N1}" '*/' >> $FILE;;
175 "dotn2") echo '/*' "${DOT_N2}" '*/' >> $FILE;;
176 "dotn3") echo '/*' "${DOT_N3}" '*/' >> $FILE;;
177 "dotn4") echo '/*' "${DOT_N4}" '*/' >> $FILE;;
178 "doxp") echo '/*' "${DOX_P0}" '*/' >> $FILE;;
179 "doxp0") echo '/*' "${DOX_P0}" '*/' >> $FILE;;
180 "doxp1") echo '/*' "${DOX_P1}" '*/' >> $FILE;;
181 "doxp2") echo '/*' "${DOX_P2}" '*/' >> $FILE;;
182 "doxp3") echo '/*' "${DOX_P3}" '*/' >> $FILE;;
183 "doxp4") echo '/*' "${DOX_P4}" '*/' >> $FILE;;
184 "doxf") echo '/*' "${DOX_F0}" '*/' >> $FILE;;
185 "doxf0") echo '/*' "${DOX_F0}" '*/' >> $FILE;;
186 "doxf1") echo '/*' "${DOX_F1}" '*/' >> $FILE;;
187 "doxf2") echo '/*' "${DOX_F2}" '*/' >> $FILE;;
188 "doxf3") echo '/*' "${DOX_F3}" '*/' >> $FILE;;
189 "doxf4") echo '/*' "${DOX_F4}" '*/' >> $FILE;;
190 "sifs") echo '/*' "${SIF_S0}" '*/' >> $FILE;;
191 "sifs0") echo '/*' "${SIF_S0}" '*/' >> $FILE;;
192 "sifs1") echo '/*' "${SIF_S1}" '*/' >> $FILE;;
193 "sifs2") echo '/*' "${SIF_S2}" '*/' >> $FILE;;
194 "sifs3") echo '/*' "${SIF_S3}" '*/' >> $FILE;;
195 "sifs4") echo '/*' "${SIF_S4}" '*/' >> $FILE;;
196 "sifs5") echo '/*' "${SIF_S5}" '*/' >> $FILE;;
197 "sifs6") echo '/*' "${SIF_S6}" '*/' >> $FILE;;
198 "sifs7") echo '/*' "${SIF_S7}" '*/' >> $FILE;;
199 "sifs8") echo '/*' "${SIF_S8}" '*/' >> $FILE;;
200 "sifs9") echo '/*' "${SIF_S9}" '*/' >> $FILE;;
201 "sifs10") echo '/*' "${SIF_S10}" '*/' >> $FILE;;
202 "sifs11") echo '/*' "${SIF_S11}" '*/' >> $FILE;;
203 "sifs12") echo '/*' "${SIF_S12}" '*/' >> $FILE;;
204 "sifs13") echo '/*' "${SIF_S13}" '*/' >> $FILE;;
205 "sifn") echo '/*' "${SIF_N0}" '*/' >> $FILE;;
206 "sifn0") echo '/*' "${SIF_N0}" '*/' >> $FILE;;
207 "sifn1") echo '/*' "${SIF_N1}" '*/' >> $FILE;;
208 "sifn2") echo '/*' "${SIF_N2}" '*/' >> $FILE;;
209 "sifn3") echo '/*' "${SIF_N3}" '*/' >> $FILE;;
210 "sifn4") echo '/*' "${SIF_N4}" '*/' >> $FILE;;
211 "sifn5") echo '/*' "${SIF_N5}" '*/' >> $FILE;;
212 "sifn6") echo '/*' "${SIF_N6}" '*/' >> $FILE;;
213 "sifn7") echo '/*' "${SIF_N7}" '*/' >> $FILE;;
214 "xifp") echo '/*' "${XIF_P0}" '*/' >> $FILE;;
215 "xifp0") echo '/*' "${XIF_P0}" '*/' >> $FILE;;
216 "xifp1") echo '/*' "${XIF_P1}" '*/' >> $FILE;;
217 "xifp2") echo '/*' "${XIF_P2}" '*/' >> $FILE;;
218 "xifp3") echo '/*' "${XIF_P3}" '*/' >> $FILE;;
219 "xifp4") echo '/*' "${XIF_P4}" '*/' >> $FILE;;
220 "xifp5") echo '/*' "${XIF_P5}" '*/' >> $FILE;;
221 "xifp6") echo '/*' "${XIF_P6}" '*/' >> $FILE;;
222 "xifp7") echo '/*' "${XIF_P7}" '*/' >> $FILE;;
223 "xifp8") echo '/*' "${XIF_P8}" '*/' >> $FILE;;
224 "xifp9") echo '/*' "${XIF_P9}" '*/' >> $FILE;;
225 "xifp10") echo '/*' "${XIF_P10}" '*/' >> $FILE;;
226 "xifp11") echo '/*' "${XIF_P11}" '*/' >> $FILE;;
227 "xifp12") echo '/*' "${XIF_P12}" '*/' >> $FILE;;
228 "xifp13") echo '/*' "${XIF_P13}" '*/' >> $FILE;;
229 "xiff") echo '/*' "${XIF_F0}" '*/' >> $FILE;;
230 "xiff0") echo '/*' "${XIF_F0}" '*/' >> $FILE;;
231 "xiff1") echo '/*' "${XIF_F1}" '*/' >> $FILE;;
232 "xiff2") echo '/*' "${XIF_F2}" '*/' >> $FILE;;
233 "xiff3") echo '/*' "${XIF_F3}" '*/' >> $FILE;;
234 "xiff4") echo '/*' "${XIF_F4}" '*/' >> $FILE;;
235 "xiff5") echo '/*' "${XIF_F5}" '*/' >> $FILE;;
236 "xiff6") echo '/*' "${XIF_F6}" '*/' >> $FILE;;
237 "xiff7") echo '/*' "${XIF_F7}" '*/' >> $FILE;;
238 "satn") echo '/*' "${SAT_N0}" '*/' >> $FILE;;
239 "satn0") echo '/*' "${SAT_N0}" '*/' >> $FILE;;
240 "satn1") echo '/*' "${SAT_N1}" '*/' >> $FILE;;
241 "satn2") echo '/*' "${SAT_N2}" '*/' >> $FILE;;
242 "satn3") echo '/*' "${SAT_N3}" '*/' >> $FILE;;
243 "satn4") echo '/*' "${SAT_N4}" '*/' >> $FILE;;
244 "sats") echo '/*' "${SAT_S0}" '*/' >> $FILE;;
245 "sats0") echo '/*' "${SAT_S0}" '*/' >> $FILE;;
246 "sats1") echo '/*' "${SAT_S1}" '*/' >> $FILE;;
247 "sats2") echo '/*' "${SAT_S2}" '*/' >> $FILE;;
248 "sats3") echo '/*' "${SAT_S3}" '*/' >> $FILE;;
249 "sats4") echo '/*' "${SAT_S4}" '*/' >> $FILE;;
250 "saxp") echo '/*' "${SAX_P0}" '*/' >> $FILE;;
251 "saxp0") echo '/*' "${SAX_P0}" '*/' >> $FILE;;
252 "saxp1") echo '/*' "${SAX_P1}" '*/' >> $FILE;;
253 "saxp2") echo '/*' "${SAX_P2}" '*/' >> $FILE;;
254 "saxp3") echo '/*' "${SAX_P3}" '*/' >> $FILE;;
255 "saxp4") echo '/*' "${SAX_P4}" '*/' >> $FILE;;
256 "saxf") echo '/*' "${SAX_F0}" '*/' >> $FILE;;
257 "saxf0") echo '/*' "${SAX_F0}" '*/' >> $FILE;;
258 "saxf1") echo '/*' "${SAX_F1}" '*/' >> $FILE;;
259 "saxf2") echo '/*' "${SAX_F2}" '*/' >> $FILE;;
260 "saxf3") echo '/*' "${SAX_F3}" '*/' >> $FILE;;
261 "saxf4") echo '/*' "${SAX_F4}" '*/' >> $FILE;;
262 "reqs") echo '/*' "${REQ_S0}" '*/' >> $FILE;;
263 "reqs0") echo '/*' "${REQ_S0}" '*/' >> $FILE;;
264 "reqn") echo '/*' "${REQ_N0}" '*/' >> $FILE;;
265 "reqn0") echo '/*' "${REQ_N0}" '*/' >> $FILE;;
266 *) echo "oops: $KIND"; exit 1;;
270 # Generate a test using a single dg- command. If requested, generate a
271 # second version that will fail.
283 echo "${GOOD_PROG}" >> $FILE1
284 echo "${GOOD_PROG}" > $FILE2
286 if [ "${FAIL_VERSION}" == "yes" ]; then
287 if [ "${EXP}" == "${EXP_PASS}" ]; then
288 NAME
=${KIND}-${EXP_FAIL}
290 NAME
=${KIND}-${EXP_XFAIL}
299 dox
*) echo "${BADR_PROG}" >> $FILE1;;
300 *) echo "${BADC_PROG}" >> $FILE1;;
302 echo "${GOOD_PROG}" > $FILE2
306 # Generate a test using two dg- commands. If requested, generate a
307 # second version that will fail.
314 NAME
=${KIND1}-${KIND2}-${EXP}
322 echo "${GOOD_PROG}" >> $FILE1
323 echo "${GOOD_PROG}" > $FILE2
325 if [ "${FAIL_VERSION}" == "yes" ]; then
326 if [ "${EXP}" == "${EXP_PASS}" ]; then
327 NAME
=${KIND1}-${KIND2}-${EXP_FAIL}
329 NAME
=${KIND1}-${KIND2}-${EXP_XFAIL}
338 # dg-do with an xfail list is only used as the first command.
340 dox
*) echo "${BADR_PROG}" >> $FILE1;;
341 *) echo "${BADC_PROG}" >> $FILE1;;
343 echo "${GOOD_PROG}" > $FILE2
347 # Generate a test using three dg- commands. If requested generate a
348 # second version that will fail.
356 NAME
=${KIND1}-${KIND2}-${KIND3}-${EXP}
364 echo "${GOOD_PROG}" >> $FILE1
365 echo "${GOOD_PROG}" > $FILE2
367 if [ "${FAIL_VERSION}" == "${yes}" ]; then
368 if [ "${EXP}" == "${EXP_PASS}" ]; then
369 NAME
=${KIND1}-${KIND2}-${KIND3}-${EXP_FAIL}
371 NAME
=${KIND1}-${KIND2}-${KIND3}-${EXP_XFAIL}
381 # dg-do with an xfail list is only used as the first command.
383 dox
*) echo "${BADR_PROG}" >> $FILE1;;
384 *) echo "${BADC_PROG}" >> $FILE1;;
386 echo "${GOOD_PROG}" > $FILE2
390 # Generate tests using one dg- command. Generate a test for each variant
398 for k
in $KIND_LIST; do
399 one
$k $EXP $FAIL_VERSION
403 # Generate tests using two dg- commands. For each KIND, generate
404 # a test for each of its variants.
412 KIND_LIST1
="$KIND_LIST"
414 KIND_LIST2
="$KIND_LIST"
415 for k1
in $KIND_LIST1; do
416 for k2
in $KIND_LIST2; do
417 two
$k1 $k2 $EXP $FAIL_VERSION
422 # Generate tests using three dg- commands. For each KIND, generate
423 # a test for each of its variants.
432 KIND_LIST1
="$KIND_LIST"
434 KIND_LIST2
="$KIND_LIST"
436 KIND_LIST3
="$KIND_LIST"
437 for k1
in $KIND_LIST1; do
438 for k2
in $KIND_LIST2; do
439 for k3
in $KIND_LIST3; do
440 three
$k1 $k2 $k3 $EXP $FAIL_VERSION
446 # Generate a test that uses a dg-do directive with a selector expression.
458 echo '/* { dg-do' $WHAT '{' $KIND "$XPR" '} } */' >> $FILE1
459 echo "${PROG}" >> $FILE1
460 echo "${GOOD_PROG}" > $FILE2
463 # Use various selector-expressions that evaluate to TRUE in dg-do directives.
473 "{ ! \"${BAD2}\" }" \
474 "{ $GOOD1 || $GOOD0 }" \
475 "{ $BAD1 || $GOOD0 }" \
476 "{ $GOOD0 && $GOOD1 }" \
477 "{ $BAD1 || { \"${GOOD2}\" && $GOOD1 } }" \
478 "{ { $BAD0 || $GOOD0 } && $GOOD0 }" \
479 "{ $GOOD1 && { \"${GOOD2}\" || $BAD1 } }" \
480 "{ \"${GOOD2}\" && { $GOOD1 || $BAD1 } }"
482 dgdo_progs compile target
"$GOOD_PROG" "dots${NUM}-exp-P" "$xpr"
483 dgdo_progs compile target
"$BADC_PROG" "dots${NUM}-exp-F" "$xpr"
484 dgdo_progs run xfail
"$GOOD_PROG" "doxf${NUM}-exp-XP" "$xpr"
485 dgdo_progs run xfail
"$BADR_PROG" "doxf${NUM}-exp-XF" "$xpr"
490 # Use various selector-expressions that evaluate to FALSE in dg-do directives.
500 "{ ! \"${GOOD2}\" }" \
501 "{ $BAD1 || $BAD0 }" \
502 "{ $BAD0 && $GOOD1 }" \
503 "{ $GOOD1 && $BAD0 }" \
504 "{ $BAD1 || { $GOOD1 && $BAD0 } }" \
505 "{ { $GOOD1 || $BAD1 } && $BAD0 }" \
506 "{ $BAD1 || { \"${BAD2}\" && $GOOD1 } }" \
507 "{ \"${BAD2}\" && { $GOOD1 || $BAD1 } }"
509 dgdo_progs compile target
"$GOOD_PROG" "dotn${NUM}-exp-U" "$xpr"
510 dgdo_progs run xfail
"$GOOD_PROG" "doxp${NUM}-exp-P" "$xpr"
511 dgdo_progs run xfail
"$BADR_PROG" "doxp${NUM}-exp-F" "$xpr"
516 # Write a test whose directive is too long and messy to do as one string.
528 echo "$CMD1" "$CMD2" "$CMD3" > $FILE1
529 echo "$PROG" >> $FILE1
530 echo "$GOOD_PROG" > $FILE2
533 # Use nested expressions in various test directives.
535 GOODXPR
="{ \"${GOOD2}\" && { ! { $BAD0 || $BAD1 } } }"
536 BADXPR
="{ ! { \"${GOOD2}\" || { $GOOD1 && $BAD1 } } }"
538 dgdo_progs compile target
"$GOOD_PROG" "dots${NUM}-exp-P" "$GOODXPR"
539 dgdo_progs compile target
"$GOOD_PROG" "dotn${NUM}-exp-U" "$BADXPR"
541 deep_progs
"$BADC_PROG" "xiff-100-exp-XF" \
542 '/* { dg-xfail-if "match" { ' "{ $GOODXPR }" ' } } */'
543 deep_progs
"$GOOD_PROG" "xifp-100-exp-P" \
544 '/* { dg-xfail-if "no match" { ' "{ $BADXPR }" ' } } */'
545 deep_progs
"$BADC_PROG" "xifn-100-exp-U" \
546 '/* { dg-skip-if "match" { ' "{ $GOODXPR }" ' } } */'
547 deep_progs
"$GOOD_PROG" "xifs-100-exp-P" \
548 '/* { dg-skip-if "match" { ' "{ $BADXPR }" ' } } */'
549 deep_progs
"$GOOD_PROG" "satn-100-exp-P" \
550 '/* { dg-final { scan-assembler-not "unexpected garbage" { target ' \
551 "$GOODXPR" ' } } } */'
552 deep_progs
"$GOOD_PROG" "satn-100-exp-U" \
553 '/* { dg-final { scan-assembler-not "unexpected garbage" { target ' \
554 "$BADXPR" ' } } } */'
555 deep_progs
"$GOOD_PROG" "satf-100-exp-XP" \
556 '/* { dg-final { scan-assembler-not "unexpected garbage" { xfail ' \
557 "$GOODXPR" ' } } } */'
558 deep_progs
"$GOOD_PROG" "satp-100-exp-P" \
559 '/* { dg-final { scan-assembler-not "unexpected garbage" { xfail ' \
560 "$BADXPR" ' } } } */'
567 one_all saxp
$EXP_PASS no
568 one_all saxf
$EXP_XPASS no
569 one_all sats
$EXP_PASS no
570 one_all satn
$EXP_SKIP no
571 one_all dots
$EXP_PASS yes
572 one_all dotn
$EXP_SKIP no
573 one_all doxp
$EXP_PASS yes
574 one_all doxf
$EXP_XPASS yes
575 one_all sifs
$EXP_PASS yes
576 one_all sifn
$EXP_SKIP no
577 one_all xifp
$EXP_PASS yes
578 one_all xiff
$EXP_XPASS yes
579 one_all reqs
$EXP_PASS yes
580 one_all reqn
$EXP_SKIP no
582 two_all dots xifp
$EXP_PASS yes
583 two_all dots xiff
$EXP_XPASS yes
584 two_all dots sifs
$EXP_PASS yes
585 two_all dots sifn
$EXP_SKIP no
586 two_all dotn xifp
$EXP_SKIP no
587 two_all dotn sifs
$EXP_SKIP no
588 two_all dotn sifn
$EXP_SKIP no
589 two_all dotn xiff
$EXP_SKIP no
590 two_all dots reqs
$EXP_PASS yes
591 two_all dots reqn
$EXP_SKIP no
592 two_all dotn reqs
$EXP_SKIP no
593 two_all dotn reqn
$EXP_SKIP no
595 two_all doxp xifp
$EXP_PASS yes
596 two_all doxp xiff
$EXP_PASS yes # dg-xfail-if applies to compile, not run
597 two_all doxp sifs
$EXP_PASS yes
598 two_all doxp sifn
$EXP_SKIP no
599 two_all doxf xifp
$EXP_XPASS yes
600 two_all doxf xiff
$EXP_XPASS yes
601 two_all doxf sifs
$EXP_XPASS yes
602 two_all doxf sifn
$EXP_SKIP no
604 two_all doxp reqs
$EXP_PASS yes
605 two_all doxp reqn
$EXP_SKIP no
606 two_all doxf reqs
$EXP_XPASS yes
607 two_all doxf reqn
$EXP_SKIP no
609 two_all reqs xifp
$EXP_PASS yes
610 two_all reqs xiff
$EXP_XPASS yes
611 two_all reqs sifs
$EXP_PASS yes
612 two_all reqs sifn
$EXP_SKIP no
613 two_all reqn xifp
$EXP_SKIP no
614 two_all reqn xiff
$EXP_SKIP no
615 two_all reqn sifs
$EXP_SKIP no
616 two_all reqn sifn
$EXP_SKIP no
618 two_all xifp reqs
$EXP_PASS yes
619 two_all xiff reqs
$EXP_XPASS yes
620 two_all sifs reqs
$EXP_PASS yes
621 two_all sifn reqs
$EXP_SKIP no
622 two_all xifp reqn
$EXP_SKIP no
623 two_all xiff reqn
$EXP_SKIP no
624 two_all sifs reqn
$EXP_SKIP no
625 two_all sifn reqn
$EXP_SKIP no
627 three_all dots reqs xifp
$EXP_PASS yes
628 three_all dots reqs xiff
$EXP_XPASS yes
629 three_all dots reqs sifs
$EXP_PASS yes
630 three_all dots reqs sifn
$EXP_SKIP no
631 three_all dots reqn xifp
$EXP_SKIP no
632 three_all dots reqn xiff
$EXP_SKIP no
633 three_all dots reqn sifs
$EXP_SKIP no
634 three_all dots reqn sifn
$EXP_SKIP no
635 three_all dotn reqs xifp
$EXP_SKIP no
636 three_all dotn reqs xiff
$EXP_SKIP no
637 three_all dotn reqs sifs
$EXP_SKIP no
638 three_all dotn reqs sifn
$EXP_SKIP no
639 three_all dotn reqn xifp
$EXP_SKIP no
640 three_all dotn reqn xiff
$EXP_SKIP no
641 three_all dotn reqn sifs
$EXP_SKIP no
642 three_all dotn reqn sifn
$EXP_SKIP no
644 three_all dots xifp reqs
$EXP_PASS yes
645 three_all dots xiff reqs
$EXP_XPASS yes
646 three_all dots sifs reqs
$EXP_PASS yes
647 three_all dots sifn reqs
$EXP_SKIP no
648 three_all dots xifp reqn
$EXP_SKIP no
649 three_all dots xiff reqn
$EXP_SKIP no
650 three_all dots sifs reqn
$EXP_SKIP no
651 three_all dots sifn reqn
$EXP_SKIP no
652 three_all dotn xifp reqs
$EXP_SKIP no
653 three_all dotn xiff reqs
$EXP_SKIP no
654 three_all dotn sifs reqs
$EXP_SKIP no
655 three_all dotn sifn reqs
$EXP_SKIP no
656 three_all dotn xifp reqn
$EXP_SKIP no
657 three_all dotn xiff reqn
$EXP_SKIP no
658 three_all dotn sifs reqn
$EXP_SKIP no
659 three_all dotn sifn reqn
$EXP_SKIP no
661 three_all doxp reqs xifp
$EXP_PASS yes
662 three_all doxp reqs xiff
$EXP_PASS yes # dg-xfail-if applies to compile, not run
663 three_all doxp reqs sifs
$EXP_PASS yes
664 three_all doxp reqs sifn
$EXP_SKIP no
665 three_all doxp reqn xifp
$EXP_SKIP no
666 three_all doxp reqn xiff
$EXP_SKIP no
667 three_all doxp reqn sifs
$EXP_SKIP no
668 three_all doxp reqn sifn
$EXP_SKIP no
669 three_all doxf reqs xifp
$EXP_XPASS yes
670 three_all doxf reqs xiff
$EXP_XPASS yes
671 three_all doxf reqs sifs
$EXP_XPASS yes
672 three_all doxf reqs sifn
$EXP_SKIP no
673 three_all doxf reqn xifp
$EXP_SKIP no
674 three_all doxf reqn xiff
$EXP_SKIP no
675 three_all doxf reqn sifs
$EXP_SKIP no
676 three_all doxf reqn sifn
$EXP_SKIP no
678 three_all doxp xifp reqs
$EXP_PASS yes
679 three_all doxp xiff reqs
$EXP_PASS yes # dg-xfail-if applies to compile, not run
680 three_all doxp sifs reqs
$EXP_PASS yes
681 three_all doxp sifn reqs
$EXP_SKIP no
682 three_all doxp xifp reqn
$EXP_SKIP no
683 three_all doxp xiff reqn
$EXP_SKIP no
684 three_all doxp sifs reqn
$EXP_SKIP no
685 three_all doxp sifn reqn
$EXP_SKIP no
686 three_all doxf xifp reqs
$EXP_XPASS yes
687 three_all doxf xiff reqs
$EXP_XPASS yes
688 three_all doxf sifs reqs
$EXP_XPASS yes
689 three_all doxf sifn reqs
$EXP_SKIP no
690 three_all doxf xifp reqn
$EXP_SKIP no
691 three_all doxf xiff reqn
$EXP_SKIP no
692 three_all doxf sifs reqn
$EXP_SKIP no
693 three_all doxf sifn reqn
$EXP_SKIP no