From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1075) id 8C0493857815; Sat, 20 Nov 2021 23:40:01 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8C0493857815 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Jan Hubicka To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-5434] Fix ignore_nondeterminism_p in ipa-modref X-Act-Checkin: gcc X-Git-Author: Jan Hubicka X-Git-Refname: refs/heads/master X-Git-Oldrev: a0e99d5bb741d3db74a67d492f47b28217fbf88a X-Git-Newrev: ce2dbf943ac8ffefe048016ac3abfd3b6a4518d4 Message-Id: <20211120234001.8C0493857815@sourceware.org> Date: Sat, 20 Nov 2021 23:40:01 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 20 Nov 2021 23:40:01 -0000 https://gcc.gnu.org/g:ce2dbf943ac8ffefe048016ac3abfd3b6a4518d4 commit r12-5434-gce2dbf943ac8ffefe048016ac3abfd3b6a4518d4 Author: Jan Hubicka Date: Sun Nov 21 00:39:42 2021 +0100 Fix ignore_nondeterminism_p in ipa-modref Improve debug output in ipa-modref and fix ignore_nondeterminism predicate: looping pures and cont are still deterministic. gcc/ChangeLog: 2021-11-21 Jan Hubicka PR ipa/103052 * ipa-modref.c (ignore_nondeterminism_p): Allow looping pure/cont. (merge_call_side_effects): Improve debug output. Diff: --- gcc/ipa-modref.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/gcc/ipa-modref.c b/gcc/ipa-modref.c index 57e2aa5d868..20810c74da5 100644 --- a/gcc/ipa-modref.c +++ b/gcc/ipa-modref.c @@ -923,8 +923,7 @@ record_access_p (tree expr) static bool ignore_nondeterminism_p (tree caller, int flags) { - if ((flags & (ECF_CONST | ECF_PURE)) - && !(flags & ECF_LOOPING_CONST_OR_PURE)) + if (flags & (ECF_CONST | ECF_PURE)) return true; if ((flags & (ECF_NORETURN | ECF_NOTHROW)) == (ECF_NORETURN | ECF_NOTHROW) || (!opt_for_fn (caller, flag_exceptions) && (flags & ECF_NORETURN))) @@ -1016,6 +1015,10 @@ merge_call_side_effects (modref_summary *cur_summary, && !(flags & ECF_LOOPING_CONST_OR_PURE)) return changed; + if (dump_file) + fprintf (dump_file, " - Merging side effects of %s\n", + callee_node->dump_name ()); + if (!(flags & (ECF_CONST | ECF_NOVOPS | ECF_PURE)) || (flags & ECF_LOOPING_CONST_OR_PURE)) { @@ -1061,8 +1064,7 @@ merge_call_side_effects (modref_summary *cur_summary, } if (dump_file) - fprintf (dump_file, " - Merging side effects of %s with parm map:", - callee_node->dump_name ()); + fprintf (dump_file, " Parm map:"); parm_map.safe_grow_cleared (gimple_call_num_args (stmt), true); for (unsigned i = 0; i < gimple_call_num_args (stmt); i++)