FIXED: Move the FAILED point to closer to the actual problem.
This makes it easier to determine where the bug is, in order to fix it.
FIXED: Let the labels in the PHI also reference labels in previous PHI nodes if the reg matches.