diff options
| author | Jan Hubicka <jh@suse.cz> | 2021-11-21 00:39:42 +0100 |
|---|---|---|
| committer | Jan Hubicka <jh@suse.cz> | 2021-11-21 00:39:42 +0100 |
| commit | ce2dbf943ac8ffefe048016ac3abfd3b6a4518d4 (patch) | |
| tree | 24ab0b40f565881d6eb054b2b6435e9c33ae77ea | |
| parent | a0e99d5bb741d3db74a67d492f47b28217fbf88a (diff) | |
| download | gcc-ce2dbf943ac8ffefe048016ac3abfd3b6a4518d4.zip gcc-ce2dbf943ac8ffefe048016ac3abfd3b6a4518d4.tar.gz gcc-ce2dbf943ac8ffefe048016ac3abfd3b6a4518d4.tar.bz2 | |
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 <hubicka@ucw.cz>
PR ipa/103052
* ipa-modref.c (ignore_nondeterminism_p): Allow looping pure/cont.
(merge_call_side_effects): Improve debug output.
| -rw-r--r-- | gcc/ipa-modref.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/ipa-modref.c b/gcc/ipa-modref.c index 57e2aa5..20810c7 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++) |