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