<div dir="ltr"><div>+Jia, who worked on CFLAA this summer.</div><div><br></div><div>Hi!</div><div><br></div>CFLAA was in its very very early stages at the time of the 3.7 release. Even now, as we're getting ready for 3.9, it's still experimental (though hopefully quite a bit more accurate than it was last year). So, yes, in 3.7 and 3.8, CFLAA was *very* conservative. :)<div><br></div><div>If you'd like numbers on what the current CFL implementations can do, you can find them at writeup.pdf here: <a href="https://github.com/grievejia/GSoC2016" target="_blank">https://github.com/griev<wbr>ejia/GSoC2016</a></div><div><br></div><div>No clue what the status of scev is/was, so I can't talk much about that.</div><div><br></div><div>Thanks,</div><div>George</div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Aug 29, 2016 at 9:36 PM, Vitor Paisante 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><div><div dir="ltr"><div class="gmail_quote"><div><div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>dear LLVMers,</div><div> I am trying to use some of the LLVM alias analyses, and I would like to check two things with you: is scev-aa being maintained in LLVM 3.7? Second question: I run cfl-aa, and I got a very small number of pointer disambiguation (no alias) with it. My results for SPEC CINT 2006 follow below. Is this low number of no alias responses something to be excepted? Below the results that I got for SPEC with cfl-aa:</div><div><br></div><div>TotalQueries | <span style="white-space:pre-wrap"> </span>Name | NoAliasResponses</div><div>31944 | <span style="white-space:pre-wrap"> </span>470.lbm | <span style="white-space:pre-wrap"> </span>0</div><div>49133 | <span style="white-space:pre-wrap"> </span>429.mcf | <span style="white-space:pre-wrap"> </span>42</div><div>95098 | <span style="white-space:pre-wrap"> </span>473.astar | <span style="white-space:pre-wrap"> </span>0</div><div>146301 | <span style="white-space:pre-wrap"> </span>462.libquantum | 5</div><div>428082 | <span style="white-space:pre-wrap"> </span>458.sjeng | <span style="white-space:pre-wrap"> </span>9773</div><div>808471 | <span style="white-space:pre-wrap"> </span>433.milc | <span style="white-space:pre-wrap"> </span>2163</div><div>1787190 | <span style="white-space:pre-wrap"> </span>450.soplex | <span style="white-space:pre-wrap"> </span>72</div><div>2472234 | <span style="white-space:pre-wrap"> </span>401.bzip2 | <span style="white-space:pre-wrap"> </span>229</div><div>2574217 | <span style="white-space:pre-wrap"> </span>456.hmmer | <span style="white-space:pre-wrap"> </span>1833</div><div>3492577 | 445.gobmk | <span style="white-space:pre-wrap"> </span>8480</div><div>3685838 | 444.namd | <span style="white-space:pre-wrap"> </span>616</div><div>12943554 | 471.omnetpp | <span style="white-space:pre-wrap"> </span>422</div><div>20068605 | <span style="white-space:pre-wrap"> </span>464.h264ref | <span style="white-space:pre-wrap"> </span>8593</div><div>23849576 | <span style="white-space:pre-wrap"> </span>400.perlbench | <span style="white-space:pre-wrap"> </span>99316</div><div>37779455 | <span style="white-space:pre-wrap"> </span>447.dealII | <span style="white-space:pre-wrap"> </span>11204</div><div>186008992 | 403.gcc | <span style="white-space:pre-wrap"> </span>404828</div><div><br></div><div> I am finding these results weird because I was expecting a larger number of no-alias responses. For instance, I got only 404,828 responses out of 186,008,992 queries. Has anyone gotten similar, or different results?</div><div><br></div><div>Regards,</div><div>Vitor Mendes Paisante</div></div>
</div><br></div>
</div></div></div><br></div>
</div></div><br>______________________________<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></blockquote></div><br></div></div>