https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111078
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org Status|UNCONFIRMED |ASSIGNED Ever confirmed|0 |1 Last reconfirmed| |2023-11-18 --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- MIne For f0 we should be able to match: (set (reg:SI 98) (plus:SI (ashift:SI (eq:SI (reg:CC 66 cc) (const_int 0 [0])) (const_int 1 [0x1])) (const_int -1 [0xffffffffffffffff]))) here. Note -1 is important. for f1 we should be able to match: (set (reg:SI 98) (ior:SI (neg:SI (ne:SI (reg:CC 66 cc) (const_int 0 [0]))) (const_int 1 [0x1]))) Though I wonder for gimple if we should conconalization to one form or another ...