search for: zhangwen

...and /my/path/to/uclibc/lib, but neither works. Later I rebuild and try to let LD_LIBRARY_PATH point to uclibc/lib, the error remains the same. One thing I should mention is, some error happened during the "make check": llvm[0]: Running test suite make[1]: Entering directory `/home/zhangwen/llvm/klee/test' ( ulimit -t 600 ; ulimit -d 512000 ; \ PATH="/home/zhangwen/llvm/klee/Release/bin:/home/zhangwen/llvm/llvm-2.6/Rele ase/bin:/home/zhangwen/llvm/llvm-2.6/test/Scripts:/home/zhangwen/gcc/gcc-4.2 .1-install/bin:/home/zhangwen/llvm/llvm-gcc4.2-2.6.source-install/bin:/home/...

...9;t handle functions with multiple exits (if someone knows whether it does or not, please let me know). -- John T. > Best, > --Wenbin > > > ----- Original Message ----- > From: "Tobias Grosser" <grosser at fim.uni-passau.de> > To: "Wenbin Zhang" <zhangwen at cse.ohio-state.edu> > Cc: <llvmdev at cs.uiuc.edu> > Sent: Thursday, August 05, 2010 3:07 AM > Subject: Re: [LLVMdev] a problem when using postDominatorTree > > > >> On 08/05/2010 06:46 AM, Wenbin Zhang wrote: >> >>> Hi all, >>> I&...

...ll try the trunk, as well as check my code again. If indeed it's not fixed, I'll try to post a triggering case here. Thanks for the advice~ Best, --Wenbin ----- Original Message ----- From: "Tobias Grosser" <grosser at fim.uni-passau.de> To: "Wenbin Zhang" <zhangwen at cse.ohio-state.edu> Cc: <llvmdev at cs.uiuc.edu> Sent: Thursday, August 05, 2010 3:07 AM Subject: Re: [LLVMdev] a problem when using postDominatorTree > On 08/05/2010 06:46 AM, Wenbin Zhang wrote: >> Hi all, >> I'm using postDominatorTree to do some program analysis...

----- Original Message ----- From: "John Criswell" <criswell at illinois.edu> To: "Wenbin Zhang" <zhangwen at cse.ohio-state.edu> Cc: <llvmdev at cs.uiuc.edu> Sent: Friday, August 27, 2010 5:09 PM Subject: Re: [LLVMdev] how to check whether from basicblock A we can go to basicblock B within the same function? > Wenbin Zhang wrote: >> Dear all, >> Is there a way to check whethe...

On 08/05/2010 06:46 AM, Wenbin Zhang wrote: > Hi all, > I'm using postDominatorTree to do some program analysis. My code works > well for small tests, but when I run it on real applications, the > following error occurs: > /Inorder PostDominator Tree: DFSNumbers invalid: 0 slow queries. > [1] <<exit node>> {0,21} > [2] %bb1 {1,2} > [2] %bb {3,4} > [2]

Hi all, Can we map an IR instruction to the correlated source code? Or, if I want to recognize an assignment statement in the source code, can we quickly find all the related IR instructions according to a 'store'? E.g., i = j +k + m[5] in IR will have some loads and some getelementptrs. Can we define which IRs are related to this assignment? Thanks. Regards, --Wenbin --------------

Hi all, I'm reading the language reference of LLVM here: http://llvm.org/docs/LangRef.html#i_getelementptr In the first example, it shows that the generated IR is supposed to be something like: %reg = getelementptr %ST* %s, i32 1, i32 2, i32 1, i32 5, i32 13 But when I copied the code and compile it myself (using v2.7), I got five getelementptr instructions, which are just like the equivalent

Dear all, Is there a way to check whether we can go from A to B within a function when I'm writing a pass? Thanks. Best, --Wenbin -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100827/8cf26762/attachment.html>

Wenbin Zhang wrote: > Dear all, > Is there a way to check whether we can go from A to B within a > function when I'm writing a pass? I assume you are asking whether control flow can pass from BasicBlock A to BasicBlock B. In that case, yes: all you need to do is look at the terminator instruction of BasicBlock A and see if it can branch to BasicBlock B. There's a new indirect

Wenbin Zhang wrote: > ----- Original Message ----- > From: "John Criswell" <criswell at illinois.edu> > To: "Wenbin Zhang" <zhangwen at cse.ohio-state.edu> > Cc: <llvmdev at cs.uiuc.edu> > Sent: Friday, August 27, 2010 5:09 PM > Subject: Re: [LLVMdev] how to check whether from basicblock A we can go to > basicblock B within the same function? > > > >> Wenbin Zhang wrote: >> >...

Hi All, I'm new to LLVM and trying to do some analysis on the IR. For a instruction, e.g., a BinaryOperator, can I have the reference of an Operator from it? Now I can use getOpcode() or getOpcodeName() to have unsigned int or string. But can I have a Operator or specifically AddOperator as the return value? Thanks. Regards, --Wenbin -------------- next part -------------- An HTML

Hi all, I'm using postDominatorTree to do some program analysis. My code works well for small tests, but when I run it on real applications, the following error occurs: Inorder PostDominator Tree: DFSNumbers invalid: 0 slow queries. [1] <<exit node>> {0,21} [2] %bb1 {1,2} [2] %bb {3,4} [2] %entry {5,6} [2] %bb8 {7,20} [3] %bb7 {8,9} [3] %bb2 {10,11}

Hi all, I tried to have a LoopInfo object in a function pass, add addRequired<LoopInfo> in getAnalysisUsage, and then use getAnalysis<LoopInfo> in runOnFunction(). It worked OK. Now I want to have a module pass to traverse the functions, and similarly I want to have to loop information of the functions. When I did the above in runOnModule, and run the pass, the following error popped

I think this assertion failure may be caused by the getAnalysisUsage(). Mine is like the following: class myclass : public ModulePass{ ... virtual void getAnalysisUsage(AnalysisUsage &AU) const { AU.addRequired<LoopInfo>(); } ... } Is it enough? Thanks! Best, --Wenbin ----- Original Message ----- From: Wenbin Zhang To: John Criswell Cc: llvmdev at

Thanks John, I modify my code to like this: bool XXX::ModulePass(Module &M){ .... LoopInfo &li = getAnalysis<LoopInfo>(fi); .... } Here fi is a Function* pointing to main(). Now when I run the pass, another error shows up: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*, llvm::Function&) [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass