[Bug tree-optimization/127396] Sat_Add/Sat_mult not detected for a*2 if we know that `a >= 0` (using unsigned add/min)

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

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

--- Comment #1 from Drea Pinski <pinskia at gcc dot gnu.org> ---
Note the code with push_back we have:

  _83 = _36 * 2;
  _66 = MAX_EXPR <_83, 1>;
  _40 = MIN_EXPR <_66, 2305843009213693951>;

But that is just MAX(SAT_ADD((signed)a, (signed)a), 1) as min and max can swap
orders.