diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/bb-slp-pr95839.c | 13 | ||||
| -rw-r--r-- | gcc/tree-vect-slp.c | 15 |
2 files changed, 16 insertions, 12 deletions
diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-pr95839.c b/gcc/testsuite/gcc.dg/vect/bb-slp-pr95839.c new file mode 100644 index 0000000..0bfba01 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/bb-slp-pr95839.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-require-effective-target vect_float } */ +/* { dg-additional-options "-w -Wno-psabi" } */ + +typedef float __attribute__((vector_size(16))) v4f32; + +v4f32 f(v4f32 a, v4f32 b) +{ + /* Check that we vectorize this CTOR without any loads. */ + return (v4f32){a[0] + b[0], a[1] + b[1], a[2] + b[2], a[3] + b[3]}; +} + +/* { dg-final { scan-tree-dump "basic block vectorized" "slp2" } } */ diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index 5883ec5..46a75f1 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -3149,15 +3149,6 @@ vect_slp_analyze_bb_1 (bb_vec_info bb_vinfo, int n_stmts, bool &fatal) return false; } - if (BB_VINFO_DATAREFS (bb_vinfo).length () < 2) - { - if (dump_enabled_p ()) - dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location, - "not vectorized: not enough data-refs in " - "basic block.\n"); - return false; - } - if (!vect_analyze_data_ref_accesses (bb_vinfo)) { if (dump_enabled_p ()) @@ -3169,9 +3160,9 @@ vect_slp_analyze_bb_1 (bb_vec_info bb_vinfo, int n_stmts, bool &fatal) vect_slp_check_for_constructors (bb_vinfo); - /* If there are no grouped stores in the region there is no need - to continue with pattern recog as vect_analyze_slp will fail - anyway. */ + /* If there are no grouped stores and no constructors in the region + there is no need to continue with pattern recog as vect_analyze_slp + will fail anyway. */ if (bb_vinfo->grouped_stores.is_empty ()) { if (dump_enabled_p ()) |