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: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: ebotcazou at libertysurf dot fr
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 1 Apr 04 11:52:01 EST
- Subject: Re: GCC Status Report (2004-03-09)
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.
The manual's description of /u is ambiguous at best and wrong at worst.
A /u write is supposed to conflict with both /u and non-/u reads. But there's
only supposed to be one /u write per memory location.