vect: Allow vconds between different vector sizes
authorRichard Sandiford <richard.sandiford@arm.com>
Wed, 11 Nov 2020 11:42:45 +0000 (11:42 +0000)
committerRichard Sandiford <richard.sandiford@arm.com>
Wed, 11 Nov 2020 11:42:45 +0000 (11:42 +0000)
commite29dd0eb733f4b9ae03e44322c7fbe8b51eff0a4
treeaed14aaf95c4b6801b834767bea500336c7016f7
parent0ebaea3b6677ef8edfa5638800304db1a4f7c2f8
vect: Allow vconds between different vector sizes

The vcond code requires the compared vectors and the selected
vectors to have both the same size and the same number of elements
as each other.  But the operation makes logical sense even for
different vector sizes.  E.g. you could compare two V4SIs and
use the result to select between two V4DIs.

The underlying optab already allows the compared mode and the selected
mode to be specified separately.  Since the vectoriser now also
supports mixed vector sizes, I think we can simply remove the
equal-size check and just keep the equal-lanes check.  It's then
up to the target to decide which (if any) mixtures of sizes it
supports.

gcc/
* optabs-tree.c (expand_vec_cond_expr_p): Allow the compared values
and the selected values to have different mode sizes.
* gimple-isel.cc (gimple_expand_vec_cond_expr): Likewise.
gcc/gimple-isel.cc
gcc/optabs-tree.c