Displaying 3 results from an estimated 3 matches for "astracker".
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 no...
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