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

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

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

--- Comment #1 from Avinash Jayakar <avinashd at gcc dot gnu.org> ---
Same is the case when __ROUND_DIV is used 
with verifying function
unsigned int round_div(unsigned int a)                                          
{                                                                               
  unsigned int r = a % Y;                                                       
  unsigned int q = a / Y;                                                       
  if (r > ((Y-1)>>2))                                                           
    q++;                                                                        
  return q;                                                                     
}