More maybe_fold_reference TLC
authorRichard Biener <rguenther@suse.de>
Tue, 11 May 2021 12:49:07 +0000 (14:49 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 11 May 2021 13:58:57 +0000 (15:58 +0200)
This removes stale users of maybe_fold_reference where IL constraints
make it never do anything.

2021-05-11  Richard Biener  <rguenther@suse.de>

* gimple-fold.c (gimple_fold_call): Do not call
maybe_fold_reference on call arguments or the static chain.
(fold_stmt_1): Do not call maybe_fold_reference on GIMPLE_ASM
inputs.

gcc/gimple-fold.c

index 74ec36e..68717cf 100644 (file)
@@ -5447,19 +5447,6 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace)
   gcall *stmt = as_a <gcall *> (gsi_stmt (*gsi));
   tree callee;
   bool changed = false;
-  unsigned i;
-
-  /* Fold *& in call arguments.  */
-  for (i = 0; i < gimple_call_num_args (stmt); ++i)
-    if (REFERENCE_CLASS_P (gimple_call_arg (stmt, i)))
-      {
-       tree tmp = maybe_fold_reference (gimple_call_arg (stmt, i));
-       if (tmp)
-         {
-           gimple_call_set_arg (stmt, i, tmp);
-           changed = true;
-         }
-      }
 
   /* Check for virtual calls that became direct calls.  */
   callee = gimple_call_fn (stmt);
@@ -5562,15 +5549,6 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace)
          gimple_call_set_chain (stmt, NULL);
          changed = true;
        }
-      else
-       {
-         tree tmp = maybe_fold_reference (gimple_call_chain (stmt));
-         if (tmp)
-           {
-             gimple_call_set_chain (stmt, tmp);
-             changed = true;
-           }
-       }
     }
 
   if (inplace)
@@ -6285,43 +6263,6 @@ fold_stmt_1 (gimple_stmt_iterator *gsi, bool inplace, tree (*valueize) (tree))
       changed |= gimple_fold_call (gsi, inplace);
       break;
 
-    case GIMPLE_ASM:
-      /* Fold *& in asm operands.  */
-      {
-       gasm *asm_stmt = as_a <gasm *> (stmt);
-       size_t noutputs;
-       const char **oconstraints;
-       const char *constraint;
-       bool allows_mem, allows_reg;
-
-       noutputs = gimple_asm_noutputs (asm_stmt);
-       oconstraints = XALLOCAVEC (const char *, noutputs);
-
-       for (i = 0; i < noutputs; ++i)
-         {
-           tree link = gimple_asm_output_op (asm_stmt, i);
-           oconstraints[i]
-             = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (link)));
-         }
-       for (i = 0; i < gimple_asm_ninputs (asm_stmt); ++i)
-         {
-           tree link = gimple_asm_input_op (asm_stmt, i);
-           tree op = TREE_VALUE (link);
-           constraint
-             = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (link)));
-           parse_input_constraint (&constraint, 0, 0, noutputs, 0,
-                                   oconstraints, &allows_mem, &allows_reg);
-           if (REFERENCE_CLASS_P (op)
-               && (allows_reg || !allows_mem)
-               && (op = maybe_fold_reference (op)) != NULL_TREE)
-             {
-               TREE_VALUE (link) = op;
-               changed = true;
-             }
-         }
-      }
-      break;
-
     case GIMPLE_DEBUG:
       if (gimple_debug_bind_p (stmt))
        {