re PR tree-optimization/91069 (Miscompare of 453.povray since r272843)

2019-07-03  Richard Biener  <rguenther@suse.de>

	PR middle-end/91069
	* match.pd (vec_perm -> bit_insert): Fix element read from
	first vector.

	* gcc.dg/pr91069.c: New testcase.

From-SVN: r273007

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 63160aa..b3695cf 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2019-07-03  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/91069
+       * match.pd (vec_perm -> bit_insert): Fix element read from
+       first vector.
+
 2019-07-03  Martin Liska  <mliska@suse.cz>
 
        * dbgcnt.def (DEBUG_COUNTER): Add match debug counter.

diff --git a/gcc/match.pd b/gcc/match.pd
index f8e35e9..4a7aa01 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -5520,7 +5520,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
                   first vector we only can insert the first elt from
                   the first vector.  */
                at = 0;
-               if ((ins = fold_read_from_vector (cop0, 0)))
+               if ((ins = fold_read_from_vector (cop0, sel[0])))
                  op0 = op1;
              }
            else

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0214647..95db1ad 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-03  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/91069
+       * gcc.dg/pr91069.c: New testcase.
+
 2019-07-03  Martin Liska  <mliska@suse.cz>
 
        * gcc.dg/tree-prof/val-prof-2.c: Update scanned pattern

diff --git a/gcc/testsuite/gcc.dg/pr91069.c b/gcc/testsuite/gcc.dg/pr91069.c
new file mode 100644 (file)
index 0000000..221da30
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr91069.c
@@ -0,0 +1,20 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu11" } */
+
+typedef double v2df __attribute__((vector_size(16)));
+typedef long v2di __attribute__((vector_size(16)));
+
+void foo (v2df *res, v2df *src)
+{
+  v2df x = *src;
+  *res = __builtin_shuffle ((v2df) { 1.0, 0.0 }, x, (v2di) { 1, 3 });
+}
+
+int main()
+{
+  v2df x = (v2df) { 0.0, 2.0 };
+  foo (&x, &x);
+  if (x[0] != 0.0 || x[1] != 2.0)
+    __builtin_abort ();
+  return 0;
+}