https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77287
--- Comment #10 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #9) > (In reply to Hongtao.liu from comment #8) > > Do we have IR for unsigned/signed saturation in gimple level? > > Not yet. I was just looking for that today due because of PR 51492. But there is a RFC out for it: https://gcc.gnu.org/pipermail/gcc/2021-May/236015.html