https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
--- Comment #6 from Joseph S. Myers ---
X + 0. -> X is invalid for FP with signed zero or signaling NaN, and also gets
the wrong quantum exponent for decimal FP unless the zero has the maximum
possible quantum exponent (which is not what you get
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
--- Comment #5 from Richard Biener ---
(In reply to Alex Coplan from comment #4)
> (In reply to Richard Biener from comment #3)
> > Now, if-conversion could indeed elide the .COND_ADD for integers. It's
> > problematic there only because of sig
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
--- Comment #4 from Alex Coplan ---
(In reply to Richard Biener from comment #3)
> As said X + 0. -> X is an invalid transform with FP unless there are no
> signed zeros (maybe also problematic with sign-dependent rounding).
Yeah, I was thinkin
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
--- Comment #3 from Richard Biener ---
As said X + 0. -> X is an invalid transform with FP unless there are no signed
zeros (maybe also problematic with sign-dependent rounding).
I think we agree to define .MASK_LOAD to zero masked elements. W
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
--- Comment #2 from Alex Coplan ---
I think to progress this and related cases we need to have .MASK_LOAD defined
to zero in the case that the predicate is false (either unconditionally for all
targets if possible or otherwise conditionally for
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111770
Richard Biener changed:
What|Removed |Added
Last reconfirmed||2023-10-11
Ever confirmed|0
