similar to: [LLVMdev] How do I download the "poolalloc" module ?

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

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

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

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.

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"

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

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

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

Hello, I am trying to build llvm-poolalloc and safecode under current trunk llvm. After building llvm, I cannot build poolalloc. I got following error message: make[1]: Entering directory `/host/llvm/projects/llvm-poolalloc/lib' make[2]: Entering directory `/host/llvm/projects/llvm-poolalloc/lib/DSA' llvm[2]: Compiling AddressTakenAnalysis.cpp for Debug+Asserts build (PIC)

Hi, all I want to use the alias analysises in project poolalloc, but I encounter some problem during installing it. I install poolalloc as follow: 1) cd llvm/projects svn co http://llvm.org/svn/llvm-project/poolalloc/branches/release_32 poolalloc 3) cd LLVM-object-directory make tools-only cd projects/poolalloc make When I carried out "make", I get the next error

Thank you. But now I am using LLVM 2.9, so which version of poolalloc I should use ? -------------------------------------------- Qiuping Yi Institute Of Software Chinese Academy of Sciences On Fri, Jan 30, 2015 at 11:12 PM, John Criswell <jtcriswel at gmail.com> wrote: > Dear Qiuping, > > If you use the release_32 branch of poolalloc, then you need to use LLVM > 3.2. >

I tried to install the SAFECode in LLVM 2.6 following the instruction in Install.html. But when I do the step: # cd projects/poolalloc # make I get the errore below: llvm[2]: Compiling qsort.c for Release build (bytecode) llvm[2]: Compiling strdup.c for Release build (bytecode) llvm[2]: Compiling qsort.c for Release build llvm[2]: Compiling strdup.c for Release build llvm[2]: Compiling qsort.ll

Dear Qiuping, If you use the release_32 branch of poolalloc, then you need to use LLVM 3.2. For directions on compiling poolalloc with LLVM 3.2, please the SAFECode build directions at http://safecode.cs.illinois.edu/docs/Install.html. You can just skip the steps in the directions that compile SAFECode. Regards, John Criswell On 1/30/15 10:05 AM, Qiuping Yi wrote: > Hi, all > > I

I am just not upgrade my LLVM. So I must use some higer LLVM version, right? -------------------------------------------- Qiuping Yi Institute Of Software Chinese Academy of Sciences On Fri, Jan 30, 2015 at 11:21 PM, John Criswell <jtcriswel at gmail.com> wrote: > On 1/30/15 10:17 AM, Qiuping Yi wrote: > > Thank you. But now I am using LLVM 2.9, so which version of poolalloc I

Dear SAFECoders and LLVMers, There is some new work on moving DSA to the new LLVM 2.7 API. I am hoping to do something similar for SAFECode once the code freeze occurs. To keep things running smoothly, there are now release_26 branches for the poolalloc and safecode projects. If you are using SAFECode, Poolalloc, or DSA with LLVM 2.6, you will want to switch to these branches. To get

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.

Hi, John Criswell Thank you very much. I am installing LLVM-3.2, but I encounter the next error when carrying out "make": llvm[3]: Compiling ClangASTNodesEmitter.cpp for Release+Asserts build ClangASTNodesEmitter.cpp: In member function ‘std::pair<llvm::Record*, llvm::Record*><unnamed>::ClangASTNodesEmitter::EmitNode(const std::multimap<llvm::Record*, llvm::Record*,

On 1/30/15 10:17 AM, Qiuping Yi wrote: > Thank you. But now I am using LLVM 2.9, so which version of > poolalloc I should use ? Why are you using LLVM 2.9? That's an old version of LLVM (even by my standards). Is there some other LLVM-based tool that requires that you use LLVM 2.9? Regards, John Criswell > > > -------------------------------------------- > Qiuping Yi

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"