https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95929
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- /* -bool is always bool, likewise for abs and absu. */ (for op (negate abs absu) (simplify (op @0) (if (INTEGER_TYPE_P (type) && TYPE_PRECISION (type) == 1) (non_lvalue @0))))