[Bug middle-end/115961] [15 Regression] wrong code on llvm-18.1.8 since r15-1936-g80e446e829d818

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-07-16
   Target Milestone|---                         |15.0
          Component|target                      |middle-end

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The gimple looks semi-correct:
  _1 = use_4(D) + 1;
  _2 = .SAT_TRUNC (_1);
  v_3(D)->a = _2;


From:
    e & defE = *v;
    defE.a = min_u(use + 1, 0xf);


There is a missing check for type_has_mode_precision_p somewhere.

Either in direct_optab_supported_p or somewhere else.