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 >> >> >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180517/d9e35098/attachment.html>
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>
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>