search for: wanzhiyuan

...Thank you! Zhiyuan On Thu, Apr 9, 2015 at 10:19 PM, Xin Tong <trent.tong at gmail.com> wrote: > Hi Zhiyuan > > LLVM has globalsmodref-aa for global variables, TBAA - type based > alias analysis and CFL-AA. > > Xin > > On Tue, Apr 7, 2015 at 9:32 PM, Wan Zhiyuan <wanzhiyuan at gmail.com> wrote: > > Dear all, > > I was wondering if there are some reliable alias analyses build on top of > > LLVM other than basicaa. > > > > Thank you! > > > > Zhiyuan > > > > _______________________________________________ > >...

Dear all, I was wondering if there are some reliable alias analyses build on top of LLVM other than basicaa. Thank you! Zhiyuan -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150407/db07dba3/attachment.html>

Dear all, I am trying to reproduce the "Percent May Alias" result described in PLDI 07's paper "Making Context-Sensitive Points-to Analysis with Heap Cloning Practical For The Real World" (http://llvm.org/pubs/2007-06-10-PLDI-DSA.html ). However, my "Percent May Alias" for all the benchmarks is much greater, especially "bzip2". The DSA code I use is

Dear John, I intend to implement the improvements on DSA. After running DSA on SPEC, I found DSA gives low precision for mcf and bzip2. I have checked the most imprecise c files in mcf an found that the code seems to be a mixture of "PHI" and "GEP" instructions. Could you please give me some hints about what the big picture of the improvement should be and how to start? Thank