From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1666) id 7FC23385ED71; Wed, 16 Mar 2022 08:22:28 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7FC23385ED71 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Richard Biener To: gcc-cvs@gcc.gnu.org Subject: [gcc r11-9660] tree-optimization/104511 - avoid FP to DFP conversion for VEC_PACK_TRUNC X-Act-Checkin: gcc X-Git-Author: Richard Biener X-Git-Refname: refs/heads/releases/gcc-11 X-Git-Oldrev: 070bb453f1c0fa47a62a7b0cdeed397e889600f6 X-Git-Newrev: d261855943584e25c43fc59dfbc75e50e24a66b8 Message-Id: <20220316082228.7FC23385ED71@sourceware.org> Date: Wed, 16 Mar 2022 08:22:28 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 16 Mar 2022 08:22:28 -0000 https://gcc.gnu.org/g:d261855943584e25c43fc59dfbc75e50e24a66b8 commit r11-9660-gd261855943584e25c43fc59dfbc75e50e24a66b8 Author: Richard Biener 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 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 0706fd862de..3bb4a07d58c 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)))