[LLVMdev] Code generation problem

Duncan Sands baldrick at free.fr
Wed Feb 10 02:18:23 PST 2010

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?



More information about the llvm-dev mailing list