This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Set RTX_UNCHANGING is readonly_field_p when clearing
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: geoffk at geoffk dot org
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Mon, 21 Apr 03 18:59:50 EDT
- Subject: Re: Set RTX_UNCHANGING is readonly_field_p when clearing
What you actually want to do is create a separate alias set when you
know where all the stores are. It doesn't matter if there's one, or
one thousand, so long as you ensure that you know where all of them
are and can then say "this other store is not one of the stores that
can change this field and so I know it doesn't conflict with any read
from that field".
What exactly is this alias set, what is it unique to, and what subsetting
relationship does it have with the alias set of the underlying type?