search for: analysistyp

Is it consistent to have a Pass instance's run method's implementation use getAnalysisIfAvailable<AnalysisType>() (vs just using getAnalysis< AnalysisType >) when that same instance's getAnalysisUsage(AnalysisUsage &au) implementation invokes au.addRequired<AnalysisType>()? For example in the implementation of SelectionDAGISel::runOnMachineFunction(...) (called from MachineFunctionP...

Thanks John, I modify my code to like this: bool XXX::ModulePass(Module &M){ .... LoopInfo &li = getAnalysis<LoopInfo>(fi); .... } Here fi is a Function* pointing to main(). Now when I run the pass, another error shows up: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*, llvm::Function&) [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "Unable to find requested analysis info"' failed. Did I miss something? Thanks! Best, --Wenbin ----- Original Message ----- From: J...

...equired<LoopInfo>(); AU.setPreservesAll(); } virtual bool runOnModule(Module &M) { LoopInfo &LI = getAnalysis<LoopInfo>(); } I get following error when I try to run my pass : opt: /net/hc295/nwarkari/llvm/llvm-2.3/include/llvm/PassAnalysisSupport.h:193: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. opt[0x83cfa9d] /lib/tls/libc.so.6(abort+0xe9)[0x15d...

...sisUsage, and then use getAnalysis<LoopInfo> in runOnFunction(). It worked OK. Now I want to have a module pass to traverse the functions, and similarly I want to have to loop information of the functions. When I did the above in runOnModule, and run the pass, the following error popped out: AnalysisType& llvm::Pass::getAnalysis() const [with AnalysisType = llvm::DominatorTree]: Assertion `Resolver && "Pass has not been inserted into a PassManager object!"' failed. Can anyone tell me the correct way to handle this in a module pass? Thanks a lot! Best, --Wenbin ---------...

Hi, Migrating from 3.5 to 3.9. There is a module pass that uses alias analysis started breaking at runtime: llvm/lnx64/llvm/include/llvm/PassAnalysisSupport.h:236: AnalysisType& llvm::Pass::getAnalysisID(llvm::AnalysisID) const [with AnalysisType = llvm::AAResultsWrapperPass; llvm::AnalysisID = const void*]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. What does t...

...<>() uses (e.g. DwarfWriter requests you mention below) then I'll apply it. - Devang On Tue, Dec 8, 2009 at 11:11 AM, Garrison Venn <gvenn.cfe.dev at gmail.com> wrote: > Is it consistent to have a Pass instance's run method's implementation use getAnalysisIfAvailable<AnalysisType>() (vs just using getAnalysis< AnalysisType >) when that same instance's getAnalysisUsage(AnalysisUsage &au) implementation invokes au.addRequired<AnalysisType>()? > > For example in the implementation of SelectionDAGISel::runOnMachineFunction(...) (called from Machine...

...LoopInfo in a module pass? Thanks John, I modify my code to like this: bool XXX::ModulePass(Module &M){ .... LoopInfo &li = getAnalysis<LoopInfo>(fi); .... } Here fi is a Function* pointing to main(). Now when I run the pass, another error shows up: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*, llvm::Function&) [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "Unable to find requested analysis info"' failed. Did I miss something? Thanks! Best, --Wenbin ----- Original Message -----...

But this is already present in my pass. And I am not able to understand the cause for the error: opt: /home/ambika/llvm_3/llvm-2.6/include/llvm/PassAnalysisSupport.h:203: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with AnalysisType = llvm::DominatorTree]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. What can possibly cause this. Any ideas wi...

...n about this as well. The documentation about writing a pass shows an example like what John wrote, calling a function pass within a module pass on a per function basis. However, if I code it that way, I still get the same error: opt: /x/jeffhao/llvm/llvm/include/llvm/PassAnalysisSupport.h:232: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*, llvm::Function&) [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. If I remove the addRequired from ge...

Hi, you need something like this in your pass: void YourPass::getAnalysisUsage(AnalysisUsage &AU) const { AU.addRequired<DominatorTree>(); } because you need to specify which analysis you are using. Tobi

...tAnalysis<LoopInfo> in runOnFunction(). It worked OK. > Now I want to have a module pass to traverse the functions, and > similarly I want to have to loop information of the functions. When I > did the above in runOnModule, and run the pass, the following error > popped out: > /AnalysisType& llvm::Pass::getAnalysis() const [with AnalysisType = > llvm::DominatorTree]: Assertion `Resolver && "Pass has not been > inserted into a PassManager object!"' failed./ > // > Can anyone tell me the correct way to handle this in a module pass? > Thanks a lo...

...functions within a Module, then look at the Module::iterator on the LLVM doxygen web pages: http://llvm.org/doxygen/hierarchy.html -- John T. > > > I get following error when I try to run my pass : > > opt: /net/hc295/nwarkari/llvm/llvm-2.3/include/llvm/PassAnalysisSupport.h:193: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. > opt[0x83cfa9d] > /lib/tls/libc.so.6(abort+0...

...C) Hello.cpp: In member function ‘void<unnamed>::Hello::testLoopInfo::getLoopInfo(const llvm::Function&) const’: Hello.cpp:37: error: no matching function for call to ‘llvm::Pass::getAnalysis()’ /home/douglas/Programas/llvm-2.7/include/llvm/PassAnalysisSupport.h:209: note: candidates are: AnalysisType& llvm::Pass::getAnalysis() const [with AnalysisType = llvm::LoopInfo] <near match> Hello.cpp:38: error: no matching function for call to ‘llvm::Pass::getAnalysis()’ /home/douglas/Programas/llvm-2.7/include/llvm/PassAnalysisSupport.h:209: note: candidates are: AnalysisType& llvm::Pass...

