Message ID | 20221201013619.196004-2-guojiufu@linux.ibm.com |
---|---|
State | New |
Headers |
Return-Path: <gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org> X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0E59F385188B for <patchwork@sourceware.org>; Thu, 1 Dec 2022 01:36:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0E59F385188B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1669858618; bh=WDjDlNZizwUFCDO1fIw5eHJ8lW/We8syIgr9VBsh/Ek=; h=To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=x7lSQY0RRKFet+KQUrirZlV+ZB5wYe9hZyMWlyQTdms8FndtICJLuCrRJHlc6NzOU vpYlTSFUfql+PBcSqTNDzwWFcrhRFXCaQ7Wls8pfWU4ZbMtpSx8dAxS8Gq+2dYw64N sVQm+vPMsnEE/WQMGBOqFa2+RyUSoAL3AYz2gC9A= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mx0a-001b2d01.pphosted.com (mx0b-001b2d01.pphosted.com [148.163.158.5]) by sourceware.org (Postfix) with ESMTPS id 1116E3858D37; Thu, 1 Dec 2022 01:36:27 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 1116E3858D37 Received: from pps.filterd (m0098416.ppops.net [127.0.0.1]) by mx0b-001b2d01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 2B11MDuU010932; Thu, 1 Dec 2022 01:36:26 GMT Received: from pps.reinject (localhost [127.0.0.1]) by mx0b-001b2d01.pphosted.com (PPS) with ESMTPS id 3m6jj0g9cs-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 01 Dec 2022 01:36:26 +0000 Received: from m0098416.ppops.net (m0098416.ppops.net [127.0.0.1]) by pps.reinject (8.17.1.5/8.17.1.5) with ESMTP id 2B11MV90013077; Thu, 1 Dec 2022 01:36:25 GMT Received: from ppma05fra.de.ibm.com (6c.4a.5195.ip4.static.sl-reverse.com [149.81.74.108]) by mx0b-001b2d01.pphosted.com (PPS) with ESMTPS id 3m6jj0g9b7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 01 Dec 2022 01:36:25 +0000 Received: from pps.filterd (ppma05fra.de.ibm.com [127.0.0.1]) by ppma05fra.de.ibm.com (8.16.1.2/8.16.1.2) with SMTP id 2B11ZUMg027973; Thu, 1 Dec 2022 01:36:24 GMT Received: from b06cxnps4076.portsmouth.uk.ibm.com (d06relay13.portsmouth.uk.ibm.com [9.149.109.198]) by ppma05fra.de.ibm.com with ESMTP id 3m3ae9csym-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 01 Dec 2022 01:36:23 +0000 Received: from b06wcsmtp001.portsmouth.uk.ibm.com (b06wcsmtp001.portsmouth.uk.ibm.com [9.149.105.160]) by b06cxnps4076.portsmouth.uk.ibm.com (8.14.9/8.14.9/NCO v10.0) with ESMTP id 2B11aLJA1704652 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Thu, 1 Dec 2022 01:36:21 GMT Received: from b06wcsmtp001.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id 96EAFA405B; Thu, 1 Dec 2022 01:36:21 +0000 (GMT) Received: from b06wcsmtp001.portsmouth.uk.ibm.com (unknown [127.0.0.1]) by IMSVA (Postfix) with ESMTP id CCEC3A4054; Thu, 1 Dec 2022 01:36:20 +0000 (GMT) Received: from pike.rch.stglabs.ibm.com (unknown [9.5.12.127]) by b06wcsmtp001.portsmouth.uk.ibm.com (Postfix) with ESMTP; Thu, 1 Dec 2022 01:36:20 +0000 (GMT) To: gcc-patches@gcc.gnu.org Cc: segher@kernel.crashing.org, dje.gcc@gmail.com, linkw@gcc.gnu.org, guojiufu@linux.ibm.com Subject: [PATCH 2/3]rs6000: NFC use sext_hwi to replace ((v&0xf..f)^0x80..0) - 0x80..0 Date: Thu, 1 Dec 2022 09:36:18 +0800 Message-Id: <20221201013619.196004-2-guojiufu@linux.ibm.com> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20221201013619.196004-1-guojiufu@linux.ibm.com> References: <20221201013619.196004-1-guojiufu@linux.ibm.com> X-TM-AS-GCONF: 00 X-Proofpoint-GUID: ePxBHo_z3R2bvrF6ptYe9DTfprNJ95R6 X-Proofpoint-ORIG-GUID: CQVkT5A1Gn5rFAjPvy3b6TxrmUU7CSts X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.219,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-30_04,2022-11-30_02,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 adultscore=0 mlxlogscore=999 impostorscore=0 suspectscore=0 bulkscore=0 phishscore=0 spamscore=0 mlxscore=0 malwarescore=0 lowpriorityscore=0 priorityscore=1501 clxscore=1015 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2212010007 X-Spam-Status: No, score=-11.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_EF, GIT_PATCH_0, KAM_NUMSUBJECT, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org> List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe> List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/> List-Post: <mailto:gcc-patches@gcc.gnu.org> List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help> List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>, <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe> From: Jiufu Guo via Gcc-patches <gcc-patches@gcc.gnu.org> Reply-To: Jiufu Guo <guojiufu@linux.ibm.com> Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org Sender: "Gcc-patches" <gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org> |
Series |
[1/3] rs6000: NFC use more readable pattern to clean high 32 bits
|
|
Commit Message
Jiufu Guo
Dec. 1, 2022, 1:36 a.m. UTC
Hi, This patch just uses sext_hwi to replace the expression like: ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. Bootstrap & regtest pass on ppc64{,le}. Is this ok for trunk? BR, Jeff (Jiufu) gcc/ChangeLog: * config/rs6000/rs6000.cc (num_insns_constant_gpr): Use sext_hwi. (darwin_rs6000_legitimate_lo_sum_const_p): Likewise. (mem_operand_gpr): Likewise. (mem_operand_ds_form): Likewise. (rs6000_legitimize_address): Likewise. (rs6000_emit_set_const): Likewise. (rs6000_emit_set_long_const): Likewise. (print_operand): Likewise. * config/rs6000/rs6000.md: Likewise. --- gcc/config/rs6000/rs6000.cc | 30 +++++++++++++----------------- gcc/config/rs6000/rs6000.md | 10 +++++----- 2 files changed, 18 insertions(+), 22 deletions(-)
Comments
Hi Jeff, on 2022/12/1 09:36, Jiufu Guo wrote: > Hi, > > This patch just uses sext_hwi to replace the expression like: > ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. > > Bootstrap & regtest pass on ppc64{,le}. > Is this ok for trunk? You didn't say it clearly but I guessed you have grepped in the whole config/rs6000 directory, right? I noticed there are still two places using this kind of expression in function constant_generates_xxspltiw, but I assumed it's intentional as their types are not HOST_WIDE_INT. gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; If so, could you state it clearly in commit log like "with type signed/unsigned HOST_WIDE_INT" or similar? This patch is OK once the above question gets confirmed, thanks! BR, Kewen > > BR, > Jeff (Jiufu) > > gcc/ChangeLog: > > * config/rs6000/rs6000.cc (num_insns_constant_gpr): Use sext_hwi. > (darwin_rs6000_legitimate_lo_sum_const_p): Likewise. > (mem_operand_gpr): Likewise. > (mem_operand_ds_form): Likewise. > (rs6000_legitimize_address): Likewise. > (rs6000_emit_set_const): Likewise. > (rs6000_emit_set_long_const): Likewise. > (print_operand): Likewise. > * config/rs6000/rs6000.md: Likewise. > > --- > gcc/config/rs6000/rs6000.cc | 30 +++++++++++++----------------- > gcc/config/rs6000/rs6000.md | 10 +++++----- > 2 files changed, 18 insertions(+), 22 deletions(-) > > diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc > index 5efe9b22d8b..718072cc9a1 100644 > --- a/gcc/config/rs6000/rs6000.cc > +++ b/gcc/config/rs6000/rs6000.cc > @@ -6021,7 +6021,7 @@ num_insns_constant_gpr (HOST_WIDE_INT value) > > else if (TARGET_POWERPC64) > { > - HOST_WIDE_INT low = ((value & 0xffffffff) ^ 0x80000000) - 0x80000000; > + HOST_WIDE_INT low = sext_hwi (value, 32); > HOST_WIDE_INT high = value >> 31; > > if (high == 0 || high == -1) > @@ -8456,7 +8456,7 @@ darwin_rs6000_legitimate_lo_sum_const_p (rtx x, machine_mode mode) > } > > /* We only care if the access(es) would cause a change to the high part. */ > - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; > + offset = sext_hwi (offset, 16); > return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); > } > > @@ -8522,7 +8522,7 @@ mem_operand_gpr (rtx op, machine_mode mode) > if (GET_CODE (addr) == LO_SUM) > /* For lo_sum addresses, we must allow any offset except one that > causes a wrap, so test only the low 16 bits. */ > - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; > + offset = sext_hwi (offset, 16); > > return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); > } > @@ -8562,7 +8562,7 @@ mem_operand_ds_form (rtx op, machine_mode mode) > if (GET_CODE (addr) == LO_SUM) > /* For lo_sum addresses, we must allow any offset except one that > causes a wrap, so test only the low 16 bits. */ > - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; > + offset = sext_hwi (offset, 16); > > return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); > } > @@ -9136,7 +9136,7 @@ rs6000_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED, > { > HOST_WIDE_INT high_int, low_int; > rtx sum; > - low_int = ((INTVAL (XEXP (x, 1)) & 0xffff) ^ 0x8000) - 0x8000; > + low_int = sext_hwi (INTVAL (XEXP (x, 1)), 16); > if (low_int >= 0x8000 - extra) > low_int = 0; > high_int = INTVAL (XEXP (x, 1)) - low_int; > @@ -10203,7 +10203,7 @@ rs6000_emit_set_const (rtx dest, rtx source) > lo = operand_subword_force (dest, WORDS_BIG_ENDIAN != 0, > DImode); > emit_move_insn (hi, GEN_INT (c >> 32)); > - c = ((c & 0xffffffff) ^ 0x80000000) - 0x80000000; > + c = sext_hwi (c, 32); > emit_move_insn (lo, GEN_INT (c)); > } > else > @@ -10242,7 +10242,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) > > if ((ud4 == 0xffff && ud3 == 0xffff && ud2 == 0xffff && (ud1 & 0x8000)) > || (ud4 == 0 && ud3 == 0 && ud2 == 0 && ! (ud1 & 0x8000))) > - emit_move_insn (dest, GEN_INT ((ud1 ^ 0x8000) - 0x8000)); > + emit_move_insn (dest, GEN_INT (sext_hwi (ud1, 16))); > > else if ((ud4 == 0xffff && ud3 == 0xffff && (ud2 & 0x8000)) > || (ud4 == 0 && ud3 == 0 && ! (ud2 & 0x8000))) > @@ -10250,7 +10250,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) > temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); > > emit_move_insn (ud1 != 0 ? copy_rtx (temp) : dest, > - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); > + GEN_INT (sext_hwi (ud2 << 16, 32))); > if (ud1 != 0) > emit_move_insn (dest, > gen_rtx_IOR (DImode, copy_rtx (temp), > @@ -10261,8 +10261,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) > temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); > > gcc_assert (ud2 & 0x8000); > - emit_move_insn (copy_rtx (temp), > - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); > + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud2 << 16, 32))); > if (ud1 != 0) > emit_move_insn (copy_rtx (temp), > gen_rtx_IOR (DImode, copy_rtx (temp), > @@ -10273,7 +10272,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) > { > temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); > HOST_WIDE_INT num = (ud2 << 16) | ud1; > - rs6000_emit_set_long_const (temp, (num ^ 0x80000000) - 0x80000000); > + rs6000_emit_set_long_const (temp, sext_hwi (num, 32)); > rtx one = gen_rtx_AND (DImode, temp, GEN_INT (0xffffffff)); > rtx two = gen_rtx_ASHIFT (DImode, temp, GEN_INT (32)); > emit_move_insn (dest, gen_rtx_IOR (DImode, one, two)); > @@ -10283,8 +10282,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) > { > temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); > > - emit_move_insn (copy_rtx (temp), > - GEN_INT (((ud3 << 16) ^ 0x80000000) - 0x80000000)); > + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud3 << 16, 32))); > if (ud2 != 0) > emit_move_insn (copy_rtx (temp), > gen_rtx_IOR (DImode, copy_rtx (temp), > @@ -10336,8 +10334,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) > { > temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); > > - emit_move_insn (copy_rtx (temp), > - GEN_INT (((ud4 << 16) ^ 0x80000000) - 0x80000000)); > + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud4 << 16, 32))); > if (ud3 != 0) > emit_move_insn (copy_rtx (temp), > gen_rtx_IOR (DImode, copy_rtx (temp), > @@ -14167,8 +14164,7 @@ print_operand (FILE *file, rtx x, int code) > /* If constant, low-order 16 bits of constant, signed. Otherwise, write > normally. */ > if (INT_P (x)) > - fprintf (file, HOST_WIDE_INT_PRINT_DEC, > - ((INTVAL (x) & 0xffff) ^ 0x8000) - 0x8000); > + fprintf (file, HOST_WIDE_INT_PRINT_DEC, sext_hwi (INTVAL (x), 16)); > else > print_operand (file, x, 0); > return; > diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md > index 3bae303086b..4bd1dfd3da9 100644 > --- a/gcc/config/rs6000/rs6000.md > +++ b/gcc/config/rs6000/rs6000.md > @@ -1787,7 +1787,7 @@ (define_expand "add<mode>3" > } > > HOST_WIDE_INT val = INTVAL (operands[2]); > - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; > + HOST_WIDE_INT low = sext_hwi (val, 16); > HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); > > if (<MODE>mode == DImode && !satisfies_constraint_L (GEN_INT (rest))) > @@ -1930,7 +1930,7 @@ (define_split > (set (match_dup 0) (plus:GPR (match_dup 0) (match_dup 4)))] > { > HOST_WIDE_INT val = INTVAL (operands[2]); > - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; > + HOST_WIDE_INT low = sext_hwi (val, 16); > HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); > > operands[4] = GEN_INT (low); > @@ -8213,7 +8213,7 @@ (define_split > operands[2] = operand_subword (operands[0], endian, 0, <MODE>mode); > operands[3] = operand_subword (operands[0], 1 - endian, 0, <MODE>mode); > operands[4] = GEN_INT (value >> 32); > - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); > + operands[1] = GEN_INT (sext_hwi (value, 32)); > }) > > (define_split > @@ -9577,7 +9577,7 @@ (define_split > operands[3] = operand_subword_force (operands[0], WORDS_BIG_ENDIAN != 0, > DImode); > operands[4] = GEN_INT (value >> 32); > - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); > + operands[1] = GEN_INT (sext_hwi (value, 32)); > }) > > (define_split > @@ -12425,7 +12425,7 @@ (define_peephole2 > SImode, > operands[1], operands[2]); > HOST_WIDE_INT c = INTVAL (cnst); > - HOST_WIDE_INT sextc = ((c & 0xffff) ^ 0x8000) - 0x8000; > + HOST_WIDE_INT sextc = sext_hwi (c, 16); > HOST_WIDE_INT xorv = c ^ sextc; > > operands[9] = GEN_INT (xorv);
on 2022/12/1 13:17, Kewen.Lin via Gcc-patches wrote: > Hi Jeff, > > on 2022/12/1 09:36, Jiufu Guo wrote: >> Hi, >> >> This patch just uses sext_hwi to replace the expression like: >> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >> >> Bootstrap & regtest pass on ppc64{,le}. >> Is this ok for trunk? > > You didn't say it clearly but I guessed you have grepped in the whole > config/rs6000 directory, right? I noticed there are still two places > using this kind of expression in function constant_generates_xxspltiw, > but I assumed it's intentional as their types are not HOST_WIDE_INT. > > gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; > gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; > oh, one place in gcc/config/rs6000/predicates.md got missed. ./predicates.md-756-{ ./predicates.md-757- HOST_WIDE_INT val; ... ./predicates.md-762- val = const_vector_elt_as_int (op, elt); ./predicates.md:763: val = ((val & 0xff) ^ 0x80) - 0x80; ./predicates.md-764- return EASY_VECTOR_15_ADD_SELF (val); ./predicates.md-765-}) Do you mind to have a further check? Thanks! Kewen
Hi Kewen, Thanks for your quick and insight review! 在 12/1/22 1:17 PM, Kewen.Lin 写道: > Hi Jeff, > > on 2022/12/1 09:36, Jiufu Guo wrote: >> Hi, >> >> This patch just uses sext_hwi to replace the expression like: >> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >> >> Bootstrap & regtest pass on ppc64{,le}. >> Is this ok for trunk? > > You didn't say it clearly but I guessed you have grepped in the whole > config/rs6000 directory, right? I noticed there are still two places > using this kind of expression in function constant_generates_xxspltiw, > but I assumed it's intentional as their types are not HOST_WIDE_INT. > > gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; > gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; > > If so, could you state it clearly in commit log like "with type > signed/unsigned HOST_WIDE_INT" or similar? > Good question! And as you said sext_hwi is more for "signed/unsigned HOST_WIDE_INT". For these two places, it seems sext_hwi is not needed actually! And I did see why these expressions are used, may be just an assignment is ok. So, this patch does not cover these two places. BR, Jeff (Jiufu) > This patch is OK once the above question gets confirmed, thanks! > > BR, > Kewen > >> >> BR, >> Jeff (Jiufu) >> >> gcc/ChangeLog: >> >> * config/rs6000/rs6000.cc (num_insns_constant_gpr): Use sext_hwi. >> (darwin_rs6000_legitimate_lo_sum_const_p): Likewise. >> (mem_operand_gpr): Likewise. >> (mem_operand_ds_form): Likewise. >> (rs6000_legitimize_address): Likewise. >> (rs6000_emit_set_const): Likewise. >> (rs6000_emit_set_long_const): Likewise. >> (print_operand): Likewise. >> * config/rs6000/rs6000.md: Likewise. >> >> --- >> gcc/config/rs6000/rs6000.cc | 30 +++++++++++++----------------- >> gcc/config/rs6000/rs6000.md | 10 +++++----- >> 2 files changed, 18 insertions(+), 22 deletions(-) >> >> diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc >> index 5efe9b22d8b..718072cc9a1 100644 >> --- a/gcc/config/rs6000/rs6000.cc >> +++ b/gcc/config/rs6000/rs6000.cc >> @@ -6021,7 +6021,7 @@ num_insns_constant_gpr (HOST_WIDE_INT value) >> >> else if (TARGET_POWERPC64) >> { >> - HOST_WIDE_INT low = ((value & 0xffffffff) ^ 0x80000000) - 0x80000000; >> + HOST_WIDE_INT low = sext_hwi (value, 32); >> HOST_WIDE_INT high = value >> 31; >> >> if (high == 0 || high == -1) >> @@ -8456,7 +8456,7 @@ darwin_rs6000_legitimate_lo_sum_const_p (rtx x, machine_mode mode) >> } >> >> /* We only care if the access(es) would cause a change to the high part. */ >> - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; >> + offset = sext_hwi (offset, 16); >> return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); >> } >> >> @@ -8522,7 +8522,7 @@ mem_operand_gpr (rtx op, machine_mode mode) >> if (GET_CODE (addr) == LO_SUM) >> /* For lo_sum addresses, we must allow any offset except one that >> causes a wrap, so test only the low 16 bits. */ >> - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; >> + offset = sext_hwi (offset, 16); >> >> return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); >> } >> @@ -8562,7 +8562,7 @@ mem_operand_ds_form (rtx op, machine_mode mode) >> if (GET_CODE (addr) == LO_SUM) >> /* For lo_sum addresses, we must allow any offset except one that >> causes a wrap, so test only the low 16 bits. */ >> - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; >> + offset = sext_hwi (offset, 16); >> >> return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); >> } >> @@ -9136,7 +9136,7 @@ rs6000_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED, >> { >> HOST_WIDE_INT high_int, low_int; >> rtx sum; >> - low_int = ((INTVAL (XEXP (x, 1)) & 0xffff) ^ 0x8000) - 0x8000; >> + low_int = sext_hwi (INTVAL (XEXP (x, 1)), 16); >> if (low_int >= 0x8000 - extra) >> low_int = 0; >> high_int = INTVAL (XEXP (x, 1)) - low_int; >> @@ -10203,7 +10203,7 @@ rs6000_emit_set_const (rtx dest, rtx source) >> lo = operand_subword_force (dest, WORDS_BIG_ENDIAN != 0, >> DImode); >> emit_move_insn (hi, GEN_INT (c >> 32)); >> - c = ((c & 0xffffffff) ^ 0x80000000) - 0x80000000; >> + c = sext_hwi (c, 32); >> emit_move_insn (lo, GEN_INT (c)); >> } >> else >> @@ -10242,7 +10242,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) >> >> if ((ud4 == 0xffff && ud3 == 0xffff && ud2 == 0xffff && (ud1 & 0x8000)) >> || (ud4 == 0 && ud3 == 0 && ud2 == 0 && ! (ud1 & 0x8000))) >> - emit_move_insn (dest, GEN_INT ((ud1 ^ 0x8000) - 0x8000)); >> + emit_move_insn (dest, GEN_INT (sext_hwi (ud1, 16))); >> >> else if ((ud4 == 0xffff && ud3 == 0xffff && (ud2 & 0x8000)) >> || (ud4 == 0 && ud3 == 0 && ! (ud2 & 0x8000))) >> @@ -10250,7 +10250,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) >> temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); >> >> emit_move_insn (ud1 != 0 ? copy_rtx (temp) : dest, >> - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); >> + GEN_INT (sext_hwi (ud2 << 16, 32))); >> if (ud1 != 0) >> emit_move_insn (dest, >> gen_rtx_IOR (DImode, copy_rtx (temp), >> @@ -10261,8 +10261,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) >> temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); >> >> gcc_assert (ud2 & 0x8000); >> - emit_move_insn (copy_rtx (temp), >> - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); >> + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud2 << 16, 32))); >> if (ud1 != 0) >> emit_move_insn (copy_rtx (temp), >> gen_rtx_IOR (DImode, copy_rtx (temp), >> @@ -10273,7 +10272,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) >> { >> temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); >> HOST_WIDE_INT num = (ud2 << 16) | ud1; >> - rs6000_emit_set_long_const (temp, (num ^ 0x80000000) - 0x80000000); >> + rs6000_emit_set_long_const (temp, sext_hwi (num, 32)); >> rtx one = gen_rtx_AND (DImode, temp, GEN_INT (0xffffffff)); >> rtx two = gen_rtx_ASHIFT (DImode, temp, GEN_INT (32)); >> emit_move_insn (dest, gen_rtx_IOR (DImode, one, two)); >> @@ -10283,8 +10282,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) >> { >> temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); >> >> - emit_move_insn (copy_rtx (temp), >> - GEN_INT (((ud3 << 16) ^ 0x80000000) - 0x80000000)); >> + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud3 << 16, 32))); >> if (ud2 != 0) >> emit_move_insn (copy_rtx (temp), >> gen_rtx_IOR (DImode, copy_rtx (temp), >> @@ -10336,8 +10334,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) >> { >> temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); >> >> - emit_move_insn (copy_rtx (temp), >> - GEN_INT (((ud4 << 16) ^ 0x80000000) - 0x80000000)); >> + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud4 << 16, 32))); >> if (ud3 != 0) >> emit_move_insn (copy_rtx (temp), >> gen_rtx_IOR (DImode, copy_rtx (temp), >> @@ -14167,8 +14164,7 @@ print_operand (FILE *file, rtx x, int code) >> /* If constant, low-order 16 bits of constant, signed. Otherwise, write >> normally. */ >> if (INT_P (x)) >> - fprintf (file, HOST_WIDE_INT_PRINT_DEC, >> - ((INTVAL (x) & 0xffff) ^ 0x8000) - 0x8000); >> + fprintf (file, HOST_WIDE_INT_PRINT_DEC, sext_hwi (INTVAL (x), 16)); >> else >> print_operand (file, x, 0); >> return; >> diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md >> index 3bae303086b..4bd1dfd3da9 100644 >> --- a/gcc/config/rs6000/rs6000.md >> +++ b/gcc/config/rs6000/rs6000.md >> @@ -1787,7 +1787,7 @@ (define_expand "add<mode>3" >> } >> >> HOST_WIDE_INT val = INTVAL (operands[2]); >> - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; >> + HOST_WIDE_INT low = sext_hwi (val, 16); >> HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); >> >> if (<MODE>mode == DImode && !satisfies_constraint_L (GEN_INT (rest))) >> @@ -1930,7 +1930,7 @@ (define_split >> (set (match_dup 0) (plus:GPR (match_dup 0) (match_dup 4)))] >> { >> HOST_WIDE_INT val = INTVAL (operands[2]); >> - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; >> + HOST_WIDE_INT low = sext_hwi (val, 16); >> HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); >> >> operands[4] = GEN_INT (low); >> @@ -8213,7 +8213,7 @@ (define_split >> operands[2] = operand_subword (operands[0], endian, 0, <MODE>mode); >> operands[3] = operand_subword (operands[0], 1 - endian, 0, <MODE>mode); >> operands[4] = GEN_INT (value >> 32); >> - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); >> + operands[1] = GEN_INT (sext_hwi (value, 32)); >> }) >> >> (define_split >> @@ -9577,7 +9577,7 @@ (define_split >> operands[3] = operand_subword_force (operands[0], WORDS_BIG_ENDIAN != 0, >> DImode); >> operands[4] = GEN_INT (value >> 32); >> - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); >> + operands[1] = GEN_INT (sext_hwi (value, 32)); >> }) >> >> (define_split >> @@ -12425,7 +12425,7 @@ (define_peephole2 >> SImode, >> operands[1], operands[2]); >> HOST_WIDE_INT c = INTVAL (cnst); >> - HOST_WIDE_INT sextc = ((c & 0xffff) ^ 0x8000) - 0x8000; >> + HOST_WIDE_INT sextc = sext_hwi (c, 16); >> HOST_WIDE_INT xorv = c ^ sextc; >> >> operands[9] = GEN_INT (xorv);
on 2022/12/1 13:35, Jiufu Guo wrote: > Hi Kewen, > > Thanks for your quick and insight review! > > 在 12/1/22 1:17 PM, Kewen.Lin 写道: >> Hi Jeff, >> >> on 2022/12/1 09:36, Jiufu Guo wrote: >>> Hi, >>> >>> This patch just uses sext_hwi to replace the expression like: >>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >>> >>> Bootstrap & regtest pass on ppc64{,le}. >>> Is this ok for trunk? >> >> You didn't say it clearly but I guessed you have grepped in the whole >> config/rs6000 directory, right? I noticed there are still two places >> using this kind of expression in function constant_generates_xxspltiw, >> but I assumed it's intentional as their types are not HOST_WIDE_INT. >> >> gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; >> gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; >> >> If so, could you state it clearly in commit log like "with type >> signed/unsigned HOST_WIDE_INT" or similar? >> > Good question! > > And as you said sext_hwi is more for "signed/unsigned HOST_WIDE_INT". > For these two places, it seems sext_hwi is not needed actually! > And I did see why these expressions are used, may be just an assignment > is ok. ah, I see. I agree using the assignment is quite enough. Could you please also simplify them together? Since they are with the form "((value & 0xf..f) ^ 0x80..0) - 0x80..0" too, and can be refactored in a better way. Thanks! BR, Kewen
Hi Kewen, 在 12/1/22 1:30 PM, Kewen.Lin 写道: > on 2022/12/1 13:17, Kewen.Lin via Gcc-patches wrote: >> Hi Jeff, >> >> on 2022/12/1 09:36, Jiufu Guo wrote: >>> Hi, >>> >>> This patch just uses sext_hwi to replace the expression like: >>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >>> >>> Bootstrap & regtest pass on ppc64{,le}. >>> Is this ok for trunk? >> >> You didn't say it clearly but I guessed you have grepped in the whole >> config/rs6000 directory, right? I noticed there are still two places >> using this kind of expression in function constant_generates_xxspltiw, >> but I assumed it's intentional as their types are not HOST_WIDE_INT. >> >> gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; >> gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; >> > > oh, one place in gcc/config/rs6000/predicates.md got missed. > > ./predicates.md-756-{ > ./predicates.md-757- HOST_WIDE_INT val; > ... > ./predicates.md-762- val = const_vector_elt_as_int (op, elt); > ./predicates.md:763: val = ((val & 0xff) ^ 0x80) - 0x80; > ./predicates.md-764- return EASY_VECTOR_15_ADD_SELF (val); > ./predicates.md-765-}) > > Do you mind to have a further check? Good catch, thanks! I will update the patch to cover this one. Bootstrap and testing. I would be better to check all files under rs6000/. I just rechecked with grep -r "^.*0x8.*-.*0x8" for rs6000. No other place is missed. BR, Jeff (Jiufu) Updated patch as attached(add predicates.md). > > Thanks! > > Kewen From 0059e2175cac5353890965ba782ff58743d2f486 Mon Sep 17 00:00:00 2001 From: Jiufu Guo <guojiufu@linux.ibm.com> Date: Wed, 30 Nov 2022 13:13:37 +0800 Subject: [PATCH 2/2]rs6000: use sext_hwi to replace ((v&0xf..f)^0x80..0) - 0x80..0 This patch just uses sext_hwi to replace the expression like: ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc, rs6000.md and predicates.md (all occurance under rs6000/). gcc/ChangeLog: * config/rs6000/predicates.md: Use sext_hwi. * config/rs6000/rs6000.cc (num_insns_constant_gpr): Use sext_hwi. (darwin_rs6000_legitimate_lo_sum_const_p): Likewise. (mem_operand_gpr): Likewise. (mem_operand_ds_form): Likewise. (rs6000_legitimize_address): Likewise. (rs6000_emit_set_const): Likewise. (rs6000_emit_set_long_const): Likewise. (print_operand): Likewise. * config/rs6000/rs6000.md: Likewise. --- gcc/config/rs6000/predicates.md | 2 +- gcc/config/rs6000/rs6000.cc | 30 +++++++++++++----------------- gcc/config/rs6000/rs6000.md | 10 +++++----- 3 files changed, 19 insertions(+), 23 deletions(-) diff --git a/gcc/config/rs6000/predicates.md b/gcc/config/rs6000/predicates.md index b1fcc69bb60..a1764018545 100644 --- a/gcc/config/rs6000/predicates.md +++ b/gcc/config/rs6000/predicates.md @@ -760,7 +760,7 @@ (define_predicate "easy_vector_constant_add_self" return 0; elt = BYTES_BIG_ENDIAN ? GET_MODE_NUNITS (mode) - 1 : 0; val = const_vector_elt_as_int (op, elt); - val = ((val & 0xff) ^ 0x80) - 0x80; + val = sext_hwi (val, 8); return EASY_VECTOR_15_ADD_SELF (val); }) diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc index 5efe9b22d8b..718072cc9a1 100644 --- a/gcc/config/rs6000/rs6000.cc +++ b/gcc/config/rs6000/rs6000.cc @@ -6021,7 +6021,7 @@ num_insns_constant_gpr (HOST_WIDE_INT value) else if (TARGET_POWERPC64) { - HOST_WIDE_INT low = ((value & 0xffffffff) ^ 0x80000000) - 0x80000000; + HOST_WIDE_INT low = sext_hwi (value, 32); HOST_WIDE_INT high = value >> 31; if (high == 0 || high == -1) @@ -8456,7 +8456,7 @@ darwin_rs6000_legitimate_lo_sum_const_p (rtx x, machine_mode mode) } /* We only care if the access(es) would cause a change to the high part. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -8522,7 +8522,7 @@ mem_operand_gpr (rtx op, machine_mode mode) if (GET_CODE (addr) == LO_SUM) /* For lo_sum addresses, we must allow any offset except one that causes a wrap, so test only the low 16 bits. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -8562,7 +8562,7 @@ mem_operand_ds_form (rtx op, machine_mode mode) if (GET_CODE (addr) == LO_SUM) /* For lo_sum addresses, we must allow any offset except one that causes a wrap, so test only the low 16 bits. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -9136,7 +9136,7 @@ rs6000_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED, { HOST_WIDE_INT high_int, low_int; rtx sum; - low_int = ((INTVAL (XEXP (x, 1)) & 0xffff) ^ 0x8000) - 0x8000; + low_int = sext_hwi (INTVAL (XEXP (x, 1)), 16); if (low_int >= 0x8000 - extra) low_int = 0; high_int = INTVAL (XEXP (x, 1)) - low_int; @@ -10203,7 +10203,7 @@ rs6000_emit_set_const (rtx dest, rtx source) lo = operand_subword_force (dest, WORDS_BIG_ENDIAN != 0, DImode); emit_move_insn (hi, GEN_INT (c >> 32)); - c = ((c & 0xffffffff) ^ 0x80000000) - 0x80000000; + c = sext_hwi (c, 32); emit_move_insn (lo, GEN_INT (c)); } else @@ -10242,7 +10242,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) if ((ud4 == 0xffff && ud3 == 0xffff && ud2 == 0xffff && (ud1 & 0x8000)) || (ud4 == 0 && ud3 == 0 && ud2 == 0 && ! (ud1 & 0x8000))) - emit_move_insn (dest, GEN_INT ((ud1 ^ 0x8000) - 0x8000)); + emit_move_insn (dest, GEN_INT (sext_hwi (ud1, 16))); else if ((ud4 == 0xffff && ud3 == 0xffff && (ud2 & 0x8000)) || (ud4 == 0 && ud3 == 0 && ! (ud2 & 0x8000))) @@ -10250,7 +10250,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); emit_move_insn (ud1 != 0 ? copy_rtx (temp) : dest, - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); + GEN_INT (sext_hwi (ud2 << 16, 32))); if (ud1 != 0) emit_move_insn (dest, gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10261,8 +10261,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); gcc_assert (ud2 & 0x8000); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud2 << 16, 32))); if (ud1 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10273,7 +10272,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); HOST_WIDE_INT num = (ud2 << 16) | ud1; - rs6000_emit_set_long_const (temp, (num ^ 0x80000000) - 0x80000000); + rs6000_emit_set_long_const (temp, sext_hwi (num, 32)); rtx one = gen_rtx_AND (DImode, temp, GEN_INT (0xffffffff)); rtx two = gen_rtx_ASHIFT (DImode, temp, GEN_INT (32)); emit_move_insn (dest, gen_rtx_IOR (DImode, one, two)); @@ -10283,8 +10282,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud3 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud3 << 16, 32))); if (ud2 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10336,8 +10334,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud4 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud4 << 16, 32))); if (ud3 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -14167,8 +14164,7 @@ print_operand (FILE *file, rtx x, int code) /* If constant, low-order 16 bits of constant, signed. Otherwise, write normally. */ if (INT_P (x)) - fprintf (file, HOST_WIDE_INT_PRINT_DEC, - ((INTVAL (x) & 0xffff) ^ 0x8000) - 0x8000); + fprintf (file, HOST_WIDE_INT_PRINT_DEC, sext_hwi (INTVAL (x), 16)); else print_operand (file, x, 0); return; diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index 3bae303086b..4bd1dfd3da9 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -1787,7 +1787,7 @@ (define_expand "add<mode>3" } HOST_WIDE_INT val = INTVAL (operands[2]); - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT low = sext_hwi (val, 16); HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); if (<MODE>mode == DImode && !satisfies_constraint_L (GEN_INT (rest))) @@ -1930,7 +1930,7 @@ (define_split (set (match_dup 0) (plus:GPR (match_dup 0) (match_dup 4)))] { HOST_WIDE_INT val = INTVAL (operands[2]); - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT low = sext_hwi (val, 16); HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); operands[4] = GEN_INT (low); @@ -8213,7 +8213,7 @@ (define_split operands[2] = operand_subword (operands[0], endian, 0, <MODE>mode); operands[3] = operand_subword (operands[0], 1 - endian, 0, <MODE>mode); operands[4] = GEN_INT (value >> 32); - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); + operands[1] = GEN_INT (sext_hwi (value, 32)); }) (define_split @@ -9577,7 +9577,7 @@ (define_split operands[3] = operand_subword_force (operands[0], WORDS_BIG_ENDIAN != 0, DImode); operands[4] = GEN_INT (value >> 32); - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); + operands[1] = GEN_INT (sext_hwi (value, 32)); }) (define_split @@ -12425,7 +12425,7 @@ (define_peephole2 SImode, operands[1], operands[2]); HOST_WIDE_INT c = INTVAL (cnst); - HOST_WIDE_INT sextc = ((c & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT sextc = sext_hwi (c, 16); HOST_WIDE_INT xorv = c ^ sextc; operands[9] = GEN_INT (xorv);
Hi Kewen, 在 12/1/22 2:11 PM, Kewen.Lin 写道: > on 2022/12/1 13:35, Jiufu Guo wrote: >> Hi Kewen, >> >> Thanks for your quick and insight review! >> >> 在 12/1/22 1:17 PM, Kewen.Lin 写道: >>> Hi Jeff, >>> >>> on 2022/12/1 09:36, Jiufu Guo wrote: >>>> Hi, >>>> >>>> This patch just uses sext_hwi to replace the expression like: >>>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >>>> >>>> Bootstrap & regtest pass on ppc64{,le}. >>>> Is this ok for trunk? >>> >>> You didn't say it clearly but I guessed you have grepped in the whole >>> config/rs6000 directory, right? I noticed there are still two places >>> using this kind of expression in function constant_generates_xxspltiw, >>> but I assumed it's intentional as their types are not HOST_WIDE_INT. >>> >>> gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; >>> gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; >>> >>> If so, could you state it clearly in commit log like "with type >>> signed/unsigned HOST_WIDE_INT" or similar? >>> >> Good question! >> >> And as you said sext_hwi is more for "signed/unsigned HOST_WIDE_INT". >> For these two places, it seems sext_hwi is not needed actually! >> And I did see why these expressions are used, may be just an assignment >> is ok. > > ah, I see. I agree using the assignment is quite enough. Could you > please also simplify them together? Since they are with the form > "((value & 0xf..f) ^ 0x80..0) - 0x80..0" too, and can be refactored > in a better way. Thanks! Sure, I believe just "short sign_h_word = vsx_const->half_words[0];" should be correct :-), and included in the updated patch. Updated patch is attached, bootstrap®test is on going. BR, Jeff (Jiufu) > > BR, > Kewen > From 8aa8e1234b6ec34473434951a3a6177253aac770 Mon Sep 17 00:00:00 2001 From: Jiufu Guo <guojiufu@linux.ibm.com> Date: Wed, 30 Nov 2022 13:13:37 +0800 Subject: [PATCH 2/2]rs6000: update ((v&0xf..f)^0x80..0) - 0x80..0 with code: like sext_hwi This patch just replaces the expression like: ((value & 0xf..f) ^ 0x80..0) - 0x80..0 to better code(e.g. sext_hwi) for rs6000.cc, rs6000.md and predicates.md (files under rs6000/). gcc/ChangeLog: * config/rs6000/predicates.md: Use sext_hwi. * config/rs6000/rs6000.cc (num_insns_constant_gpr): Likewise. (darwin_rs6000_legitimate_lo_sum_const_p): Likewise. (mem_operand_gpr): Likewise. (mem_operand_ds_form): Likewise. (rs6000_legitimize_address): Likewise. (rs6000_emit_set_const): Likewise. (rs6000_emit_set_long_const): Likewise. (print_operand): Likewise. (constant_generates_xxspltiw): Remove unnecessary expressions. * config/rs6000/rs6000.md: Use sext_hwi. --- gcc/config/rs6000/predicates.md | 2 +- gcc/config/rs6000/rs6000.cc | 36 ++++++++++++++------------------- gcc/config/rs6000/rs6000.md | 10 ++++----- 3 files changed, 21 insertions(+), 27 deletions(-) diff --git a/gcc/config/rs6000/predicates.md b/gcc/config/rs6000/predicates.md index b1fcc69bb60..a1764018545 100644 --- a/gcc/config/rs6000/predicates.md +++ b/gcc/config/rs6000/predicates.md @@ -760,7 +760,7 @@ (define_predicate "easy_vector_constant_add_self" return 0; elt = BYTES_BIG_ENDIAN ? GET_MODE_NUNITS (mode) - 1 : 0; val = const_vector_elt_as_int (op, elt); - val = ((val & 0xff) ^ 0x80) - 0x80; + val = sext_hwi (val, 8); return EASY_VECTOR_15_ADD_SELF (val); }) diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc index 5efe9b22d8b..dff9a0d8835 100644 --- a/gcc/config/rs6000/rs6000.cc +++ b/gcc/config/rs6000/rs6000.cc @@ -6021,7 +6021,7 @@ num_insns_constant_gpr (HOST_WIDE_INT value) else if (TARGET_POWERPC64) { - HOST_WIDE_INT low = ((value & 0xffffffff) ^ 0x80000000) - 0x80000000; + HOST_WIDE_INT low = sext_hwi (value, 32); HOST_WIDE_INT high = value >> 31; if (high == 0 || high == -1) @@ -8456,7 +8456,7 @@ darwin_rs6000_legitimate_lo_sum_const_p (rtx x, machine_mode mode) } /* We only care if the access(es) would cause a change to the high part. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -8522,7 +8522,7 @@ mem_operand_gpr (rtx op, machine_mode mode) if (GET_CODE (addr) == LO_SUM) /* For lo_sum addresses, we must allow any offset except one that causes a wrap, so test only the low 16 bits. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -8562,7 +8562,7 @@ mem_operand_ds_form (rtx op, machine_mode mode) if (GET_CODE (addr) == LO_SUM) /* For lo_sum addresses, we must allow any offset except one that causes a wrap, so test only the low 16 bits. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -9136,7 +9136,7 @@ rs6000_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED, { HOST_WIDE_INT high_int, low_int; rtx sum; - low_int = ((INTVAL (XEXP (x, 1)) & 0xffff) ^ 0x8000) - 0x8000; + low_int = sext_hwi (INTVAL (XEXP (x, 1)), 16); if (low_int >= 0x8000 - extra) low_int = 0; high_int = INTVAL (XEXP (x, 1)) - low_int; @@ -10203,7 +10203,7 @@ rs6000_emit_set_const (rtx dest, rtx source) lo = operand_subword_force (dest, WORDS_BIG_ENDIAN != 0, DImode); emit_move_insn (hi, GEN_INT (c >> 32)); - c = ((c & 0xffffffff) ^ 0x80000000) - 0x80000000; + c = sext_hwi (c, 32); emit_move_insn (lo, GEN_INT (c)); } else @@ -10242,7 +10242,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) if ((ud4 == 0xffff && ud3 == 0xffff && ud2 == 0xffff && (ud1 & 0x8000)) || (ud4 == 0 && ud3 == 0 && ud2 == 0 && ! (ud1 & 0x8000))) - emit_move_insn (dest, GEN_INT ((ud1 ^ 0x8000) - 0x8000)); + emit_move_insn (dest, GEN_INT (sext_hwi (ud1, 16))); else if ((ud4 == 0xffff && ud3 == 0xffff && (ud2 & 0x8000)) || (ud4 == 0 && ud3 == 0 && ! (ud2 & 0x8000))) @@ -10250,7 +10250,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); emit_move_insn (ud1 != 0 ? copy_rtx (temp) : dest, - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); + GEN_INT (sext_hwi (ud2 << 16, 32))); if (ud1 != 0) emit_move_insn (dest, gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10261,8 +10261,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); gcc_assert (ud2 & 0x8000); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud2 << 16, 32))); if (ud1 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10273,7 +10272,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); HOST_WIDE_INT num = (ud2 << 16) | ud1; - rs6000_emit_set_long_const (temp, (num ^ 0x80000000) - 0x80000000); + rs6000_emit_set_long_const (temp, sext_hwi (num, 32)); rtx one = gen_rtx_AND (DImode, temp, GEN_INT (0xffffffff)); rtx two = gen_rtx_ASHIFT (DImode, temp, GEN_INT (32)); emit_move_insn (dest, gen_rtx_IOR (DImode, one, two)); @@ -10283,8 +10282,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud3 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud3 << 16, 32))); if (ud2 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10336,8 +10334,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud4 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud4 << 16, 32))); if (ud3 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -14167,8 +14164,7 @@ print_operand (FILE *file, rtx x, int code) /* If constant, low-order 16 bits of constant, signed. Otherwise, write normally. */ if (INT_P (x)) - fprintf (file, HOST_WIDE_INT_PRINT_DEC, - ((INTVAL (x) & 0xffff) ^ 0x8000) - 0x8000); + fprintf (file, HOST_WIDE_INT_PRINT_DEC, sext_hwi (INTVAL (x), 16)); else print_operand (file, x, 0); return; @@ -28719,14 +28715,12 @@ constant_generates_xxspltiw (vec_const_128bit_type *vsx_const) /* See if we can use VSPLTISH or VSPLTISW. */ if (vsx_const->all_half_words_same) { - unsigned short h_word = vsx_const->half_words[0]; - short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; + short sign_h_word = vsx_const->half_words[0]; if (EASY_VECTOR_15 (sign_h_word)) return 0; } - unsigned int word = vsx_const->words[0]; - int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; + int sign_word = vsx_const->words[0]; if (EASY_VECTOR_15 (sign_word)) return 0; diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index 3bae303086b..4bd1dfd3da9 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -1787,7 +1787,7 @@ (define_expand "add<mode>3" } HOST_WIDE_INT val = INTVAL (operands[2]); - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT low = sext_hwi (val, 16); HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); if (<MODE>mode == DImode && !satisfies_constraint_L (GEN_INT (rest))) @@ -1930,7 +1930,7 @@ (define_split (set (match_dup 0) (plus:GPR (match_dup 0) (match_dup 4)))] { HOST_WIDE_INT val = INTVAL (operands[2]); - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT low = sext_hwi (val, 16); HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); operands[4] = GEN_INT (low); @@ -8213,7 +8213,7 @@ (define_split operands[2] = operand_subword (operands[0], endian, 0, <MODE>mode); operands[3] = operand_subword (operands[0], 1 - endian, 0, <MODE>mode); operands[4] = GEN_INT (value >> 32); - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); + operands[1] = GEN_INT (sext_hwi (value, 32)); }) (define_split @@ -9577,7 +9577,7 @@ (define_split operands[3] = operand_subword_force (operands[0], WORDS_BIG_ENDIAN != 0, DImode); operands[4] = GEN_INT (value >> 32); - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); + operands[1] = GEN_INT (sext_hwi (value, 32)); }) (define_split @@ -12425,7 +12425,7 @@ (define_peephole2 SImode, operands[1], operands[2]); HOST_WIDE_INT c = INTVAL (cnst); - HOST_WIDE_INT sextc = ((c & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT sextc = sext_hwi (c, 16); HOST_WIDE_INT xorv = c ^ sextc; operands[9] = GEN_INT (xorv);
On 2022-12-01 15:10, Jiufu Guo via Gcc-patches wrote: > Hi Kewen, > > 在 12/1/22 2:11 PM, Kewen.Lin 写道: >> on 2022/12/1 13:35, Jiufu Guo wrote: >>> Hi Kewen, >>> >>> Thanks for your quick and insight review! >>> >>> 在 12/1/22 1:17 PM, Kewen.Lin 写道: >>>> Hi Jeff, >>>> >>>> on 2022/12/1 09:36, Jiufu Guo wrote: >>>>> Hi, >>>>> >>>>> This patch just uses sext_hwi to replace the expression like: >>>>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >>>>> >>>>> Bootstrap & regtest pass on ppc64{,le}. >>>>> Is this ok for trunk? >>>> >>>> You didn't say it clearly but I guessed you have grepped in the >>>> whole >>>> config/rs6000 directory, right? I noticed there are still two >>>> places >>>> using this kind of expression in function >>>> constant_generates_xxspltiw, >>>> but I assumed it's intentional as their types are not HOST_WIDE_INT. >>>> >>>> gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & >>>> 0xffff) ^ 0x8000) - 0x8000; >>>> gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ >>>> 0x80000000) - 0x80000000; >>>> >>>> If so, could you state it clearly in commit log like "with type >>>> signed/unsigned HOST_WIDE_INT" or similar? >>>> >>> Good question! >>> >>> And as you said sext_hwi is more for "signed/unsigned HOST_WIDE_INT". >>> For these two places, it seems sext_hwi is not needed actually! >>> And I did see why these expressions are used, may be just an >>> assignment >>> is ok. >> >> ah, I see. I agree using the assignment is quite enough. Could you >> please also simplify them together? Since they are with the form >> "((value & 0xf..f) ^ 0x80..0) - 0x80..0" too, and can be refactored >> in a better way. Thanks! > > Sure, I believe just "short sign_h_word = vsx_const->half_words[0];" > should be correct :-), and included in the updated patch. > > Updated patch is attached, bootstrap®test is on going. Bootstrap and regtest pass on ppc64{,le}. BR, Jeff (Jiufu) > > > BR, > Jeff (Jiufu) > >> >> BR, >> Kewen >>
on 2022/12/1 20:16, guojiufu wrote: > On 2022-12-01 15:10, Jiufu Guo via Gcc-patches wrote: >> Hi Kewen, >> >> 在 12/1/22 2:11 PM, Kewen.Lin 写道: >>> on 2022/12/1 13:35, Jiufu Guo wrote: >>>> Hi Kewen, >>>> >>>> Thanks for your quick and insight review! >>>> >>>> 在 12/1/22 1:17 PM, Kewen.Lin 写道: >>>>> Hi Jeff, >>>>> >>>>> on 2022/12/1 09:36, Jiufu Guo wrote: >>>>>> Hi, >>>>>> >>>>>> This patch just uses sext_hwi to replace the expression like: >>>>>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >>>>>> >>>>>> Bootstrap & regtest pass on ppc64{,le}. >>>>>> Is this ok for trunk? >>>>> >>>>> You didn't say it clearly but I guessed you have grepped in the whole >>>>> config/rs6000 directory, right? I noticed there are still two places >>>>> using this kind of expression in function constant_generates_xxspltiw, >>>>> but I assumed it's intentional as their types are not HOST_WIDE_INT. >>>>> >>>>> gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; >>>>> gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; >>>>> >>>>> If so, could you state it clearly in commit log like "with type >>>>> signed/unsigned HOST_WIDE_INT" or similar? >>>>> >>>> Good question! >>>> >>>> And as you said sext_hwi is more for "signed/unsigned HOST_WIDE_INT". >>>> For these two places, it seems sext_hwi is not needed actually! >>>> And I did see why these expressions are used, may be just an assignment >>>> is ok. >>> >>> ah, I see. I agree using the assignment is quite enough. Could you >>> please also simplify them together? Since they are with the form >>> "((value & 0xf..f) ^ 0x80..0) - 0x80..0" too, and can be refactored >>> in a better way. Thanks! >> >> Sure, I believe just "short sign_h_word = vsx_const->half_words[0];" >> should be correct :-), and included in the updated patch. >> >> Updated patch is attached, bootstrap®test is on going. > on 2022/12/1 15:10, Jiufu Guo wrote: > From 8aa8e1234b6ec34473434951a3a6177253aac770 Mon Sep 17 00:00:00 2001 > From: Jiufu Guo <guojiufu@linux.ibm.com> > Date: Wed, 30 Nov 2022 13:13:37 +0800 > Subject: [PATCH 2/2]rs6000: update ((v&0xf..f)^0x80..0) - 0x80..0 with code: like sext_hwi > May be shorter with "rs6000: Update sign extension computation with sext_hwi"? > This patch just replaces the expression like: > ((value & 0xf..f) ^ 0x80..0) - 0x80..0 to better code(e.g. sext_hwi) for > rs6000.cc, rs6000.md and predicates.md (files under rs6000/). > Bootstrap and regtest pass on ppc64{,le}. > Thanks for updating and testing, this patch is OK. BR, Kewen
Hi Kewen, "Kewen.Lin" <linkw@linux.ibm.com> writes: > on 2022/12/1 20:16, guojiufu wrote: >> On 2022-12-01 15:10, Jiufu Guo via Gcc-patches wrote: >>> Hi Kewen, >>> >>> 在 12/1/22 2:11 PM, Kewen.Lin 写道: >>>> on 2022/12/1 13:35, Jiufu Guo wrote: >>>>> Hi Kewen, >>>>> >>>>> Thanks for your quick and insight review! >>>>> >>>>> 在 12/1/22 1:17 PM, Kewen.Lin 写道: >>>>>> Hi Jeff, >>>>>> >>>>>> on 2022/12/1 09:36, Jiufu Guo wrote: >>>>>>> Hi, >>>>>>> >>>>>>> This patch just uses sext_hwi to replace the expression like: >>>>>>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 for rs6000.cc and rs6000.md. >>>>>>> >>>>>>> Bootstrap & regtest pass on ppc64{,le}. >>>>>>> Is this ok for trunk? >>>>>> >>>>>> You didn't say it clearly but I guessed you have grepped in the whole >>>>>> config/rs6000 directory, right? I noticed there are still two places >>>>>> using this kind of expression in function constant_generates_xxspltiw, >>>>>> but I assumed it's intentional as their types are not HOST_WIDE_INT. >>>>>> >>>>>> gcc/config/rs6000/rs6000.cc: short sign_h_word = ((h_word & 0xffff) ^ 0x8000) - 0x8000; >>>>>> gcc/config/rs6000/rs6000.cc: int sign_word = ((word & 0xffffffff) ^ 0x80000000) - 0x80000000; >>>>>> >>>>>> If so, could you state it clearly in commit log like "with type >>>>>> signed/unsigned HOST_WIDE_INT" or similar? >>>>>> >>>>> Good question! >>>>> >>>>> And as you said sext_hwi is more for "signed/unsigned HOST_WIDE_INT". >>>>> For these two places, it seems sext_hwi is not needed actually! >>>>> And I did see why these expressions are used, may be just an assignment >>>>> is ok. >>>> >>>> ah, I see. I agree using the assignment is quite enough. Could you >>>> please also simplify them together? Since they are with the form >>>> "((value & 0xf..f) ^ 0x80..0) - 0x80..0" too, and can be refactored >>>> in a better way. Thanks! >>> >>> Sure, I believe just "short sign_h_word = vsx_const->half_words[0];" >>> should be correct :-), and included in the updated patch. >>> >>> Updated patch is attached, bootstrap®test is on going. >> > > on 2022/12/1 15:10, Jiufu Guo wrote: >> From 8aa8e1234b6ec34473434951a3a6177253aac770 Mon Sep 17 00:00:00 2001 >> From: Jiufu Guo <guojiufu@linux.ibm.com> >> Date: Wed, 30 Nov 2022 13:13:37 +0800 >> Subject: [PATCH 2/2]rs6000: update ((v&0xf..f)^0x80..0) - 0x80..0 with code: like sext_hwi >> > > May be shorter with "rs6000: Update sign extension computation with > sext_hwi"? Thanks for your great suggestions! > >> This patch just replaces the expression like: >> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 to better code(e.g. sext_hwi) for >> rs6000.cc, rs6000.md and predicates.md (files under rs6000/). > > >> Bootstrap and regtest pass on ppc64{,le}. >> > > Thanks for updating and testing, this patch is OK. BR, Jeff (Jiufu) > > BR, > Kewen
Hi, Jiufu Guo via Gcc-patches <gcc-patches@gcc.gnu.org> writes: > Hi Kewen, > > "Kewen.Lin" <linkw@linux.ibm.com> writes: >> on 2022/12/1 20:16, guojiufu wrote: >>> On 2022-12-01 15:10, Jiufu Guo via Gcc-patches wrote: >>>> Hi Kewen, cut... >>> From 8aa8e1234b6ec34473434951a3a6177253aac770 Mon Sep 17 00:00:00 2001 >>> From: Jiufu Guo <guojiufu@linux.ibm.com> >>> Date: Wed, 30 Nov 2022 13:13:37 +0800 >>> Subject: [PATCH 2/2]rs6000: update ((v&0xf..f)^0x80..0) - 0x80..0 with code: like sext_hwi >>> >> >> May be shorter with "rs6000: Update sign extension computation with >> sext_hwi"? > Thanks for your great suggestions! >> >>> This patch just replaces the expression like: >>> ((value & 0xf..f) ^ 0x80..0) - 0x80..0 to better code(e.g. sext_hwi) for >>> rs6000.cc, rs6000.md and predicates.md (files under rs6000/). >> >> >>> Bootstrap and regtest pass on ppc64{,le}. >>> >> >> Thanks for updating and testing, this patch is OK. Committed via r13-4556. Thanks again! BR, Jeff (Jiufu) > > BR, > Jeff (Jiufu) > >> >> BR, >> Kewen
diff --git a/gcc/config/rs6000/rs6000.cc b/gcc/config/rs6000/rs6000.cc index 5efe9b22d8b..718072cc9a1 100644 --- a/gcc/config/rs6000/rs6000.cc +++ b/gcc/config/rs6000/rs6000.cc @@ -6021,7 +6021,7 @@ num_insns_constant_gpr (HOST_WIDE_INT value) else if (TARGET_POWERPC64) { - HOST_WIDE_INT low = ((value & 0xffffffff) ^ 0x80000000) - 0x80000000; + HOST_WIDE_INT low = sext_hwi (value, 32); HOST_WIDE_INT high = value >> 31; if (high == 0 || high == -1) @@ -8456,7 +8456,7 @@ darwin_rs6000_legitimate_lo_sum_const_p (rtx x, machine_mode mode) } /* We only care if the access(es) would cause a change to the high part. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -8522,7 +8522,7 @@ mem_operand_gpr (rtx op, machine_mode mode) if (GET_CODE (addr) == LO_SUM) /* For lo_sum addresses, we must allow any offset except one that causes a wrap, so test only the low 16 bits. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -8562,7 +8562,7 @@ mem_operand_ds_form (rtx op, machine_mode mode) if (GET_CODE (addr) == LO_SUM) /* For lo_sum addresses, we must allow any offset except one that causes a wrap, so test only the low 16 bits. */ - offset = ((offset & 0xffff) ^ 0x8000) - 0x8000; + offset = sext_hwi (offset, 16); return SIGNED_16BIT_OFFSET_EXTRA_P (offset, extra); } @@ -9136,7 +9136,7 @@ rs6000_legitimize_address (rtx x, rtx oldx ATTRIBUTE_UNUSED, { HOST_WIDE_INT high_int, low_int; rtx sum; - low_int = ((INTVAL (XEXP (x, 1)) & 0xffff) ^ 0x8000) - 0x8000; + low_int = sext_hwi (INTVAL (XEXP (x, 1)), 16); if (low_int >= 0x8000 - extra) low_int = 0; high_int = INTVAL (XEXP (x, 1)) - low_int; @@ -10203,7 +10203,7 @@ rs6000_emit_set_const (rtx dest, rtx source) lo = operand_subword_force (dest, WORDS_BIG_ENDIAN != 0, DImode); emit_move_insn (hi, GEN_INT (c >> 32)); - c = ((c & 0xffffffff) ^ 0x80000000) - 0x80000000; + c = sext_hwi (c, 32); emit_move_insn (lo, GEN_INT (c)); } else @@ -10242,7 +10242,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) if ((ud4 == 0xffff && ud3 == 0xffff && ud2 == 0xffff && (ud1 & 0x8000)) || (ud4 == 0 && ud3 == 0 && ud2 == 0 && ! (ud1 & 0x8000))) - emit_move_insn (dest, GEN_INT ((ud1 ^ 0x8000) - 0x8000)); + emit_move_insn (dest, GEN_INT (sext_hwi (ud1, 16))); else if ((ud4 == 0xffff && ud3 == 0xffff && (ud2 & 0x8000)) || (ud4 == 0 && ud3 == 0 && ! (ud2 & 0x8000))) @@ -10250,7 +10250,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); emit_move_insn (ud1 != 0 ? copy_rtx (temp) : dest, - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); + GEN_INT (sext_hwi (ud2 << 16, 32))); if (ud1 != 0) emit_move_insn (dest, gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10261,8 +10261,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); gcc_assert (ud2 & 0x8000); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud2 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud2 << 16, 32))); if (ud1 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10273,7 +10272,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); HOST_WIDE_INT num = (ud2 << 16) | ud1; - rs6000_emit_set_long_const (temp, (num ^ 0x80000000) - 0x80000000); + rs6000_emit_set_long_const (temp, sext_hwi (num, 32)); rtx one = gen_rtx_AND (DImode, temp, GEN_INT (0xffffffff)); rtx two = gen_rtx_ASHIFT (DImode, temp, GEN_INT (32)); emit_move_insn (dest, gen_rtx_IOR (DImode, one, two)); @@ -10283,8 +10282,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud3 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud3 << 16, 32))); if (ud2 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -10336,8 +10334,7 @@ rs6000_emit_set_long_const (rtx dest, HOST_WIDE_INT c) { temp = !can_create_pseudo_p () ? dest : gen_reg_rtx (DImode); - emit_move_insn (copy_rtx (temp), - GEN_INT (((ud4 << 16) ^ 0x80000000) - 0x80000000)); + emit_move_insn (copy_rtx (temp), GEN_INT (sext_hwi (ud4 << 16, 32))); if (ud3 != 0) emit_move_insn (copy_rtx (temp), gen_rtx_IOR (DImode, copy_rtx (temp), @@ -14167,8 +14164,7 @@ print_operand (FILE *file, rtx x, int code) /* If constant, low-order 16 bits of constant, signed. Otherwise, write normally. */ if (INT_P (x)) - fprintf (file, HOST_WIDE_INT_PRINT_DEC, - ((INTVAL (x) & 0xffff) ^ 0x8000) - 0x8000); + fprintf (file, HOST_WIDE_INT_PRINT_DEC, sext_hwi (INTVAL (x), 16)); else print_operand (file, x, 0); return; diff --git a/gcc/config/rs6000/rs6000.md b/gcc/config/rs6000/rs6000.md index 3bae303086b..4bd1dfd3da9 100644 --- a/gcc/config/rs6000/rs6000.md +++ b/gcc/config/rs6000/rs6000.md @@ -1787,7 +1787,7 @@ (define_expand "add<mode>3" } HOST_WIDE_INT val = INTVAL (operands[2]); - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT low = sext_hwi (val, 16); HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); if (<MODE>mode == DImode && !satisfies_constraint_L (GEN_INT (rest))) @@ -1930,7 +1930,7 @@ (define_split (set (match_dup 0) (plus:GPR (match_dup 0) (match_dup 4)))] { HOST_WIDE_INT val = INTVAL (operands[2]); - HOST_WIDE_INT low = ((val & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT low = sext_hwi (val, 16); HOST_WIDE_INT rest = trunc_int_for_mode (val - low, <MODE>mode); operands[4] = GEN_INT (low); @@ -8213,7 +8213,7 @@ (define_split operands[2] = operand_subword (operands[0], endian, 0, <MODE>mode); operands[3] = operand_subword (operands[0], 1 - endian, 0, <MODE>mode); operands[4] = GEN_INT (value >> 32); - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); + operands[1] = GEN_INT (sext_hwi (value, 32)); }) (define_split @@ -9577,7 +9577,7 @@ (define_split operands[3] = operand_subword_force (operands[0], WORDS_BIG_ENDIAN != 0, DImode); operands[4] = GEN_INT (value >> 32); - operands[1] = GEN_INT (((value & 0xffffffff) ^ 0x80000000) - 0x80000000); + operands[1] = GEN_INT (sext_hwi (value, 32)); }) (define_split @@ -12425,7 +12425,7 @@ (define_peephole2 SImode, operands[1], operands[2]); HOST_WIDE_INT c = INTVAL (cnst); - HOST_WIDE_INT sextc = ((c & 0xffff) ^ 0x8000) - 0x8000; + HOST_WIDE_INT sextc = sext_hwi (c, 16); HOST_WIDE_INT xorv = c ^ sextc; operands[9] = GEN_INT (xorv);