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