public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r10-10500] tree-optimization/104511 - avoid FP to DFP conversion for VEC_PACK_TRUNC
@ 2022-03-16 9:22 Richard Biener
0 siblings, 0 replies; only message in thread
From: Richard Biener @ 2022-03-16 9:22 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:2cd7683cdbccf5d3fce58aa279e77c8baa48e4bd
commit r10-10500-g2cd7683cdbccf5d3fce58aa279e77c8baa48e4bd
Author: Richard Biener <rguenther@suse.de>
Date: Mon Feb 14 10:09:10 2022 +0100
tree-optimization/104511 - avoid FP to DFP conversion for VEC_PACK_TRUNC
This avoids forwprop from matching DFP <-> FP vector conversions
using VEC_[UN]PACK{_TRUNC,_LO,_HI}. Maybe DFP vectors shouldn't be
a thing, but they appearantly are. Re-using CONVERT/NOP_EXPR for
DFP <-> FP conversions was probably a mistake.
2022-02-14 Richard Biener <rguenther@suse.de>
PR tree-optimization/104511
* tree-ssa-forwprop.c (simplify_vector_constructor): Avoid
touching DFP <-> FP conversions.
* gcc.dg/pr104511.c: New testcase.
(cherry picked from commit f320197c8b495324dc6997a99d53e7f45ecf5840)
Diff:
---
gcc/testsuite/gcc.dg/pr104511.c | 16 ++++++++++++++++
gcc/tree-ssa-forwprop.c | 9 +++++++++
2 files changed, 25 insertions(+)
diff --git a/gcc/testsuite/gcc.dg/pr104511.c b/gcc/testsuite/gcc.dg/pr104511.c
new file mode 100644
index 00000000000..ad5430c67c8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr104511.c
@@ -0,0 +1,16 @@
+/* { dg-do compile { target dfp } } */
+/* { dg-options "-O -Wno-psabi" } */
+
+typedef _Float64 __attribute__((__vector_size__ (32))) F;
+typedef _Decimal32 __attribute__((__vector_size__ (16))) D;
+
+extern void bar (void);
+
+D g;
+void
+foo (F f)
+{
+ D d = __builtin_convertvector (f, D);
+ bar ();
+ g = d;
+}
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c
index 3161d2e39ff..2a671b95f67 100644
--- a/gcc/tree-ssa-forwprop.c
+++ b/gcc/tree-ssa-forwprop.c
@@ -2403,6 +2403,15 @@ simplify_vector_constructor (gimple_stmt_iterator *gsi)
? VEC_UNPACK_FLOAT_HI_EXPR
: VEC_UNPACK_HI_EXPR);
+ /* Conversions between DFP and FP have no special tree code
+ but we cannot handle those since all relevant vector conversion
+ optabs only have a single mode. */
+ if (CONVERT_EXPR_CODE_P (conv_code)
+ && FLOAT_TYPE_P (TREE_TYPE (type))
+ && (DECIMAL_FLOAT_TYPE_P (TREE_TYPE (type))
+ != DECIMAL_FLOAT_TYPE_P (TREE_TYPE (conv_src_type))))
+ return false;
+
if (CONVERT_EXPR_CODE_P (conv_code)
&& (2 * TYPE_PRECISION (TREE_TYPE (TREE_TYPE (orig[0])))
== TYPE_PRECISION (TREE_TYPE (type)))
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-03-16 9:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-03-16 9:22 [gcc r10-10500] tree-optimization/104511 - avoid FP to DFP conversion for VEC_PACK_TRUNC 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).