https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2023-10-11
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
"Generally" we need an "else" value for .MASK_LOAD and there model "don't
care".
Elsewhere we observed that most uarchs do zero masked elements (or at least
offer so) and thus .MASK_LOAD without else value might be interpreted as
doing that (until I came along in the other related PR sugggesting an omitted
'else' value means 'don't care' - but IIRC the RISC-V folks ended up
implementing that with default-defs).
Btw, we should possibly vectorize this with a COND_DOT_PROD, since adding
zeros isn't correct for HONOR_SIGNED_ZEROS/HONOR_SIGN_DEPENDENT_ROUNDING.
