search for: samy_442

On Mon, Jul 13, 2009 at 3:28 PM, saman aliari<samy_442 at yahoo.com> wrote: > I am working on a LLVM bitcode based project in which we do static lockset > analysis. I need to get Aliasing information statically given the .bc file > of the application. Is there any library in LLVM which already implements > the aliasing? There's an a...

Dear All, I am working on a LLVM bitcode based project in which we do static lockset analysis. I need to get Aliasing information statically given the .bc file of the application. Is there any library in LLVM which already implements the aliasing? (does it support multi-threaded apps?) What is the best way of doing it (I want to extract aliasing information in runOnModule() function in the pass I

Hi, I am new to LLVM, and want to get the name of each argument for a given Function in a .bc file. Function.Argument.getName() returns "". Could somebody please help me figure this out? Thanks, ::Saman Zonouz -------------- next part -------------- An HTML attachment was scrubbed... URL:

Hi, I am wondering if there is any tool in LLVM which does 1) static deadlock detection or 2) reachability analysis in CFG? Best regards, ::Saman Zonouz -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090715/34ad1698/attachment.html>

Dear All, The problem I have is to how to get the callgraph for the whole application given .bc file of each source file? using opt as "opt -dot-callgraph main.bc" gives a single callGraph for main.bc but how can I generate a CallGraph that includes all functions in all the .bc files? Thanks, ::Saman -------------- next part -------------- An HTML attachment was scrubbed...

Dear All, I am new to LLVM and want to know if LLVM provides any reachability information about the instructions inside a function? For example, is instruction 'J' reachable from the instruction 'I'? (just based on CFG) Thanks a lot, ::Saman -------------- next part -------------- An HTML attachment was scrubbed... URL:

Thanks. that's right but I was looking for sth like "successor closure" set for each instruction 'I' that includes all reachable instructions from I. Does LLVM provide such a set? Thanks alot, ::Saman Dear All, > >I am new to LLVM and want to know if LLVM provides any reachability information about the instructions inside a function? For example, is instruction

Dear All, I am new to LLVM and want to extract the aliasing information in .bc file as explained in LLVM documentation. But the results that I get is not good at all; almost all pointers are in one "MayAlias" set. What is the best aliasing analysis algorithm to use in LLVM which is already implemented? Thanks a lot, ::Saman -------------- next part -------------- An HTML

Dear All, I am new to LLVM and try to write a Module pass. In the same .cpp file I am defining a class. The problem is that whenever I instantiate an object from the class I get the following error while running the pass: opt: symbol lookup error: ../llvm/Debug/lib/MyPass.so: undefined symbol: _ZN10Thread_MyPassC1Ev The pass is compiled correctly but does not run. Could you someone please let