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