From a7dbc1cbe52e7aea67d75d8ed26a67c18a3780ed Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Mon, 29 Oct 2012 00:59:31 +0100 Subject: [PATCH] ipa-inline-analysis.c (eliminated_by_inlining_prob): Handle &this->field expressions. * ipa-inline-analysis.c (eliminated_by_inlining_prob): Handle &this->field expressions. From-SVN: r192899 --- gcc/ChangeLog | 5 +++++ gcc/ipa-inline-analysis.c | 15 +++++++++++++++ 2 files changed, 20 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e3119c22a52..8f4ca6c7da2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2012-10-28 Jan Hubicka + + * ipa-inline-analysis.c (eliminated_by_inlining_prob): Handle + &this->field expressions. + 2012-10-28 Vladimir Makarov * rtl.h (struct rtx_def): Add a comment for member unchanging. diff --git a/gcc/ipa-inline-analysis.c b/gcc/ipa-inline-analysis.c index 3b56e7ae0a0..a8d16a8c8c6 100644 --- a/gcc/ipa-inline-analysis.c +++ b/gcc/ipa-inline-analysis.c @@ -1567,6 +1567,7 @@ eliminated_by_inlining_prob (gimple stmt) if (gimple_assign_rhs_code (stmt) == CONVERT_EXPR || gimple_assign_rhs_code (stmt) == NOP_EXPR || gimple_assign_rhs_code (stmt) == VIEW_CONVERT_EXPR + || gimple_assign_rhs_code (stmt) == ADDR_EXPR || gimple_assign_rhs_class (stmt) == GIMPLE_SINGLE_RHS) { tree rhs = gimple_assign_rhs1 (stmt); @@ -1584,6 +1585,20 @@ eliminated_by_inlining_prob (gimple stmt) /* Reads of parameter are expected to be free. */ if (unmodified_parm (stmt, inner_rhs)) rhs_free = true; + /* Match expressions of form &this->field. Those will most likely + combine with something upstream after inlining. */ + else if (TREE_CODE (inner_rhs) == ADDR_EXPR) + { + tree op = get_base_address (TREE_OPERAND (inner_rhs, 0)); + if (TREE_CODE (op) == PARM_DECL) + rhs_free = true; + else if (TREE_CODE (op) == MEM_REF) + { + op = get_base_address (TREE_OPERAND (op, 0)); + if (unmodified_parm (stmt, op)) + rhs_free = true; + } + } /* When parameter is not SSA register because its address is taken and it is just copied into one, the statement will be completely