[llvm-dev] Andresen Algorithm

[Kenneth Adam Miller via llvm-dev]

Got this error:


Printing analysis 'Inclusion-Based CFL Alias Analysis':
Pass::print not implemented for pass: 'Inclusion-Based CFL Alias Analysis'!

On Thu, May 17, 2018 at 12:14 AM, Alexandre Isoard <
alexandre.isoard at gmail.com> wrote:

> 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/20180517/ee2ca1e7/attachment.html>