From 5126ae0c6eafd2bba09fc60a23cd9c0b292846c4 Mon Sep 17 00:00:00 2001 From: Kugan Vivekanandarajah Date: Sat, 16 Jun 2018 21:39:31 +0000 Subject: re PR middle-end/82479 (missing popcount builtin detection) gcc/ChangeLog: 2018-06-16 Kugan Vivekanandarajah PR middle-end/82479 * ipa-fnsummary.c (will_be_nonconstant_expr_predicate): Handle CALL_EXPR. * tree-scalar-evolution.c (interpret_expr): Likewise. (expression_expensive_p): Likewise. * tree-ssa-loop-ivopts.c (contains_abnormal_ssa_name_p): Likewise. * tree-ssa-loop-niter.c (number_of_iterations_popcount): New. (number_of_iterations_exit_assumptions): Use number_of_iterations_popcount. (ssa_defined_by_minus_one_stmt_p): New. gcc/testsuite/ChangeLog: 2018-06-16 Kugan Vivekanandarajah PR middle-end/82479 * gcc.dg/tree-ssa/popcount.c: New test. * gcc.dg/tree-ssa/popcount2.c: New test. From-SVN: r261682 --- gcc/tree-scalar-evolution.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'gcc/tree-scalar-evolution.c') diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c index fefc9de..4b0ec02 100644 --- a/gcc/tree-scalar-evolution.c +++ b/gcc/tree-scalar-evolution.c @@ -281,6 +281,7 @@ along with GCC; see the file COPYING3. If not see #include "tree-ssa-propagate.h" #include "gimple-fold.h" #include "tree-into-ssa.h" +#include "builtins.h" static tree analyze_scalar_evolution_1 (struct loop *, tree); static tree analyze_scalar_evolution_for_address_of (struct loop *loop, @@ -1984,6 +1985,7 @@ interpret_expr (struct loop *loop, gimple *at_stmt, tree expr) return expr; if (TREE_CODE (expr) == POLYNOMIAL_CHREC + || TREE_CODE (expr) == CALL_EXPR || get_gimple_rhs_class (TREE_CODE (expr)) == GIMPLE_TERNARY_RHS) return chrec_dont_know; @@ -3493,6 +3495,19 @@ expression_expensive_p (tree expr) return true; } + if (code == CALL_EXPR) + { + tree arg; + call_expr_arg_iterator iter; + + if (!is_inexpensive_builtin (get_callee_fndecl (expr))) + return true; + FOR_EACH_CALL_EXPR_ARG (arg, iter, expr) + if (expression_expensive_p (arg)) + return true; + return false; + } + switch (TREE_CODE_CLASS (code)) { case tcc_binary: -- cgit v1.1