PR target/54029

[pf3gnuchains/gcc-fork.git] / gcc / tree-ssa.c

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index a011593..08f908f 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -264,7 +264,12 @@ target_for_debug_bind (tree var)
     return NULL_TREE;
 
   if (!is_gimple_reg (var))
-    return NULL_TREE;
+    {
+      if (is_gimple_reg_type (TREE_TYPE (var))
+         && referenced_var_lookup (cfun, DECL_UID (var)) == NULL_TREE)
+       return var;
+      return NULL_TREE;
+    }
 
   return var;
 }
@@ -920,8 +925,6 @@ verify_ssa (bool check_modified_stmt)
 
   gcc_assert (!need_ssa_update_p (cfun));
 
-  verify_gimple_in_cfg (cfun);
-
   timevar_push (TV_TREE_SSA_VERIFY);
 
   /* Keep track of SSA names present in the IL.  */
@@ -933,6 +936,8 @@ verify_ssa (bool check_modified_stmt)
          gimple stmt;
          TREE_VISITED (name) = 0;
 
+         verify_ssa_name (name, !is_gimple_reg (name));
+
          stmt = SSA_NAME_DEF_STMT (name);
          if (!gimple_nop_p (stmt))
            {
@@ -982,9 +987,6 @@ verify_ssa (bool check_modified_stmt)
        {
          gimple stmt = gsi_stmt (gsi);
          use_operand_p use_p;
-         bool has_err;
-         int count;
-         unsigned i;
 
          if (check_modified_stmt && gimple_modified_p (stmt))
            {
@@ -994,89 +996,15 @@ verify_ssa (bool check_modified_stmt)
              goto err;
            }
 
-         if (is_gimple_assign (stmt)
-             && TREE_CODE (gimple_assign_lhs (stmt)) != SSA_NAME)
-           {
-             tree lhs, base_address;
-
-             lhs = gimple_assign_lhs (stmt);
-             base_address = get_base_address (lhs);
-
-             if (base_address
-                 && SSA_VAR_P (base_address)
-                 && !gimple_vdef (stmt)
-                 && optimize > 0)
-               {
-                 error ("statement makes a memory store, but has no VDEFS");
-                 print_gimple_stmt (stderr, stmt, 0, TDF_VOPS);
-                 goto err;
-               }
-           }
-         else if (gimple_debug_bind_p (stmt)
-                  && !gimple_debug_bind_has_value_p (stmt))
-           continue;
-
-         /* Verify the single virtual operand and its constraints.  */
-         has_err = false;
-         if (gimple_vdef (stmt))
-           {
-             if (gimple_vdef_op (stmt) == NULL_DEF_OPERAND_P)
-               {
-                 error ("statement has VDEF operand not in defs list");
-                 has_err = true;
-               }
-             if (!gimple_vuse (stmt))
-               {
-                 error ("statement has VDEF but no VUSE operand");
-                 has_err = true;
-               }
-             else if (SSA_NAME_VAR (gimple_vdef (stmt))
-                      != SSA_NAME_VAR (gimple_vuse (stmt)))
-               {
-                 error ("VDEF and VUSE do not use the same symbol");
-                 has_err = true;
-               }
-             has_err |= verify_ssa_name (gimple_vdef (stmt), true);
-           }
-         if (gimple_vuse (stmt))
+         if (verify_ssa_operands (stmt))
            {
-             if  (gimple_vuse_op (stmt) == NULL_USE_OPERAND_P)
-               {
-                 error ("statement has VUSE operand not in uses list");
-                 has_err = true;
-               }
-             has_err |= verify_ssa_name (gimple_vuse (stmt), true);
-           }
-         if (has_err)
-           {
-             error ("in statement");
-             print_gimple_stmt (stderr, stmt, 0, TDF_VOPS|TDF_MEMSYMS);
+             print_gimple_stmt (stderr, stmt, 0, TDF_VOPS);
              goto err;
            }
 
-         count = 0;
-         FOR_EACH_SSA_TREE_OPERAND (op, stmt, iter, SSA_OP_USE|SSA_OP_DEF)
-           {
-             if (verify_ssa_name (op, false))
-               {
-                 error ("in statement");
-                 print_gimple_stmt (stderr, stmt, 0, TDF_VOPS|TDF_MEMSYMS);
-                 goto err;
-               }
-             count++;
-           }
-
-         for (i = 0; i < gimple_num_ops (stmt); i++)
-           {
-             op = gimple_op (stmt, i);
-             if (op && TREE_CODE (op) == SSA_NAME && --count < 0)
-               {
-                 error ("number of operands and imm-links don%'t agree"
-                        " in statement");
-                 print_gimple_stmt (stderr, stmt, 0, TDF_VOPS|TDF_MEMSYMS);
-                 goto err;
-               }
-           }
+         if (gimple_debug_bind_p (stmt)
+             && !gimple_debug_bind_has_value_p (stmt))
+           continue;
 
          FOR_EACH_SSA_USE_OPERAND (use_p, stmt, iter, SSA_OP_USE|SSA_OP_VUSE)
            {
@@ -1269,16 +1197,6 @@ useless_type_conversion_p (tree outer_type, tree inner_type)
       if (TYPE_ADDR_SPACE (TREE_TYPE (outer_type))
          != TYPE_ADDR_SPACE (TREE_TYPE (inner_type)))
        return false;
-
-      /* Do not lose casts to restrict qualified pointers.  */
-      if ((TYPE_RESTRICT (outer_type)
-          != TYPE_RESTRICT (inner_type))
-         && TYPE_RESTRICT (outer_type))
-       return false;
-
-      /* If the outer type is (void *), the conversion is not necessary.  */
-      if (VOID_TYPE_P (TREE_TYPE (outer_type)))
-       return true;
     }
 
   /* From now on qualifiers on value types do not matter.  */
@@ -1969,6 +1887,8 @@ maybe_optimize_var (tree var, bitmap addresses_taken, bitmap not_reg_needs)
         a non-register.  Otherwise we are confused and forget to
         add virtual operands for it.  */
       && (!is_gimple_reg_type (TREE_TYPE (var))
+         || TREE_CODE (TREE_TYPE (var)) == VECTOR_TYPE
+         || TREE_CODE (TREE_TYPE (var)) == COMPLEX_TYPE
          || !bitmap_bit_p (not_reg_needs, DECL_UID (var))))
     {
       TREE_ADDRESSABLE (var) = 0;
@@ -2122,7 +2042,7 @@ execute_update_addresses_taken (void)
   if (update_vops)
     {
       FOR_EACH_BB (bb)
-       for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
+       for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi);)
          {
            gimple stmt = gsi_stmt (gsi);
 
@@ -2163,6 +2083,18 @@ execute_update_addresses_taken (void)
                if (gimple_assign_lhs (stmt) != lhs)
                  gimple_assign_set_lhs (stmt, lhs);
 
+               /* For var ={v} {CLOBBER}; where var lost
+                  TREE_ADDRESSABLE just remove the stmt.  */
+               if (DECL_P (lhs)
+                   && TREE_CLOBBER_P (rhs)
+                   && symbol_marked_for_renaming (lhs))
+                 {
+                   unlink_stmt_vdef (stmt);
+                   gsi_remove (&gsi, true);
+                   release_defs (stmt);
+                   continue;
+                 }
+
                if (gimple_assign_rhs1 (stmt) != rhs)
                  {
                    gimple_stmt_iterator gsi = gsi_for_stmt (stmt);
@@ -2209,6 +2141,8 @@ execute_update_addresses_taken (void)
            if (gimple_references_memory_p (stmt)
                || is_gimple_debug (stmt))
              update_stmt (stmt);
+
+           gsi_next (&gsi);
          }
 
       /* Update SSA form here, we are called as non-pass as well.  */