Re: Ping: GAS/ia64: spurious dv conflict

["H. J. Lu" <hjl at lucon dot org>]

On Tue, Oct 14, 2003 at 06:30:07PM -0700, H. J. Lu wrote:
> On Tue, Oct 14, 2003 at 06:14:54PM -0700, Jim Wilson wrote:
> > On Tue, 2003-10-14 at 17:06, H. J. Lu wrote:
> > > Here is the updated patch. I will compile gcc, glibc and kernel to see
> > > if there are any changes in DV warnings.
> > 
> > The attachment is missing.
> 
> Oops. Here it is. Andrew, please use this one. The last one I sent you
> is incorrect.
> 
> 

Here is another update. We should warn

        .pred.rel "mutex", p1, p2, p3
(p3)    cmp.eq p1, p2 = r1, r2;;
(p1)    mov r4 = 2
(p2)    mov r4 = 4

but not

        .pred.rel "mutex", p1, p2
(p3)    cmp.eq p1, p2 = r1, r2;;
(p1)    mov r4 = 2
(p2)    mov r4 = 4

In this case, cmp destroys and creates the same mutex relation.


H.J.

Attachment: gas-ia64-dv-pred-6.patch
Description: Text document