search for: dsaa

I can use the interfaces of AliasAnalysis in my pass, but how to specify the underlaying pass of AliasAnalysis is DSAA? Thanks. Xia ______________________________________ ע������30��������䣨 http://mail.sina.com.cn/chooseMode.html �� =================================================================== 15��HPѸ�۱ʼDZ���ǧԪ,����ǧԪ������� (http://ad4.sina.com.cn/wx/ads/hpzhui823.html)

...39;Canonicalize natural loops' on Loop 'bb2'... 0xd9bfa70 Executing Pass 'Loop Invariant Code Motion' on Loop 'bb2'... opt: /home/vadve/wdietz2/llvm27/llvm/projects/poolalloc/lib/DSA/DataStructureAA.cpp:203: virtual llvm::AliasAnalysis::ModRefResult<unnamed>::DSAA::getModRefInfo(llvm::CallSite, llvm::Value*, unsigned int): Assertion `valid && "AA invalidated but then queried?!"' failed. Note that "DSAA" is in fact a module pass, and so the line (marked with stars above) 0xd9f7400 Freeing Pass 'Data Structure Graph B...

...natural loops' on Loop 'bb2'... > 0xd9bfa70 Executing Pass 'Loop Invariant Code Motion' on Loop 'bb2'... > opt: /home/vadve/wdietz2/llvm27/llvm/projects/poolalloc/lib/DSA/DataStructureAA.cpp:203: > virtual llvm::AliasAnalysis::ModRefResult<unnamed>::DSAA::getModRefInfo(llvm::CallSite, > llvm::Value*, unsigned int): Assertion `valid && "AA invalidated but > then queried?!"' failed. > > > Note that "DSAA" is in fact a module pass, and so the line (marked > with stars above) > 0xd9f7400 Freei...

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 LoopPass live across a ModulePass run. Given these constraints, > it's not possible for th...

...e :-) 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 table from StdLibPass.cpp to a new module, StdLibInfo.cpp, so it can be reused elsewhere. * I brought back DSAA, because I need it :-) Most importantly, I revised DSAA to make it is thread-safe. This involved: (a) special-casing pthread_create (see changes in StdLibInfo.cpp and StdLibPass.cpp) (b) adding a thread-escape analysis (c) checking for memory barriers in getModRefInfo(CS, Loc): if CS.getCal...

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 = f...

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>

...hts on this. I'm sure that other users are banging into this wall too.): Requirements: - several conflicting passes before myPass - call runOnFunction in reverse topological order - have DominatorTree, ETForest, LoopInfo and some other analyses available - possibly, I'll need access to DSAA Possible solution: - batch the conflicting transforms - write myPass as a subclass of FunctionPass - write myPass.runOnFunction like: runOnFunction() { if (!calledFromPassManager) { doStuff(); } } - use CallGraph within myPass.runOnModule, set calledFromPassManager=false, call runOnFun...

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

...>> AliasSet[XXXX,1] must alis, Mod Pointers: (sbyte** %a, 4) >> AliasSet[YYYY,1] must alis, Mod Pointers: (sbyte** %b, 4) >> >> I donot know why "a" and "b" are not alias? They donot point to a same memory >> object? But, when I donot use DSAA, that is, "opt -load ../Debug/lib/fps.so -FPS < >> hello.bc > /dev/null", "a" and "b" are alias! > >This is telling you that &a != &b. > >-Chris > >-- >http://nondot.org/sabre/ >http://llvm.org -------------- next part ---...

Thanks guys! I was looking into ModRef before, but I don't think that's exactly what I need. ModRef API call getModRefInfo requires a Value to be passed to it. However, some memory location M (which is a <DSNode, offset> pair) visible to the caller can be modified in the callee without any Value in the caller actually pointing to that location. I also need to capture those... I

Hello, In the poolalloc module, the DSAA::getModRefInfo(CallSite,Value*,unsigned) function in DataStructureAA.cpp uses the top-down graph of the caller, but the the bottom-up graph of the callee to compute the caller-callee node mapping which it uses to answer mod/ref queries. There is a comment in the code that says: "// Get the g...