public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-3544] tree-optimization/102318 - reduction epilogue re-use
@ 2021-09-15 9:13 Richard Biener
0 siblings, 0 replies; only message in thread
From: Richard Biener @ 2021-09-15 9:13 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:b6d8fa66e1bf08756cb4134735b5034e171f49d1
commit r12-3544-gb6d8fa66e1bf08756cb4134735b5034e171f49d1
Author: Richard Biener <rguenther@suse.de>
Date: Wed Sep 15 10:20:34 2021 +0200
tree-optimization/102318 - reduction epilogue re-use
This refines the fix for PR102226 to do the mode conversion
from V2DI to VNx2DI separately from the sign-conversion, retaining
the signedness of the saved accumulator as before the original fix.
2021-09-15 Richard Biener <rguenther@suse.de>
PR tree-optimization/102318
* tree-vect-loop.c (vect_transform_cycle_phi): Revert
previous change and do the mode conversion separately from
the sign conversion.
* gcc.dg/vect/pr102318.c: New testcase.
Diff:
---
gcc/testsuite/gcc.dg/vect/pr102318.c | 21 +++++++++++++++++++++
gcc/tree-vect-loop.c | 13 +++++++++++--
2 files changed, 32 insertions(+), 2 deletions(-)
diff --git a/gcc/testsuite/gcc.dg/vect/pr102318.c b/gcc/testsuite/gcc.dg/vect/pr102318.c
new file mode 100644
index 00000000000..cc58efacecd
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr102318.c
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+
+void
+vec_slp_int16_t (short int *restrict a, short int *restrict b, int n)
+{
+ short int x0 = b[0];
+ short int x1 = b[1];
+ short int x2 = b[2];
+ short int x3 = b[3];
+ for (int i = 0; i < n; ++i)
+ {
+ x0 += a[i * 4];
+ x1 += a[i * 4 + 1];
+ x2 += a[i * 4 + 2];
+ x3 += a[i * 4 + 3];
+ }
+ b[0] = x0;
+ b[1] = x1;
+ b[2] = x2;
+ b[3] = x3;
+}
diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index c9dcc647d2c..5a5b8da2e77 100644
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -7755,11 +7755,20 @@ vect_transform_cycle_phi (loop_vec_info loop_vinfo,
(reduc_info),
&stmts);
}
- if (!useless_type_conversion_p (vectype_out, TREE_TYPE (def)))
- def = gimple_convert (&stmts, vectype_out, def);
+ /* The epilogue loop might use a different vector mode, like
+ VNx2DI vs. V2DI. */
+ if (TYPE_MODE (vectype_out) != TYPE_MODE (TREE_TYPE (def)))
+ {
+ tree reduc_type = build_vector_type_for_mode
+ (TREE_TYPE (TREE_TYPE (def)), TYPE_MODE (vectype_out));
+ def = gimple_convert (&stmts, reduc_type, def);
+ }
/* Adjust the input so we pick up the partially reduced value
for the skip edge in vect_create_epilog_for_reduction. */
accumulator->reduc_input = def;
+ /* And the reduction could be carried out using a different sign. */
+ if (!useless_type_conversion_p (vectype_out, TREE_TYPE (def)))
+ def = gimple_convert (&stmts, vectype_out, def);
if (loop_vinfo->main_loop_edge)
{
/* While we'd like to insert on the edge this will split
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2021-09-15 9:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-09-15 9:13 [gcc r12-3544] tree-optimization/102318 - reduction epilogue re-use Richard Biener
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).