aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gcc.test-framework
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.test-framework')
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/README32
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-P.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-XF.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-assemble-exp-P.c11
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-compile-exp-P.c14
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-link-exp-P.c11
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-exp-P.c5
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-F.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-P.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-F.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-P.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-nocache-exp-P.c11
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-F.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-P.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XF.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XP.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-nocache-exp-XF.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-P.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-U.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-P.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-U.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-P.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-XP.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-F.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-P.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XF.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XP.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-exp-XF.c6
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XF.c8
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XP.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-F.c11
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-P.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-XP.c11
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-nocache-exp-P.c7
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XF.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XP.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-scanasm-exp-XF.c14
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-P.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-U.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-P.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-XP.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-F.c7
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-P.c5
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-XP.c5
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-F.c5
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-P.c7
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-XF.c5
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-P.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-XF.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-F.c10
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-P.c9
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-nocache-exp-P.c6
-rwxr-xr-xgcc-4.9/gcc/testsuite/gcc.test-framework/gen_directive_tests693
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.awk75
-rw-r--r--gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.exp85
55 files changed, 1337 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/README b/gcc-4.9/gcc/testsuite/gcc.test-framework/README
new file mode 100644
index 000000000..49446c180
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/README
@@ -0,0 +1,32 @@
+Check the test directives used in GCC's testsuite by generating and
+running tests that use combinations of those commands or that stress
+the selector expressions that can be used in those directives. Also
+run a few tests of specific functionality from the source directory.
+
+Each generated test has two parts: a file ending in "-1.c" whose
+expected result is encoded in the filename after "-exp-", and a file
+ending in "-2.c" which is always expected to pass.
+
+This test directory is normally skipped and is not meant to be run at
+the same time as other parts of the testsuite; it's only of interest to
+people who are modifying the test directives or their support in GCC's
+.exp files.
+
+To run these tests:
+
+ CHECK_TEST_FRAMEWORK=1 make -k check RUNTESTFLAGS="test-framework.exp"
+
+To check the results:
+
+ TF=${SRC}/gcc/testsuite/gcc.test-framework
+ awk -f ${TF}/test-framework.awk gcc/testsuite/gcc/gcc.sum
+
+The awk script prints unexpected results followed by the number of tests
+that passed and failed.
+
+
+Copyright (C) 2005-2014 Free Software Foundation, Inc.
+
+Copying and distribution of this file, with or without modification,
+are permitted in any medium without royalty provided the copyright
+notice and this notice are preserved.
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-P.c
new file mode 100644
index 000000000..003264a72
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-P.c
@@ -0,0 +1,8 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+int main (int argc, char *argv[])
+{
+ return 0; /* { dg-bogus "foobar" "bogus fail test" } */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-XF.c
new file mode 100644
index 000000000..31383e5d0
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-bogus-exp-XF.c
@@ -0,0 +1,8 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+main (int argc, char *argv[]) { /* { dg-bogus "return type" "bogus pass test" { xfail *-*-* } } */
+}
+
+/* { dg-excess-errors "bogus pass test" { xfail *-*-* } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-assemble-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-assemble-exp-P.c
new file mode 100644
index 000000000..316572092
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-assemble-exp-P.c
@@ -0,0 +1,11 @@
+/* Test the tester; previously gcc.misc-tests/dg-2.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do assemble } */
+
+main () { return 0; }
+
+/* { dg-final { if [file exists dg-do-assemble-exp-P.o] \{ } } */
+/* { dg-final { pass "dg-do-assemble-exp-P.c (assemble: produce .o test)" } } */
+/* { dg-final { \} else \{ } } */
+/* { dg-final { fail "dg-do-assemble-exp-P.c (assemble: produce .o test)" } } */
+/* { dg-final { \} } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-compile-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-compile-exp-P.c
new file mode 100644
index 000000000..93857465a
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-compile-exp-P.c
@@ -0,0 +1,14 @@
+/* Test the tester; previously gcc.misc-tests/dg-1.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do compile } */
+
+main () { return 0; }
+
+/* { dg-final { if ![file exists dg-do-compile-exp-P.s] { fail "dg-do-compile-exp-P.c (compile)"; return; } } } */
+
+/* { dg-final { set tmp [grep dg-do-compile-exp-P.s main line] } } */
+/* { dg-final { if ![string match "" $tmp] \{ } } */
+/* { dg-final { pass "dg-do-compile-exp-P.c (main function present)" } } */
+/* { dg-final { \} else \{ } } */
+/* { dg-final { fail "dg-do-compile-exp-P.c (main function not present)" } } */
+/* { dg-final { \} } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-link-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-link-exp-P.c
new file mode 100644
index 000000000..254109e65
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-link-exp-P.c
@@ -0,0 +1,11 @@
+/* Test the tester; previously gcc.misc-tests/dg-3.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do link } */
+
+main () { return 0; }
+
+/* { dg-final { if [file exists dg-do-link-exp-P.exe] \{ } } */
+/* { dg-final { pass "dg-do-link-exp-P.c (link: produce a.out test)" } } */
+/* { dg-final { \} else \{ } } */
+/* { dg-final { fail "dg-do-link-exp-P.c (link: produce a.out test)" } } */
+/* { dg-final { \} } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-exp-P.c
new file mode 100644
index 000000000..a7f3ffa68
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-exp-P.c
@@ -0,0 +1,5 @@
+/* Test the tester; previously gcc.misc-tests/dg-4.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do run } */
+
+main () { return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-F.c
new file mode 100644
index 000000000..076c14c52
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-F.c
@@ -0,0 +1,8 @@
+/* { dg-do run } */
+/* { dg-shouldfail "required comment" } */
+
+int
+main ()
+{
+ return 0; /* We expect nonzero, so this fails. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-P.c
new file mode 100644
index 000000000..6e9dd849c
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sf-exp-P.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-shouldfail "required comment" } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* We expect nonzero, so this passes. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-F.c
new file mode 100644
index 000000000..8695bd66a
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-F.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-shouldfail "comment" { unknown-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* Directive is ignored so we expect zero; this fails. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-P.c
new file mode 100644
index 000000000..0695df914
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-exp-P.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-shouldfail "comment" { *-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* We expect nonzero exit, so this passes. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-nocache-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-nocache-exp-P.c
new file mode 100644
index 000000000..4ef0e7a99
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-sft-nocache-exp-P.c
@@ -0,0 +1,11 @@
+/* { dg-do run } */
+/* { dg-options "-DDEFINED" } */
+/* { dg-shouldfail "comment" { def_nocache } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* We expect nonzero exit, so this passes. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-F.c
new file mode 100644
index 000000000..01459eaa0
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-F.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-xfail-run-if "" { empty-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* This results in a failure. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-P.c
new file mode 100644
index 000000000..d3472abcc
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-P.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-xfail-run-if "" { empty-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ return 0; /* This results in a pass. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XF.c
new file mode 100644
index 000000000..0a0a1f856
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XF.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-xfail-run-if "" { *-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* This results in an expected failure. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XP.c
new file mode 100644
index 000000000..6f418689a
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-exp-XP.c
@@ -0,0 +1,10 @@
+/* { dg-do run } */
+/* { dg-xfail-run-if "" { *-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ return 0; /* This results in unexpected pass. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-nocache-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-nocache-exp-XF.c
new file mode 100644
index 000000000..dfa1792a8
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-do-run-xrif-nocache-exp-XF.c
@@ -0,0 +1,9 @@
+/* { dg-do run } */
+/* { dg-options "-DDEFINED" } */
+/* { dg-xfail-run-if "comment" { def_nocache } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 1;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-P.c
new file mode 100644
index 000000000..3bbc4e1bd
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-P.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously gcc.misc-tests/dg-11.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do run { target *-*-* } } */
+/* The \n is left out of the pattern because tcl's exec will remove it. */
+/* { dg-output {Hello world[.]} } */
+
+#include <stdio.h>
+
+main () { printf ("Hello world.\n"); return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-U.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-U.c
new file mode 100644
index 000000000..9d79604b2
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-exp-U.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously gcc.misc-tests/dg-12.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do run { target foo-bar-eh } } */
+/* The \n is left out of the pattern because tcl's exec will remove it. */
+/* { dg-output {Hello world[.]} } */
+
+#include <stdio.h>
+
+main () { printf ("Hello world.\n"); return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-P.c
new file mode 100644
index 000000000..bf473616a
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-P.c
@@ -0,0 +1,8 @@
+/* { dg-do run { target { *-*-* && yes } } } */
+/* { dg-skip-if "comment" { no && yes } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-U.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-U.c
new file mode 100644
index 000000000..65008c8ab
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-sif-exp-U.c
@@ -0,0 +1,8 @@
+/* { dg-do run { target { *-*-* || no } } } */
+/* { dg-skip-if "comment" { *-*-* && yes } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-P.c
new file mode 100644
index 000000000..eb2af2608
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-P.c
@@ -0,0 +1,8 @@
+/* { dg-do run { target { *-*-* && yes } } } */
+/* { dg-xfail-if "comment" { empty-*-* && yes } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-XP.c
new file mode 100644
index 000000000..59cb76894
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xif-exp-XP.c
@@ -0,0 +1,8 @@
+/* { dg-do compile { target { *-*-* empty-*-* } } } */
+/* { dg-xfail-if "comment" { *-*-* && yes } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-F.c
new file mode 100644
index 000000000..3011799c8
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-F.c
@@ -0,0 +1,10 @@
+/* { dg-do run { xfail *-empty-* } } */
+/* { dg-xfail-run-if "" { empty-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* Neither xfail list matched, so fail. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-P.c
new file mode 100644
index 000000000..5bb92207a
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-P.c
@@ -0,0 +1,10 @@
+/* { dg-do run { xfail *-empty-* } } */
+/* { dg-xfail-run-if "" { empty-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ return 0; /* Neither xfail list matched, so pass. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XF.c
new file mode 100644
index 000000000..854f1cb20
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XF.c
@@ -0,0 +1,10 @@
+/* { dg-do run { xfail *-*-* } } */
+/* { dg-xfail-run-if "" { empty-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* A failed match doesn't override an existing XFAIL. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XP.c
new file mode 100644
index 000000000..f1ac0c1de
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dot-run-xrif-exp-XP.c
@@ -0,0 +1,10 @@
+/* { dg-do run { xfail empty-*-* } } */
+/* { dg-xfail-run-if "" { *-*-* } { "*" } { "" } } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ return 0; /* First xfail list didn't match but second did, so XPASS. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-exp-XF.c
new file mode 100644
index 000000000..69cff8bb8
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-exp-XF.c
@@ -0,0 +1,6 @@
+/* Test the tester; previously gcc.misc-tests/dg-7.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do run { xfail *-*-* } } */
+extern void abort (void);
+
+main () { abort (); return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XF.c
new file mode 100644
index 000000000..e5eae7775
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XF.c
@@ -0,0 +1,8 @@
+/* { dg-do run { xfail *-*-* } } */
+/* { dg-shouldfail "required comment" } */
+
+int
+main ()
+{
+ return 0; /* We want nonzero but expect to fail; XFAIL. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XP.c
new file mode 100644
index 000000000..59b5f8be2
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-dox-run-sf-exp-XP.c
@@ -0,0 +1,10 @@
+/* { dg-do run { xfail *-*-* } } */
+/* { dg-shouldfail "required comment" } */
+
+extern void abort (void);
+
+int
+main ()
+{
+ abort (); /* We want nonzero, but expect to fail; XPASS. */
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-F.c
new file mode 100644
index 000000000..f0d4900aa
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-F.c
@@ -0,0 +1,11 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+f ()
+{ /* { dg-error "return type" "warning test" } */
+} /* { dg-error "control reaches end" "warning test" } */
+
+main (int argc, char *argv[])
+{ /* { dg-error "return type" "warning test" } */
+} /* { dg-error "control reaches end" "warning test" } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-P.c
new file mode 100644
index 000000000..ad4baa569
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-P.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+int main (int argc, char *argv[])
+{
+ +; /* { dg-error "expected expression" "error test" } */
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-XP.c
new file mode 100644
index 000000000..d3e088de3
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-exp-XP.c
@@ -0,0 +1,11 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+int main (int argc, char *argv[])
+{
+ +;
+ /* { dg-error "expected expression" "error test" { xfail *-*-* } 7 } */
+ return 0;
+}
+/* { dg-excess-errors "expect failure" { xfail *-*-* } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-nocache-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-nocache-exp-P.c
new file mode 100644
index 000000000..abec81ad5
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-error-nocache-exp-P.c
@@ -0,0 +1,7 @@
+/* { dg-options "-DDEFINED" } */
+
+int
+main ()
+{
+ int
+} /* { dg-error "expected" "" { target def_nocache } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XF.c
new file mode 100644
index 000000000..496c6a60d
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XF.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously gcc.misc-tests/dg-8.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+/* { dg-do compile } */
+/* { dg-excess-errors "excess errors" } */
+
+/* should get warning about defaulting return type - excess error */
+
+main () { return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XP.c
new file mode 100644
index 000000000..4aecca3ba
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-excess-errors-exp-XP.c
@@ -0,0 +1,9 @@
+/* Test the tester. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+/* { dg-do compile } */
+/* { dg-excess-errors "excess errors" } */
+
+/* No messages, so unexpected pass. */
+
+int main () { return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-scanasm-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-scanasm-exp-XF.c
new file mode 100644
index 000000000..183fbd051
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-scanasm-exp-XF.c
@@ -0,0 +1,14 @@
+/* { dg-do compile } */
+/* { dg-options "-DDEFINED" } */
+
+int
+foo ()
+{
+ return 0;
+}
+
+/* A few examples from scanasm.exp. */
+
+/* { dg-final { scan-assembler "whatever" { xfail def_nocache } } } */
+/* { dg-final { scan-assembler-not "foo" { xfail def_nocache } } } */
+/* { dg-final { scan-hidden "whatever" { xfail def_nocache } } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-P.c
new file mode 100644
index 000000000..99392e341
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-P.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-DNOT_THE_RIGHT_DEFINE" } */
+/* { dg-skip-if "comment" { def_nocache } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-U.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-U.c
new file mode 100644
index 000000000..ffaf49fdf
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-sif-exp-U.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-DDEFINED" } */
+/* { dg-skip-if "comment" { def_nocache } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-P.c
new file mode 100644
index 000000000..21e833681
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-P.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-DNOT_THE_RIGHT_DEFINE" } */
+/* { dg-xfail-if "comment" { def_nocache } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-XP.c
new file mode 100644
index 000000000..07a55ef91
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-nocache-xif-exp-XP.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-DDEFINED" } */
+/* { dg-xfail-if "comment" { def_nocache } { "*" } { "" } } */
+
+int
+main ()
+{
+ return 0;
+}
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-F.c
new file mode 100644
index 000000000..34968a547
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-F.c
@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+/* { dg-options "-Wunused-value -Werror" } */
+
+int main (void) { 0; } /* { dg-error "no effect" } */
+
+/* { dg-message "warnings being treated as errors" "" { target *-*-* } 0 } */
+/* { dg-final { output-exists { target *-*-* } } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-P.c
new file mode 100644
index 000000000..04ed266e8
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-P.c
@@ -0,0 +1,5 @@
+/* { dg-do compile } */
+
+int main (void) { return 0; }
+
+/* { dg-final { output-exists } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-XP.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-XP.c
new file mode 100644
index 000000000..61e40ee2c
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexists-exp-XP.c
@@ -0,0 +1,5 @@
+/* { dg-do assemble } */
+
+int main (void) { return 0; }
+
+/* { dg-final { output-exists { xfail *-*-* } } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-F.c
new file mode 100644
index 000000000..f9d58ab2a
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-F.c
@@ -0,0 +1,5 @@
+/* { dg-do link } */
+
+int main (void) { return 0; }
+
+/* { dg-final { output-exists-not { target bogus-bogus-bogus } } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-P.c
new file mode 100644
index 000000000..00260062f
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-P.c
@@ -0,0 +1,7 @@
+/* { dg-do compile } */
+/* { dg-options "-Wunused-value -Werror" } */
+
+int main (void) { 0; } /* { dg-error "no effect" } */
+
+/* { dg-message "warnings being treated as errors" "" { target *-*-* } 0 } */
+/* { dg-final { output-exists-not { target *-*-* } } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-XF.c
new file mode 100644
index 000000000..818685b5c
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-outexistsnot-exp-XF.c
@@ -0,0 +1,5 @@
+/* { dg-do link } */
+
+int main (void) { return 0; }
+
+/* { dg-final { output-exists-not { xfail *-*-* } } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-P.c
new file mode 100644
index 000000000..4cec76f98
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-P.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously gcc.misc-tests/dg-5.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do run } */
+/* The \n is left out of the pattern because tcl's exec will remove it. */
+/* { dg-output {Hello world[.]} } */
+
+#include <stdio.h>
+
+main () { printf ("Hello world.\n"); return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-XF.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-XF.c
new file mode 100644
index 000000000..6606e5c93
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-output-exp-XF.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously gcc.misc-tests/dg-6.c. */
+/* { dg-prms-id 42 } */
+/* { dg-do run { target *-*-* } } */
+/* The \n is left out of the pattern because tcl's exec will remove it. */
+/* { dg-output {Hello world[.]} { xfail *-*-* } } */
+
+#include <stdio.h>
+
+main () { printf ("Hello world (oops).\n"); return 0; }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-F.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-F.c
new file mode 100644
index 000000000..e83c0b272
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-F.c
@@ -0,0 +1,10 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+int main (int argc, char *argv[])
+{
+ +; /* { dg-warning "expected expression" "error test" } */
+ return 0;
+}
+
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-P.c
new file mode 100644
index 000000000..0350e5216
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-exp-P.c
@@ -0,0 +1,9 @@
+/* Test the tester; previously part of gcc.misc-tests/dg-9.c. */
+/* { dg-prms-id 42 } */
+/* { dg-options "-Wall" } */
+
+f () { /* { dg-warning "return type" "warning test" } */
+} /* { dg-warning "control reaches end" "warning test" } */
+
+main (int argc, char *argv[]) { /* { dg-warning "return type" "warning test" } */
+} /* { dg-warning "control reaches end" "warning test" } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-nocache-exp-P.c b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-nocache-exp-P.c
new file mode 100644
index 000000000..9e0ee2798
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/dg-warning-nocache-exp-P.c
@@ -0,0 +1,6 @@
+/* { dg-options "-Wall -DDEFINED" } */
+
+int
+foo ()
+{
+} /* { dg-warning "control" "" { target def_nocache } } */
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/gen_directive_tests b/gcc-4.9/gcc/testsuite/gcc.test-framework/gen_directive_tests
new file mode 100755
index 000000000..e247fe83b
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/gen_directive_tests
@@ -0,0 +1,693 @@
+#! /bin/bash
+
+########################################################################
+#
+# File: generate_framework_tests
+# Author: Janis Johnson
+# Date: 2004/11/02
+#
+# Generate tests of GCC's test framework. Each test has encoded in
+# its name the dg commands that are used in the test and the expected
+# result of the test, *-1.c. Each test is followed by a test ending
+# in *-2.c that is expected to pass.
+#
+# This script has evolved and could be rewritten to be more compact.
+#
+#
+# Copyright (C) 2004-2014 Free Software Foundation, Inc.
+#
+# This file is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3. If not see
+# <http://www.gnu.org/licenses/>.
+#
+########################################################################
+
+cd $1
+
+GOOD0='*-*-*'
+GOOD1="yes"
+GOOD2='empty-*-* *-*-empty *-*-*'
+BAD0='empty-empty-empty'
+BAD1="no"
+BAD2='empty-*-* *-empty-* *-*-empty'
+
+# Programs used in the tests: good compile and run, bad compile, and
+# bad run.
+GOOD_PROG="int main () { return 0; }"
+BADC_PROG="int missing_body () }"
+BADR_PROG="extern void abort (void); int main () { abort (); }"
+
+# dg-do commands with a target list.
+DOT_S0="{ dg-do compile { target ${GOOD0} } }"
+DOT_S1="{ dg-do compile { target ${GOOD1} } }"
+DOT_N0="{ dg-do compile { target ${BAD0} } }"
+DOT_N1="{ dg-do compile { target ${BAD1} } }"
+
+# dg-do commands with an xfail list; the xfail list is ignored for
+# everything but "run".
+DOX_P0="{ dg-do run { xfail ${BAD0} } }"
+DOX_P1="{ dg-do run { xfail ${BAD1} } }"
+DOX_F0="{ dg-do run { xfail ${GOOD0} } }"
+DOX_F1="{ dg-do run { xfail ${GOOD1} } }"
+
+# dg-xfail-if commands.
+XIF_P0="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DY2\" } }"
+XIF_P1="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DN\" } }"
+XIF_P2="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DN\" } { \"-DY1\" } }"
+XIF_P3="{ dg-xfail-if \"target not matched\" { ${BAD0} } { \"-DN1\" } { \"-DN2\" } }"
+XIF_P4="{ dg-xfail-if \"exclude option matched\" { ${GOOD0} } { \"-DY1\" } { \"-DY2\" } }"
+XIF_P5="{ dg-xfail-if \"include option not matched\" { ${GOOD0} } { \"-DN\" } { \"-DY1\" } }"
+XIF_P6="{ dg-xfail-if \"include option not matched\" { ${GOOD0} } { \"-DN1\" } { \"-DN2\" } }"
+XIF_F0="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"-DN\" } }"
+XIF_F1="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"-DN\" } }"
+XIF_F2="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"\" } }"
+XIF_F3="{ dg-xfail-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"\" } }"
+
+XIF_P7="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DY2\" } }"
+XIF_P8="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DN\" } }"
+XIF_P9="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DN\" } { \"-DY1\" } }"
+XIF_P10="{ dg-xfail-if \"target not matched\" { ${BAD1} } { \"-DN1\" } { \"-DN2\" } }"
+XIF_P11="{ dg-xfail-if \"exclude option matched\" { ${GOOD1} } { \"-DY1\" } { \"-DY2\" } }"
+XIF_P12="{ dg-xfail-if \"include option not matched\" { ${GOOD1} } { \"-DN\" } { \"-DY1\" } }"
+XIF_P13="{ dg-xfail-if \"include option not matched\" { ${GOOD1} } { \"-DN1\" } { \"-DN2\" } }"
+XIF_F4="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"-DN\" } }"
+XIF_F5="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"-DN\" } }"
+XIF_F6="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"\" } }"
+XIF_F7="{ dg-xfail-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"\" } }"
+
+
+# dg-skip-if commands.
+SIF_S0="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DY2\" } }"
+SIF_S1="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DY1\" } { \"-DN\" } }"
+SIF_S2="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DN\" } { \"-DY1\" } }"
+SIF_S3="{ dg-skip-if \"target not matched\" { ${BAD0} } { \"-DN1\" } { \"-DN2\" } }"
+SIF_S4="{ dg-skip-if \"exclude option matched\" { ${GOOD0} } { \"-DY1\" } { \"-DY2\" } }"
+SIF_S5="{ dg-skip-if \"include option not matched\" { ${GOOD0} } { \"-DN\" } { \"-DY1\" } }"
+SIF_S6="{ dg-skip-if \"include option not matched\" { ${GOOD0} } { \"-DN1\" } { \"-DN2\" } }"
+SIF_N0="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"-DN\" } }"
+SIF_N1="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"-DN\" } }"
+SIF_N2="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"-DY1\" } { \"\" } }"
+SIF_N3="{ dg-skip-if \"all matches succeed\" { ${GOOD0} } { \"*\" } { \"\" } }"
+SIF_S7="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DY2\" } }"
+SIF_S8="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DY1\" } { \"-DN\" } }"
+SIF_S9="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DN\" } { \"-DY1\" } }"
+SIF_S10="{ dg-skip-if \"target not matched\" { ${BAD1} } { \"-DN1\" } { \"-DN2\" } }"
+SIF_S11="{ dg-skip-if \"exclude option matched\" { ${GOOD1} } { \"-DY1\" } { \"-DY2\" } }"
+SIF_S12="{ dg-skip-if \"include option not matched\" { ${GOOD1} } { \"-DN\" } { \"-DY1\" } }"
+SIF_S13="{ dg-skip-if \"include option not matched\" { ${GOOD1} } { \"-DN1\" } { \"-DN2\" } }"
+SIF_N4="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"-DN\" } }"
+SIF_N5="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"-DN\" } }"
+SIF_N6="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"-DY1\" } { \"\" } }"
+SIF_N7="{ dg-skip-if \"all matches succeed\" { ${GOOD1} } { \"*\" } { \"\" } }"
+
+# dg-require-* commands, using procedures defined for this set of tests.
+REQ_S0="{ dg-require-true \"\" }" # do not skip the test
+REQ_N0="{ dg-require-false \"\" }" # skip the test
+
+# scan-assembler-not, which is hoped to be representative of commands
+# used with dg-final, with a target list.
+SAT_N0="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${BAD0} } } }"
+SAT_N1="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${BAD1} } } }"
+SAT_S0="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${GOOD0} } } }"
+SAT_S1="{ dg-final { scan-assembler-not \"unexpected gargage\" { target ${GOOD1} } } }"
+
+# scan-assembler-not, which is hoped to be representative of commands
+# used with dg-final, with an xfail list.
+SAX_P0="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${BAD0} } } }"
+SAX_P1="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${BAD1} } } }"
+SAX_F0="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${GOOD0} } } }"
+SAX_F1="{ dg-final { scan-assembler-not \"unexpected gargage\" { xfail ${GOOD1} } } }"
+
+KIND_LIST=""
+
+# Expected result of the *-1.c test, encoded into the file name.
+EXP_PASS="exp-P"
+EXP_XPASS="exp-XP"
+EXP_SKIP="exp-U"
+EXP_FAIL="exp-F"
+EXP_XFAIL="exp-XF"
+
+get_list() {
+ KIND=$1
+ case $KIND in
+ "dots") KIND_LIST="dots0 dots1";;
+ "dotn") KIND_LIST="dotn0 dotn1";;
+ "doxp") KIND_LIST="doxp0 doxp1";;
+ "doxf") KIND_LIST="doxf0 doxf1";;
+ "sifs") KIND_LIST="sifs0 sifs1 sifs2 sifs3 sifs4 sifs5 sifs6 sifs7 sifs8 sifs9 sifs10 sifs11 sifs12 sifs13";;
+ "sifn") KIND_LIST="sifn0 sifn1 sifn2 sifn3 sifn4 sifn5 sifn6 sifn7";;
+ "xifp") KIND_LIST="xifp0 xifp1 xifp2 xifp3 xifp4 xifp5 xifp6 xifp7 xifp8 xifp9 xifp10 xifp11 xifp12 xifp13";;
+ "xiff") KIND_LIST="xiff0 xiff1 xiff2 xiff3 xiff4 xiff5 xiff6 xiff7";;
+ "sats") KIND_LIST="sats0 sats1";;
+ "satn") KIND_LIST="satn0 satn1";;
+ "saxp") KIND_LIST="saxp0 saxp1";;
+ "saxf") KIND_LIST="saxf0 saxf1";;
+ "reqs") KIND_LIST="reqs0";;
+ "reqn") KIND_LIST="reqn0";;
+ *) echo "oops: $KIND"; exit 1;;
+ esac
+}
+
+cmd() {
+ KIND=$1
+ FILE=$2
+
+ case $KIND in
+ "dots") echo '/*' "${DOT_S0}" '*/' >> $FILE;;
+ "dots0") echo '/*' "${DOT_S0}" '*/' >> $FILE;;
+ "dots1") echo '/*' "${DOT_S1}" '*/' >> $FILE;;
+ "dots2") echo '/*' "${DOT_S2}" '*/' >> $FILE;;
+ "dots3") echo '/*' "${DOT_S3}" '*/' >> $FILE;;
+ "dots4") echo '/*' "${DOT_S4}" '*/' >> $FILE;;
+ "dotn") echo '/*' "${DOT_N0}" '*/' >> $FILE;;
+ "dotn0") echo '/*' "${DOT_N0}" '*/' >> $FILE;;
+ "dotn1") echo '/*' "${DOT_N1}" '*/' >> $FILE;;
+ "dotn2") echo '/*' "${DOT_N2}" '*/' >> $FILE;;
+ "dotn3") echo '/*' "${DOT_N3}" '*/' >> $FILE;;
+ "dotn4") echo '/*' "${DOT_N4}" '*/' >> $FILE;;
+ "doxp") echo '/*' "${DOX_P0}" '*/' >> $FILE;;
+ "doxp0") echo '/*' "${DOX_P0}" '*/' >> $FILE;;
+ "doxp1") echo '/*' "${DOX_P1}" '*/' >> $FILE;;
+ "doxp2") echo '/*' "${DOX_P2}" '*/' >> $FILE;;
+ "doxp3") echo '/*' "${DOX_P3}" '*/' >> $FILE;;
+ "doxp4") echo '/*' "${DOX_P4}" '*/' >> $FILE;;
+ "doxf") echo '/*' "${DOX_F0}" '*/' >> $FILE;;
+ "doxf0") echo '/*' "${DOX_F0}" '*/' >> $FILE;;
+ "doxf1") echo '/*' "${DOX_F1}" '*/' >> $FILE;;
+ "doxf2") echo '/*' "${DOX_F2}" '*/' >> $FILE;;
+ "doxf3") echo '/*' "${DOX_F3}" '*/' >> $FILE;;
+ "doxf4") echo '/*' "${DOX_F4}" '*/' >> $FILE;;
+ "sifs") echo '/*' "${SIF_S0}" '*/' >> $FILE;;
+ "sifs0") echo '/*' "${SIF_S0}" '*/' >> $FILE;;
+ "sifs1") echo '/*' "${SIF_S1}" '*/' >> $FILE;;
+ "sifs2") echo '/*' "${SIF_S2}" '*/' >> $FILE;;
+ "sifs3") echo '/*' "${SIF_S3}" '*/' >> $FILE;;
+ "sifs4") echo '/*' "${SIF_S4}" '*/' >> $FILE;;
+ "sifs5") echo '/*' "${SIF_S5}" '*/' >> $FILE;;
+ "sifs6") echo '/*' "${SIF_S6}" '*/' >> $FILE;;
+ "sifs7") echo '/*' "${SIF_S7}" '*/' >> $FILE;;
+ "sifs8") echo '/*' "${SIF_S8}" '*/' >> $FILE;;
+ "sifs9") echo '/*' "${SIF_S9}" '*/' >> $FILE;;
+ "sifs10") echo '/*' "${SIF_S10}" '*/' >> $FILE;;
+ "sifs11") echo '/*' "${SIF_S11}" '*/' >> $FILE;;
+ "sifs12") echo '/*' "${SIF_S12}" '*/' >> $FILE;;
+ "sifs13") echo '/*' "${SIF_S13}" '*/' >> $FILE;;
+ "sifn") echo '/*' "${SIF_N0}" '*/' >> $FILE;;
+ "sifn0") echo '/*' "${SIF_N0}" '*/' >> $FILE;;
+ "sifn1") echo '/*' "${SIF_N1}" '*/' >> $FILE;;
+ "sifn2") echo '/*' "${SIF_N2}" '*/' >> $FILE;;
+ "sifn3") echo '/*' "${SIF_N3}" '*/' >> $FILE;;
+ "sifn4") echo '/*' "${SIF_N4}" '*/' >> $FILE;;
+ "sifn5") echo '/*' "${SIF_N5}" '*/' >> $FILE;;
+ "sifn6") echo '/*' "${SIF_N6}" '*/' >> $FILE;;
+ "sifn7") echo '/*' "${SIF_N7}" '*/' >> $FILE;;
+ "xifp") echo '/*' "${XIF_P0}" '*/' >> $FILE;;
+ "xifp0") echo '/*' "${XIF_P0}" '*/' >> $FILE;;
+ "xifp1") echo '/*' "${XIF_P1}" '*/' >> $FILE;;
+ "xifp2") echo '/*' "${XIF_P2}" '*/' >> $FILE;;
+ "xifp3") echo '/*' "${XIF_P3}" '*/' >> $FILE;;
+ "xifp4") echo '/*' "${XIF_P4}" '*/' >> $FILE;;
+ "xifp5") echo '/*' "${XIF_P5}" '*/' >> $FILE;;
+ "xifp6") echo '/*' "${XIF_P6}" '*/' >> $FILE;;
+ "xifp7") echo '/*' "${XIF_P7}" '*/' >> $FILE;;
+ "xifp8") echo '/*' "${XIF_P8}" '*/' >> $FILE;;
+ "xifp9") echo '/*' "${XIF_P9}" '*/' >> $FILE;;
+ "xifp10") echo '/*' "${XIF_P10}" '*/' >> $FILE;;
+ "xifp11") echo '/*' "${XIF_P11}" '*/' >> $FILE;;
+ "xifp12") echo '/*' "${XIF_P12}" '*/' >> $FILE;;
+ "xifp13") echo '/*' "${XIF_P13}" '*/' >> $FILE;;
+ "xiff") echo '/*' "${XIF_F0}" '*/' >> $FILE;;
+ "xiff0") echo '/*' "${XIF_F0}" '*/' >> $FILE;;
+ "xiff1") echo '/*' "${XIF_F1}" '*/' >> $FILE;;
+ "xiff2") echo '/*' "${XIF_F2}" '*/' >> $FILE;;
+ "xiff3") echo '/*' "${XIF_F3}" '*/' >> $FILE;;
+ "xiff4") echo '/*' "${XIF_F4}" '*/' >> $FILE;;
+ "xiff5") echo '/*' "${XIF_F5}" '*/' >> $FILE;;
+ "xiff6") echo '/*' "${XIF_F6}" '*/' >> $FILE;;
+ "xiff7") echo '/*' "${XIF_F7}" '*/' >> $FILE;;
+ "satn") echo '/*' "${SAT_N0}" '*/' >> $FILE;;
+ "satn0") echo '/*' "${SAT_N0}" '*/' >> $FILE;;
+ "satn1") echo '/*' "${SAT_N1}" '*/' >> $FILE;;
+ "satn2") echo '/*' "${SAT_N2}" '*/' >> $FILE;;
+ "satn3") echo '/*' "${SAT_N3}" '*/' >> $FILE;;
+ "satn4") echo '/*' "${SAT_N4}" '*/' >> $FILE;;
+ "sats") echo '/*' "${SAT_S0}" '*/' >> $FILE;;
+ "sats0") echo '/*' "${SAT_S0}" '*/' >> $FILE;;
+ "sats1") echo '/*' "${SAT_S1}" '*/' >> $FILE;;
+ "sats2") echo '/*' "${SAT_S2}" '*/' >> $FILE;;
+ "sats3") echo '/*' "${SAT_S3}" '*/' >> $FILE;;
+ "sats4") echo '/*' "${SAT_S4}" '*/' >> $FILE;;
+ "saxp") echo '/*' "${SAX_P0}" '*/' >> $FILE;;
+ "saxp0") echo '/*' "${SAX_P0}" '*/' >> $FILE;;
+ "saxp1") echo '/*' "${SAX_P1}" '*/' >> $FILE;;
+ "saxp2") echo '/*' "${SAX_P2}" '*/' >> $FILE;;
+ "saxp3") echo '/*' "${SAX_P3}" '*/' >> $FILE;;
+ "saxp4") echo '/*' "${SAX_P4}" '*/' >> $FILE;;
+ "saxf") echo '/*' "${SAX_F0}" '*/' >> $FILE;;
+ "saxf0") echo '/*' "${SAX_F0}" '*/' >> $FILE;;
+ "saxf1") echo '/*' "${SAX_F1}" '*/' >> $FILE;;
+ "saxf2") echo '/*' "${SAX_F2}" '*/' >> $FILE;;
+ "saxf3") echo '/*' "${SAX_F3}" '*/' >> $FILE;;
+ "saxf4") echo '/*' "${SAX_F4}" '*/' >> $FILE;;
+ "reqs") echo '/*' "${REQ_S0}" '*/' >> $FILE;;
+ "reqs0") echo '/*' "${REQ_S0}" '*/' >> $FILE;;
+ "reqn") echo '/*' "${REQ_N0}" '*/' >> $FILE;;
+ "reqn0") echo '/*' "${REQ_N0}" '*/' >> $FILE;;
+ *) echo "oops: $KIND"; exit 1;;
+ esac
+}
+
+# Generate a test using a single dg- command. If requested, generate a
+# second version that will fail.
+one() {
+ KIND=$1
+ EXP=$2
+ FAIL_VERSION=$3
+
+ NAME=${KIND}-${EXP}
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ cmd $KIND $FILE1
+ echo "${GOOD_PROG}" >> $FILE1
+ echo "${GOOD_PROG}" > $FILE2
+
+ if [ "${FAIL_VERSION}" == "yes" ]; then
+ if [ "${EXP}" == "${EXP_PASS}" ]; then
+ NAME=${KIND}-${EXP_FAIL}
+ else
+ NAME=${KIND}-${EXP_XFAIL}
+ fi
+
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ cmd $KIND $FILE1
+ case $KIND in
+ dox*) echo "${BADR_PROG}" >> $FILE1;;
+ *) echo "${BADC_PROG}" >> $FILE1;;
+ esac
+ echo "${GOOD_PROG}" > $FILE2
+ fi
+}
+
+# Generate a test using two dg- commands. If requested, generate a
+# second version that will fail.
+two() {
+ KIND1=$1
+ KIND2=$2
+ EXP=$3
+ FAIL_VERSION=$4
+
+ NAME=${KIND1}-${KIND2}-${EXP}
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+
+ rm -f $FILE1
+ touch $FILE1
+ cmd $KIND1 $FILE1
+ cmd $KIND2 $FILE1
+ echo "${GOOD_PROG}" >> $FILE1
+ echo "${GOOD_PROG}" > $FILE2
+
+ if [ "${FAIL_VERSION}" == "yes" ]; then
+ if [ "${EXP}" == "${EXP_PASS}" ]; then
+ NAME=${KIND1}-${KIND2}-${EXP_FAIL}
+ else
+ NAME=${KIND1}-${KIND2}-${EXP_XFAIL}
+ fi
+
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ cmd $KIND1 $FILE1
+ cmd $KIND2 $FILE1
+ # dg-do with an xfail list is only used as the first command.
+ case $KIND1 in
+ dox*) echo "${BADR_PROG}" >> $FILE1;;
+ *) echo "${BADC_PROG}" >> $FILE1;;
+ esac
+ echo "${GOOD_PROG}" > $FILE2
+ fi
+}
+
+# Generate a test using three dg- commands. If requested generate a
+# second version that will fail.
+three() {
+ KIND1=$1
+ KIND2=$2
+ KIND3=$3
+ EXP=$4
+ FAIL_VERSION=$5
+
+ NAME=${KIND1}-${KIND2}-${KIND3}-${EXP}
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ cmd $KIND1 $FILE1
+ cmd $KIND2 $FILE1
+ cmd $KIND3 $FILE1
+ echo "${GOOD_PROG}" >> $FILE1
+ echo "${GOOD_PROG}" > $FILE2
+
+ if [ "${FAIL_VERSION}" == "${yes}" ]; then
+ if [ "${EXP}" == "${EXP_PASS}" ]; then
+ NAME=${KIND1}-${KIND2}-${KIND3}-${EXP_FAIL}
+ else
+ NAME=${KIND1}-${KIND2}-${KIND3}-${EXP_XFAIL}
+ fi
+
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ cmd $KIND1 $FILE1
+ cmd $KIND2 $FILE1
+ cmd $KIND3 $FILE1
+ # dg-do with an xfail list is only used as the first command.
+ case $KIND1 in
+ dox*) echo "${BADR_PROG}" >> $FILE1;;
+ *) echo "${BADC_PROG}" >> $FILE1;;
+ esac
+ echo "${GOOD_PROG}" > $FILE2
+ fi
+}
+
+# Generate tests using one dg- command. Generate a test for each variant
+# of KIND.
+one_all() {
+ KIND=$1
+ EXP=$2
+ FAIL_VERSION=$3
+
+ get_list $KIND
+ for k in $KIND_LIST; do
+ one $k $EXP $FAIL_VERSION
+ done
+}
+
+# Generate tests using two dg- commands. For each KIND, generate
+# a test for each of its variants.
+two_all() {
+ KIND1=$1
+ KIND2=$2
+ EXP=$3
+ FAIL_VERSION=$4
+
+ get_list $KIND1
+ KIND_LIST1="$KIND_LIST"
+ get_list $KIND2
+ KIND_LIST2="$KIND_LIST"
+ for k1 in $KIND_LIST1; do
+ for k2 in $KIND_LIST2; do
+ two $k1 $k2 $EXP $FAIL_VERSION
+ done
+ done
+}
+
+# Generate tests using three dg- commands. For each KIND, generate
+# a test for each of its variants.
+three_all() {
+ KIND1=$1
+ KIND2=$2
+ KIND3=$3
+ EXP=$4
+ FAIL_VERSION=$5
+
+ get_list $KIND1
+ KIND_LIST1="$KIND_LIST"
+ get_list $KIND2
+ KIND_LIST2="$KIND_LIST"
+ get_list $KIND3
+ KIND_LIST3="$KIND_LIST"
+ for k1 in $KIND_LIST1; do
+ for k2 in $KIND_LIST2; do
+ for k3 in $KIND_LIST3; do
+ three $k1 $k2 $k3 $EXP $FAIL_VERSION
+ done
+ done
+ done
+}
+
+# Generate a test that uses a dg-do directive with a selector expression.
+dgdo_progs() {
+ WHAT=$1
+ KIND=$2
+ PROG="$3"
+ NAME="$4"
+ XPR="$5"
+
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ echo '/* { dg-do' $WHAT '{' $KIND "$XPR" '} } */' >> $FILE1
+ echo "${PROG}" >> $FILE1
+ echo "${GOOD_PROG}" > $FILE2
+}
+
+# Use various selector-expressions that evaluate to TRUE in dg-do directives.
+selector_good() {
+ NUM=101
+ for xpr in \
+ "$GOOD0" \
+ "$GOOD1" \
+ "$GOOD2" \
+ "{ ! $BAD0 }" \
+ "{ ! $BAD1 }" \
+ "{ ! { $BAD2 } }" \
+ "{ ! \"${BAD2}\" }" \
+ "{ $GOOD1 || $GOOD0 }" \
+ "{ $BAD1 || $GOOD0 }" \
+ "{ $GOOD0 && $GOOD1 }" \
+ "{ $BAD1 || { \"${GOOD2}\" && $GOOD1 } }" \
+ "{ { $BAD0 || $GOOD0 } && $GOOD0 }" \
+ "{ $GOOD1 && { \"${GOOD2}\" || $BAD1 } }" \
+ "{ \"${GOOD2}\" && { $GOOD1 || $BAD1 } }"
+ do
+ dgdo_progs compile target "$GOOD_PROG" "dots${NUM}-exp-P" "$xpr"
+ dgdo_progs compile target "$BADC_PROG" "dots${NUM}-exp-F" "$xpr"
+ dgdo_progs run xfail "$GOOD_PROG" "doxf${NUM}-exp-XP" "$xpr"
+ dgdo_progs run xfail "$BADR_PROG" "doxf${NUM}-exp-XF" "$xpr"
+ let NUM=NUM+1
+ done
+}
+
+# Use various selector-expressions that evaluate to FALSE in dg-do directives.
+selector_bad() {
+ NUM=101
+ for xpr in \
+ "$BAD0" \
+ "$BAD1" \
+ "$BAD2" \
+ "{ ! $GOOD0 }" \
+ "{ ! $GOOD1 }" \
+ "{ ! { $GOOD2 } }" \
+ "{ ! \"${GOOD2}\" }" \
+ "{ $BAD1 || $BAD0 }" \
+ "{ $BAD0 && $GOOD1 }" \
+ "{ $GOOD1 && $BAD0 }" \
+ "{ $BAD1 || { $GOOD1 && $BAD0 } }" \
+ "{ { $GOOD1 || $BAD1 } && $BAD0 }" \
+ "{ $BAD1 || { \"${BAD2}\" && $GOOD1 } }" \
+ "{ \"${BAD2}\" && { $GOOD1 || $BAD1 } }"
+ do
+ dgdo_progs compile target "$GOOD_PROG" "dotn${NUM}-exp-U" "$xpr"
+ dgdo_progs run xfail "$GOOD_PROG" "doxp${NUM}-exp-P" "$xpr"
+ dgdo_progs run xfail "$BADR_PROG" "doxp${NUM}-exp-F" "$xpr"
+ let NUM=NUM+1
+ done
+}
+
+# Write a test whose directive is too long and messy to do as one string.
+deep_progs() {
+ PROG="$1"
+ NAME=$2
+ CMD1="$3"
+ CMD2="$4"
+ CMD3="$5"
+
+ FILE1=${NAME}-1.c
+ FILE2=${NAME}-2.c
+ rm -f $FILE1
+ touch $FILE1
+ echo "$CMD1" "$CMD2" "$CMD3" > $FILE1
+ echo "$PROG" >> $FILE1
+ echo "$GOOD_PROG" > $FILE2
+}
+
+# Use nested expressions in various test directives.
+selector_deep() {
+ GOODXPR="{ \"${GOOD2}\" && { ! { $BAD0 || $BAD1 } } }"
+ BADXPR="{ ! { \"${GOOD2}\" || { $GOOD1 && $BAD1 } } }"
+ NUM=100
+ dgdo_progs compile target "$GOOD_PROG" "dots${NUM}-exp-P" "$GOODXPR"
+ dgdo_progs compile target "$GOOD_PROG" "dotn${NUM}-exp-U" "$BADXPR"
+
+ deep_progs "$BADC_PROG" "xiff-100-exp-XF" \
+ '/* { dg-xfail-if "match" { ' "{ $GOODXPR }" ' } { "*" } { "" } } */'
+ deep_progs "$GOOD_PROG" "xifp-100-exp-P" \
+ '/* { dg-xfail-if "no match" { ' "{ $BADXPR }" ' } { "*" } { "" } } */'
+ deep_progs "$BADC_PROG" "xifn-100-exp-U" \
+ '/* { dg-skip-if "match" { ' "{ $GOODXPR }" ' } { "*" } { "" } } */'
+ deep_progs "$GOOD_PROG" "xifs-100-exp-P" \
+ '/* { dg-skip-if "match" { ' "{ $BADXPR }" ' } { "*" } { "" } } */'
+ deep_progs "$GOOD_PROG" "satn-100-exp-P" \
+ '/* { dg-final { scan-assembler-not "unexpected garbage" { target ' \
+ "$GOODXPR" ' } } } */'
+ deep_progs "$GOOD_PROG" "satn-100-exp-U" \
+ '/* { dg-final { scan-assembler-not "unexpected garbage" { target ' \
+ "$BADXPR" ' } } } */'
+ deep_progs "$GOOD_PROG" "satf-100-exp-XP" \
+ '/* { dg-final { scan-assembler-not "unexpected garbage" { xfail ' \
+ "$GOODXPR" ' } } } */'
+ deep_progs "$GOOD_PROG" "satp-100-exp-P" \
+ '/* { dg-final { scan-assembler-not "unexpected garbage" { xfail ' \
+ "$BADXPR" ' } } } */'
+}
+
+selector_good
+selector_bad
+selector_deep
+
+one_all saxp $EXP_PASS no
+one_all saxf $EXP_XPASS no
+one_all sats $EXP_PASS no
+one_all satn $EXP_SKIP no
+one_all dots $EXP_PASS yes
+one_all dotn $EXP_SKIP no
+one_all doxp $EXP_PASS yes
+one_all doxf $EXP_XPASS yes
+one_all sifs $EXP_PASS yes
+one_all sifn $EXP_SKIP no
+one_all xifp $EXP_PASS yes
+one_all xiff $EXP_XPASS yes
+one_all reqs $EXP_PASS yes
+one_all reqn $EXP_SKIP no
+
+two_all dots xifp $EXP_PASS yes
+two_all dots xiff $EXP_XPASS yes
+two_all dots sifs $EXP_PASS yes
+two_all dots sifn $EXP_SKIP no
+two_all dotn xifp $EXP_SKIP no
+two_all dotn sifs $EXP_SKIP no
+two_all dotn sifn $EXP_SKIP no
+two_all dotn xiff $EXP_SKIP no
+two_all dots reqs $EXP_PASS yes
+two_all dots reqn $EXP_SKIP no
+two_all dotn reqs $EXP_SKIP no
+two_all dotn reqn $EXP_SKIP no
+
+two_all doxp xifp $EXP_PASS yes
+two_all doxp xiff $EXP_PASS yes # dg-xfail-if applies to compile, not run
+two_all doxp sifs $EXP_PASS yes
+two_all doxp sifn $EXP_SKIP no
+two_all doxf xifp $EXP_XPASS yes
+two_all doxf xiff $EXP_XPASS yes
+two_all doxf sifs $EXP_XPASS yes
+two_all doxf sifn $EXP_SKIP no
+
+two_all doxp reqs $EXP_PASS yes
+two_all doxp reqn $EXP_SKIP no
+two_all doxf reqs $EXP_XPASS yes
+two_all doxf reqn $EXP_SKIP no
+
+two_all reqs xifp $EXP_PASS yes
+two_all reqs xiff $EXP_XPASS yes
+two_all reqs sifs $EXP_PASS yes
+two_all reqs sifn $EXP_SKIP no
+two_all reqn xifp $EXP_SKIP no
+two_all reqn xiff $EXP_SKIP no
+two_all reqn sifs $EXP_SKIP no
+two_all reqn sifn $EXP_SKIP no
+
+two_all xifp reqs $EXP_PASS yes
+two_all xiff reqs $EXP_XPASS yes
+two_all sifs reqs $EXP_PASS yes
+two_all sifn reqs $EXP_SKIP no
+two_all xifp reqn $EXP_SKIP no
+two_all xiff reqn $EXP_SKIP no
+two_all sifs reqn $EXP_SKIP no
+two_all sifn reqn $EXP_SKIP no
+
+three_all dots reqs xifp $EXP_PASS yes
+three_all dots reqs xiff $EXP_XPASS yes
+three_all dots reqs sifs $EXP_PASS yes
+three_all dots reqs sifn $EXP_SKIP no
+three_all dots reqn xifp $EXP_SKIP no
+three_all dots reqn xiff $EXP_SKIP no
+three_all dots reqn sifs $EXP_SKIP no
+three_all dots reqn sifn $EXP_SKIP no
+three_all dotn reqs xifp $EXP_SKIP no
+three_all dotn reqs xiff $EXP_SKIP no
+three_all dotn reqs sifs $EXP_SKIP no
+three_all dotn reqs sifn $EXP_SKIP no
+three_all dotn reqn xifp $EXP_SKIP no
+three_all dotn reqn xiff $EXP_SKIP no
+three_all dotn reqn sifs $EXP_SKIP no
+three_all dotn reqn sifn $EXP_SKIP no
+#
+three_all dots xifp reqs $EXP_PASS yes
+three_all dots xiff reqs $EXP_XPASS yes
+three_all dots sifs reqs $EXP_PASS yes
+three_all dots sifn reqs $EXP_SKIP no
+three_all dots xifp reqn $EXP_SKIP no
+three_all dots xiff reqn $EXP_SKIP no
+three_all dots sifs reqn $EXP_SKIP no
+three_all dots sifn reqn $EXP_SKIP no
+three_all dotn xifp reqs $EXP_SKIP no
+three_all dotn xiff reqs $EXP_SKIP no
+three_all dotn sifs reqs $EXP_SKIP no
+three_all dotn sifn reqs $EXP_SKIP no
+three_all dotn xifp reqn $EXP_SKIP no
+three_all dotn xiff reqn $EXP_SKIP no
+three_all dotn sifs reqn $EXP_SKIP no
+three_all dotn sifn reqn $EXP_SKIP no
+
+three_all doxp reqs xifp $EXP_PASS yes
+three_all doxp reqs xiff $EXP_PASS yes # dg-xfail-if applies to compile, not run
+three_all doxp reqs sifs $EXP_PASS yes
+three_all doxp reqs sifn $EXP_SKIP no
+three_all doxp reqn xifp $EXP_SKIP no
+three_all doxp reqn xiff $EXP_SKIP no
+three_all doxp reqn sifs $EXP_SKIP no
+three_all doxp reqn sifn $EXP_SKIP no
+three_all doxf reqs xifp $EXP_XPASS yes
+three_all doxf reqs xiff $EXP_XPASS yes
+three_all doxf reqs sifs $EXP_XPASS yes
+three_all doxf reqs sifn $EXP_SKIP no
+three_all doxf reqn xifp $EXP_SKIP no
+three_all doxf reqn xiff $EXP_SKIP no
+three_all doxf reqn sifs $EXP_SKIP no
+three_all doxf reqn sifn $EXP_SKIP no
+
+three_all doxp xifp reqs $EXP_PASS yes
+three_all doxp xiff reqs $EXP_PASS yes # dg-xfail-if applies to compile, not run
+three_all doxp sifs reqs $EXP_PASS yes
+three_all doxp sifn reqs $EXP_SKIP no
+three_all doxp xifp reqn $EXP_SKIP no
+three_all doxp xiff reqn $EXP_SKIP no
+three_all doxp sifs reqn $EXP_SKIP no
+three_all doxp sifn reqn $EXP_SKIP no
+three_all doxf xifp reqs $EXP_XPASS yes
+three_all doxf xiff reqs $EXP_XPASS yes
+three_all doxf sifs reqs $EXP_XPASS yes
+three_all doxf sifn reqs $EXP_SKIP no
+three_all doxf xifp reqn $EXP_SKIP no
+three_all doxf xiff reqn $EXP_SKIP no
+three_all doxf sifs reqn $EXP_SKIP no
+three_all doxf sifn reqn $EXP_SKIP no
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.awk b/gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.awk
new file mode 100644
index 000000000..7716cc064
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.awk
@@ -0,0 +1,75 @@
+# Process the gcc.sum file for a run through gcc.test-framework.
+# Print result lines that show potential problems. Report the number
+# of passing tests.
+#
+#
+# Copyright (C) 2004-2014 Free Software Foundation, Inc.
+#
+# This file is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3. If not see
+# <http://www.gnu.org/licenses/>.
+
+function pass(msg) {
+ passes++;
+ # printf("pass %s\n", $0);
+ }
+function fail(msg) {
+ fails++;
+ printf("fail %s\n", $0);
+ }
+function ignore(msg) {
+ # printf("ignore %s\n", $0);
+ }
+
+BEGIN { skip = 1; passes = 0; fails = 0; }
+/Running.*test-frame/ { skip = 0; next }
+/gcc Summary/ { skip = 1; next }
+ { if (skip) next }
+/^$/ { next }
+# The post tests are always expected to pass.
+/^PASS.*-2.c/ { ignore(); next }
+# dg-xfail-if applies to the compile step; these should be XPASS for the
+# compile step on dox tests, which are run tests.
+/^XPASS.*dox.*xiff.*-1.c.*\(test for excess errors\)/ { ignore(); next }
+# xfail for scan-assembler-not tests doesn't apply to the compile step.
+/^PASS.*sa.*-1.c.*\(test for excess errors\)/ { ignore(); next }
+# ignore compile step, tests for warnings for output-exists[-not] tests.
+/dg-outexists.*\(test for excess errors)/ { ignore(); next }
+/dg-outexists.*\(test for warnings/ { ignore(); next }
+/dg-outexists.*\(test for errors/ { ignore(); next }
+# ignore compile step for dg-xfail-run-if tests.
+/run-xrif.*\(test for excess errors)/ { ignore(); next }
+# The other dox tests pass the compile step; ignore that message.
+/^PASS.*dox.*\(test for excess errors\)/ { ignore(); next }
+# The sf tests pass the compile step; ignore that message.
+/^PASS.*sf.*\(test for excess errors\)/ { ignore(); next }
+# Ignore passing compile step for scan tests.
+/^PASS.*scan.*\(test for excess errors\)/ { ignore(); next }
+# Ignore lines that begin with comma.
+/^,/ { ignore(); next }
+# For tests of dg-output, ignore successful compilation.
+/^PASS.*dg-output.*\(test for excess errors\)/ { ignore(); next }
+# For tests of dg-output, ignore successful execution.
+/^PASS.*dg-output.*execution test/ { ignore(); next }
+/^PASS/ { if (match ($0, "exp-P")) { pass(); next } }
+/^FAIL/ { if (match ($0, "exp-F")) { pass(); next } }
+/^XPASS/ { if (match ($0, "exp-XP")) { pass(); next } }
+/^XFAIL/ { if (match ($0, "exp-XF")) { pass(); next } }
+/^UNSUPPORTED/ { if (match ($0, "exp-U")) { pass(); next } }
+ { fail() }
+END {
+ printf("\n\t\t=== Test Framework Summary ===\n\n");
+ printf("# of expected passes\t\t%d\n", passes);
+ if (fails != 0)
+ printf("# of unexpected failures\t%d\n", fails);
+ }
diff --git a/gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.exp b/gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.exp
new file mode 100644
index 000000000..7fbfecf37
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gcc.test-framework/test-framework.exp
@@ -0,0 +1,85 @@
+# Copyright (C) 2002-2014 Free Software Foundation, Inc.
+#
+# This file is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GCC; see the file COPYING3. If not see
+# <http://www.gnu.org/licenses/>.
+
+# Based on gcc/testsuite/gcc.dg/dg.exp.
+
+# Don't run these tests unless an environment variable is defined.
+if { ![info exists env(CHECK_TEST_FRAMEWORK)] } {
+ verbose "skipping test framework tests, CHECK_TEST_FRAMEWORK is not defined" 0
+ return
+}
+
+load_lib gcc-dg.exp
+
+proc dg-require-true { args } {
+ verbose "dg-require-true" 2
+}
+
+proc dg-require-false { args } {
+ verbose "dg-require-false" 2
+ upvar dg-do-what dg-do-what
+ set dg-do-what [list [lindex ${dg-do-what} 0] "N" "P"]
+}
+
+proc check_effective_target_yes { args } {
+ return 1
+}
+
+proc check_effective_target_no { args } {
+ return 0
+}
+
+proc check_effective_target_def_nocache { } {
+ return [check_no_compiler_messages_nocache def_nocache object {
+ #ifdef DEFINED
+ int dummy;
+ #else
+ #error DEFINED is not defined
+ #endif
+ } [current_compiler_flags]]
+}
+
+global dg-do-what-default
+set save-dg-do-what-default ${dg-do-what-default}
+set dg-do-what-default compile
+
+dg-init
+
+# Run tests from the source directory.
+dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/dg-*.c]] "" ""
+
+# Skip generated tests unless CHECK_TEST_FRAMEWORK is 1.
+if { $env(CHECK_TEST_FRAMEWORK) != 1 } {
+ verbose "skipping generated test framework tests, CHECK_TEST_FRAMEWORK is not 1" 0
+ return
+}
+
+# Generate additional tests.
+set tstobjdir "$tmpdir/gcc.test-framework"
+set generator "$srcdir/$subdir/gen_directive_tests"
+file delete -force $tstobjdir
+file mkdir $tstobjdir
+set status [remote_exec host "$generator $tstobjdir"]
+set status [lindex $status 0]
+if { $status == 0 } {
+ # Run the generated tests.
+ dg-runtest [lsort [find $tstobjdir *.c]] "" "-DY1 -DY2"
+} else {
+ warning "Could not generate test framework tests"
+}
+
+dg-finish
+set dg-do-what-default ${save-dg-do-what-default}