similar to: [LLVMdev] undefined symbol for LoopPass

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

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

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,

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

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

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 >

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

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

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

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,

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

Hi, I am writing a loop pass to replace the backedge with an edge from latch to exit. Now I just replace the terminator of latch with another BranchInst, and the loop will not be a loop after my pass. However, it turns out a failure of loopverify after executing my pass: opt: ~/llvm/llvm-trunk/include/llvm/Analysis/LoopInfoImpl.h:297: void llvm::LoopBase<N, M>::verifyLoop() const [with

Sorry for forgetting to reply all... It works! Thank you very much! But I also wonder how do you know this function will work while there are no documents noticing that. I try learning LLVM by reading its code, but soon feel lost in so many functions. Just like I have many tools, but don't know which to use and what difference it could make. Is there some better ways to learn LLVM? On Wed,

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

Op 9-2-2019 om 19:27 schreef Giacomo via dovecot: > I got a core file this morning. > > opening it with gdb I get this: > > (gdb) core imap.core > Core was generated by `dovecot/imap'. > Program terminated with signal 6, Aborted. > #0? 0x0000000011c1347a in ?? () > (gdb) bt > #0? 0x0000000011c1347a in ?? () > #1? 0x0000000011c13444 in ?? () > #2?

I got a core file this morning. opening it with gdb I get this: (gdb) core imap.core Core was generated by `dovecot/imap'. Program terminated with signal 6, Aborted. #0 0x0000000011c1347a in ?? () (gdb) bt #0 0x0000000011c1347a in ?? () #1 0x0000000011c13444 in ?? () #2 0x0000000000018dee in ?? () #3 0x306db139575f3b0d in ?? () #4 0x00007fffffffc144 in ?? () #5 0x0000000000000000 in