* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
@ 2022-04-05 11:58 ` rguenth at gcc dot gnu.org
2022-04-05 12:19 ` rguenth at gcc dot gnu.org
` (8 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-05 11:58 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
Target Milestone|--- |12.0
Last reconfirmed| |2022-04-05
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Agreed, 'volatile' is documented as
@item volatile
The typical use of extended @code{asm} statements is to manipulate input
values to produce output values. However, your @code{asm} statements may
also produce side effects. If so, you may need to use the @code{volatile}
qualifier to disable certain optimizations. @xref{Volatile}.
so for the side-effects the asms should make the functions non-pure/const.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
2022-04-05 11:58 ` [Bug ipa/105160] " rguenth at gcc dot gnu.org
@ 2022-04-05 12:19 ` rguenth at gcc dot gnu.org
2022-04-05 12:30 ` rguenth at gcc dot gnu.org
` (7 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-05 12:19 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hubicka at gcc dot gnu.org
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
The odd thing is that during IPA propagation (modref_propagate_in_scc), the
summary of sctlr_read is
(gdb) p *cur_summary
$2 = {loads = 0x7ffff665af00, stores = 0x7ffff665af10,
kills = {<vec<modref_access_node, va_heap, vl_ptr>> = {
m_vec = 0x0}, <No data fields>},
arg_flags = {<vec<unsigned short, va_heap, vl_ptr>> = {
m_vec = 0x0}, <No data fields>}, retslot_flags = 0,
static_chain_flags = 0, writes_errno = 0, side_effects = 0,
nondeterministic = 0, calls_interposable = 0, load_accesses = 0,
global_memory_read = 0, global_memory_written = 0, try_dse = 1}
which is because we access the summary of cur->inlined_to (sctlr_rmw) here
but that hasn't been processed. But the non-inlined node doesn't have a
summary.
So somehow we fail to merge the info from the inlined clones?
But even using ->clone_of instead of ->inlined_to doesn't make a difference
(no summary for that node either).
Something is wrong. Honza?
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
2022-04-05 11:58 ` [Bug ipa/105160] " rguenth at gcc dot gnu.org
2022-04-05 12:19 ` rguenth at gcc dot gnu.org
@ 2022-04-05 12:30 ` rguenth at gcc dot gnu.org
2022-04-05 14:54 ` hubicka at gcc dot gnu.org
` (6 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: rguenth at gcc dot gnu.org @ 2022-04-05 12:30 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Hmm, we ignore inlined edges during propagation!?
for (cgraph_edge *callee_edge = cur->callees; callee_edge;
callee_edge = callee_edge->next_callee)
{
int flags = flags_from_decl_or_type (callee_edge->callee->decl);
modref_summary *callee_summary = NULL;
modref_summary_lto *callee_summary_lto = NULL;
struct cgraph_node *callee;
if (!callee_edge->inline_failed
|| ((flags & (ECF_CONST | ECF_NOVOPS))
&& !(flags & ECF_LOOPING_CONST_OR_PURE)))
continue;
but we also ignore calls during local analysis in IPA mode. Where are we
supposed to factor in flags from inline clones? Is the IPA inline pass
supposed to update summaries somehow?
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (2 preceding siblings ...)
2022-04-05 12:30 ` rguenth at gcc dot gnu.org
@ 2022-04-05 14:54 ` hubicka at gcc dot gnu.org
2022-04-05 21:01 ` hubicka at gcc dot gnu.org
` (5 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: hubicka at gcc dot gnu.org @ 2022-04-05 14:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Assignee|unassigned at gcc dot gnu.org |hubicka at gcc dot gnu.org
--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Mine.
The inliner pass is supposed to update the summary so it seems like a bug
there.
I will take a look tonight.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (3 preceding siblings ...)
2022-04-05 14:54 ` hubicka at gcc dot gnu.org
@ 2022-04-05 21:01 ` hubicka at gcc dot gnu.org
2022-04-06 7:08 ` peterz at infradead dot org
` (4 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: hubicka at gcc dot gnu.org @ 2022-04-05 21:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
It is indeed missing logic to merge the side_effect and nondeterministic flag
while updating after inlining. I am testing the following
diff --git a/gcc/ipa-modref.cc b/gcc/ipa-modref.cc
index acfd7d80ff8..556816ab429 100644
--- a/gcc/ipa-modref.cc
+++ b/gcc/ipa-modref.cc
@@ -5281,6 +5281,29 @@ ipa_merge_modref_summary_after_inlining (cgraph_edge
*edge)
if (!ignore_stores)
to_info_lto->stores->collapse ();
}
+ /* Merge side effects and non-determinism.
+ PURE/CONST flags makes functions deterministic and if there is
+ no LOOPING_CONST_OR_PURE they also have no side effects. */
+ if (!(flags & (ECF_CONST | ECF_NOVOPS | ECF_PURE))
+ || (flags & ECF_LOOPING_CONST_OR_PURE))
+ {
+ if (to_info)
+ {
+ if (!callee_info || callee_info->side_effects)
+ to_info->side_effects = true;
+ if ((!callee_info || callee_info->nondeterministic)
+ && !ignore_nondeterminism_p (edge->caller->decl, flags))
+ to_info->nondeterministic = true;
+ }
+ if (to_info_lto)
+ {
+ if (!callee_info_lto || callee_info_lto->side_effects)
+ to_info_lto->side_effects = true;
+ if ((!callee_info_lto || callee_info_lto->nondeterministic)
+ && !ignore_nondeterminism_p (edge->caller->decl, flags))
+ to_info_lto->nondeterministic = true;
+ }
+ }
if (callee_info || callee_info_lto)
{
auto_vec <modref_parm_map, 32> parm_map;
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (4 preceding siblings ...)
2022-04-05 21:01 ` hubicka at gcc dot gnu.org
@ 2022-04-06 7:08 ` peterz at infradead dot org
2022-04-06 7:10 ` peterz at infradead dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: peterz at infradead dot org @ 2022-04-06 7:08 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
peterz at infradead dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |peterz at infradead dot org
--- Comment #6 from peterz at infradead dot org ---
Happy accident; I've been wanting to allow doing something like:
static __always_inline __pure bool arch_static_branch(struct static_key * const
key)
{
asm_volatile_goto("1:"
".byte " __stringify(BYTES_NOP5) "\n\t"
".pushsection __jump_table, \"aw\" \n\t"
_ASM_ALIGN "\n\t"
".long 1b - ., %l[l_yes] - . \n\t"
_ASM_PTR "%c0 - . \n\t"
".popsecion \n\t"
: : "i" (key) : : l_yes);
return false;
l_yes:
return true;
}
Now, since asm-goto is implicitly volatile, and asm volatile (per this thread)
destroys __pure due to side-effects, this doesn't actually work. But I'd like
to still have the explicit pure attribute override this. If the programmer gets
it wrong like this, he/she gets to keep the pieces.
Specifically in this case, he result of the function really only depends on the
@key argument. Any call to this will have the exact same outcome and merging
multiple instances is *good*.
Also see this thread on linux-toolchains:
https://lore.kernel.org/all/YG80wg%2F2iZjXfCDJ@hirez.programming.kicks-ass.net/
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (5 preceding siblings ...)
2022-04-06 7:08 ` peterz at infradead dot org
@ 2022-04-06 7:10 ` peterz at infradead dot org
2022-04-07 14:46 ` jeremy.linton at arm dot com
` (2 subsequent siblings)
9 siblings, 0 replies; 11+ messages in thread
From: peterz at infradead dot org @ 2022-04-06 7:10 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
--- Comment #7 from peterz at infradead dot org ---
(In reply to peterz from comment #6)
> Happy accident; I've been wanting to allow doing something like:
>
> static __always_inline __pure bool arch_static_branch(struct static_key *
> const key)
> {
> asm_volatile_goto("1:"
> ".byte " __stringify(BYTES_NOP5) "\n\t"
> ".pushsection __jump_table, \"aw\" \n\t"
> _ASM_ALIGN "\n\t"
> ".long 1b - ., %l[l_yes] - . \n\t"
> _ASM_PTR "%c0 - . \n\t"
> ".popsecion \n\t"
> : : "i" (key) : : l_yes);
> return false;
> l_yes:
> return true;
> }
>
>
> Now, since asm-goto is implicitly volatile, and asm volatile (per this
> thread) destroys __pure due to side-effects, this doesn't actually work. But
> I'd like to still have the explicit pure attribute override this. If the
> programmer gets it wrong like this, he/she gets to keep the pieces.
>
> Specifically in this case, he result of the function really only depends on
> the @key argument. Any call to this will have the exact same outcome and
> merging multiple instances is *good*.
>
> Also see this thread on linux-toolchains:
>
>
> https://lore.kernel.org/all/YG80wg%2F2iZjXfCDJ@hirez.programming.kicks-ass.
> net/
Possible test case here:
https://lore.kernel.org/all/YIb0vYQMEs9HRjPl@hirez.programming.kicks-ass.net/
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (6 preceding siblings ...)
2022-04-06 7:10 ` peterz at infradead dot org
@ 2022-04-07 14:46 ` jeremy.linton at arm dot com
2022-04-07 14:48 ` jeremy.linton at arm dot com
2022-04-09 19:11 ` hubicka at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: jeremy.linton at arm dot com @ 2022-04-07 14:46 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
jeremy.linton at arm dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jeremy.linton at arm dot com
--- Comment #8 from jeremy.linton at arm dot com ---
(In reply to Jan Hubicka from comment #5)
> It is indeed missing logic to merge the side_effect and nondeterministic
> flag while updating after inlining. I am testing the following
>
I built a fedora gcc12 package with this patch, and then built a 4.17 kernel.
Looking at the genet, it appears to be calling the enable_dma() routine now
from the _open() function. It also boots on the seattle, which was also
experiencing a gcc11/gcc12 related boot failure.
So, at first glance it appears those two failures are corrected when this patch
is applied.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (7 preceding siblings ...)
2022-04-07 14:46 ` jeremy.linton at arm dot com
@ 2022-04-07 14:48 ` jeremy.linton at arm dot com
2022-04-09 19:11 ` hubicka at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: jeremy.linton at arm dot com @ 2022-04-07 14:48 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
--- Comment #9 from jeremy.linton at arm dot com ---
> I built a fedora gcc12 package with this patch, and then built a 4.17
I mistyped that (again), it should be 5.17.
^ permalink raw reply [flat|nested] 11+ messages in thread
* [Bug ipa/105160] [12 regression] ipa modref marks functions with asm volatile as const or pure
2022-04-05 11:50 [Bug ipa/105160] New: [12 regression] ipa modref marks functions with asm volatile as const or pure nsz at gcc dot gnu.org
` (8 preceding siblings ...)
2022-04-07 14:48 ` jeremy.linton at arm dot com
@ 2022-04-09 19:11 ` hubicka at gcc dot gnu.org
9 siblings, 0 replies; 11+ messages in thread
From: hubicka at gcc dot gnu.org @ 2022-04-09 19:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105160
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #10 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Fixed by r:aabb9a261ef060cf24fd626713f1d7d9df81aa57
^ permalink raw reply [flat|nested] 11+ messages in thread