On Tue, 1 Dec 2020, Eugene Rozenfeld via Gcc-patches wrote:
Thank you for the review Jeff.
I don't need to look at the opcode to know the result. The pattern will be
matched only in these 4 cases:
X <= MAX(X, Y) -> true
X > MAX(X, Y) -> false
X >= MIN(X, Y) -> true
X < MIN(X, Y) -> false
So, the result will be true for GE_EXPR and LE_EXPR and false otherwise.
Is that true even if X is NaN?
It may be hard to hit a situation where this matters though, if we honor
NaN, we don't build MAX_EXPR (which is unspecified).
--
Marc Glisse
