[llvm-dev] flow-sensitive alias analysis

[Flamedoge via llvm-dev]

> For a given argument of a call instruction in the cfg: Where does the
value of the argument come from at the call site?

GVN may tell you the values. I'm not sure why you would need flow sensitive
alias analysis for this.

-Kevin

On Fri, Mar 10, 2017 at 8:40 AM, Oliver Braunsdorf via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Hi,
>
> I am looking for some flow-sensitive (context-insensitive) alias
> analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch
> to 4.0 soon.)
> As far as I know, none of the built-in analysis (basicAA,
> globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I
> searched and came across these two
>
> 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8)
> 2. http://www.cs.ucsb.edu/~benh/research/downloads.html by Ben Hardekopf
> (for LLVM 2.5)
>
> Are there other implementations which use the AA-Interface?
>
> Giving a little context, I need some functionality in LLVM that answers
> the following question.
> For a given argument of a call instruction in the cfg: Where does the
> value of the argument come from at the call site?
>
> So I guess I need a flow-sensitive alias analysis, right?
> Could someone please guide me a little?
>
>
> Thank you,
>
> Oliver
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170310/329d9edf/attachment.html>