https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113357
--- Comment #8 from Manolis Tsamis <manolis.tsamis at vrull dot eu> --- Created attachment 58335 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58335&action=edit Do not modify live_out registers After looking again at the dumps from PR112415, which I believe is closely related to the issue here, I saw that while f-m-o was checking the uses of the folded registers, it was still modifying registers that were at the BB's live_out set. I have attached a patch that I'm testing for addressing this. Could you please check if this fixes this issue?