diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-div-1.c b/gcc/testsuite/gcc.dg/vect/bb-slp-div-1.c index 87ffc9b897b..1eea9233b70 100644 --- a/gcc/testsuite/gcc.dg/vect/bb-slp-div-1.c +++ b/gcc/testsuite/gcc.dg/vect/bb-slp-div-1.c @@ -16,4 +16,7 @@ f (void) x[7] /= 9; } -/* { dg-final { scan-tree-dump "optimized: basic block" "slp2" { xfail *-*-* } } } */ +/* We can vectorize the store from a CTOR built from scalar division + results but ideally we'd like to see vectorizing the load and the + division as well. */ +/* { dg-final { scan-tree-dump "transform load" "slp2" { xfail *-*-* } } } */ diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c index d248ce2c3f7..e93e9c7a2d3 100644 --- a/gcc/tree-vect-slp.c +++ b/gcc/tree-vect-slp.c @@ -544,12 +544,21 @@ vect_get_and_check_slp_defs (vec_info *vinfo, unsigned char swap, continue; } - if (def_stmt_info && is_pattern_stmt_p (def_stmt_info)) - oprnd_info->any_pattern = true; - oprnd_info->def_stmts.quick_push (def_stmt_info); oprnd_info->ops.quick_push (oprnd); + if (def_stmt_info + && is_pattern_stmt_p (def_stmt_info)) + { + if (STMT_VINFO_RELATED_STMT (vect_orig_stmt (def_stmt_info)) + != def_stmt_info) + oprnd_info->any_pattern = true; + else + /* If we promote this to external use the original stmt def. */ + oprnd_info->ops.last () + = gimple_get_lhs (vect_orig_stmt (def_stmt_info)->stmt); + } + /* If there's a extern def on a backedge make sure we can code-generate at the region start. ??? This is another case that could be fixed by adjusting