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