]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Add an alternative testcase for PR 70740
authorAndrew Pinski <quic_apinski@quicinc.com>
Tue, 24 Sep 2024 02:17:42 +0000 (19:17 -0700)
committerAndrew Pinski <quic_apinski@quicinc.com>
Wed, 25 Sep 2024 15:17:14 +0000 (08:17 -0700)
While looking into improving phiprop, I noticed that
the current pr70740.c testcase was being optimized almost
all the way before phiprop because the addresses were considered
the same; the arrays were all zero in size.

This adds an alternative testcase which changes the array sizes to be 1
and phiprop can and will act on this testcase now and the fix which was
being tested is actually tested now.

Tested on x86_64-linux-gnu.

PR tree-optimization/70740

gcc/testsuite/ChangeLog:

* gcc.dg/torture/pr70740-1.c: New test.

Signed-off-by: Andrew Pinski <quic_apinski@quicinc.com>
gcc/testsuite/gcc.dg/torture/pr70740-1.c [new file with mode: 0644]

diff --git a/gcc/testsuite/gcc.dg/torture/pr70740-1.c b/gcc/testsuite/gcc.dg/torture/pr70740-1.c
new file mode 100644 (file)
index 0000000..77e6a2d
--- /dev/null
@@ -0,0 +1,41 @@
+/* { dg-do compile } */
+
+/* This is an alternative to the original pr70740.c testcase,
+   arrays are now 1 in size where they were 0 in the other testcase. */
+
+extern int foo (void);
+extern void *memcpy (void *, const void *, __SIZE_TYPE__);
+
+struct
+{
+  char a[6];
+} d;
+struct
+{
+  int a1[1];
+  int a2[1];
+  int a3[1];
+  int a4[1];
+} a, c;
+int b;
+
+int *
+bar ()
+{
+  if (b)
+    return a.a4;
+  return a.a2;
+}
+
+void
+baz ()
+{
+  int *e, *f;
+  if (foo ())
+    e = c.a3;
+  else
+    e = c.a1;
+  memcpy (d.a, e, 6);
+  f = bar ();
+  memcpy (d.a, f, 1);
+}