[gcc r13-72] Assume a call is expensive when it mismatches

[gcc r13-72] Assume a call is expensive when it mismatches

[Richard Biener]

https://gcc.gnu.org/g:1cb220498e1f59021dab36c39c5d726e9f070c6a

commit r13-72-g1cb220498e1f59021dab36c39c5d726e9f070c6a
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Apr 13 15:43:01 2022 +0200

    Assume a call is expensive when it mismatches
    
    This makes sure to not consider calls to builtin decls with
    mismatching arguments as inexpensive.
    
    2022-04-13  Richard Biener  <rguenther@suse.de>
    
            * tree-scalar-evolution.cc (expression_expensive_p):
            Never consider mismatched calls as cheap.

Diff:
---
 gcc/tree-scalar-evolution.cc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/gcc/tree-scalar-evolution.cc b/gcc/tree-scalar-evolution.cc
index 44157265ce8..b53d7aaa71d 100644
--- a/gcc/tree-scalar-evolution.cc
+++ b/gcc/tree-scalar-evolution.cc
@@ -3420,12 +3420,15 @@ expression_expensive_p (tree expr, hash_map<tree, uint64_t> &cache,
 		  break;
 	      return true;
 	    }
+	  break;
+
 	default:
+	  if (cfn == CFN_LAST
+	      || !is_inexpensive_builtin (get_callee_fndecl (expr)))
+	    return true;
 	  break;
 	}
 
-      if (!is_inexpensive_builtin (get_callee_fndecl (expr)))
-	return true;
       FOR_EACH_CALL_EXPR_ARG (arg, iter, expr)
 	if (expression_expensive_p (arg, cache, op_cost))
 	  return true;