[llvm-dev] Andresen Algorithm

[Kenneth Adam Miller via llvm-dev]

Ok, the command necessary to get past this is:

opt ./example.ll  -disable-basicaa -cfl-anders-aa -aa-eval -disable-output
-print-alias-sets

It was non-intuitive, because I thought turning on cfl-anders-aa would also
enable printing the alias sets automatically. It also helps to add this
flag: -mem2reg

On Thu, May 17, 2018 at 12:18 AM, Kenneth Adam Miller <
kennethadammiller at gmail.com> wrote:

> 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/20180523/e9c4da7d/attachment-0001.html>