* [PATCH] Add testcases that got lost when tree-ssa was merged
@ 2021-07-29 22:16 apinski
2021-07-30 7:05 ` Richard Biener
0 siblings, 1 reply; 2+ messages in thread
From: apinski @ 2021-07-29 22:16 UTC (permalink / raw)
To: gcc-patches; +Cc: Andrew Pinski
From: Andrew Pinski <apinski@marvell.com>
So I was looking at some older PRs (PR 16016 in this case),
I noticed that some of the testcases were removed when
the tree-ssa branch was merged. This adds them back in.
OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
Thanks,
Andrew Pinski
gcc/testsuite/ChangeLog:
PR testsuite/101517
* g++.dg/warn/Wunused-18.C: New test.
* gcc.c-torture/compile/20030405-2.c: New test.
* gcc.c-torture/compile/20040304-2.c: New test.
* gcc.dg/20030612-2.c: New test.
---
gcc/testsuite/g++.dg/warn/Wunused-18.C | 13 +++++
.../gcc.c-torture/compile/20030405-2.c | 58 +++++++++++++++++++
.../gcc.c-torture/compile/20040304-2.c | 45 ++++++++++++++
gcc/testsuite/gcc.dg/20030612-2.c | 20 +++++++
4 files changed, 136 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/warn/Wunused-18.C
create mode 100644 gcc/testsuite/gcc.c-torture/compile/20030405-2.c
create mode 100644 gcc/testsuite/gcc.c-torture/compile/20040304-2.c
create mode 100644 gcc/testsuite/gcc.dg/20030612-2.c
diff --git a/gcc/testsuite/g++.dg/warn/Wunused-18.C b/gcc/testsuite/g++.dg/warn/Wunused-18.C
new file mode 100644
index 00000000000..06d1a0516bc
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wunused-18.C
@@ -0,0 +1,13 @@
+// PR c++/14199
+// { dg-options "-W -Wall -Wunused" }
+
+struct X {
+ static void foo ();
+};
+
+template <typename T>
+void foo (const T &t) {
+ t.foo();
+}
+
+template void foo (const X &);
diff --git a/gcc/testsuite/gcc.c-torture/compile/20030405-2.c b/gcc/testsuite/gcc.c-torture/compile/20030405-2.c
new file mode 100644
index 00000000000..2e61f1fa3ff
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/20030405-2.c
@@ -0,0 +1,58 @@
+/* PR optimization/10024 */
+extern int *allegro_errno;
+typedef long fixed;
+extern inline int
+fixfloor (fixed x)
+{
+ if (x >= 0)
+ return (x >> 16);
+ else
+ return ~((~x) >> 16);
+}
+extern inline int
+fixtoi (fixed x)
+{
+ return fixfloor (x) + ((x & 0x8000) >> 15);
+}
+extern inline fixed
+ftofix (double x)
+{
+ if (x > 32767.0)
+ {
+ *allegro_errno = 34;
+ return 0x7FFFFFFF;
+ }
+ if (x < -32767.0)
+ {
+ *allegro_errno = 34;
+ return -0x7FFFFFFF;
+ }
+ return (long) (x * 65536.0 + (x < 0 ? -0.5 : 0.5));
+}
+extern inline double
+fixtof (fixed x)
+{
+ return (double) x / 65536.0;
+}
+extern inline fixed
+fixdiv (fixed x, fixed y)
+{
+ if (y == 0)
+ {
+ *allegro_errno = 34;
+ return (x < 0) ? -0x7FFFFFFF : 0x7FFFFFFF;
+ }
+ else
+ return ftofix (fixtof (x) / fixtof (y));
+}
+extern inline fixed
+itofix (int x)
+{
+ return x << 16;
+}
+
+int
+foo (int n)
+{
+ return fixtoi (fixdiv (itofix (512), itofix (n)));
+}
diff --git a/gcc/testsuite/gcc.c-torture/compile/20040304-2.c b/gcc/testsuite/gcc.c-torture/compile/20040304-2.c
new file mode 100644
index 00000000000..146d42f23d6
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/20040304-2.c
@@ -0,0 +1,45 @@
+/* PR optimization/14235 */
+/* Origin: <senor_fjord@yahoo.com> */
+
+typedef signed char int8_t;
+typedef short int16_t;
+typedef int int32_t;
+typedef unsigned long long uint64_t;
+
+static const uint64_t LOW_BYTE_MASK = 0x00000000000000ffULL;
+static const uint64_t HIGH_BYTE_MASK = 0x000000000000ff00ULL;
+static const uint64_t WORD_MASK = 0x000000000000ffffULL;
+static const uint64_t DWORD_MASK = 0x00000000ffffffffULL;
+
+extern uint64_t *srca_mask;
+extern int *assert_thrown;
+
+void foo()
+{
+ uint64_t tempA = 0; /* actually a bunch of code to set A */
+ uint64_t tempB = 0; /* actually a bunch of code to set B */
+
+ /* cast A to right size */
+ tempA = (((*srca_mask == LOW_BYTE_MASK) ||
+ (*srca_mask == HIGH_BYTE_MASK)) ?
+ ((int8_t)tempA) :
+ ((*srca_mask == WORD_MASK) ?
+ ((int16_t)tempA) :
+ ((*srca_mask == DWORD_MASK) ?
+ ((int32_t)tempA) :
+ tempA)));
+
+ /* cast B to right size */
+ tempB = (((*srca_mask == LOW_BYTE_MASK) ||
+ (*srca_mask == HIGH_BYTE_MASK)) ?
+ ((int8_t)tempB) :
+ ((*srca_mask == WORD_MASK) ?
+ ((int16_t)tempB) :
+ ((*srca_mask == DWORD_MASK) ?
+ ((int32_t)tempB) :
+ tempB)));
+
+ if ((int) tempA > (int) tempB) {
+ *assert_thrown = 1;
+ }
+}
diff --git a/gcc/testsuite/gcc.dg/20030612-2.c b/gcc/testsuite/gcc.dg/20030612-2.c
new file mode 100644
index 00000000000..f9f212caba1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20030612-2.c
@@ -0,0 +1,20 @@
+/* Derived from PR middle-end/168. */
+
+/* { dg-do compile } */
+/* { dg-options "-W" } */
+
+extern void foo ();
+
+unsigned char uc;
+unsigned short int usi;
+unsigned int ui;
+
+
+void bar()
+{
+ if (uc + usi >= ui) /* { dg-bogus "between signed and unsigned" } */
+ foo ();
+ if (uc * usi >= ui) /* { dg-bogus "between signed and unsigned" } */
+ foo ();
+}
+
--
2.27.0
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] Add testcases that got lost when tree-ssa was merged
2021-07-29 22:16 [PATCH] Add testcases that got lost when tree-ssa was merged apinski
@ 2021-07-30 7:05 ` Richard Biener
0 siblings, 0 replies; 2+ messages in thread
From: Richard Biener @ 2021-07-30 7:05 UTC (permalink / raw)
To: Andrew Pinski; +Cc: GCC Patches
On Fri, Jul 30, 2021 at 12:17 AM apinski--- via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
>
> From: Andrew Pinski <apinski@marvell.com>
>
> So I was looking at some older PRs (PR 16016 in this case),
> I noticed that some of the testcases were removed when
> the tree-ssa branch was merged. This adds them back in.
>
> OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
OK.
> Thanks,
> Andrew Pinski
>
> gcc/testsuite/ChangeLog:
>
> PR testsuite/101517
> * g++.dg/warn/Wunused-18.C: New test.
> * gcc.c-torture/compile/20030405-2.c: New test.
> * gcc.c-torture/compile/20040304-2.c: New test.
> * gcc.dg/20030612-2.c: New test.
> ---
> gcc/testsuite/g++.dg/warn/Wunused-18.C | 13 +++++
> .../gcc.c-torture/compile/20030405-2.c | 58 +++++++++++++++++++
> .../gcc.c-torture/compile/20040304-2.c | 45 ++++++++++++++
> gcc/testsuite/gcc.dg/20030612-2.c | 20 +++++++
> 4 files changed, 136 insertions(+)
> create mode 100644 gcc/testsuite/g++.dg/warn/Wunused-18.C
> create mode 100644 gcc/testsuite/gcc.c-torture/compile/20030405-2.c
> create mode 100644 gcc/testsuite/gcc.c-torture/compile/20040304-2.c
> create mode 100644 gcc/testsuite/gcc.dg/20030612-2.c
>
> diff --git a/gcc/testsuite/g++.dg/warn/Wunused-18.C b/gcc/testsuite/g++.dg/warn/Wunused-18.C
> new file mode 100644
> index 00000000000..06d1a0516bc
> --- /dev/null
> +++ b/gcc/testsuite/g++.dg/warn/Wunused-18.C
> @@ -0,0 +1,13 @@
> +// PR c++/14199
> +// { dg-options "-W -Wall -Wunused" }
> +
> +struct X {
> + static void foo ();
> +};
> +
> +template <typename T>
> +void foo (const T &t) {
> + t.foo();
> +}
> +
> +template void foo (const X &);
> diff --git a/gcc/testsuite/gcc.c-torture/compile/20030405-2.c b/gcc/testsuite/gcc.c-torture/compile/20030405-2.c
> new file mode 100644
> index 00000000000..2e61f1fa3ff
> --- /dev/null
> +++ b/gcc/testsuite/gcc.c-torture/compile/20030405-2.c
> @@ -0,0 +1,58 @@
> +/* PR optimization/10024 */
> +extern int *allegro_errno;
> +typedef long fixed;
> +extern inline int
> +fixfloor (fixed x)
> +{
> + if (x >= 0)
> + return (x >> 16);
> + else
> + return ~((~x) >> 16);
> +}
> +extern inline int
> +fixtoi (fixed x)
> +{
> + return fixfloor (x) + ((x & 0x8000) >> 15);
> +}
> +extern inline fixed
> +ftofix (double x)
> +{
> + if (x > 32767.0)
> + {
> + *allegro_errno = 34;
> + return 0x7FFFFFFF;
> + }
> + if (x < -32767.0)
> + {
> + *allegro_errno = 34;
> + return -0x7FFFFFFF;
> + }
> + return (long) (x * 65536.0 + (x < 0 ? -0.5 : 0.5));
> +}
> +extern inline double
> +fixtof (fixed x)
> +{
> + return (double) x / 65536.0;
> +}
> +extern inline fixed
> +fixdiv (fixed x, fixed y)
> +{
> + if (y == 0)
> + {
> + *allegro_errno = 34;
> + return (x < 0) ? -0x7FFFFFFF : 0x7FFFFFFF;
> + }
> + else
> + return ftofix (fixtof (x) / fixtof (y));
> +}
> +extern inline fixed
> +itofix (int x)
> +{
> + return x << 16;
> +}
> +
> +int
> +foo (int n)
> +{
> + return fixtoi (fixdiv (itofix (512), itofix (n)));
> +}
> diff --git a/gcc/testsuite/gcc.c-torture/compile/20040304-2.c b/gcc/testsuite/gcc.c-torture/compile/20040304-2.c
> new file mode 100644
> index 00000000000..146d42f23d6
> --- /dev/null
> +++ b/gcc/testsuite/gcc.c-torture/compile/20040304-2.c
> @@ -0,0 +1,45 @@
> +/* PR optimization/14235 */
> +/* Origin: <senor_fjord@yahoo.com> */
> +
> +typedef signed char int8_t;
> +typedef short int16_t;
> +typedef int int32_t;
> +typedef unsigned long long uint64_t;
> +
> +static const uint64_t LOW_BYTE_MASK = 0x00000000000000ffULL;
> +static const uint64_t HIGH_BYTE_MASK = 0x000000000000ff00ULL;
> +static const uint64_t WORD_MASK = 0x000000000000ffffULL;
> +static const uint64_t DWORD_MASK = 0x00000000ffffffffULL;
> +
> +extern uint64_t *srca_mask;
> +extern int *assert_thrown;
> +
> +void foo()
> +{
> + uint64_t tempA = 0; /* actually a bunch of code to set A */
> + uint64_t tempB = 0; /* actually a bunch of code to set B */
> +
> + /* cast A to right size */
> + tempA = (((*srca_mask == LOW_BYTE_MASK) ||
> + (*srca_mask == HIGH_BYTE_MASK)) ?
> + ((int8_t)tempA) :
> + ((*srca_mask == WORD_MASK) ?
> + ((int16_t)tempA) :
> + ((*srca_mask == DWORD_MASK) ?
> + ((int32_t)tempA) :
> + tempA)));
> +
> + /* cast B to right size */
> + tempB = (((*srca_mask == LOW_BYTE_MASK) ||
> + (*srca_mask == HIGH_BYTE_MASK)) ?
> + ((int8_t)tempB) :
> + ((*srca_mask == WORD_MASK) ?
> + ((int16_t)tempB) :
> + ((*srca_mask == DWORD_MASK) ?
> + ((int32_t)tempB) :
> + tempB)));
> +
> + if ((int) tempA > (int) tempB) {
> + *assert_thrown = 1;
> + }
> +}
> diff --git a/gcc/testsuite/gcc.dg/20030612-2.c b/gcc/testsuite/gcc.dg/20030612-2.c
> new file mode 100644
> index 00000000000..f9f212caba1
> --- /dev/null
> +++ b/gcc/testsuite/gcc.dg/20030612-2.c
> @@ -0,0 +1,20 @@
> +/* Derived from PR middle-end/168. */
> +
> +/* { dg-do compile } */
> +/* { dg-options "-W" } */
> +
> +extern void foo ();
> +
> +unsigned char uc;
> +unsigned short int usi;
> +unsigned int ui;
> +
> +
> +void bar()
> +{
> + if (uc + usi >= ui) /* { dg-bogus "between signed and unsigned" } */
> + foo ();
> + if (uc * usi >= ui) /* { dg-bogus "between signed and unsigned" } */
> + foo ();
> +}
> +
> --
> 2.27.0
>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-07-30 7:05 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-07-29 22:16 [PATCH] Add testcases that got lost when tree-ssa was merged apinski
2021-07-30 7:05 ` Richard Biener
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).