From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-lf1-x12b.google.com (mail-lf1-x12b.google.com [IPv6:2a00:1450:4864:20::12b]) by sourceware.org (Postfix) with ESMTPS id E56463857C51 for ; Fri, 18 Nov 2022 20:04:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org E56463857C51 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=vrull.eu Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=vrull.eu Received: by mail-lf1-x12b.google.com with SMTP id a29so9892477lfj.9 for ; Fri, 18 Nov 2022 12:04:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=vrull.eu; s=google; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=RWmHnmiX2vzy5Z6suDRTR/Yg7xei/z2ml4ZmwEbL6ZU=; b=E99Mv1MdwQ4BJ8LnchLhx/2a3W1ig2vSJLsWk/X1RYaxL/ZC0ctcCcEVijeESiWRY5 WbmvyCLnegDjVM2wC9Cw3wnXfdxBGU7e7Pl35dN0wTbRlg3H0bvAYgOCtN8Mua/rslj/ 9VvgTJjUvEjQ8r2eZmEbnlgZYz4Le4w50/wniRF5ukHsqQhryWI2e8Vy/wVDssBzcY1a sp18+hY+9cEV93FQSFYmblmIkekfJ/IO6XdblxAw7DfwCv00fOdbEgIgOjoim8v7RUoF ByB3PBqY2bZBuH/GfXg/ALjH3AKdLKLVsjmdMQgpduYV1+m2zcgW6wbSRrFD62HgWbot fZKw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=RWmHnmiX2vzy5Z6suDRTR/Yg7xei/z2ml4ZmwEbL6ZU=; b=Fg8Lvmj53mjVYObWWrMEJNd+0uoIzZka16o7SFPaXMtBSLMuYctgrnKP3H8cHn/gjX OLS1VDQI3kNRgAtuhkI2zD8/MjY5xXcMoQCxRw8P4llFJGLKGetVRksGnn6Gy7drrcN4 dgcNWxxzJUFoBUUvlvlIDRpiDb3oTI6rwIX1kzr3PTxEmyq1W1JsV7+EW3hlHlWPV5co uKRIdWyafX7Ks+XVpbiGWBkbCP1US4rJW1hK2Nne9uEcbI7UVspEq3EURk3YRO8rRvXV NFs4gpnG3FPsR1D5hVwHRxW8cZqaovtF5CJ3P2+xWaZA4XvwhF7E4Ug2VZatnpZUdpFY u3LA== X-Gm-Message-State: ANoB5pkHeTTeshdFLDmdVyLjXA4yXEDQUN8rXavAe2/d/guoqz26xl+b VrxMc1sooChSn0TRRxQtNOGq42LCRLLJbw9Eta5OLw== X-Google-Smtp-Source: AA0mqf4RURsNEJHY836cw1rlUJRreTY7o61wdDbXMx9RfCGd45OGYG6MvgnJCkIxffjQOBijfIOu8OKMjkYKBcPrxSc= X-Received: by 2002:a19:7718:0:b0:4b0:fa45:9423 with SMTP id s24-20020a197718000000b004b0fa459423mr3138007lfc.154.1668801879221; Fri, 18 Nov 2022 12:04:39 -0800 (PST) MIME-Version: 1.0 References: <20221118111001.1488517-1-philipp.tomsich@vrull.eu> <8ca4581a-cd38-5ba0-2bdc-158d58fdf52a@gmail.com> In-Reply-To: <8ca4581a-cd38-5ba0-2bdc-158d58fdf52a@gmail.com> From: Philipp Tomsich Date: Fri, 18 Nov 2022 21:04:26 +0100 Message-ID: Subject: Re: [PATCH v2 0/2] Use Zbs with xori/ori/andi and polarity-reversed twobit-tests To: Jeff Law Cc: gcc-patches@gcc.gnu.org, Kito Cheng , Palmer Dabbelt , Vineet Gupta , Jeff Law , Christoph Muellner Content-Type: multipart/alternative; boundary="00000000000036414105edc437ac" X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE,JMQ_SPF_NEUTRAL,KAM_SHORT,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --00000000000036414105edc437ac Content-Type: text/plain; charset="UTF-8" (Both) applied to master. Thanks! --Philipp. On Fri, 18 Nov 2022 at 20:13, Jeff Law wrote: > > On 11/18/22 04:09, Philipp Tomsich wrote: > > We had a few patches on the list that shared predicates (for extending > > the reach of xori and ori -- and for the branches on two > > polarity-reversed bits) and thus depended on each other. > > > > These all had approval with requested changes, so these are now > > collected together for v2. > > > > Note that this adds the (a & ~C) case, so please take a look on that > > part and OK the updated series. > > > > > > > > Changes in v2: > > - Collects already approved changes for v2 for (a | C) and (a ^ C). > > - Pulls in the (already) approved branch on polarity-reversed bits > > for v2, as it shares predicates with the other changes. > > - Newly adds support for the (a & ~C) case. > > > > Philipp Tomsich (2): > > RISC-V: Use bseti/bclri/binvi to extend reach of ori/andi/xori > > RISC-V: Handle "(a & twobits) == singlebit" in branches using Zbs > > > > gcc/config/riscv/bitmanip.md | 79 +++++++++++++++++++ > > gcc/config/riscv/iterators.md | 8 ++ > > gcc/config/riscv/predicates.md | 33 ++++++++ > > gcc/config/riscv/riscv.h | 8 ++ > > .../riscv/{zbs-bclri.c => zbs-bclri-01.c} | 0 > > gcc/testsuite/gcc.target/riscv/zbs-bclri-02.c | 27 +++++++ > > gcc/testsuite/gcc.target/riscv/zbs-binvi.c | 22 ++++++ > > gcc/testsuite/gcc.target/riscv/zbs-bseti.c | 27 +++++++ > > .../gcc.target/riscv/zbs-if_then_else-01.c | 20 +++++ > > 9 files changed, 224 insertions(+) > > rename gcc/testsuite/gcc.target/riscv/{zbs-bclri.c => zbs-bclri-01.c} > (100%) > > create mode 100644 gcc/testsuite/gcc.target/riscv/zbs-bclri-02.c > > create mode 100644 gcc/testsuite/gcc.target/riscv/zbs-binvi.c > > create mode 100644 gcc/testsuite/gcc.target/riscv/zbs-bseti.c > > create mode 100644 gcc/testsuite/gcc.target/riscv/zbs-if_then_else-01.c > > 1/2 and 2/2 are both OK. > > jeff > > --00000000000036414105edc437ac--