[LLVMdev] Inserting a function call into bitcode

Eli Friedman eli.friedman at gmail.com
Sat Jun 5 00:29:50 PDT 2010

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 .


> 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

More information about the llvm-dev mailing list