From patchwork Thu Jan 11 11:36:33 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Li Wei X-Patchwork-Id: 187315 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a05:7300:2411:b0:101:2151:f287 with SMTP id m17csp1382904dyi; Thu, 11 Jan 2024 03:37:23 -0800 (PST) X-Google-Smtp-Source: AGHT+IGfzNCjWIqWOKgfp8adhBV/K7M+cDB+iipQtj5Lsm31WcZFNA/cAA2x3ic8mO7+nmFSJi+c X-Received: by 2002:a05:620a:2592:b0:783:e4e:33ea with SMTP id x18-20020a05620a259200b007830e4e33eamr762480qko.71.1704973043148; Thu, 11 Jan 2024 03:37:23 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1704973043; cv=pass; d=google.com; s=arc-20160816; b=bZfy82hE4pflKc9qPD6+1j8kmoJgBz98M8Af8hJd2mOZDwGIWfVRluN7CNSzEruMdO yECzFvgnN+rmh3fO8LZAM7uPyNrtoNNAe/6rtBQRltl1xg5WaE0PfgohUGIIfgcdRgxJ oPj+M4MgKSZyeas61CgAnLXL3h82IqMQKhvkP4mSH5zeTKzES9rQw4ebYif08FZVlils WKQHNryJ6jKzT6pfaXgXCg7P0xMqQ2UKL/URSzBOMARQhw40wOdGpI1zquohmHeC4CIx 5WmYI1ANhAfKB/TOA5/NwuZtWYb3wgfQG2L3q820C7/WazROJzJ5eQg5ufUqsgRLk0GF cBHw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:arc-filter :dmarc-filter:delivered-to; bh=FxFLpNm+2hdUyzRg8L71Wzq/7qvtUfqDzokN+p1uYCc=; fh=qByQSPvg+/wD954+0Cj99cs2VLzuSy0bdUhDlHLuDa4=; b=02f2MIlfS8LffOk0UOR/fr2eSYmJ84lT29DexjQ0+E/epYczZWvKAGb4oV85meEpjK yIl5amQbB7E/gBiN0lw8UUQkP3BShooTxpx3wiCT2UgL9t320o8UGerhjXUYUx7TJ/IP mgzm2aMBCOxmfvbAHP8nB9x8ph6nc/a/0XrEDtHoT8eA90F3/H5czp0do9CkAqNvrgm2 H8uE4sFbyt6xs9kepNI5Q1XJVlL2CVI/WXNK8w9IXxzdywhPQsE52L+HJoJIPhOQdr0I 8F5Jtkucoha26GGfDFmKdav2Q99oiRM5mL8LeDXBY/zXv50lbNuoKLfDC2XOfBLV0QH5 kKoA== ARC-Authentication-Results: i=2; mx.google.com; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id b10-20020a05620a088a00b00781187ac362si712516qka.211.2024.01.11.03.37.23 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 11 Jan 2024 03:37:23 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org" Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id D6A3738618A8 for ; Thu, 11 Jan 2024 11:37:22 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from mail.loongson.cn (mail.loongson.cn [114.242.206.163]) by sourceware.org (Postfix) with ESMTP id BA4B83857809 for ; Thu, 11 Jan 2024 11:36:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org BA4B83857809 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=loongson.cn Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=loongson.cn ARC-Filter: OpenARC Filter v1.0.0 sourceware.org BA4B83857809 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=114.242.206.163 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1704973003; cv=none; b=RlxWvn8CWb1+MjxPZ0ujkJZK9EE9Vnf5ujI57iAUx8YcmCZZEibHqL9fP3ReOSapzA7XTS8LB2zYCbAxu/5Bhy+MKVcqWYVQRAY/HWvRbadsJSQYDzc0OkxVk4byinRD1DrlwG5F6KqRaD4VViNqcA5p2v+g3dE+X3hjAcdgzz0= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1704973003; c=relaxed/simple; bh=QplMNH7o4la5eoCpCNQ478hMDn/JHQLWvBLfhXrPsOo=; h=From:To:Subject:Date:Message-Id:MIME-Version; b=f7Omb1tThAggve28HSg5be1RfkLpEN6kAyO9ht8z8APGcE7sdQfN/MoeJ2Ol4sDyi1PJqK5B6ldIiZHU8ukxVRTAGKulYU9XmPa58PjvUuyGwix8PL0mVWo84D2bhIz/9hpG9Hc2I2To4P34KghhEh47ExoX3pYa+PELa2z/Nbk= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from loongson.cn (unknown [10.2.6.5]) by gateway (Coremail) with SMTP id _____8DxPunD0p9lUEAEAA--.4305S3; Thu, 11 Jan 2024 19:36:35 +0800 (CST) Received: from 5.5.5 (unknown [10.2.6.5]) by localhost.localdomain (Coremail) with SMTP id AQAAf8Cxyt3C0p9lFfUPAA--.41710S4; Thu, 11 Jan 2024 19:36:34 +0800 (CST) From: Li Wei To: gcc-patches@gcc.gnu.org Cc: xry111@xry111.site, i@xen0n.name, xuchenghua@loongson.cn, chenglulu@loongson.cn, Li Wei Subject: [PATCH v2 2/2] LoongArch: Redundant sign extension elimination optimization 2. Date: Thu, 11 Jan 2024 19:36:33 +0800 Message-Id: <20240111113633.2063159-1-liwei@loongson.cn> X-Mailer: git-send-email 2.39.3 MIME-Version: 1.0 X-CM-TRANSID: AQAAf8Cxyt3C0p9lFfUPAA--.41710S4 X-CM-SenderInfo: 5olzvxo6or00hjvr0hdfq/ X-Coremail-Antispam: 1Uk129KBj93XoW7Cw15Zr48Zr13CF1DGr47KFX_yoW8uryUp3 sruwnrtr48GFs7JFyvq3yfWr15GrsrGrya93ZxXryIkw47Jryjv3WrKrsIqF4UJayFqrW2 gr1fua13Z3WjgwbCm3ZEXasCq-sJn29KB7ZKAUJUUUU5529EdanIXcx71UUUUU7KY7ZEXa sCq-sGcSsGvfJ3Ic02F40EFcxC0VAKzVAqx4xG6I80ebIjqfuFe4nvWSU5nxnvy29KBjDU 0xBIdaVrnRJUUUkFb4IE77IF4wAFF20E14v26r1j6r4UM7CY07I20VC2zVCF04k26cxKx2 IYs7xG6rWj6s0DM7CIcVAFz4kK6r1Y6r17M28lY4IEw2IIxxk0rwA2F7IY1VAKz4vEj48v e4kI8wA2z4x0Y4vE2Ix0cI8IcVAFwI0_JFI_Gr1l84ACjcxK6xIIjxv20xvEc7CjxVAFwI 0_Jr0_Gr1l84ACjcxK6I8E87Iv67AKxVW8Jr0_Cr1UM28EF7xvwVC2z280aVCY1x0267AK xVW8Jr0_Cr1UM2AIxVAIcxkEcVAq07x20xvEncxIr21l57IF6xkI12xvs2x26I8E6xACxx 1l5I8CrVACY4xI64kE6c02F40Ex7xfMcIj6xIIjxv20xvE14v26r126r1DMcIj6I8E87Iv 67AKxVWUJVW8JwAm72CE4IkC6x0Yz7v_Jr0_Gr1lF7xvr2IYc2Ij64vIr41l42xK82IYc2 Ij64vIr41l4I8I3I0E4IkC6x0Yz7v_Jr0_Gr1lx2IqxVAqx4xG67AKxVWUJVWUGwC20s02 6x8GjcxK67AKxVWUGVWUWwC2zVAF1VAY17CE14v26r126r1DMIIYrxkI7VAKI48JMIIF0x vE2Ix0cI8IcVAFwI0_Jr0_JF4lIxAIcVC0I7IYx2IY6xkF7I0E14v26r1j6r4UMIIF0xvE 42xK8VAvwI8IcIk0rVWUJVWUCwCI42IY6I8E87Iv67AKxVWUJVW8JwCI42IY6I8E87Iv6x kF7I0E14v26r1j6r4UYxBIdaVFxhVjvjDU0xZFpf9x07j83kZUUUUU= X-Spam-Status: No, score=-13.4 required=5.0 tests=BAYES_00, GIT_PATCH_0, KAM_DMARC_STATUS, KAM_SHORT, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE 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.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1787793813310795403 X-GMAIL-MSGID: 1787793813310795403 Eliminate the redundant sign extension that exists after the conditional move when the target register is SImode. gcc/ChangeLog: * config/loongarch/loongarch.cc (loongarch_expand_conditional_move): Adjust. gcc/testsuite/ChangeLog: * gcc.target/loongarch/sign-extend-2.c: Adjust. --- gcc/config/loongarch/loongarch.cc | 6 ++++++ gcc/testsuite/gcc.target/loongarch/sign-extend-2.c | 5 +++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/gcc/config/loongarch/loongarch.cc b/gcc/config/loongarch/loongarch.cc index 27435aa5b50..3b8559bfdc8 100644 --- a/gcc/config/loongarch/loongarch.cc +++ b/gcc/config/loongarch/loongarch.cc @@ -5371,6 +5371,12 @@ loongarch_expand_conditional_move (rtx *operands) rtx temp3 = gen_reg_rtx (mode); emit_insn (gen_rtx_SET (temp3, gen_rtx_IOR (mode, temp, temp2))); temp3 = gen_lowpart (GET_MODE (operands[0]), temp3); + /* Nonzero in a subreg if it was made when accessing an object that + was promoted to a wider mode in accord with the PROMOTED_MODE + machine description macro. */ + SUBREG_PROMOTED_VAR_P (temp3) = 1; + /* Sets promoted mode for SUBREG_PROMOTED_VAR_P. */ + SUBREG_PROMOTED_SET (temp3, SRP_SIGNED); loongarch_emit_move (operands[0], temp3); } else diff --git a/gcc/testsuite/gcc.target/loongarch/sign-extend-2.c b/gcc/testsuite/gcc.target/loongarch/sign-extend-2.c index a45dde4f73f..e57a2727d0c 100644 --- a/gcc/testsuite/gcc.target/loongarch/sign-extend-2.c +++ b/gcc/testsuite/gcc.target/loongarch/sign-extend-2.c @@ -1,6 +1,7 @@ /* { dg-do compile } */ -/* { dg-options "-mabi=lp64d -O2" } */ -/* { dg-final { scan-assembler-times "slli.w\t\\\$r\[0-9\]+,\\\$r\[0-9\]+,0" 1 } } */ +/* { dg-options "-mabi=lp64d -O2 -fdump-rtl-expand" } */ +/* { dg-final { scan-rtl-dump "subreg/s" "expand" } } */ +/* { dg-final { scan-assembler-not "slli.w\t\\\$r\[0-9\]+,\\\$r\[0-9\]+,0" } } */ #include #define my_min(x, y) ((x) < (y) ? (x) : (y))