search for: truebbi

...through to the new block, and the fallthrough block of TBB is no longer reached. This causes the compiled program to execute FBB instead of the fallthrough-block of TBB, leading to incorrect behaviour. I added the following check to IfConverter::ValidSimple(), which fixes my problems: if (!TrueBBI.BB->succ_empty()) return false; but I have no idea if there is a less conservative way of checking for the Simple pattern (e.g., an unconditional indirect jump might still be allowed at the end of TBB). I use the code from the LLVM 3.2 release, but it is basically the same in LLVM 3.1...