[LLVMdev] How to call InitializeAliasAnalysis correctly?

[Griffin Wright]

I realize this must have sounded like a trivial question to you all, but I
really do sincerely need help with this... 

I'm not sure how to call InitializeAliasAnalysis in my runOnFunction method
since it needs a Pass* as its parameter.  See below for details.

Thank you!
-Griffin Wright

On Mon, 23 Jan 2012 14:54:43 -0500, Griffin Wright <grwright at umich.edu>
wrote:
> Hello all,
> 
> I am working with someone else's LLVM code, which is about 8 months old. 
> Part of this pass involves AliasAnalysis, and I'm getting the above
> assertion when the pass completes.  
> 
> The dump is as follows:
> --------------------------------
> Program received signal SIGABRT, Aborted.
> 0xf7fdf430 in __kernel_vsyscall ()
> (gdb) bt
> #0  0xf7fdf430 in __kernel_vsyscall ()
> #1  0xf602e921 in *__GI_raise (sig=6) at
> ../nptl/sysdeps/unix/sysv/linux/raise.c:64
> #2  0xf6031d52 in *__GI_abort () at abort.c:92
> #3  0xf6027788 in *__GI___assert_fail (assertion=0xf78ef62c "AA && \"AA
> didn't call InitializeAliasAnalysis in its run method!\"", 
>     file=0xf78ef5f0
> "/x/grwright/llvm/llvm-2.9/lib/Analysis/AliasAnalysis.cpp", line=59,
> function=0xf78f0e40 "virtual void
> llvm::AliasAnalysis::deleteValue(llvm::Value*)") at assert.c:81
> #4  0xf6c37686 in llvm::AliasAnalysis::deleteValue (this=0x81848d0,
> V=0x8147000) at
/x/grwright/llvm/llvm-2.9/lib/Analysis/AliasAnalysis.cpp:59
> #5  0xf6c47153 in llvm::AliasSetTracker::deleteValue (this=0x823ab58,
> PtrVal=0x8147000) at
> /x/grwright/llvm/llvm-2.9/lib/Analysis/AliasSetTracker.cpp:505
> #6  0xf6c47ae6 in llvm::AliasSetTracker::ASTCallbackVH::deleted
> (this=0x8233ce8) at
> /x/grwright/llvm/llvm-2.9/lib/Analysis/AliasSetTracker.cpp:619
> #7  0xf72b9d2f in llvm::ValueHandleBase::ValueIsDeleted (V=0x8147000) at
> /x/grwright/llvm/llvm-2.9/lib/VMCore/Value.cpp:557
> #8  0xf72b81ec in ~Value (this=0x8147000, __in_chrg=<value optimized
out>)
> at /x/grwright/llvm/llvm-2.9/lib/VMCore/Value.cpp:60
> #9  0xf6f4b041 in ~User (this=0x8147000, __in_chrg=<value optimized out>)
> at /x/grwright/llvm/llvm-2.9/include/llvm/User.h:62
> #10 0xf725dd89 in ~Instruction (this=0x8147000, __in_chrg=<value
optimized
> out>) at /x/grwright/llvm/llvm-2.9/lib/VMCore/Instruction.cpp:54
> #11 0xf7275461 in ~GetElementPtrInst (this=0x8147000, __in_chrg=<value
> optimized out>) at
> /x/grwright/llvm/llvm-2.9/include/llvm/Instructions.h:285
> #12 0xf7136671 in llvm::ilist_node_traits<llvm::Instruction>::deleteNode
> (V=0x8147000) at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:112
> #13 0xf7135c80 in llvm::iplist<llvm::Instruction,
> llvm::ilist_traits<llvm::Instruction> >::erase (this=0x8145d14,
where=...)
> at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:463
> #14 0xf71c7c37 in llvm::iplist<llvm::Instruction,
> llvm::ilist_traits<llvm::Instruction> >::erase (this=0x8145d14,
first=...,
> last=...) at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:528
> #15 0xf71c77a0 in llvm::iplist<llvm::Instruction,
> llvm::ilist_traits<llvm::Instruction> >::clear (this=0x8145d14) at
> /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:532
> #16 0xf71c6420 in ~BasicBlock (this=0x8145cf8, __in_chrg=<value optimized
> out>) at /x/grwright/llvm/llvm-2.9/lib/VMCore/BasicBlock.cpp:82
> #17 0xf71c7db2 in llvm::ilist_node_traits<llvm::BasicBlock>::deleteNode
> (V=0x8145cf8) at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:112
> #18 0xf71c79a8 in llvm::iplist<llvm::BasicBlock,
> llvm::ilist_traits<llvm::BasicBlock> >::erase (this=0x80be818, where=...)
> at /x/grwright/llvm/llvm-2.9/include/llvm/ADT/ilist.h:463
> #19 0xf71c658f in llvm::BasicBlock::eraseFromParent (this=0x8145cf8) at
> /x/grwright/llvm/llvm-2.9/lib/VMCore/BasicBlock.cpp:101
> #20 0xf7214b11 in llvm::Function::dropAllReferences (this=0x80be7e8) at
> /x/grwright/llvm/llvm-2.9/lib/VMCore/Function.cpp:233
> #21 0xf728ac59 in llvm::Module::dropAllReferences (this=0x80a9690) at
> /x/grwright/llvm/llvm-2.9/lib/VMCore/Module.cpp:449
> #22 0xf7289af2 in ~Module (this=0x80a9690, __in_chrg=<value optimized
out>)
> at /x/grwright/llvm/llvm-2.9/lib/VMCore/Module.cpp:70
> #23 0x08081e36 in ~auto_ptr (this=0xffffd734, __in_chrg=<value optimized
> out>) at /usr/include/c++/4.4/backward/auto_ptr.h:168
> #24 0x0807d5a4 in main (argc=13, argv=0xffffd814) at
> /x/grwright/llvm/llvm-2.9/tools/opt/opt.cpp:695
> --------------------------------
> 
> I have a getAnalysisUsage method which does the following (excerpted):
> 
> void RelRecovery::getAnalysisUsage(AnalysisUsage &AU) const {
>   AU.addRequired<AliasAnalysis> ();
> }
> 
> and then a runOnFunction method which does this:
> 
> bool RelRecovery::runOnFunction(Function &F) {
>     AA = &getAnalysis<AliasAnalysis> ();
> }
> 
> This is the same setup as with a bunch of other analyses (LoopInfo,
> ProfileInfo, etc) and they all work fine.  I've read that AA needs a call
> to InitializeAliasAnalysis(this) in the main run method (in my case,
> runOnFunction), and I'm wondering how to properly implement it, since the
> parameter is supposed to be a Pass.
> 
> Thanks!
> Griffin