[LLVMdev] Code generation problem

[Duncan Sands]

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.