[Bug tree-optimization/126956] New: cond_carry_add and cond_carry_add_neg could use :c on the comparison

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

            Bug ID: 126956
           Summary: cond_carry_add and cond_carry_add_neg could use :c on
                    the comparison
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Currently these does:
```
(if (INTEGRAL_TYPE_P (type)
     && TYPE_UNSIGNED (type)
     && type_has_mode_precision_p (type))
 (match (cond_carry_add @0 @1 @2 @3)
  (cond^ (gt @0 @1) (plus @2 integer_pow2p@3) @2))
 (match (cond_carry_add @0 @1 @2 @3)
  (cond^ (lt @1 @0) (plus @2 integer_pow2p@3) @2))
 (match (cond_carry_add_neg @0 @1 @2 @3)
  (cond^ (le @0 @1) @2 (plus @2 integer_pow2p@3)))
 (match (cond_carry_add_neg @0 @1 @2 @3)
  (cond^ (ge @1 @0) @2 (plus @2 integer_pow2p@3))))

```

But this simplifies to just:
```
(if (INTEGRAL_TYPE_P (type)
     && TYPE_UNSIGNED (type)
     && type_has_mode_precision_p (type))
 (match (cond_carry_add @0 @1 @2 @3)
  (cond^ (gt:c @0 @1) (plus @2 integer_pow2p@3) @2))
 (match (cond_carry_add_neg @0 @1 @2 @3)
  (cond^ (le:c @0 @1) @2 (plus @2 integer_pow2p@3)))

```