BranchOperand testFailed;
BasicBlock bb = s.getBasicBlock();
Instruction lastInstr = bb.lastRealInstruction();
if (lastInstr.operator() == IA32_JMP) {
if (VM.VerifyAssertions) VM._assert(s.nextInstructionInCodeOrder() == lastInstr);
<BUG>testFailed = MIR_Branch.getTarget(lastInstr);
</BUG>
nextInstr = lastInstr.nextInstructionInCodeOrder();
lastInstr.remove();
} else {

BranchOperand testFailed;
BasicBlock bb = s.getBasicBlock();
Instruction lastInstr = bb.lastRealInstruction();
if (lastInstr.operator() == IA32_JMP) {
if (VM.VerifyAssertions) VM._assert(s.nextInstructionInCodeOrder() == lastInstr);
testFailed = MIR_Branch.getClearTarget(lastInstr);
nextInstr = lastInstr.nextInstructionInCodeOrder();
lastInstr.remove();
} else {
