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

Christian Convey
Mon, 15 Jun 2015 20:46:21 -0000

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>