search for: isbranalysable

...ndirect branch, which comes from a jumptable-jump that has been if-converted into TBB, i.e., TBB can either jump to some computed address or fall through to the next block. AnalyzeBranch returns true on that block since it is not a simple conditional jump. ValidSimple however assumes that since IsBrAnalysable is false, TBB does not branch and does not fall through, therefore the if-converter merges EBB and TBB, adding FBB as fall-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, l...