search for: tagliabue

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

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, Giacom...

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 "Instruction does not dominate all uses!" >> > > Check if the block contain...

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 > 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 comp...

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

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>

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 bl...

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 impleme...

...t 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, >> 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/**Machi...

Hello, 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 runOnFunction() method, "save" somehow the instruction set and cfg of the function, run the optimization. and then compare the two codes, before and after the transformation. Is there an automatic way tho do that, or a suggested approach?

...code removing the if below. The question is: does exist an annotation language to do that? if it doesnt't exist, what should be modified in order to carry the information of the annotations into LLVM? In other words, how can we let LLVM "know" about these assertion? Thank you Giacomo Tagliabue -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20121113/b9e5e491/attachment.html>

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

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 passe...

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

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

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

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

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