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