search for: mayref

...e. If one analysis removed >> the "May" bit, then it's sure there is a Must alias there. Now, by Must >> alias, I mean all aliases were MustAlias and NoAlias, and no May or >> PartialAlias was found. >> >> > Therefore, we cannot go from MustModRef into MayRef, because MayRef >> implies there’s no write; there’s at most a read. >> >> Exactly, from MustModRef, we should have no reason to go into MayRef. >> Logical & here will give MustRef. This case should be when one analysis >> finds "I'm sure there is a must a...

On Tue, Oct 10, 2017 at 1:05 PM, Hal Finkel <hfinkel at anl.gov> wrote: > > On 10/10/2017 02:49 PM, Alina Sbirlea wrote: > > Sigh >> I should have taken the time to give a better example. >> The must-alias part is irrelevant to an example (it only requires >> read-onlyness) >> >> You said "LICM doesn't move calls, so we'd never really