> > 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_yXA79UuLvcD6LPMQBvi9tTpOGAcuWZ > Ux1tFKTyvuh2Q at mail.gmail.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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180514/90abc3c9/attachment.html>
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. >> gmail.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/20180516/3eac1ab2/attachment-0001.html>
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>