[LLVMdev] Inserting a function call into bitcode

[Eli Friedman]

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
>