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