Re: [PATCH v3 3/9] Introduce can_vector_compare_p function

2019-09-06 Thread Richard Sandiford
Ilya Leoshkevich writes: > @@ -329,6 +332,34 @@ expand_vec_cmp_expr_p (tree value_type, tree mask_type, > enum tree_code code) >return false; > } > > +/* Return TRUE iff vcond_optab/vcondu_optab support the given tree > + comparison. */ Nit: better to use "true" rather than "TRUE" in m

[PATCH v3 3/9] Introduce can_vector_compare_p function

2019-09-05 Thread Ilya Leoshkevich
z13 supports only non-signaling vector comparisons. This means we cannot vectorize LT, LE, GT, GE and LTGT when compiling for z13. However, we cannot express this restriction today: the code only checks whether vcond$a$b optab exists, which does not contain information about the operation. Introd