search for: alexandru

...v;                                     uint64_t VV = (RR->getValue()).getLimitedValue();                                     errs()<<"\nRR  "<<VV<<"\n"; ________________________________ From: Cristianno Martins <cristiannomartins at gmail.com> To: Alexandru Ionut Diaconescu <cyrusthevirus001x at yahoo.com> Cc: "llvmdev at cs.uiuc.edu" <llvmdev at cs.uiuc.edu> Sent: Tuesday, June 25, 2013 12:27 PM Subject: Re: [LLVMdev] get value Hi Alexandru, if you have a Value pointer named v, you could use the method v->getValue().ge...

Hi, I solved it. From the ConstantStruct you can call getOperand() multiple times, so "mine" as deep as you can. On Fri, Mar 1, 2013 at 1:41 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > > Hi Sebastian, > > Thanks for the response. > > I already did this : > > I cast the entire annotated expression to Value*. Then, in order to avoid > ugly things like getAsString(), I check if V-&gt...

I solved by checking if(BB->size()>1) Thank you all for the help ! Now debugging the next segfault. On Thu, Dec 20, 2012 at 12:59 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > getPrevNode<http://llvm.org/docs/doxygen/html/classllvm_1_1ilist__node.html#a77b897207ef0a1ae95c404695aed9a4b>() > Get the previous node, or 0 for the list head. I don't see any method > like hasPrevNode....

...MDString::get(C, *"path"*) }; lnstr.setMetadata(*"your_analysis_name"*, MDNode::get(C, values)); So that you can take advantage of the type system of LLVM bitcode, and don't have to cast the integers from/to strings by yourself. Logan On Thu, May 2, 2013 at 11:10 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > The problem is that I want to pass only srsr which is an int. "marked" was > just an example :) > > Thanks you! > > > On Thu, May 2, 2013 at 5:06 PM, Logan Chien <tzuhsiang.chien at gmail.com...

...me @f from this? I cannot convert it again to ConstantStruct and follow the same procedure, it will give me a segfault. Thank you again. Your advice was very helpful :) On Fri, Mar 1, 2013 at 9:22 AM, Sebastian Dreßler <dressler at zib.de> wrote: > Hi, > > On 02/28/2013 03:55 PM, Alexandru Ionut Diaconescu wrote: > > Hi Sebastian, > > > > I think I am very close to get the annotation, but I need to parse a > > Value*, which is of type {[1 x { i8*, i8*, i8*, i32 }]. In one of those > > fields is the variable that I'm interested into and the string ke...

...t; > lnstr.setMetadata(*"your_analysis_name"*, MDNode::get(C, values)); > > So that you can take advantage of the type system of LLVM bitcode, and > don't have to cast the integers from/to strings by yourself. > > Logan > > > On Thu, May 2, 2013 at 11:10 PM, Alexandru Ionut Diaconescu < > alexandruionutdiaconescu at gmail.com> wrote: > >> The problem is that I want to pass only srsr which is an int. "marked" >> was just an example :) >> >> Thanks you! >> >> >> On Thu, May 2, 2013 at 5:06 PM, Logan C...

...on't want to map only basic blocks, I need too to map the edges "the whole CFG of the function" Save the CFG of the function in another memory address and call it for example orgCFG and change the CFG by referencing to the orgCFG Thank you for help and patience On 6 June 2013 10:59, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > I don't use a function for do the mapping, it may be MapValue(). If it > does not work, alias an int identifier for each basic block. Be aware > because basic block cannot have the same name (getName) in the same...

Hello everyone ! I followed http://stackoverflow.com/questions/4976298/modern-equivalent-of-llvm-annotationmanagerin order to get annotations from my target bytecode. All the examples that I give in the following is related to the code from that link. I have `__attribute__((annotate("DS"))) int f=0;` into the target C++ program and the related IR code: @.str = private unnamed_addr

...k On Thu, Jun 6, 2013 at 10:55 AM, Rasha Omar <rasha.sala7 at gmail.com> wrote: > I think I understood that, but what I mean is what is the function > responsible to do mapping is it MapValue() in ValueMapper.h? > > Thanks for your help > > > > On 6 June 2013 09:54, Alexandru Ionut Diaconescu < > alexandruionutdiaconescu at gmail.com> wrote: > >> Map every basic block from the CFG to a set of integers. The successors >> from the CFG can be used to make the edges in your simplified graph. The >> pair (Callee,Caller) can link the CFG-s betwee...

...le base of ‘llvm::Instruction’ Do you know any other method to access the previous instruction of a terminator instruction? PS: back() is not an option. On Thu, Dec 20, 2012 at 12:06 PM, Stephen McGruer <stephen.mcgruer at gmail.com > wrote: > current->getPrev() -- Best regards, Alexandru Ionut Diaconescu -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121220/c610d364/attachment.html>

I think I understood that, but what I mean is what is the function responsible to do mapping is it MapValue() in ValueMapper.h? Thanks for your help On 6 June 2013 09:54, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > Map every basic block from the CFG to a set of integers. The successors > from the CFG can be used to make the edges in your simplified graph. The > pair (Callee,Caller) can link the CFG-s between them in a larger CF...

...t the previous node, or 0 for the list head. I don't see any method like hasPrevNode. It can be a weird problem because "current->getPrevNode()" is indicating to "current" itself (the problem appears for the BB with only one element)? On Thu, Dec 20, 2012 at 12:42 PM, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > Hello, > > Thank you for your answer. If I want to use > > then I have > > error: ‘NodeTy* llvm::ilist_half_node<NodeTy>::getPrev() [with NodeTy = > llvm::Instruction]’ is protected > error: ‘...

Oops, that's true: I forgot about that XD sorry =) Glad I could help, -- Cristianno Martins PhD Student of Computer Science University of Campinas cmartins at ic.unicamp.br <cristiannomartins at hotmail.com> On Tue, Jun 25, 2013 at 4:38 AM, Alexandru Ionut Diaconescu < cyrusthevirus001x at yahoo.com> wrote: > Hi Cristianno, > > Thank you, it works :) > > with an extra cast: > Value *v ...... > ConstantInt* RR = (ConstantInt *)v; >...

Alexandru Ionut Diaconescu wrote: > Hi Cristianno, > > Thank you, it works :) > > with an extra cast: > Value *v ...... > ConstantInt* RR = (ConstantInt *)v; Please use "cast<ConstantInt>(v)" instead. See http://llvm.org/docs/ProgrammersManual.html#the-isa-cast-and-dyn-...

