[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?

[Christian Convey]

On Mon, Jun 15, 2015 at 3:29 PM, Daniel Berlin <dberlin at dberlin.org> wrote:

> On Mon, Jun 15, 2015 at 10:33 AM, Christian Convey
> <christian.convey at gmail.com> wrote:
> > On Mon, Jun 15, 2015 at 11:02 AM, Daniel Berlin <dberlin at dberlin.org>
> wrote:
> Which paper are you using?
>

I'm mostly going from Robert Wilson's 1997 phd thesis, although I'm pretty
sure I've seen a lot of the same ideas elsewhere as well.


> IE we propagate the various "unknown/points-to-anything/etc" flags as
>
fast as possible, to the exclusion of discovering other points-to
> sets.
>
> This is because once something points-to anything, it doesn't matter
> what else it points to :)
>

Nice to know that the idea has been vetted in at least one AA
implementation.  Thanks for the info.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150615/c11d3d88/attachment.html>