[LLVMdev] Code generation problem

[Russell Wallace]

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
moment.

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.
>