https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120383
--- Comment #2 from Tamar Christina <tnfchris at gcc dot gnu.org> --- (In reply to Richard Biener from comment #1) > Sure, I'm OK with an optab for it. So it's like (half-type)((unsigned)(a + > b) >> (sizeof(a)*4))? Yeah, and I was planning on if an optab was acceptable to also add a vectorizer pattern for it. It's a _hi/_lo instruction because of the narrowing. > Does the instruction also work for scalars? Only FPR scalars (as most of these complex instructions). For GPR scalar we would have to emulate it. do you have a preference for the name btw?