[Bug middle-end/107115] Wrong codegen from TBAA under stores that change effective type?

pinskia at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Thu Oct 6 19:04:46 GMT 2022


--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Alexander Monakov from comment #8) 
> We need a solution that works for combine too — is it possible to invent a
> representation for a no-op in-place MEM "move" that only changes its alias
> set?

That is the same as my comment here:
> I don't know what is the best way to represent an aliasing set change
> even though the value didn't change on the RTL level.

Clobber might work though I don't know if that is 100% correct as the value
didn't change so maybe a new RTL code for this? But that would require many
changes in the backend ...

More information about the Gcc-bugs mailing list