From 86c3a7d891f9f175d09d61f5ce163c6dc5ce681f Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Thu, 9 Jan 2020 20:31:31 +0000 Subject: [PATCH] Fix type mismatch in SLPed constructors Having the "same" vector types with different modes means that we can end up vectorising a constructor with a different mode from the lhs. This patch adds a VIEW_CONVERT_EXPR in that case. This showed up on existing tests when testing with fixed-length -msve-vector-bits=128. 2020-01-15 Richard Sandiford gcc/ * tree-vect-slp.c (vectorize_slp_instance_root_stmt): Use a VIEW_CONVERT_EXPR if the vectorized constructor has a diffeent type from the lhs. --- gcc/ChangeLog | 6 ++++++ gcc/tree-vect-slp.c | 4 ++++ 2 files changed, 10 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a9dc5142f83..aa161fdd9bc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2020-01-15 Richard Sandiford + + * tree-vect-slp.c (vectorize_slp_instance_root_stmt): Use a + VIEW_CONVERT_EXPR if the vectorized constructor has a diffeent + type from the lhs. + 2020-01-15 Martin Liska * ipa-profile.c (ipa_profile_read_edge_summary): Do not allow diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index d164937b4b0..cebaa811dd2 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -4307,6 +4307,10 @@ vectorize_slp_instance_root_stmt (slp_tree node, slp_instance instance) { tree vect_lhs = gimple_get_lhs (child_stmt_info->stmt); tree root_lhs = gimple_get_lhs (instance->root_stmt->stmt); + if (!useless_type_conversion_p (TREE_TYPE (root_lhs), + TREE_TYPE (vect_lhs))) + vect_lhs = build1 (VIEW_CONVERT_EXPR, TREE_TYPE (root_lhs), + vect_lhs); rstmt = gimple_build_assign (root_lhs, vect_lhs); break; } -- 2.30.2