[Bug tree-optimization/122478] [16 Regression] Recent match.pd change breaks gimple checking

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2025-10-29
     Ever confirmed|0                           |1

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

The current check:
```
(!INTEGRAL_TYPE_P (type)
 || type_has_mode_precision_p (type))
```

Maybe it should be:
```
(!INTEGRAL_TYPE_P (type)
 || (type_has_mode_precision_p (type)
     && type_has_mode_precision_p (@0)))
```

Which brings back the `TYPE_PRECISION (type) == TYPE_PRECISION (TREE_TYPE
(@0))` check indirectly; though the check in the original patch that was there
was the right one in the end. The only odd thing, I am worried about is
XFmode/long double on 32bit x86.