re PR tree-optimization/66233 (internal compiler error: in expand_fix, at optabs...

	PR tree-optimization/66233
	* match.pd (ocvt (icvt@1 @0)): Don't handle vector types.
	Simplify.

	* gcc.c-torture/execute/pr66233.c: New test.

From-SVN: r223500

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 48472bc92b04b3fb410ee78f5188f0535d1e8b3e..a74a7ad8c2cb99bacc4a544741f7baa1b0fc294d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-05-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/66233
+       * match.pd (ocvt (icvt@1 @0)): Don't handle vector types.
+       Simplify.
+
 2015-05-21  Jeff Law  <law@redhat.com>
 
        * config/pa/pa.md (add-with-constant splitter): Use ASHIFT rather

diff --git a/gcc/match.pd b/gcc/match.pd
index ce628531136bc68ed0730cb19e115b9349a3a53c..73ccfbd4b00e7e5054bd9c1ce327c702338f4803 100644 (file)
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -730,16 +730,12 @@ along with GCC; see the file COPYING3.  If not see
       (for integers).  Avoid this if the final type is a pointer since
       then we sometimes need the middle conversion.  Likewise if the
       final type has a precision not equal to the size of its mode.  */
-   (if (((inter_int && inside_int)
-        || (inter_float && inside_float)
-        || (inter_vec && inside_vec))
+   (if (((inter_int && inside_int) || (inter_float && inside_float))
+       && (final_int || final_float)
        && inter_prec >= inside_prec
-       && (inter_float || inter_vec
-           || inter_unsignedp == inside_unsignedp)
-       && ! (final_prec != GET_MODE_PRECISION (element_mode (type))
-             && element_mode (type) == element_mode (inter_type))
-       && ! final_ptr
-       && (! final_vec || inter_prec == inside_prec))
+       && (inter_float || inter_unsignedp == inside_unsignedp)
+       && ! (final_prec != GET_MODE_PRECISION (TYPE_MODE (type))
+             && TYPE_MODE (type) == TYPE_MODE (inter_type)))
     (ocvt @0))
 
    /* If we have a sign-extension of a zero-extended value, we can

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 73a3e569210a523af4e7a9368d8be76a714927f3..e5083f65bf13a8fbff96041afef45cfbdc955c8c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-05-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR tree-optimization/66233
+       * gcc.c-torture/execute/pr66233.c: New test.
+
 2015-05-21  Thomas Koenig  <tkoenig@gcc.gnu.org>
 
        PR fortran/66176

diff --git a/gcc/testsuite/gcc.c-torture/execute/pr66233.c b/gcc/testsuite/gcc.c-torture/execute/pr66233.c
new file mode 100644 (file)
index 0000000..b0d63b6
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr66233.c
@@ -0,0 +1,22 @@
+/* PR tree-optimization/66233 */
+
+unsigned int v[8];
+
+__attribute__((noinline, noclone)) void
+foo (void)
+{
+  int i;
+  for (i = 0; i < 8; i++)
+    v[i] = (float) i;
+}
+
+int
+main ()
+{
+  unsigned int i;
+  foo ();
+  for (i = 0; i < 8; i++)
+    if (v[i] != i)
+      __builtin_abort ();
+  return 0;
+}