[LLVMdev] Code generation problem

Russell Wallace russell.wallace at gmail.com
Wed Feb 10 07:12:35 PST 2010

Oh! Now I get it, that would be with the debug build of LLVM. Never
mind the request then, "use the debug build if you want full error
checking" is perfectly reasonable. I'll start doing that for the

On Wed, Feb 10, 2010 at 10:18 AM, Duncan Sands <baldrick at free.fr> wrote:
> Hi Russell,
>>  br i32 1, label %1, label %6
> if you build LLVM with checking enabled, then you would not have been able
> to
> create this bogus branch instruction: the BranchInst constructors assert if
> the
> condition does not have type i1.
> This does raise a philosophical question though: should the verifier try to
> catch mistakes that constructors would catch if assertions are turned on?
> Ciao,
> Duncan.

More information about the llvm-dev mailing list