[Bug tree-optimization/103245] Failure to detect abs pattern using multiplication with slightly different casts for unsigned case

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103245

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |pinskia at gcc dot 
gnu.org
   Last reconfirmed|                            |2021-11-15

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I will handle this tomorrow.

The current pattern matches:
(simplify
 (mult:c (bit_ior (nop_convert (negate (convert? (lt @0 integer_zerop))))
                 integer_onep) (nop_convert @0))

We need to match also:
(simplify
 (mult:c (nop_convert (bit_ior (negate (convert? (lt @0 integer_zerop)))
                                integer_onep) (nop_convert @0))