[Bug tree-optimization/118637] [12/13/14/15 Regression] gcc fails to optimize unsigned division by 2 to shift right by 1

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.5
      Known to work|                            |7.5.0
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org
            Summary|gcc fails to optimize       |[12/13/14/15 Regression]
                   |unsigned division by 2 to   |gcc fails to optimize
                   |shift right by 1            |unsigned division by 2 to
                   |                            |shift right by 1
      Known to fail|                            |15.0, 9.3.1

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
r8-2064-g8d1628eb33d4f5 enabled the folding on the GIMPLE side, and indeed with
GCC 7 the generated code is identical for both functions.