On Mon, Feb 10, 2020 at 03:40:18PM +0100, Richard Biener wrote:
> Hmm. Maybe with FP operands we can also try to implement the mask
> as != 0.0 FP condition? Not sure if -1 (or 1) is enough non-NaNish to
> not cause problems of course.
Well, by the time we reach expansion, we have just the VECTOR_CST integral
operand, and we use right now:
gcc_assert (VECTOR_BOOLEAN_TYPE_P (TREE_TYPE (op0)));
if (get_vcond_mask_icode (mode, TYPE_MODE (TREE_TYPE (op0)))
!= CODE_FOR_nothing)
return expand_vec_cond_mask_expr (vec_cond_type, op0, op1,
op2, target);
/* Fake op0 < 0. */
else
{
gcc_assert (GET_MODE_CLASS (TYPE_MODE (TREE_TYPE (op0)))
== MODE_VECTOR_INT);
op0a = op0;
op0b = build_zero_cst (TREE_TYPE (op0));
tcode = LT_EXPR;
}
so we'd need to try that op0 < 0 case and if that fails, try to find some
floating point (or other?) mode that has the same element size and precision
and change the condition back to comparison of two floating point constants
and then hope combine will fold it back to vcond_mask* again.
Jakub
