[llvm-dev] Andresen Algorithm

[Alexandre Isoard via llvm-dev]

Usually you need to add the -analyze option, to dump the analysis results.

On Wed, May 16, 2018 at 9:09 PM, Kenneth Adam Miller via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Actually I figured out that it is:
>
> opt -cfl-anders-aa *.ll
>
> But now I noticed that I need the graph that it computes, and it doesn't
> seem to emit that.
>
> On Wed, May 16, 2018 at 5:19 PM, Kenneth Adam Miller <
> kennethadammiller at gmail.com> wrote:
>
>> Is there a particular way to run a specific alias analysis that is
>> already implemented on a .ll file produced by clang -S -emit-llvm?
>>
>> On Mon, May 14, 2018 at 7:36 PM, Soham Sinha via llvm-dev <
>> llvm-dev at lists.llvm.org> wrote:
>>
>>> Date: Mon, 14 May 2018 14:26:13 -0400
>>>> From: Kenneth Adam Miller via llvm-dev <llvm-dev at lists.llvm.org>
>>>> To: llvm-dev <llvm-dev at lists.llvm.org>
>>>> Subject: [llvm-dev] Andresen Algorithm
>>>> Message-ID:
>>>>         <CAK7rcp_yXA79UuLvcD6LPMQBvi9tTpOGAcuWZUx1tFKTyvuh2Q at mail.gm
>>>> ail.com>
>>>> Content-Type: text/plain; charset="utf-8"
>>>>
>>>> Hello all,
>>>>
>>>>
>>>> I'm looking for something simple - does anybody know if there is an
>>>> implementation of Andresen's algorithm anywhere in LLVM?
>>>>
>>>
>>> Apart from the Andersen's analysis in lib/Analysis/CFLAndersAliasAnalysis.cpp,
>>> we also implemented a primitive Shapiro-Horowitz alias analysis here:
>>> https://github.com/sohamm17/ShapiroHorwitz/ . We didn't have much
>>> documentation. The report is here: http://cs-people.bu.edu/
>>> soham1/docs/680_Final_Report.pdf
>>>
>>> _______________________________________________
>>> LLVM Developers mailing list
>>> llvm-dev at lists.llvm.org
>>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>>>
>>>
>>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
>


-- 
*Alexandre Isoard*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180516/02d9d3b3/attachment.html>