similar to: [LLVMdev] Deadlock and Reachability analysis in LLVM?

On Jul 27, 2009, at 5:05 AM, Saman Zonouz wrote: > 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) You can just do a depth first search on the cfg? -Chris -------------- next

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 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:

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

Thanks for your reply. Is it not possible to do with llvm-g++ -g? and furthermore, where are SDNode and DebugLoc fields stored? are they in a file which I have to parse myself? if so, is there any way that I use a library to get the file/line information for each instruction? since, I am writing a pass for opt tool that manipulates the callgraph and want to get the line number information in

> -----Original Message----- > From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] On > Behalf Of Saman Aliari Zonouz > Sent: Thursday, July 09, 2009 11:44 AM > To: llvmdev at cs.uiuc.edu > Subject: [LLVMdev] Source file information. > > Hi, > > I am new to LLVM, and need to find the line number and cpp source file > name for each

Thanks for your reply. Is it not possible to do with llvm-g++ -g? Yes and furthermore, where are SDNode and DebugLoc fields stored? They are probably classes in the Clang API are they in a file which I have to parse myself? if so, is there any way that I use a library to get the file/line information for each instruction? Yes Clang API :- http://clang.llvm.org/doxygen/classes.html

Hi, I am new to LLVM, and need to find the line number and cpp source file name for each instruction in a .bc file. I suppose llvm debugger might have that feature but there is no documentation on it. Would you please give me some help how to do it? Thanks, ::Saman Zonouz University of Illinois -------------- next part -------------- An HTML attachment was scrubbed... URL:

>> -----Original Message----- >> From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] > On >> Behalf Of Saman Aliari Zonouz >> Sent: Thursday, July 09, 2009 11:44 AM >> To: llvmdev at cs.uiuc.edu >> Subject: [LLVMdev] Source file information. >> >> Hi, >> >> I am new to LLVM, and need to find the line number

On 2009-07-09 11:17, Aaron Gray wrote: >>> -----Original Message----- >>> From: llvmdev-bounces at cs.uiuc.edu [mailto:llvmdev-bounces at cs.uiuc.edu] >>> >> On >> >>> Behalf Of Saman Aliari Zonouz >>> Sent: Thursday, July 09, 2009 11:44 AM >>> To: llvmdev at cs.uiuc.edu >>> Subject: [LLVMdev] Source file

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:

Dear All, To add to this, what you want to do is find the appropriate debug stop point intrinsic and then use it to look up the information for that instruction. Here is some sample code from SAFECode that finds the debug information associated with a CallInst (LLVM call instruction) held in the variable CI. It uses the findStopPoint() function in llvm/Analyis/DebugInfo.h: // // Get the

Aaron Gray wrote: > Dear All, > > To add to this, what you want to do is find the appropriate debug stop > point intrinsic and then use it to look up the information for that > instruction. > > Here is some sample code from SAFECode that finds the debug information > associated with a CallInst (LLVM call instruction) held in the variable > CI. It uses the

Dear All, To add to this, what you want to do is find the appropriate debug stop point intrinsic and then use it to look up the information for that instruction. Here is some sample code from SAFECode that finds the debug information associated with a CallInst (LLVM call instruction) held in the variable CI. It uses the findStopPoint() function in llvm/Analyis/DebugInfo.h: // // Get the

Saman Zonouz wrote: > 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

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 alias analysis interface that comes standard

>Aaron Gray wrote: >> What I am after is to be able to emit line number information for COFF >> (Common Object File Format) object module files, basically it comes down >> to >> paired line numbers and virtual address offsets. >> >> I have not really set out to look at this yet, just feeling ahead, and >> was >> prompted by Saman's question

Hi, I am Saman, a UIUC PhD student working with LLVM. Would you please let me know how I can extract CG and CFG for a given application? Thanks a lot, ::Saman -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090707/951958b6/attachment.html>

Hi, I compiled VmKit and got it running, but do not know how it is possible to emit llvm-bitcode fram .java code. Would you please help me? Thanks, ::Saman -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090615/79240d35/attachment.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