similar to: [LLVMdev] Pool Allocation Segfaulting with opt

Patrick Alexander Simmons wrote: > Hi, > > I'm trying to run the pool allocation pass through opt, and I'm running > into problems. It segfaults frequently; for example, it does this when > the input is a simple Hello World program: > Can you email me the bitcode file that is causing the problem? > [simmon12 at apoc testcases]$ opt -load >

John Criswell wrote: > You can use the -debug-pass=Arguments option to opt to print out which > DSA passes it is using. > > -- John T. > The argument list was this: -dsa-local -dsa-stdlib -dsa-bu -dsa-eqtd -poolalloc -preverify -domtree -verify So, the last DSA pass done would appear to have been "-dsa-eqtd". Does this mean pool allocation is using TDeq and not BUeq

聪明陈 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

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

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

On Wed, Apr 23, 2008 at 11:59 PM, John Criswell <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 > one file to hold the globals graph). For this reason,

Quoting Chris Lattner <clattner at apple.com>: Dear staff, I am using the ds-aa to pass mysqld. I compile mysqld 4.0.12 statically (compile all libraries statically to the executable) and got the bc file, named it as mysqld.bc3. I use the command to pass: opt -load <poolalloc install dir>/lib/libLLVMDataStructure.so -ds-aa mysqld.bc3 -print-alias-sets -disable-output

Dear all, I am trying to use the DSA-based alias analysis. I want to do something like this: opt -ds-aa -print-alias-sets -disable-output hello.bc I downloaded and installed llvm-gcc 2.3 and added to PATH, then svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm cd llvm/projects svn co http://llvm.org/svn/llvm-project/poolalloc/trunk/ poolalloc and built without enabling optimizations, on

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"

On Thu, Aug 13, 2009 at 12:17 PM, Ioannis Nousias < ioannis.nousias at googlemail.com> wrote: > >> Also, LLVM-TV seems outdated. I've tried to compile it with 2.5 LLVM and > >> got various errors due to API changes. Tried to correct them, but got > >> overwhelmed. Has the project been abandoned? > > > > Yes, it is really really old and abandoned.

On 2009-06-29 11:16, Wenzhi Tao wrote: > Hi, all > > According to the document "LLVM Alias Analysis Infrastructure", I > evaluated the AA performance by using the paramenters '-basicaa -ds-aa > -anders-aa'. The source code 'test.c' is listed as follow: > [...] > The whole process: > > llvm-gcc -emit-llvm -O0 -c test.c -o test.bc > > opt

On Tue, Aug 18, 2009 at 10:45 AM, Misha Brukman <brukman at gmail.com> wrote: > On Thu, Aug 13, 2009 at 12:17 PM, Ioannis Nousias < > ioannis.nousias at googlemail.com> wrote: > >> >> Also, LLVM-TV seems outdated. I've tried to compile it with 2.5 LLVM >> and >> >> got various errors due to API changes. Tried to correct them, but got >>

Hello, I am trying to apply DSA (from the poolalloc project - I'm on LLVM 3.2) on the following C program and found that the generated callgraph over-approximates the callees for the simple indirect call. #include <stdio.h> __attribute__((noinline)) static int f1(int arg1, int arg2) { return arg1 + arg2; } __attribute__((noinline)) static int run_func(int (*fptr)(int, int), int

Hi, all According to the document "LLVM Alias Analysis Infrastructure", I evaluated the AA performance by using the paramenters '-basicaa -ds-aa -anders-aa'. The source code 'test.c' is listed as follow: //------------=== Source code ===------------// #include<stdlib.h> typedef struct { int x; int y; } Location; Location* getNewLocation(int x, int y) {

John Criswell wrote: > 1) I'll try out your example C++ code below and see if I can get the > same results that you do. However, I'm at a conference right now (Usenix > Security), so I don't know exactly when I'll get to it. Excellent. Thanks, John! > 2) DSA can get pessimistic results when dealing with external code (as > Andrew described). It is designed for

On Wed, May 13, 2009 at 1:36 PM, <hc2428 at columbia.edu> wrote: > Quoting Chris Lattner <clattner at apple.com>: > > Dear staff, >     I am using the ds-aa to pass mysqld. I compile mysqld 4.0.12 > statically (compile all libraries statically to the executable) and > got the bc file, named it as mysqld.bc3. >     I use the command to pass: > > opt -load

Quoting hc2428 at columbia.edu: Dear staff, Here is the bc file. Heming > Quoting Chris Lattner <clattner at apple.com>: > > Dear staff, > I am using the ds-aa to pass mysqld. I compile mysqld 4.0.12 > statically (compile all libraries statically to the executable) and > got the bc file, named it as mysqld.bc3. > I use the command to pass: > > opt

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

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