search for: astrack

Displaying 3 results from an estimated 3 matches for "astrack".

Did you mean: fastrack
2015 Apr 28
2
[LLVMdev] alias set collapse and LICM
...here A `NoAlias` B and C is a runtime value that cannot be computed at compile-time. Then A `MayAlias` C?A:B and C?A:B `MayAlias` B but A `NoAlias` B. > This means one single variable may be in multiple disjoint alias sets in > reality. Agreed. I did not propose solving the problem within ASTracker for this very reason. > (For example, GEP, PHI will give you different AA results than PHI, GEP in > some cases. That is mostly a FIXME, but there are plenty of cases you can > come up with where info tells you something about one variable and it's > relationship to another, but...
2015 Apr 27
6
[LLVMdev] alias set collapse and LICM
> Can you explain why the alias sets are collapsed into one here? If I'm reading the code correctly, it is because the readonly call aliases all of %a, %b and %c. Since two pointers can be in two different alias sets only if they do not alias, %a has to be in the same alias set as the read only call and so does %b and %c. Therefore, all of them have to be in the same alias set. > Can
2015 Jun 12
4
[LLVMdev] alias set collapse and LICM
On Fri, Jun 12, 2015 at 2:03 PM, Andrew Trick <atrick at apple.com> wrote: > > On Jun 12, 2015, at 1:51 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > > So, you can't have disjoint sets, and have one of set that says "i > access everything". Because it would contain everything :) > > Thus, I assume by your description you meant "we want to