similar to: [LLVMdev] Data Structure Analysis

A following question about how to install "poolalloc". I checked out poolalloc from svn. But I had a problem of installing it. When I tried to run "configure" with options "--with-llvmsrc" and "--with--llvmobj" pointing to where the source of my llvm and objs dir are (/home/usr/Tools/llvm, e.g.), "configure" complained error message

On Aug 22, 2007, at 8:12 PM, Haifeng He wrote: > Hi, all > > I just downloaded the latest version of llvm. I am interested in the > data structure analysis of llvm described in this year PLDI paper, > titled "Making Context-Sensitive Points-to Analysis with Heap Cloning > Practical For The Real World". However, I could not find any source > code that seem to do the

okay. I guess I figured it out. It seems "poolalloc" needs to be put in llvm/projects/ directory. Haifeng On 8/23/07, Haifeng He <hehaifeng2nd at gmail.com> wrote: > A following question about how to install "poolalloc". I checked out > poolalloc from svn. But I had a problem of installing it. When I tried to run > "configure" with options

Hi, I ran into a problem when running DSA on Linux kernel (the Kernel version I used is 2.4.31). The analysis was aborted when it tried to do DSNode::mergeTypeInfo on some data structure in the kernel. I have filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656. My question is what version of Linux kernel LLVM has been tested on successfully? To run DSA analysis, should I use the

Haifeng He wrote: > I updated the latest "poolalloc" code and the problem seems to have been fixed. > However, I am still having problem of running "poolalloc". > > After compilation finished, there are several dynamic libraries > created (libpoolalloc_rt.so, libpoolalloc_fl_rt.so and > LLVMDataStructure.so). I was not sure which one I should use so I just

DSA should be current against head, but poolalloc isn't. I've changed DSA a bit so it may not compile with poolalloc as is. I haven't had time to tackle updating poolalloc (either to head or to the dsa changes). If you want the version from the paper, try checking out llvm 1.8 or 1.9 and a dsa from around then. The dsa as used on the linux kernel and in the OS work is in a branch

I updated the latest "poolalloc" code and the problem seems to have been fixed. However, I am still having problem of running "poolalloc". After compilation finished, there are several dynamic libraries created (libpoolalloc_rt.so, libpoolalloc_fl_rt.so and LLVMDataStructure.so). I was not sure which one I should use so I just tried all of them with "opt -load".

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

Hi! Haifeng He wrote: > okay. I guess I figured it out. It seems "poolalloc" needs to be put > in llvm/projects/ directory. Yes, it will compile then. However, it seems the resulting shared library LLVMDataStructure.so (I haven't checked the others) has some undefined symbols. Trying to load it into the opt tool produces an error: undefined symbol:

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

On 9/13/07, Haifeng He <hehaifeng2nd at gmail.com> wrote: > Hi, > > I ran into a problem when running DSA on Linux kernel (the Kernel > version I used is > 2.4.31). The analysis was aborted when it tried to do > DSNode::mergeTypeInfo on some data structure in the kernel. I have > filed a bug report at http://llvm.org/bugs/show_bug.cgi?id=1656. It is possible there was a

I can say that it does not for me,running x86_64, I have been generating errors for submission by testing on a number of gnu utilities starting with binutils. Patrick On Aug 31, 2007, at 6:11 PM, "Haifeng He" <hehaifeng2nd at gmail.com> wrote: Hi, I am curious about if the current LLVM implementation can handle Linux kernel (or any particular version of Linux kernel). The

On 8/23/07, Wojciech Matyjewicz <wmatyjewicz at fastmail.fm> wrote: > Static ID fields in pass classes seem to be lacking definitions (there > were some changes in LLVM core classes and poolalloc hasn't been yet > fully updated to reflect them). The attached patch fixes this for DSA > classes - LLVMDataStructure.so loads into opt and DSA can be performed. Thanks. I forgot

On Fri, 31 Aug 2007, Patrick Flannery wrote: > I can say that it does not for me,running x86_64, I have been generating > errors for submission by testing on a number of gnu utilities starting > with binutils. If you run into problems, please file bugs. -Chris > On Aug 31, 2007, at 6:11 PM, "Haifeng He" <hehaifeng2nd at gmail.com> wrote: > > Hi, > > I

Tianwei wrote: > On Wed, Apr 23, 2008 at 11:59 PM, John Criswell <criswell at cs.uiuc.edu<mailto:criswell at cs.uiuc.edu>> wrote: > Dear Tianwei, > > You can use the -analyze option to the opt tool to tell the DSA passes > to store their results in files. When you use the -analyze option, the > DSA passes will create a separate file for each function (and possible

I sent this Email to Chris Lattner and he suggested that I send it to this group. >>After reading your PLDI paper, I found the LLVM Alias Analysis >>Infrastructure page. >> >>It says that there is an implementation of Steensgaard's algorithm >>and your DSA algorithm in the >>"optional poolalloc module". I have searched all over the LLVM

On 6/24/11 5:20 AM, Andreas Wilhelm wrote: > > Where can I find some information about MemoryDependenceAnalysis and > DataStructureAnalysis? > It would be interesting which kinds of dependence they're able to find > and which not. I haven't used MemoryDependenceAnalysis myself, but I recommend that you read its doxygen documentation:

Hi, I have a question about memory page tables in Xen. As far as I understood, every modification to page table will go through Xen(hypervisor). Is it so that all page tables are actually allocated in Xen(hypervisor) instead of guest OS(domain)? Also, is it the case that Xen(hypervisor) needs to maintain a page table for each process running in every domain? Thanks Haifeng

HI guys. I'm trying to build the poolalloc on llvm-2.0 but there exist some errors. Can you tell me which version of llvm is known to make the poolalloc build and install successful? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070710/4ab5e155/attachment.html>

I currently have a slightly modified llvm-2.0 source tree (from the release tarball). I checked out poolalloc into the projects directory and attempt to configure it, but I keep getting errors. I would understand if there were problems building it (since it may require a different version of llvm), but it should at least configure. Specifically, I've tried the following commands: >