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: Mark Mitchell <mark at codesourcery dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: geoffk at geoffk dot org, gcc-patches at gcc dot gnu dot org
- Date: 21 Apr 2003 14:34:34 -0700
- Subject: Re: Set RTX_UNCHANGING is readonly_field_p when clearing
- References: <10304212122.AA02126@vlsi1.ultra.nyu.edu>
On Mon, 2003-04-21 at 14:22, Richard Kenner wrote:
> Can you document what the compiler currently does? I'm not asking for
> a redesign, I just want the docs to match the code. If that means
> that instead of one paragraph we need 10 then that's OK.
>
> The position I take is that the flag, as documented, is the correct
> specification. Any deviation from that specification is a bug. It's
> just that we don't know how to find and fix those bugs.
You stated a rule, involving distinctions between loads and stores. If
that's presently the rule, update the docs to say so. If that won't
always be the rule say "this might change if we fix some bugs."
If that's not presently the rule, then revert your patch; that rule was
the justification you used for your check-in.
Docs that describe some ideal compiler are not useful; we want the ones
for this compiler we actually have. If nobody has any plans to fix
whatever problem it is you allege exists, then the "buggy" behavior is
actually the current mandated behavior, and it should be documented.
--
Mark Mitchell
CodeSourcery, LLC
mark at codesourcery dot com