predicates.md (vector_all_ones_operand): Use CONSTM1_RTX to simplify definition.

gcc/
	* config/i386/predicates.md (vector_all_ones_operand): Use
	CONSTM1_RTX to simplify definition.

From-SVN: r227032

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b327385dc3f25e18d580c59b1a405dbe55e375d8..21ea2f2c351cbba30cfeaa97cccec1d99ee14870 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-08-20  Richard Sandiford  <richard.sandiford@arm.com>
+
+       * config/i386/predicates.md (vector_all_ones_operand): Use
+       CONSTM1_RTX to simplify definition.
+
 2015-08-20  Richard Biener  <rguenther@suse.de>
 
        * toplev.c (compile_file): Remove loop calling late_global_decl

diff --git a/gcc/config/i386/predicates.md b/gcc/config/i386/predicates.md
index a9c8623ada25bf14ed5013f2c6fa57fdee80469b..bc76a5b7ceea5d488dde3e29ae05480d4c28122c 100644 (file)
--- a/gcc/config/i386/predicates.md
+++ b/gcc/config/i386/predicates.md
@@ -912,25 +912,9 @@
 
 /* Return true if operand is a vector constant that is all ones. */
 (define_predicate "vector_all_ones_operand"
-  (match_code "const_vector")
-{
-  int nunits = GET_MODE_NUNITS (mode);
-
-  if (GET_CODE (op) == CONST_VECTOR
-      && CONST_VECTOR_NUNITS (op) == nunits)
-    {
-      int i;
-      for (i = 0; i < nunits; ++i)
-        {
-          rtx x = CONST_VECTOR_ELT (op, i);
-          if (x != constm1_rtx)
-            return false;
-        }
-      return true;
-    }
-
-  return false;
-})
+  (and (match_code "const_vector")
+       (match_test "INTEGRAL_MODE_P (GET_MODE (op))")
+       (match_test "op == CONSTM1_RTX (GET_MODE (op))")))
 
 ; Return true when OP is operand acceptable for standard SSE move.
 (define_predicate "vector_move_operand"