https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96921
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #3) > So something like: > (simplify > (minus integer_one@0 SSA_NAME@1) > (if (TREE_CODE (@0) == SSA_NAME > && ssa_name_has_boolean_range (@0)) > (bit_xor @1 @0))) I ended up with this only in the end (I actually came up with this the second time too) as it fixes a regression The expanded one should wait and might be worse.