[LLVMdev] What would cause instructions to NOT make it into the module?

[Sean Silva]

It is a pass that can be run like any other pass. See createVerifierPass().

-- Sean Silva

On Thu, Jan 24, 2013 at 12:50 AM, Rick Mann <rmann at latencyzero.com> wrote:
>
> On Jan 23, 2013, at 21:47 , Sean Silva <silvas at purdue.edu> wrote:
>
>> Try running the verifier pass (the one that is invoked by `opt -verify`).
>
> I'm not sure how to do this. I'm writing a Cocoa app that calls the LLVM API directly; I don't use any of the command-line tools. Is there a way to verify via API? I think I've actually done this for individual types, dunno about for a whole module.
>
> --
> Rick
>
>
>