https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56355
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed|2016-07-24 00:00:00 |2021-12-25 --- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The only one which I think is missing is: (if (FLOAT_TYPE_P (type)) (simplify (mult (abs @0) (abs @1)) (abs (mult @0 @1))) But I do think we can only do it for FLOAT_TYPE_P as ((unsigned)INT_MIN)*((unsigned)-1) will be different when using abs I think.