[LLVMdev] Inserting a function call into bitcode

[Nick Lewycky]

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