In general, edge splitting in the LSRA resolution phase is problematic, but it is especially so across loop backedges.
These high-weight edges should have fixed var-to-reg assignments, and resolution, as needed, should be done in the lower-weight blocks.

category:cq
theme:register-allocator
skill-level:expert
cost:medium