similar to: [LLVMdev] poolalloc error: ‘addPeakMemoryMeasurement’ is not a member of ‘llvm::Timer’

Please create a similar branch for Klee; I've been working on porting that to 2.7 as well.<br /> <br /> Best, Erich Ocean<br /> <br /> On Fri, Mar 5, 2010 at 8:43 PM, John Criswell (criswell@uiuc.edu) wrote:<br /> > <br /> > Dear SAFECoders and LLVMers,<br /> > <br /> > There is some new work on moving DSA to the new LLVM 2.7 API.

On Mar 6, 2010, at 7:26 AM, Patrick Sathyanathan wrote: > Hi, > > I'm interested in using the "Data Structure Analysis" that is apparently in the "poolalloc" module according to the documentation on alias analysis in LLVM. I have downloaded and built LLVM 2.6 on MinGW but the sources do not seem to include anything related to pool allocation. I don't think

Bob Wilson wrote: > On Mar 6, 2010, at 7:26 AM, Patrick Sathyanathan wrote: > > >> Hi, >> >> I'm interested in using the "Data Structure Analysis" that is apparently in the "poolalloc" module according to the documentation on alias analysis in LLVM. I have downloaded and built LLVM 2.6 on MinGW but the sources do not seem to include anything

John Criswell wrote: > John Criswell wrote: > >> Dear All, >> >> I have finished updating the DSA and Poolalloc source code so that it >> compiles with the LLVM 2.6 API. If you check out the LLVM 2.6 branch >> (directions are in the llvmdev archives; look for the email by Tanya >> Lattner about the LLVM 2.6 branch), you should be able to build mainline

John Criswell wrote: > Dear All, > > I have finished updating the DSA and Poolalloc source code so that it > compiles with the LLVM 2.6 API. If you check out the LLVM 2.6 branch > (directions are in the llvmdev archives; look for the email by Tanya > Lattner about the LLVM 2.6 branch), you should be able to build mainline > DSA and Pool Allocation against it. > > If you

Hi, I'm interested in using the "Data Structure Analysis" that is apparently in the "poolalloc" module according to the documentation on alias analysis in LLVM. I have downloaded and built LLVM 2.6 on MinGW but the sources do not seem to include anything related to pool allocation. I don't think MinGW includes svn. Is there an download location where I can get the

I suggest you stick to John's release_26 branch of poolalloc for now. 2.7 breaks poolalloc, and dsa is undergoing some changes. Andrew On Tue, Mar 9, 2010 at 11:13 AM, John Criswell <criswell at uiuc.edu> wrote: > Dear Patrick and Antron, > > I've modified the Makefiles in the poolalloc module so that they do not > build shared libraries on MingW or Cygwin.  Patrick, if

Thanks Bob and John for the response. I am having problems building poolalloc with my MinGW and gcc 4.4.0 setup. Running make in the poolalloc directory results in a bunch of "undefined reference to ..." link errors building Release/lib/LLVMDataStructure.dll. I looked at the command line for this link and found that there are no libraries included with "-l..." options even

Tanya Lattner wrote: > There is no 2.3 release of poolalloc. This is a research project at > UIUC and they do not do releases of it. We have not done scheduled releases of the poolalloc source code. In the past, we have merely kept the SVN version updated with LLVM mainline (more or less). If you want to use DSA or poolalloc, I recommend that you update to the upcoming LLVM 2.6 release

Anton Korobeynikov wrote: >> Thanks Bob and John for the response. I am having problems building >> poolalloc with my MinGW and gcc 4.4.0 setup. Running make in the poolalloc >> directory results in a bunch of "undefined reference to ..." link errors >> building Release/lib/LLVMDataStructure.dll. I looked at the command line for >> > Hrm... John, is

Dear Patrick and Antron, I've modified the Makefiles in the poolalloc module so that they do not build shared libraries on MingW or Cygwin. Patrick, if you do an "svn up" you should be able to compile the poolalloc project now. -- John T.

Thanks John, for the update to the Makefiles. I did an "svn update" and am now able to build all the libraries. There were some problems building the poolalloc runtime but I'm not really interested in that. Andrew, thanks for the patch. I am trying to add DSA to opt as you suggested. What should the contents of LinkDSA.h be ? I would appreciate it if you could send me a copy of

The patch below adds dsa and some of poolalloc to opt. It should be simple enough to extend to all of poolalloc by adding more classes to LinkDSA.h. Andrew Index: tools/opt/opt.cpp =================================================================== --- tools/opt/opt.cpp (revision 97995) +++ tools/opt/opt.cpp (working copy) @@ -38,6 +38,12 @@ #include "llvm/LinkAllVMCore.h"

Dear All, I have finished updating the DSA and Poolalloc source code so that it compiles with the LLVM 2.6 API. If you check out the LLVM 2.6 branch (directions are in the llvmdev archives; look for the email by Tanya Lattner about the LLVM 2.6 branch), you should be able to build mainline DSA and Pool Allocation against it. If you have trouble building DSA/Pool Allocation, please email

Thanks John for the super quick checkin. I was a little surprised here. Yesterday/today I spent some time trying to build poolalloc on my mac dev machine. Unfortunately, it failed to build [1]. Looks like the compiler can't find the header files under /usr/include/c++. I also tried to build on my linux box and saw the same problem. giri built successfully. Are you sure poolalloc builds on

Patrick Simmons wrote: > [snip] >> >> >> > Does this mean poolalloc isn't meant to build with the LLVM trunk > anymore? I recently updated both poolalloc and my LLVM checkout to the > latest revision, and poolalloc isn't building (something about "Ostream" > being undefined). Should I switch my checkout to the "release_26"

On 10/11/11 5:05 PM, Jinwook Shin wrote: > Thanks John for the super quick checkin. I was a little surprised here. Creating a new project was easy, and it seemed the easiest way to send the code to you. :) > > Yesterday/today I spent some time trying to build poolalloc on my mac dev > machine. Unfortunately, it failed to build [1]. Can you do a make VERBOSE=1 and send me the

On 10/9/11 12:12 AM, Jinwook Shin wrote: > Thanks John. I appreciate your help and I look forward to obtaining the code. > > A proper LLVM sub-project: No rush on this and please take your time. Thanks. Okay, I've created a new LLVM sub-project called Giri(*). It currently contains only the static backwards slicing pass. I'll add the dynamic slicing code to the project later.

Hi, I'm still using the release_26 version of Poolalloc/DSA with llvm 2.6 for my analyses and am currently trying to switch to llvm 2.7 for several reasons. I tried to use the trunk of the poolalloc svn repository with the llvm 2.7 release which is working fine for most of the programs I ran it on so far but for sqlite it's running into a stack overflow since it is endlessly looping in

Kevin Streit wrote: > Hi, > > I'm still using the release_26 version of Poolalloc/DSA with llvm 2.6 for my analyses and am currently trying to switch to llvm 2.7 for several reasons. I tried to use the trunk of the poolalloc svn repository with the llvm 2.7 release which is working fine for most of the programs I ran it on so far but for sqlite it's running into a stack overflow