https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89506
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 45840 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45840&action=edit gcc9-pr89506.patch If 0x80000000 is the only immediate in which adds r0,r0,#imm and adds r0,r0,#-imm differ in condition code flags settings, then we could just use this patch.