similar to: Building and Invoking DSA or Pool Alloc

Hi, On Linux I observed [root at localhost poolalloc]# find . -name *.a ./Release+Asserts/lib/LLVMDataStructure.a ./Release+Asserts/lib/poolalloc.a ./Release+Asserts/lib/AssistDS.a ./Release+Asserts/lib/libpoolalloc_fl_rt.a ./Release+Asserts/lib/libpoolalloc_rt.a ./Release+Asserts/lib/libpa_pre_rt.a ./Release+Asserts/lib/libcount.a On cygwin I observed kpawar at KPAWAR-LT

Dear all, I'm a new user of LLVM. I'm trying to use DSA alias analysis in LLVM. I compiled llvm 3.0 and poolalloc (checkout from svn). I get the following lib in the ${poolalloc}/Release/lib/ : AssistDS.so libcount.so libpoolalloc_rt.so LLVMDataStructure.so poolalloc.so I tried to load all of them and do analysis by opt -load ${poolalloc}/Release/lib/<lib_name.so> -ds-aa

Hi John, That worked for me. I am using llvm 3.2 only and following http://safecode.cs.illinois.edu/docs/Install.html So for I am able to make inside llvm/projects/poolalloc by doing such cosmetic changes. Now, when I tried to make inside llvm/projects/safecode, I see another error. kpawar at KPAWAR-LT ~/SAFECode/LLVM_SRC/llvm/projects/safecode $ /usr/bin/clang -cc1 -triple

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".

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

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:

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

Hi LLVM dev team: I am now doing an experiment to comparing Steensgaard-style and Andersen-style pointer analysis on LLVM. Since steensgaard pointer analysis is in module "poolalloc", so I installed poolalloc release 2.6 on my machine(intel X86_64 RedHatEnterpriseLinux 5.1, gcc-4.2.4), two directories "include" and "lib" were created after installation but no

Hey, I think I might be having a build problem. I says here [https://agora.cs.illinois.edu/display/llvmgroup/Automatic+Pool+Allocation] to load LLVMDataStructure.so and poolalloc.so when using "opt" to perform pool allocation. However, I don't have poolalloc.so -- only poolalloc.o. Does anyone know why this might be? --Patrick

Hi, LLVM dev team: Thanks for your suggestion, I have done the experiment to compare the two pointer analysis(Andersen and Steensgaard) methods in LLVM, but the result was unexpected. In each test, I compare these two methods using same optimization; There are several tests, each with a different optimization. The benchmark is all the 11 C programs in CINT2000 of SPEC. In all the tests, I found

聪明陈 wrote: > Hi LLVM dev team: > I am now doing an experiment to comparing Steensgaard-style and > Andersen-style pointer analysis on LLVM. Since steensgaard pointer > analysis is in module "poolalloc", so I installed poolalloc release > 2.6 on my machine(intel X86_64 RedHatEnterpriseLinux 5.1, gcc-4.2.4), > two directories "include" and "lib" were

Hi, LLVM dev team: Thanks for your suggestion, I have done the experiment to compare the two pointer analysis(Andersen and Steensgaard) methods in LLVM, but the result was unexpected. In each test, I compare these two methods using same optimization; There are several tests, each with a different optimization. The benchmark is all the 11 C programs in CINT2000 of SPEC. In all the tests, I found

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

> 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 poolalloc a loadable module? If yes, then it won't work

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

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 Sat, 2 Apr 2005, Ricardo wrote: > Hello, > I am trying to run a program optimized with the Pool Allocation, but I am receiving this error: > > ==================== > > *** 4 DYNAMIC POOLS INITIALIZED *** > > *** 4 DYNAMIC POOLS ALLOCATED FROM *** > > MaxHeapSize = 0.062500KB HeapSizeAtExit = 0.062500KB NOTE: only valid if using > Heuristic=AllPools and no

Thanks for the answer I am trying to test the PA with a program very similar to the one used as an example in the paper located here: http://llvm.cs.uiuc.edu/pubs/2003-04-29-DataStructureAnalysisTR.html The program is as follows: ========================== struct list { struct list *Next; }; struct list *makeList (int Num) { struct list *New = malloc ( sizeof ( struct list ) );

Hello, I am trying to run a program optimized with the Pool Allocation, but I am receiving this error: ==================== libpoolalloc.so: undefined symbol: _ZTIN4llvm16EquivClassGraphsE -load request ignored. *** 4 DYNAMIC POOLS INITIALIZED *** *** 4 DYNAMIC POOLS ALLOCATED FROM *** MaxHeapSize = 0.062500KB HeapSizeAtExit = 0.062500KB NOTE: only valid if using Heuristic=AllPools and no