[Bug middle-end/122213] {CEIL, ROUND}_DIV_EXPR produces wrong results when constant operand is 2 or power of 2 with O2 flag

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

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

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

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This is even more interesting because this:
```
#define Y 8u
unsigned int __GIMPLE ceil_div_gimple (unsigned int a)
{
  unsigned int D;
  a = 19u;
  D = a __CEIL_DIV Y;  
  return D;  
}
```
Produces 3 .

Match-and-simplified a_1 /[cl] 8 to 3
Lattice value changed to CONSTANT 3.  Adding SSA edges to worklist.