From c0e27f72358794692e367363940c6383e9ad1e45 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 25 May 2020 10:36:39 +0200 Subject: [PATCH] tree-optimization/95271 - fix bswap vectorization invariant SLP type This properly updates invariant SLP nodes vector types for bswap vectorization. 2020-05-25 Richard Biener PR tree-optimization/95271 * tree-vect-stmts.c (vectorizable_bswap): Update invariant SLP children vector type. (vectorizable_call): Pass down slp ops. * gcc.dg/vect/bb-slp-pr95271.c: New testcase. --- gcc/ChangeLog | 7 +++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/vect/bb-slp-pr95271.c | 19 +++++++++++++++++++ gcc/tree-vect-stmts.c | 12 +++++++++++- 4 files changed, 42 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/vect/bb-slp-pr95271.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 38ca3ef..1e037da 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,12 @@ 2020-05-25 Richard Biener + PR tree-optimization/95271 + * tree-vect-stmts.c (vectorizable_bswap): Update invariant SLP + children vector type. + (vectorizable_call): Pass down slp ops. + +2020-05-25 Richard Biener + PR tree-optimization/95297 * tree-vect-stmts.c (vectorizable_shift): For scalar_shift_arg skip updating operand 1 vector type. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2ac873c..abe0f32 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2020-05-25 Richard Biener + PR tree-optimization/95271 + * gcc.dg/vect/bb-slp-pr95271.c: New testcase. + +2020-05-25 Richard Biener + PR tree-optimization/95297 * g++.dg/vect/pr95297.cc: New testcase. * g++.dg/vect/pr95290.cc: Likewise. diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-pr95271.c b/gcc/testsuite/gcc.dg/vect/bb-slp-pr95271.c new file mode 100644 index 0000000..2f23598 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/bb-slp-pr95271.c @@ -0,0 +1,19 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-march=cooperlake" { target x86_64-*-* i?86-*-* } } */ + +int a; +struct b c; +long d; +struct b { + unsigned long address; + unsigned long e; +}; +void f() +{ + d = (long)(&a)[0] << 56 | (long)((unsigned char *)&a)[1] << 48 | + (long)((unsigned char *)&a)[2] << 40 | + (long)((unsigned char *)&a)[3] << 32 | + (long)((unsigned char *)&a)[4] << 24 | ((unsigned char *)&a)[5] << 16 | + ((unsigned char *)&a)[6] << 8 | ((unsigned char *)&a)[7]; + c.address = c.e = d; +} diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index c325492..76c7b99 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -3009,6 +3009,7 @@ static bool vectorizable_bswap (vec_info *vinfo, stmt_vec_info stmt_info, gimple_stmt_iterator *gsi, stmt_vec_info *vec_stmt, slp_tree slp_node, + slp_tree *slp_op, tree vectype_in, stmt_vector_for_cost *cost_vec) { tree op, vectype; @@ -3051,6 +3052,15 @@ vectorizable_bswap (vec_info *vinfo, if (! vec_stmt) { + if (slp_node + && !vect_maybe_update_slp_op_vectype (slp_op[0], vectype_in)) + { + if (dump_enabled_p ()) + dump_printf_loc (MSG_MISSED_OPTIMIZATION, vect_location, + "incompatible vector types for invariants\n"); + return false; + } + STMT_VINFO_TYPE (stmt_info) = call_vec_info_type; DUMP_VECT_SCOPE ("vectorizable_bswap"); if (! slp_node) @@ -3377,7 +3387,7 @@ vectorizable_call (vec_info *vinfo, || gimple_call_builtin_p (stmt, BUILT_IN_BSWAP32) || gimple_call_builtin_p (stmt, BUILT_IN_BSWAP64))) return vectorizable_bswap (vinfo, stmt_info, gsi, vec_stmt, slp_node, - vectype_in, cost_vec); + slp_op, vectype_in, cost_vec); else { if (dump_enabled_p ()) -- 2.7.4