search for: isnonescapinglocalobject

...t prevents your allocmemory function from > writing to global state. You have to teach the alias analysis that an > unescaped noalias pointer can't alias the global state allocmemory might > access. Slightly surprised we don't get this today, but oh well. Take a > look at the isNonEscapingLocalObject predicate in BasicAA. Then look at > "getModRefInfo(ImmutableCallSite CS, const MemoryLocation &Loc)". Double > check to make sure this is the one that MDA actually calls. > > I don't think this is the problem. When there is only 2 calls to allocmemory, loads are opt...

I'm trying to fix that bug: https://llvm.org/bugs/show_bug.cgi?id=20049 It turns out this is the kind of optimization that I really need, as when it isn't done, all kind of other optimizations opportunities down the road are not realized as they are not exposed. I have no idea where to start digging for this. I assume there is some kind of interaction between memory dependency and alias

...tion from writing to global state. You have > to teach the alias analysis that an unescaped noalias pointer > can't alias the global state allocmemory might access. > Slightly surprised we don't get this today, but oh well. Take > a look at the isNonEscapingLocalObject predicate in BasicAA. > Then look at "getModRefInfo(ImmutableCallSite CS, const > MemoryLocation &Loc)". Double check to make sure this is the > one that MDA actually calls. > > > I don't think this is the problem. When there is only...