What do you mean by mapping to integers? On 5 June 2013 22:32, Alexandru Ionut Diaconescu < alexandruionutdiaconescu at gmail.com> wrote: > Why you don't map the basic blocks to integers and apply algorithms on the > integer graph? And construct your new CFG. > > > On Wed, Jun 5, 2013 at 10:27 PM, Rasha Omar <rasha.sala7 at gmail.com> wro...

Hello Harris, Thank you for your answer. So it is there a way of annotating variables in Java Code, so I can see them into LLVM bytecode? Thank you ! On Mon, Jun 17, 2013 at 3:54 PM, Harris BAKIRAS <h.bakiras at gmail.com> wrote: > Hello Alexandru, > > No you did nothing wrong. > > We are using our own data structure to describe annotations in J3. So it > is normal that you can not see your Java annotations inside the LLVM > bytecode produced. > If I remember well, our implementation of annotations do not rely on LLVM &g...

...fo. It is a very good idea ti use -g, but where to insert? If I am trying to use clang++, I have to fix a lot of things. Should I make the changes for to use clang++ or I can debug using the Makefile.common? On Thu, May 30, 2013 at 1:57 PM, Duncan Sands <baldrick at free.fr> wrote: > Hi Alexandru, > > > /*==5134== Invalid write of size 4 > >> ==5134== at 0x4039280: (anonymous >> namespace)::Hello::**runOnModule(llvm::Module&) (in >> /home/alex/llvm/Release+**Asserts/lib/Hello.so) >> ==5134== by 0x8E33DE3: llvm::MPPassManager::**runOnModule(llvm:...

Hi Alexandru, if these are LLVM Makefiles, then I suggest you configure and build LLVM with the options: --disable-optimized --enable-assertions This will make debugging much easier. It enables debug info too, which you can also turn on directly by configuring with --enable-debug-symbols. Ciao, Duncan....

What classpath implementation are you using ? GNUClasspath or OpenJDK ? Harris Bakiras On 06/17/2013 03:57 PM, Alexandru Ionut Diaconescu wrote: > Hello Harris, > > Thank you for your answer. So it is there a way of annotating > variables in Java Code, so I can see them into LLVM bytecode? > > Thank you ! > > > On Mon, Jun 17, 2013 at 3:54 PM, Harris BAKIRAS <h.bakiras at gmail.com &gt...

...e used to make the edges in your simplified graph. The pair (Callee,Caller) can link the CFG-s between them in a larger CFG-like. On Wed, Jun 5, 2013 at 11:03 PM, Rasha Omar <rasha.sala7 at gmail.com> wrote: > What do you mean by mapping to integers? > > > On 5 June 2013 22:32, Alexandru Ionut Diaconescu < > alexandruionutdiaconescu at gmail.com> wrote: > >> Why you don't map the basic blocks to integers and apply algorithms on >> the integer graph? And construct your new CFG. >> >> >> On Wed, Jun 5, 2013 at 10:27 PM, Rasha Omar <ras...