Hi Nick I am not quite sure what you meant by verifier. I checked online documents and found that there is a function verifyAnalysis() in Pass but it is empty. So do you suggest implementing that function? If it is the case, what should I look while implementing that function? Or something else altogether? Thanks, Nehal. -----Original Message----- From: Nick Lewycky [mailto:nicholas at mxc.ca] Sent: Friday, June 04, 2010 2:29 AM To: Nehal Gandhi Cc: llvmdev at cs.uiuc.edu Subject: Re: [LLVMdev] Inserting a function call into bitcode Have you tried running the verifier after ConditionProfile runs? Just add it to the pass manager to run right afterwards and see what it picks up. Nick
Nehal Gandhi wrote:> Hi Nick > > I am not quite sure what you meant by verifier. I checked online documents > and found that there is a function verifyAnalysis() in Pass but it is empty. > So do you suggest implementing that function? If it is the case, what should > I look while implementing that function? Or something else altogether?I'm assuming you have a PassManager PM, in which case it would be 'PM.add(createVerifierPass());' which is equivalent to 'opt -verify foo.bc'. Please let me know what that turns up; even if it finds no problems that fact is still useful information. The webpage is http://llvm.org/docs/Passes.html#verify . Nick> > Thanks, > Nehal. > > -----Original Message----- > From: Nick Lewycky [mailto:nicholas at mxc.ca] > Sent: Friday, June 04, 2010 2:29 AM > To: Nehal Gandhi > Cc: llvmdev at cs.uiuc.edu > Subject: Re: [LLVMdev] Inserting a function call into bitcode > > Have you tried running the verifier after ConditionProfile runs? Just > add it to the pass manager to run right afterwards and see what it picks up. > > Nick > > >
On Fri, Jun 4, 2010 at 11:04 PM, Nick Lewycky <nicholas at mxc.ca> wrote:> Nehal Gandhi wrote: >> Hi Nick >> >> I am not quite sure what you meant by verifier. I checked online documents >> and found that there is a function verifyAnalysis() in Pass but it is empty. >> So do you suggest implementing that function? If it is the case, what should >> I look while implementing that function? Or something else altogether? > > I'm assuming you have a PassManager PM, in which case it would be > 'PM.add(createVerifierPass());' which is equivalent to 'opt -verify > foo.bc'. Please let me know what that turns up; even if it finds no > problems that fact is still useful information. > > The webpage is http://llvm.org/docs/Passes.html#verify .Oops, forgot to cc the whole list that I figured out the issue is http://llvm.org/bugs/show_bug.cgi?id=5186 . -Eli> Nick > >> >> Thanks, >> Nehal. >> >> -----Original Message----- >> From: Nick Lewycky [mailto:nicholas at mxc.ca] >> Sent: Friday, June 04, 2010 2:29 AM >> To: Nehal Gandhi >> Cc: llvmdev at cs.uiuc.edu >> Subject: Re: [LLVMdev] Inserting a function call into bitcode >> >> Have you tried running the verifier after ConditionProfile runs? Just >> add it to the pass manager to run right afterwards and see what it picks up. >> >> Nick >> >> >> > > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >
Hi Nick, Thanks for the link on PassManager. As Eli mentioned in one of his mails (http://llvm.org/bugs/show_bug.cgi?id=5186), there was issue with LLVM which was letter on resolved. Nehal. -----Original Message----- From: Nick Lewycky [mailto:nicholas at mxc.ca] Sent: Saturday, June 05, 2010 2:04 AM To: Nehal Gandhi Cc: llvmdev at cs.uiuc.edu Subject: Re: [LLVMdev] Inserting a function call into bitcode Nehal Gandhi wrote:> Hi Nick > > I am not quite sure what you meant by verifier. I checked online documents > and found that there is a function verifyAnalysis() in Pass but it isempty.> So do you suggest implementing that function? If it is the case, whatshould> I look while implementing that function? Or something else altogether?I'm assuming you have a PassManager PM, in which case it would be 'PM.add(createVerifierPass());' which is equivalent to 'opt -verify foo.bc'. Please let me know what that turns up; even if it finds no problems that fact is still useful information. The webpage is http://llvm.org/docs/Passes.html#verify . Nick> > Thanks, > Nehal. > > -----Original Message----- > From: Nick Lewycky [mailto:nicholas at mxc.ca] > Sent: Friday, June 04, 2010 2:29 AM > To: Nehal Gandhi > Cc: llvmdev at cs.uiuc.edu > Subject: Re: [LLVMdev] Inserting a function call into bitcode > > Have you tried running the verifier after ConditionProfile runs? Just > add it to the pass manager to run right afterwards and see what it picksup.> > Nick > > >