[Bug tree-optimization/81503] [8 Regression] Wrong code at -O2

[wschmidt at gcc dot gnu.org]

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

--- Comment #14 from Bill Schmidt <wschmidt at gcc dot gnu.org> ---
Created attachment 41899
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41899&action=edit
Patch under test

This is the patch I'm currently looking at.  I am unhappy at having to use a
tree to get maxval, but I cannot find a way to convert a wide_int into a
widest_int so that I can add them together (see the desired code that is
commented out).  Do you have a suggestion how I can do this within the wide_int
framework?