...runOnFunction(*kernel); DetectKernelsPass works fine but i am getting the error for SimplifyGEPPass and i can't figure out why. Are FunctionPasses not supposed to be used inside ModulePasses like that? I also tried some llvm pass (MemorySSAWrapperPass) but i'm getting the same error: AnalysisType &llvm::Pass::getAnalysisID(llvm::AnalysisID) const [AnalysisType = llvm::MemorySSAWrapperPass]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' f I would really appreciate some help with this. PS....

On 08/12/2010 09:41 PM, Douglas do Couto Teixeira wrote: > Dear guys, > > I am having problems to obtain good information from the LoopInfo. > I am always getting a trip count of 0, even though I am clearly passing > a loop with a constant bound. I am using this pass below: Hi, I would propose to first check if the trip count is calculated correctly. I would do this with opt

...t also hit assertions within PassManager (I think). If you post your getAnalysisUsage() method, I can take a quick look to see if you're doing something that I know is unsupported by PassManager. -- John T. > opt: /home/ambika/llvm_3/llvm-2.6/include/llvm/PassAnalysisSupport.h:203: > AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const > [with AnalysisType = llvm::DominatorTree]: Assertion `ResultPass && > "getAnalysis*() called on an analysis that was not " "'required' by > pass!"' failed. > > What can possibly...

...s adds the first as required via the usual getAnalysisUsage function. On one machine, it has been tested and proven to function correctly. On another machine, whenever the second pass is run, it consistently fails the assertion: opt: /home/tmason/llvm/llvm/include/llvm/PassAnalysisSupport.h:193: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with AnalysisType = <unnamed>::LdStCallCounter]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. We have modified opt.cpp with th...

...ss to be able to iterate over the loops int the module itself. Since my pass requires to make module level changes including adding new types to module hence a looppass cannot be used here. I am getting the following error on running opt. opt: /root/llvm-2.4/include/llvm/PassAnalysisSupport.h:199: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*) const [with AnalysisType = llvm::LoopInfo]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. <snip_gdb_trace> #4 0x083006f2 in llvm::Pas...

Dear All, The attached code (which is a contrived test case) hits the following assertion: test: /home/vadve/criswell/src/llvm22/include/llvm/PassAnalysisSupport.h:226: AnalysisType& llvm::Pass::getAnalysisID(const llvm::PassInfo*, llvm::Function&) [with AnalysisType = Pass1]: Assertion `ResultPass && "getAnalysis*() called on an analysis that was not " "'required' by pass!"' failed. Abort Does anyone see anything wrong with my...

...called "AU.addRequired<CalledValuePropagationPass>();" I got compilation errors: ---------------------------------------------------------- ..... include/llvm/PassAnalysisSupport.h:223:38: error: ‘ID’ is not a member of ‘llvm::CalledValuePropagationPass’ return getAnalysisID<AnalysisType>(&AnalysisType::ID);\ ..... install/include/llvm/PassAnalysisSupport.h:67:39: error: ‘ID’ is not a member of ‘llvm::CalledValuePropagationPass’ return addRequiredID(PassClass::ID); ...... ----------------------------------------------------------- Looking at the source code of "C...