[LLVMdev] What would cause instructions to NOT make it into the module?
silvas at purdue.edu
Wed Jan 23 21:56:49 PST 2013
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.
More information about the llvm-dev