1Tests the register allocator's optimization of adding synthesized uses
2at back edges.
3