tree-ssa-pre.c (get_or_alloc_expr_for): Simplify.

2017-05-05  Richard Biener  <rguenther@suse.de>

	* tree-ssa-pre.c (get_or_alloc_expr_for): Simplify.

From-SVN: r247634

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0fd02ff7c83ad89804dbbf9f7ba267965f6788cc..7bc32a9cb5a219eacf0a2502449a20f34846de2b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2017-05-05  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-pre.c (get_or_alloc_expr_for): Simplify.
+
 2017-05-05  Georg-Johann Lay  <avr@gjlay.de>
 
        * config/avr/avr.md [flag_strict_overflow]: Remove any occurence

diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index b4095bfdeed1d518f8d1d947b5f0827883b5582e..b01fa8ada48df26045ffd621fcd7213a923b27ca 100644 (file)
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -1173,31 +1173,7 @@ get_or_alloc_expr_for (tree t)
     return get_or_alloc_expr_for_name (t);
   else if (is_gimple_min_invariant (t))
     return get_or_alloc_expr_for_constant (t);
-  else
-    {
-      /* More complex expressions can result from SCCVN expression
-        simplification that inserts values for them.  As they all
-        do not have VOPs the get handled by the nary ops struct.  */
-      vn_nary_op_t result;
-      unsigned int result_id;
-      vn_nary_op_lookup (t, &result);
-      if (result != NULL)
-       {
-         pre_expr e = pre_expr_pool.allocate ();
-         e->kind = NARY;
-         PRE_EXPR_NARY (e) = result;
-         result_id = lookup_expression_id (e);
-         if (result_id != 0)
-           {
-             pre_expr_pool.remove (e);
-             e = expression_for_id (result_id);
-             return e;
-           }
-         alloc_expression_id (e);
-         return e;
-       }
-    }
-  return NULL;
+  gcc_unreachable ();
 }
 
 /* Return the folded version of T if T, when folded, is a gimple