1This test checks to see that the basic block recognizer properly omits
2dead code. There is at least one example of dead code after each instruction
3that *doesn't* flow to the next instruction.
4