similar to: [LLVMdev] How to use DSAA?

Hi, Chris I get a new PostDominanceFrontier class by combinating the code of PostDominanceSet/PostDominanceTree/PostDominanceFrontier FunctionPasses. It works very well. BTW: Why the PostDominanceFrontier FunctionPasses does not use the formal argument in runOnFunction(Function &)? Does it gets the Function from PassManager? Thank you. Xia >On Thu, 9 Sep 2004, xia_yimin wrote: >

I want to find buffer overflows from general C programs, a bit like SAFECode :). To quicken the dataflow analysis, I wished to slice operands of character strings from C program using pgmdepgraph, but now, I thought I have to use def-use and use-def chain. Do you think it has any sense? Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html ��

I want to use PgmDependenceGraph pass , but my pass cannot work with PgmDependenceGraph. I tried again in Hello2 pass, and it could not work also. The following is I did with llvm/lib/Transforms/Hello.cpp: 1.insert #include "llvm/Analysis/PgmDependenceGraph.h" in Hello.cpp. 2.insert AU.addRequired<PgmDependenceGraph>() in the getAnalysisUsage(AnalysisUsage &AU) of Hello2.

Hi, When I compile httpd-2.0, llvmgcc reports many struct types and macros undeclared, but gnu-gcc can compile httpd-2.0 completely.

Why some library functions (such as strcpy,strncpy,etc.) are extended in .bc file? How to keep the originally forms of these library functions in .bc file? Thanks - Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== HP����̨ʽ����������ִ���Ͽ��ж�

Hi I hope to use the getAliasSetForPointer(Value *p, unsigned size), the method of AliasSetTracker class, but I donot known what meaning is the argument "size". May somebody tell me? Thanks. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� ===================================================================

When analysing a function "fn", my FunctionPass needs some PostDominanceFrontier information of functions which are called by function "fn". getAnalysis<PostDominanceFrontier>() cannot give the information, because it only gives the PostDominanceFrontier information of "fn", not the PostDominanceFrontier information of functions called by "fn".

The llvm I using is llvm-1.2, its cfrontend should be based on gcc-3.4, the system I using is RedHat Linux 9.0, I desire to compile httpd-2.0.51. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== ��ɽ��կ���������������ջ�֮�ã�

Hi Has anybody tell me how to create some new type qualifies in LVM? A type qualify, like "const" in C, is useful for program analysis. I hope that I can set/get the type qualify of any value in a program analysed. Or, if I could add a property to the value class and set/get the property, it is same to add some new type qualifies. So, I simply insert a "int" private

On Mon, 2004-07-121 at 00:51, Reid Spencer wrote: //Xia, //Also, the error that you got in User::~User() looks more like a problem //in your pass than a problem with the members you added to the Value //class. I forgot to "make install" LLVM after "make" LLVM. After doing that, I can set the property which was adding in the Value class. //If you provide a full stack

Hi all, While working on a loadable Alias Analysis module pass, I'm running into the following issue: I'm finding my pass queried for results after it has had 'releaseMemory' called on it and its dependencies, but before runOnModule is called again (on my pass or its deps). As you might expect, this makes my pass rather unhappy (and I think correctly so). This happens with LICM

On Jun 29, 2010, at 9:59 AM, Will Dietz wrote: > Hi all, > > While working on a loadable Alias Analysis module pass, I'm running > into the following issue: > > I'm finding my pass queried for results after it has had > 'releaseMemory' called on it and its dependencies, but before > runOnModule is called again (on my pass or its deps). As you might >

On Tue, Jun 29, 2010 at 1:41 PM, Dan Gohman <gohman at apple.com> wrote: > My best guess is that the problem is that loopsimplify (Canonicalize > natural loops) doesn't preserve DSAA. It preserves AliasAnalysis, but as > docs/AliasAnalysis.html now mentions, this doesn't actually do anything. > And DSAA clobbers loopsimplify, because the pass manager can't > keep a

Hello, I got a strange result when I used alias analysis DSAA, can you tell what is wrong? 1. The following is the primary body of my pass "fps.cpp": AliasAnalysis *AA = &getAnalysis<AliasAnalysis>(); AliasSetTracker AST(*AA); for (Module::iterator fi = M.begin(), fe = M.end(); fi != fe; ++fi ) for (Function::iterator bi = fi->begin(), be = fi->end(); bi

Hello, I have a patch to DSA you may be interested in. I thought I'd post this to llvmdev so it will be archived and googeable in case others need it, even if you decide to not merge this into mainline :-) Here are the highlights: * I refactored StdLibDataStructures::processFunction into processFunction and processCallSite to remove a lot of copy/pasted code. I also moved the libAction

Oh, your meaning is pointers in a aliasset have equal address logically? But I think that two pointers are alias means they point to a same memory object, so if pointers "p" and "q" are alias, it seem as p = q, not &p = &q. Another question is about "forwarding". "AliasSet[XXXX, 0] may alias, Mod/Ref forwarding to YYYY" (XXXX != YYYY) means the

Xia, LLVM doesn't really use type qualifiers the way you're thinking about it. In LLVM parlance, types are neither const nor non-const, they just define the fundamental nature of a value. However, LLVM fully supports Constant Values (see include/llvm/Constant.h) and constant global variables (see include/llvm/GlobalVariable.h). You might want to read up on the LLVM IR a bit here:

HI guys. I'm trying to build the poolalloc on llvm-2.0 but there exist some errors. Can you tell me which version of llvm is known to make the poolalloc build and install successful? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20070710/4ab5e155/attachment.html>

Hi Andrew, > This should really be in the FAQ. But sufice to say if you make > your pass a function pass, you will be fine. > Andrew Thx for you reply. I think I can squeeze everything into a function pass, but I'd like to run this by you, just in the case I mixed-up something: (Chris, I'd also appreciate you wise thoughts on this. I'm sure that other users are banging

Hi I see when LLVM builds the CallGraph SCCs. a function calling through a function pointer is conservatively assumed to call internal and external functions. Therefore, it has an edges pointing to the externalnode2, ie. the externalnode representing outgoing calls from this module. does LLVM have any function pointer analysis capabilities in the mainline ? Thanks, -Trent