From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1923) id 3325D3896C26; Tue, 15 Nov 2022 14:00:17 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3325D3896C26 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1668520817; bh=ou4F7GeoPGj5RHCcPRDE95Aa7x3Z3+aRm6Xc9NQI7Bs=; h=From:To:Subject:Date:From; b=mEU10YSDRlkOhbP7vcFnwk7eqvx8ImMLPIqtquFpQ9rgWG+l/QlkpHXEV1PdbRIjB C4NUF97m/p7PeYJCsw6Y7cnR5Z90bsedHBkJ5iHQ4KbOhKKOc1NoKW1g9/PN17XDJC p3G2uISJD/Cxae5rCNMIKCy51T/xFoixvo6xezSo= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Philipp Tomsich To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/vendors/vrull/heads/for-upstream)] RISC-V: branch-(not)equals-zero compares against $zero X-Act-Checkin: gcc X-Git-Author: Philipp Tomsich X-Git-Refname: refs/vendors/vrull/heads/for-upstream X-Git-Oldrev: 3895318beb8f21965c398c6b89ce6d542bda0aed X-Git-Newrev: a3f8b493b4a4e82c80ba1e5ec5c4bd1553e41894 Message-Id: <20221115140017.3325D3896C26@sourceware.org> Date: Tue, 15 Nov 2022 14:00:17 +0000 (GMT) List-Id: https://gcc.gnu.org/g:a3f8b493b4a4e82c80ba1e5ec5c4bd1553e41894 commit a3f8b493b4a4e82c80ba1e5ec5c4bd1553e41894 Author: Philipp Tomsich Date: Sun Aug 30 21:02:36 2020 +0200 RISC-V: branch-(not)equals-zero compares against $zero If we are testing a register or a paradoxical subreg (i.e. anything that is not a partial subreg) for equality/non-equality with zero, we can generate a branch that compares against $zero. This will work for QI, HI, SI and DImode, so we enable this for ANYI. 2020-08-30 gcc/ChangeLog: * config/riscv/riscv.md (*branch_equals_zero): Added pattern. Series-to: gcc-patches@gcc.gnu.org Series-cc: Palmer Dabbelt Series-cc: Vineet Gupta Series-cc: Christoph Muellner Series-cc: Kito Cheng Series-cc: Jeff Law Diff: --- gcc/config/riscv/riscv.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gcc/config/riscv/riscv.md b/gcc/config/riscv/riscv.md index 532289dd178..1107b61e905 100644 --- a/gcc/config/riscv/riscv.md +++ b/gcc/config/riscv/riscv.md @@ -2208,6 +2208,19 @@ ;; Conditional branches +(define_insn "*branch_equals_zero" + [(set (pc) + (if_then_else + (match_operator 1 "equality_operator" + [(match_operand:ANYI 2 "register_operand" "r") + (const_int 0)]) + (label_ref (match_operand 0 "" "")) + (pc)))] + "!partial_subreg_p (operands[2])" + "b%C1\t%2,zero,%0" + [(set_attr "type" "branch") + (set_attr "mode" "none")]) + (define_insn "*branch" [(set (pc) (if_then_else