Displaying 20 results from an estimated 5000 matches similar to: "[LLVMdev] Question about DSA analysis"
2013 May 20
0
[LLVMdev] Question about DSA analysis
On 5/19/13 11:46 AM, Jing Zhou wrote:
> Greeting.
>
> I am working on one DSA related project. Got several questions about
> LLVM's DSA analysis:
>
> 1. I looked through the llvm doc, it seems "-ds-aa" option is the one
> I should use.
> (http://llvm.org/docs/AliasAnalysis.html#the-ds-aa-pass). however
> based on the poolalloc's svn history, this
2012 Dec 06
2
[LLVMdev] Status of poolalloc, and in particular DSA
Hi all,
I've been using LLVM in my software analysis projects for quite a few
years now, and several years back I relied on results of DSA analysis
in my SMACK tool for checking C programs.
At some point that part of SMACK got deprecated, but now I would like
to revisit it since it was working quite well.
Therefore, I would like to learn what's the status of the poolalloc
project, and
2012 Dec 08
0
[LLVMdev] Status of poolalloc, and in particular DSA
On 12/6/12 4:47 PM, Zvonimir Rakamaric wrote:
> Hi all,
>
> I've been using LLVM in my software analysis projects for quite a few
> years now, and several years back I relied on results of DSA analysis
> in my SMACK tool for checking C programs.
>
> At some point that part of SMACK got deprecated, but now I would like
> to revisit it since it was working quite well.
2016 Apr 27
2
Building and Invoking DSA or Pool Alloc
Hi ,
This Is 'Suresh M' from AMD compiler team.
1) I obtained the source code of llvm and pool-alloc (relase_32 versions ) using the following commands,
svn co http://llvm.org/svn/llvm-project/llvm/branches/release_32 llvm
cd llvm/projects
svn co http://llvm.org/svn/llvm-project/poolalloc/branches/release_32 poolalloc
2) Was able to build the binaries and libraries
2009 Jun 08
2
[LLVMdev] Pool Allocation and DSA
I don't really have a specific question, but, as I've been looking
through pool allocation and the DS graphs extensively, I wanted to
verify that my understanding of the representations used is correct.
Therefore, I'm summarizing my understanding below (which, if it's
correct, may hopefully be helpful to others). I would appreciate if
someone who understands pool allocation
2010 Apr 28
2
[LLVMdev] Schedule for poolalloc/DSA
Hi all,
is there any plan when poolalloc and DSA will be adapted to compile and run with LLVM 2.7? I'm currently about to start a bigger project using DSA and it would be nice if I could use LLVM 2.7 instead of porting everything I do now from 2.6 to 2.7 later.
Cheers,
Kevin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type:
2010 Apr 28
0
[LLVMdev] Schedule for poolalloc/DSA
Kevin Streit wrote:
> Hi all,
>
> is there any plan when poolalloc and DSA will be adapted to compile and run with LLVM 2.7? I'm currently about to start a bigger project using DSA and it would be nice if I could use LLVM 2.7 instead of porting everything I do now from 2.6 to 2.7 later.
>
Mainline DSA/Poolalloc already compiles with LLVM 2.7. I will probably
create a
2012 Aug 08
2
[LLVMdev] PgmDependenceGraph
Hi All,
I want to build dependence graph for a function for forward slicing.
I found the PgmDependenceGraph.cpp in a very old release of
poolalloc. But it seems to be gone for long.
I'm wondering is there a similar class out there in the current release?
Thanks very much!
David
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
2015 May 15
2
[LLVMdev] DSA / poolalloc: incorrect callgraph for indirect call
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
2015 May 05
2
[LLVMdev] llvm DSA - reproduce the result in PLDI 07 paper
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
2015 Jan 30
2
[LLVMdev] How to install poolalloc?
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
2015 Jan 30
2
[LLVMdev] How to install poolalloc?
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.
>
2002 Nov 21
2
[LLVMdev] get TopDown DSGraph
Dear LLVM,
I was wondering if this is the right way to get TopDown DSGraph?
TDDataStructures &TD = getAnalysis<TDDataStructures>();
F is some function
DSGraph &dsg = TD.getDSGraph(F);
I found out the DSGraph I got using this method is actually bottom up
DSGraph, can you let me know why?
Thanks,
xiaodong
2014 May 04
2
[LLVMdev] indirect calls tracking and control flow graph
Thank you,
I tried to compile it with llvm 3.4 through these commands:
petsas at shinigami:~/software/poolalloc$ ./configure
--with-llvmsrc=/home/petsas/software/llvm
--with-llvmobj=/home/petsas/software/llvm
petsas at shinigami:~/software/poolalloc$ make
but I'm getting get this error:
make[1]: Entering directory `/home/petsas/software/poolalloc/lib'
make[2]: Entering directory
2015 Jan 31
4
[LLVMdev] How to install poolalloc?
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*,
2015 Jan 30
2
[LLVMdev] How to install poolalloc?
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
2013 Mar 04
2
[LLVMdev] Unexpected DSAnalysis behavior
Hi,
during the hunt for a bug causing strange behavior of our automatic parallelization framework,
I found some, at least for me, unexpected behavior of the DataStructureAnalysis in Poolalloc.
Consider the following simplified program:
====================
int ARR[4] = {1, 2, 3, 4};
int a(int pos) {
return ARR[pos];
}
int sum(int op_a, int op_b) {
return a(op_a) + a(op_b);
}
int
2015 Jan 30
0
[LLVMdev] How to install poolalloc?
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
2016 Sep 12
2
scheduler options documentation?
I see that there are several options to influence instruction scheduling,
but there doesn't seem to be a lot of information about what they do, for
example:
-misched-topdown -misched-bottomup
The description in MachineScheduler.cpp says:
"Force top-down list scheduling" and "Force bottom-up list scheduling"
Which isn't too helpful - where might I want to use these?
2010 Mar 09
2
[LLVMdev] Changed: Build errors for poolalloc using MinGW/gcc 4.4.0
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"