From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark Mitchell To: rth@cygnus.com Cc: gcc@gcc.gnu.org, law@cygnus.com Subject: Re: type based aliasing again Date: Thu, 30 Sep 1999 18:02:00 -0000 Message-ID: <19990908235601W.mitchell@codesourcery.com> References: <19990908231849.A22758@cygnus.com> <19990908234517H.mitchell@codesourcery.com> <19990908234259.A23715@cygnus.com> X-SW-Source: 1999-09n/msg00340.html Message-ID: <19990930180200.hDM3oq4n_u6dtitj8OwW6CI7c6z280o8U_g1evCQopw@z> >>>>> "Richard" == Richard Henderson writes: Richard> On Wed, Sep 08, 1999 at 11:45:17PM -0700, Mark Mitchell Richard> wrote: >> We'll enter (mem:SI (reg:SI 100) 1) in the gcse expression >> tables, we'll see that (mem:SI (reg:SI 100) 2) matches it, and >> reuse the same expression number. >> >> I don't know this code at all, but shouldn't we not think these >> match? Richard> It's been a week or two since I poked at this -- at the Richard> time there was some line of reasoning that led me to Richard> believe that that would simply cause a different sort of Richard> failure. One would hope, naively, that telling GCSE things are *not* the same should be the conservative case. But, I've got no idea what I'm talking about at all, so I should just shut up. -- Mark Mitchell mark@codesourcery.com CodeSourcery, LLC http://www.codesourcery.com