similar to: [LLVMdev] source - target code of a pass

On 14/04/13 18:40, Giacomo Tagliabue wrote: > I want to compare a program before and after having run a FunctionPass. > The purpose is merely didactic. What I would like to do is, during the I do a dump of the Module (Module.print) before and after running it through a PassManager (you could also use the Function.print method I think). You can put just a single pass in the PassManager to

I don't want to do just a visual compare, i would like to manipulate, iterate, over the "old" version of the function. On 14 April 2013 11:49, edA-qa mort-ora-y <eda-qa at disemia.com> wrote: > On 14/04/13 18:40, Giacomo Tagliabue wrote: > > I want to compare a program before and after having run a FunctionPass. > > The purpose is merely didactic. What I would

On 14/04/13 19:50, edA-qa mort-ora-y wrote: > I don't know if there is an explicit clone method, but you could do the > printing and then parse it again. That would effectively create a clone > of the object. It appears the "llvm" namespace has several Clone functions. Thus you should be able to do what I suggested: Clone the function, run the original through the

On 14/04/13 19:11, Giacomo Tagliabue wrote: > I don't want to do just a visual compare, i would like to manipulate, > iterate, over the "old" version of the function. I don't know if there is an explicit clone method, but you could do the printing and then parse it again. That would effectively create a clone of the object. Otherwise you can also try using the Linker and

Thanks, Also, every method inherited by LoopBase causes the same error, while Loop methods go smooth. On 9 May 2013 01:05, Andrew Trick <atrick at apple.com> wrote: > > On May 8, 2013, at 7:43 PM, Giacomo Tagliabue <giacomo.tag at gmail.com> > wrote: > > Hello, > I am building a loop pass following these instructions: >

Wow, commenting those two lines worked out fine for me, thanks! On 9 May 2013 09:34, Giacomo Tagliabue <giacomo.tag at gmail.com> wrote: > Thanks, > Also, every method inherited by LoopBase causes the same error, while Loop > methods go smooth. > > > On 9 May 2013 01:05, Andrew Trick <atrick at apple.com> wrote: > >> >> On May 8, 2013, at 7:43 PM,

Hello, I am building a loop pass following these instructions: http://llvm.org/docs/WritingAnLLVMPass.html Everything works fine, I did it many times for Function Passes, but in the runOnLoopmethod, whenever I call a method of the loop L passed as argument, for example L->begin(), I get the following error: opt: symbol lookup error: /home/giacomo/llvmcsfv/Debug+Asserts/lib/Acsl.so: >

I think I am in the first case, but I don't understand something, the -load option during which command? opt? and which file should I load? libz3.so? On 5 April 2013 15:32, John Criswell <criswell at illinois.edu> wrote: > On 4/5/13 3:16 PM, Giacomo Tagliabue wrote: > > I created a loadable optimization following the tutorial at >

I created a loadable optimization following the tutorial at http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3 library, installed in my system, in my optimization. When I include z3++.h (the name of the library) in the code and use its classes, it compiles well, but when I try to run it it says: > opt: symbol lookup error: /home/giacomo/llvm/Debug+Asserts/lib/Acsl.so: >

Thanks, So, how do I check if a block dominates another one? On 25 April 2013 11:59, Krzysztof Parzyszek <kparzysz at codeaurora.org> wrote: > On 4/25/2013 11:52 AM, Giacomo Tagliabue wrote: > >> Is there an easy way to know if, at a certain instruction, a certain >> value is usable or not? i.e., I am sure that if i use that value i don't >> to get the error

On May 8, 2013, at 7:43 PM, Giacomo Tagliabue <giacomo.tag at gmail.com> wrote: > Hello, > I am building a loop pass following these instructions: http://llvm.org/docs/WritingAnLLVMPass.html > Everything works fine, I did it many times for Function Passes, but in the runOnLoopmethod, whenever I call a method of the loop L passed as argument, for example L->begin(), I get the

Is there an easy way to know if, at a certain instruction, a certain value is usable or not? i.e., I am sure that if i use that value i don't to get the error "Instruction does not dominate all uses!" Thanks, GT -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130425/477fc259/attachment.html>

Hello, I am building a loop pass following these instructions: http://llvm.org/docs/WritingAnLLVMPass.html Everything works fine, I did it many times for Function Passes, but in the runOnPass method, whenever I call a method of the loop L passed as argument, for example L->begin(), I get the following error: opt: symbol lookup error: /home/giacomo/llvmcsfv/Debug+Asserts/lib/Acsl.so: >

Hello everyone, As a research project we are trying to figure out how to insert some annotations in the compiler in order to optimize the code. For example: /*@ ensures x == 5 */ if(x>5){ {...} } where the comment is written in ACSL<http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language>. The example is trivial, but gives the idea, if LLVM is be able to read the annotation, it

On 4/5/13 3:16 PM, Giacomo Tagliabue wrote: > I created a loadable optimization following the tutorial at > http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3 > library, installed in my system, in my optimization. When I include > z3++.h (the name of the library) in the code and use its classes, it > compiles well, but when I try to run it it says: > >

On 4/25/2013 11:52 AM, Giacomo Tagliabue wrote: > Is there an easy way to know if, at a certain instruction, a certain > value is usable or not? i.e., I am sure that if i use that value i don't > to get the error "Instruction does not dominate all uses!" Check if the block containing the definition dominates the block where you want to use the value. If this is the same

On 4/25/2013 12:06 PM, Giacomo Tagliabue wrote: > Thanks, > So, how do I check if a block dominates another one? In IR use analysis DominatorTree from "include/llvm/Analysis/Dominators.h". For machine instructions, use MachineDominatorTree from "include/llvm/CodeGen/MachineDominators.h". Both of them implement function "dominates" that takes two blocks

Thanks! I checked that module. If I use dominates(const Instruction *Def,const Instruction *User) it will automatically check everything, so I don't have to handle the case with instructions in the same BB, right? Thanks, GT On 25 April 2013 12:17, Krzysztof Parzyszek <kparzysz at codeaurora.org> wrote: > On 4/25/2013 12:06 PM, Giacomo Tagliabue wrote: > >> Thanks,

That makes it more mysterious then since I am indeed only calling a main function. Perhaps I have to invoke it a different way. Here's my call I have now: auto main = linker->getModule()->getFunction( "main" ); std::vector<llvm::GenericValue> args(2); args[0].IntVal = llvm::APInt( platform::abi_int_size, 0 ); args[1].PointerVal = nullptr; llvm::GenericValue gv =

Is there a way to get the size of a type in the IR assembly code? I know the size must be known since alloca and getelementptr both implicitly use it, but I don't see any way to get access to the size directly. I know my final compiler will have to get the size itself, but I'm just doing some simple tests directly in assembly now and am hoping there is an easy way to get the size of a