This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: GCC Status Report (2004-03-09)
- From: Eric Botcazou <ebotcazou at libertysurf dot fr>
- To: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 1 Apr 2004 17:29:28 +0200
- Subject: Re: GCC Status Report (2004-03-09)
- References: <10404011515.AA25215@vlsi1.ultra.nyu.edu>
> No, the major problem with clearing is two stores to the same /u data
> and that's what's not valid.
Note that the testcases we have don't show any problem with that.
> The other thing is a different issue, which might be due to somebody
> incorrectly changing the conflict rules.
The testcases we have show problems with writes with /u followed by writes
without /u, and with your scheme I think we would have problems with writes
without /u followed by reads with /u. In both cases, there is no conflict
according to the manual.
--
Eric Botcazou