https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120604
--- Comment #13 from Uroš Bizjak <ubizjak at gmail dot com> --- Created attachment 61627 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61627&action=edit Additional patch to make sure we can represent the difference Actually, we have to make sure we can represent the difference between two values and skip the transformation if this is not the case. The check in this additional patch is copied from noce_try_cmove.