https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110131
--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #4) > So maybe: > ``` > (simplify > (cond > (eq:c@3 (convert1? @0) INTEGER_CST@1) > (convert2? @0) > INTEGER_CST@2 > ) > (if (INTEGRAL_TYPE_P (type)) > (cond @3 (convert @1) @2) > ) > ) > ``` > There might be a few more checks dealing with @1 though. Oh we already have the above pattern except it uses int_fits_type_p which returns false for -1. Similar issue as PR 110982 .
