1 This test checks to see that the basic block recognizer properly 2 includes as live code all code which could possibly be flowed 3 to. There is at least one example of each instruction which allows 4 flow to the subsequent instruction, and all forks of each conditional 5 branch are checked for liveness as well. 6
