<div dir="ltr">Usually you need to add the -analyze option, to dump the analysis results.</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 16, 2018 at 9:09 PM, Kenneth Adam Miller via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Actually I figured out that it is:<br><br>opt -cfl-anders-aa *.ll <br><br>But now I noticed that I need the graph that it computes, and it doesn't seem to emit that.</div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 16, 2018 at 5:19 PM, Kenneth Adam Miller <span dir="ltr"><<a href="mailto:kennethadammiller@gmail.com" target="_blank">kennethadammiller@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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?</div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="m_-7143233534761745141h5">On Mon, May 14, 2018 at 7:36 PM, Soham Sinha via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="m_-7143233534761745141h5"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Date: Mon, 14 May 2018 14:26:13 -0400<br>
From: Kenneth Adam Miller via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>><br>
To: llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>><br>
Subject: [llvm-dev] <span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:small;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;float:none;display:inline">Andresen Algorithm</span><br>
Message-ID:<br>
        <<a href="mailto:CAK7rcp_yXA79UuLvcD6LPMQBvi9tTpOGAcuWZUx1tFKTyvuh2Q@mail.gmail.com" target="_blank">CAK7rcp_yXA79UuLvcD6LPMQBvi9t<wbr>TpOGAcuWZUx1tFKTyvuh2Q@mail.gm<wbr>ail.com</a>><br>
Content-Type: text/plain; charset="utf-8"<span><br>
<br>
Hello all,<br>
<br>
<br>
I'm looking for something simple - does anybody know if there is an<br>
implementation of Andresen's algorithm anywhere in LLVM?<br></span></blockquote><div><br></div><div>Apart from the Andersen's analysis in lib/Analysis/CFLAndersAlias<wbr>Analysis.cpp, we also implemented a primitive Shapiro-Horowitz alias analysis here: <a href="https://github.com/sohamm17/ShapiroHorwitz/" target="_blank">https://github.com/soham<wbr>m17/ShapiroHorwitz/</a> . We didn't have much documentation. The report is here: <a href="http://cs-people.bu.edu/soham1/docs/680_Final_Report.pdf" target="_blank">http://cs-people.bu.edu/<wbr>soham1/docs/680_Final_Report.p<wbr>df</a></div></div></div></div>
<br></div></div><span>______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
<br></span></blockquote></div><br></div>
</blockquote></div><br></div>
</div></div><br>______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/<wbr>mailman/listinfo/llvm-dev</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><b>Alexandre Isoard</b><br></div></div>
</div>