From patchwork Mon Nov 6 07:57:02 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Xi Ruoyao X-Patchwork-Id: 161858 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:8f47:0:b0:403:3b70:6f57 with SMTP id j7csp2501477vqu; Sun, 5 Nov 2023 23:58:30 -0800 (PST) X-Google-Smtp-Source: AGHT+IFwRKKbEHpv2LcT+E9NznW8PgcCqa6t/YaDEpRiaWMqAlk5aOYs7s8eoEGW0ZuGHuipyp+0 X-Received: by 2002:a05:6214:d6f:b0:66d:2140:1f88 with SMTP id 15-20020a0562140d6f00b0066d21401f88mr31459255qvs.5.1699257509866; Sun, 05 Nov 2023 23:58:29 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1699257509; cv=pass; d=google.com; s=arc-20160816; b=CJ+Mj1iMOmrISVvd7emUbYukgNzFpoVQ4sccI6t485gv3B0YSPw4F9+kiM3+281EWB FrmIsmeyPzmlA4+0M3BNgpy2Q7JeAyWhK+AbWEjhReN+eq8Lb8xvdY7uihzcOSbR4d2h oaLqo5sJo+OpdNxE10JqVzIpvrGgjnkm0G1FZFti8E/eZkW+YAbXI3mThVePt0gaX86c 1FgAUEWCRRYAC0K1U319y9ebYXR+qz00yd+x4JK+HZi42p5PEy2UKDOqv/x2zBbpdbp1 33NYLvJQZ3QGoaJK1+awLPu7WR8EbIyVNwWjAsrBSytYXL47VWpa7Ix+8uWhYxW3cazQ AKAw== 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:dkim-signature :arc-filter:dmarc-filter:delivered-to; bh=oHHrQ85zWRSryjrDDdsk5pX1ZjF1H5Z6CFy19ZxIdAY=; fh=oUCfM/eMlWtMCtZZKY1bglzxCo7b3kw9D5LTFFWuz38=; b=Sb4I5jaULIZ8Zp3tmFqHi9B11EemwbaitPVfGt9wgibC7RgLMsmIBMqFn173XjVJbs u/hcYY0Vaj9i370VerGQaHiz2wq1ceVLnmoStFEy7r6J58JzNAjTyW/SiQyugHsjJUm6 y2E9JTmoEmem1NZTmqhcv/HcXa08CxBSqglCam5z9ueKkmRUYkZIvWUvvaaVOOIOQXHK i4aUn92dTzDktPJLd6hRvor0JUZEdOVGvL9ieA83+Vhf4v3nDNdS2pgFIFK/rKIGWx/9 +PZ+lb9nc0JJ5woUW5a9wJL5kK0lROlczLEoiUT3FcmhY2vJ48hMcSzTmVxEN3e4JSv6 Fzfg== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@xry111.site header.s=default header.b=Br0hXTaD; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=xry111.site Received: from server2.sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id c1-20020a0cd601000000b00670e29dba92si5201738qvj.441.2023.11.05.23.58.29 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 05 Nov 2023 23:58:29 -0800 (PST) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@xry111.site header.s=default header.b=Br0hXTaD; arc=pass (i=1); spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=xry111.site Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 675123856254 for ; Mon, 6 Nov 2023 07:58:12 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from xry111.site (xry111.site [89.208.246.23]) by sourceware.org (Postfix) with ESMTPS id C8BE13858CDA for ; Mon, 6 Nov 2023 07:57:48 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C8BE13858CDA Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=xry111.site Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=xry111.site ARC-Filter: OpenARC Filter v1.0.0 sourceware.org C8BE13858CDA Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=89.208.246.23 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699257470; cv=none; b=okdlDPU9p7wRT7mk+HybUvva/zdmUXnuM91C9dYvldTOVfq3MGxsvyfQH/DuPLtqEoomvhdKWS6tLGKYNRwUSw2yqoPUrCr/K1EsBfaBgA4u368hMY6RSM/IjIOhctgblx6khAreyLqzx9uOEjWDd9yt1iYgfPNjK+jrE3SMQZ0= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699257470; c=relaxed/simple; bh=w/kYXToELtxrWHQhi5y5O0zxlG4yfXvHSxbMlsMdYgI=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=oO6qF4QMobCMmOfHxA3nmU5gH1c9RMUX6nQjGBdLzp9jCBbas4zpK87eu0noKT54kr2xNkxbMHh9urMjCtCA6JB85A+0iV1zAwekHF2Y5ExL1a3ziADIQbDlZBzW8IyXVJK5NuzndHuEFBQN+OGB83BDSU+m4YKXXCKIMPknCek= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=xry111.site; s=default; t=1699257468; bh=w/kYXToELtxrWHQhi5y5O0zxlG4yfXvHSxbMlsMdYgI=; h=From:To:Cc:Subject:Date:From; b=Br0hXTaDNo10uigDhavewNthe4abE1g8dtv46icJpOTRao4enMw+F1R8HxIjFVlav 2oLVlT/LcjC8cqQsC9dfup02wYW9k1ggyCWlc19Sd+kSFPqnQNsgT285AEvFf2dwDl UAXus8OXmoGOq0CQjSf31CxA6AwVS5A3zSlw8otE= Received: from stargazer.. (unknown [113.140.11.4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (P-384) server-digest SHA384) (Client did not present a certificate) (Authenticated sender: xry111@xry111.site) by xry111.site (Postfix) with ESMTPSA id C900666A03; Mon, 6 Nov 2023 02:57:46 -0500 (EST) From: Xi Ruoyao To: gcc-patches@gcc.gnu.org Cc: chenglulu , i@xen0n.name, xuchenghua@loongson.cn, Xi Ruoyao Subject: [PATCH] LoongArch: Optimize single-used address with -mexplicit-relocs=auto for fld/fst Date: Mon, 6 Nov 2023 15:57:02 +0800 Message-ID: <20231106075720.1166450-1-xry111@xry111.site> X-Mailer: git-send-email 2.42.1 MIME-Version: 1.0 X-Spam-Status: No, score=-7.1 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, LIKELY_SPAM_FROM, RCVD_IN_BARRACUDACENTRAL, SPF_HELO_PASS, 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: 1781800642371270567 X-GMAIL-MSGID: 1781800642371270567 fld and fst have same address mode as ld.w and st.w, so the same optimization as r14-4851 should be applied for them too. gcc/ChangeLog: * config/loongarch/loongarch.md (LD_AT_LEAST_32_BIT): New mode iterator. (ST_ANY): New mode iterator. (define_peephole2): Use LD_AT_LEAST_32_BIT instead of GPR and ST_ANY instead of QHWD for applicable patterns. --- Bootstrapped and regtested on loongarch64-linux-gnu. Ok for trunk? gcc/config/loongarch/loongarch.md | 46 +++++++++++++++++++++---------- 1 file changed, 32 insertions(+), 14 deletions(-) diff --git a/gcc/config/loongarch/loongarch.md b/gcc/config/loongarch/loongarch.md index 4dd716e1941..9c247242215 100644 --- a/gcc/config/loongarch/loongarch.md +++ b/gcc/config/loongarch/loongarch.md @@ -400,6 +400,22 @@ (define_mode_iterator SPLITF (DI "!TARGET_64BIT && TARGET_DOUBLE_FLOAT") (TF "TARGET_64BIT && TARGET_DOUBLE_FLOAT")]) +;; A mode for anything with 32 bits or more, and able to be loaded with +;; the same addressing mode as ld.w. +(define_mode_iterator LD_AT_LEAST_32_BIT + [SI + (DI "TARGET_64BIT") + (SF "TARGET_SINGLE_FLOAT || TARGET_DOUBLE_FLOAT") + (DF "TARGET_DOUBLE_FLOAT")]) + +;; A mode for anything able to be stored with the same addressing mode as +;; st.w. +(define_mode_iterator ST_ANY + [QI HI SI + (DI "TARGET_64BIT") + (SF "TARGET_SINGLE_FLOAT || TARGET_DOUBLE_FLOAT") + (DF "TARGET_DOUBLE_FLOAT")]) + ;; In GPR templates, a string like "mul." will expand to "mul.w" in the ;; 32-bit version and "mul.d" in the 64-bit version. (define_mode_attr d [(SI "w") (DI "d")]) @@ -3785,13 +3801,14 @@ (define_insn "loongarch_crcc_w__w" (define_peephole2 [(set (match_operand:P 0 "register_operand") (match_operand:P 1 "symbolic_pcrel_operand")) - (set (match_operand:GPR 2 "register_operand") - (mem:GPR (match_dup 0)))] + (set (match_operand:LD_AT_LEAST_32_BIT 2 "register_operand") + (mem:LD_AT_LEAST_32_BIT (match_dup 0)))] "la_opt_explicit_relocs == EXPLICIT_RELOCS_AUTO \ && (TARGET_CMODEL_NORMAL || TARGET_CMODEL_MEDIUM) \ && (peep2_reg_dead_p (2, operands[0]) \ || REGNO (operands[0]) == REGNO (operands[2]))" - [(set (match_dup 2) (mem:GPR (lo_sum:P (match_dup 0) (match_dup 1))))] + [(set (match_dup 2) + (mem:LD_AT_LEAST_32_BIT (lo_sum:P (match_dup 0) (match_dup 1))))] { emit_insn (gen_pcalau12i_gr (operands[0], operands[1])); }) @@ -3799,14 +3816,15 @@ (define_peephole2 (define_peephole2 [(set (match_operand:P 0 "register_operand") (match_operand:P 1 "symbolic_pcrel_operand")) - (set (match_operand:GPR 2 "register_operand") - (mem:GPR (plus (match_dup 0) - (match_operand 3 "const_int_operand"))))] + (set (match_operand:LD_AT_LEAST_32_BIT 2 "register_operand") + (mem:LD_AT_LEAST_32_BIT (plus (match_dup 0) + (match_operand 3 "const_int_operand"))))] "la_opt_explicit_relocs == EXPLICIT_RELOCS_AUTO \ && (TARGET_CMODEL_NORMAL || TARGET_CMODEL_MEDIUM) \ && (peep2_reg_dead_p (2, operands[0]) \ || REGNO (operands[0]) == REGNO (operands[2]))" - [(set (match_dup 2) (mem:GPR (lo_sum:P (match_dup 0) (match_dup 1))))] + [(set (match_dup 2) + (mem:LD_AT_LEAST_32_BIT (lo_sum:P (match_dup 0) (match_dup 1))))] { operands[1] = plus_constant (Pmode, operands[1], INTVAL (operands[3])); emit_insn (gen_pcalau12i_gr (operands[0], operands[1])); @@ -3850,13 +3868,13 @@ (define_peephole2 (define_peephole2 [(set (match_operand:P 0 "register_operand") (match_operand:P 1 "symbolic_pcrel_operand")) - (set (mem:QHWD (match_dup 0)) - (match_operand:QHWD 2 "register_operand"))] + (set (mem:ST_ANY (match_dup 0)) + (match_operand:ST_ANY 2 "register_operand"))] "la_opt_explicit_relocs == EXPLICIT_RELOCS_AUTO \ && (TARGET_CMODEL_NORMAL || TARGET_CMODEL_MEDIUM) \ && (peep2_reg_dead_p (2, operands[0])) \ && REGNO (operands[0]) != REGNO (operands[2])" - [(set (mem:QHWD (lo_sum:P (match_dup 0) (match_dup 1))) (match_dup 2))] + [(set (mem:ST_ANY (lo_sum:P (match_dup 0) (match_dup 1))) (match_dup 2))] { emit_insn (gen_pcalau12i_gr (operands[0], operands[1])); }) @@ -3864,14 +3882,14 @@ (define_peephole2 (define_peephole2 [(set (match_operand:P 0 "register_operand") (match_operand:P 1 "symbolic_pcrel_operand")) - (set (mem:QHWD (plus (match_dup 0) - (match_operand 3 "const_int_operand"))) - (match_operand:QHWD 2 "register_operand"))] + (set (mem:ST_ANY (plus (match_dup 0) + (match_operand 3 "const_int_operand"))) + (match_operand:ST_ANY 2 "register_operand"))] "la_opt_explicit_relocs == EXPLICIT_RELOCS_AUTO \ && (TARGET_CMODEL_NORMAL || TARGET_CMODEL_MEDIUM) \ && (peep2_reg_dead_p (2, operands[0])) \ && REGNO (operands[0]) != REGNO (operands[2])" - [(set (mem:QHWD (lo_sum:P (match_dup 0) (match_dup 1))) (match_dup 2))] + [(set (mem:ST_ANY (lo_sum:P (match_dup 0) (match_dup 1))) (match_dup 2))] { operands[1] = plus_constant (Pmode, operands[1], INTVAL (operands[3])); emit_insn (gen_pcalau12i_gr (operands[0], operands[1]));