genmatch.c (expr::gen_transform): For conditions, guess the type from the second...

2015-06-08  Marc Glisse  <marc.glisse@inria.fr>

	* genmatch.c (expr::gen_transform): For conditions, guess the type
	from the second operand.

From-SVN: r224220

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e33780fe9428e7bfb1922476eaa5502a8f323907..e7616d3226e8a99be7366b143bf435cf32d66918 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-06-08  Marc Glisse  <marc.glisse@inria.fr>
+
+       * genmatch.c (expr::gen_transform): For conditions, guess the type
+       from the second operand.
+
 2015-06-08  Tom de Vries  <tom@codesourcery.com>
 
        PR tree-optimization/66442

diff --git a/gcc/genmatch.c b/gcc/genmatch.c
index 9dc3b8cf9521cfddfaae302c22c58df88abc6eb7..f27170381d8e3666e9cf7ac1372c9552928950ea 100644 (file)
--- a/gcc/genmatch.c
+++ b/gcc/genmatch.c
@@ -1709,6 +1709,13 @@ expr::gen_transform (FILE *f, const char *dest, bool gimple, int depth,
       sprintf (optype, "boolean_type_node");
       type = optype;
     }
+  else if (*operation == COND_EXPR
+          || *operation == VEC_COND_EXPR)
+    {
+      /* Conditions are of the same type as their first alternative.  */
+      sprintf (optype, "TREE_TYPE (ops%d[1])", depth);
+      type = optype;
+    }
   else
     {
       /* Other operations are of the same type as their first operand.  */