Hi,
Curently when vectorizing masked load/store we don't check
mask and value have the same number of elements. Usually
conversion patterns apply and we don't have such case but
conversion patterns may fail to properly determine mask
type and we shouldn't rely on it so hard.
Unfortunately I couldn't make a small testcase where we fail
to determine mask type. For me it happeneds when mixed C/Fortran
code was compiled with LTO and I had various scalar boolean types.
Bootstrapped and regtested on x86_64-pc-linux-gnu. Ok for trunk
with no testcase?
Thanks,
Ilya
--
gcc/
2016-03-10 Ilya Enkovich <enkovich....@gmail.com>
* tree-vect-stmts.c (vectorizable_mask_load_store): Check mask
has a proper number of elements.
diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index 6ac273d..06b1ab7 100644
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -1742,7 +1742,8 @@ vectorizable_mask_load_store (gimple *stmt,
gimple_stmt_iterator *gsi,
if (!mask_vectype)
mask_vectype = get_mask_type_for_scalar_type (TREE_TYPE (vectype));
- if (!mask_vectype || !VECTOR_BOOLEAN_TYPE_P (mask_vectype))
+ if (!mask_vectype || !VECTOR_BOOLEAN_TYPE_P (mask_vectype)
+ || TYPE_VECTOR_SUBPARTS (mask_vectype) != TYPE_VECTOR_SUBPARTS (vectype))
return false;
if (is_store)
