From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x534.google.com (mail-ed1-x534.google.com [IPv6:2a00:1450:4864:20::534]) by sourceware.org (Postfix) with ESMTPS id D5A3B3857033 for ; Tue, 17 May 2022 04:05:10 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org D5A3B3857033 Received: by mail-ed1-x534.google.com with SMTP id n23so5827104edy.0 for ; Mon, 16 May 2022 21:05:10 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=M6y9Wz6o/4JNGAdzOk9ob0eQcJQtCSQj/YGsUXJpT0k=; b=uTpDNai/NtvUQp+qYXVmDTAzhiR19P2mcqpzANkktYJ3QDk4AHkAI7rfqx/R3mIGI5 W0vSvazO0Zm1uktkzO9TpBgVMY86MRDyf+p1IJQ05y9Lw2msC6hf5lV1G4WdrW3yHHEw 2e1hHqBA0Zkt2BHMmAdMcWNuwuqjqN57v/15Tyei07SHDApZ/S25Tm30wJPmLEtBk0BR gCEyJSUMH5X5BGsaSn2cImv/EsBxGVp1mrba3JEVKoVpfhRtQCK3A1L7+K7F3lYXqj0K ZqkyK+bnktwf3wgvQf7bylIZ/g+OF6ASYvCx37HR+lmrN0JEiHdwUIpwkGJIRqcggvx/ aUcQ== X-Gm-Message-State: AOAM533+GF/gQOWo5c1w7+wCk4ZgUlEId+MUwxqPQYyOtode5C3yjNQA 9mjYVoGohHi7hwXrEhzFjugeOLlR9GZIzZxoEH8= X-Google-Smtp-Source: ABdhPJx7dlWb28gcm2p04WsM/k/x8gqFAP1x0rcLF84QA8X+hmeoMx8yCTQg+LtyXfCkFoSos8gmWy9bfLWxj8D0T+k= X-Received: by 2002:aa7:c25a:0:b0:42a:a4f6:4f84 with SMTP id y26-20020aa7c25a000000b0042aa4f64f84mr13045695edo.420.1652760309297; Mon, 16 May 2022 21:05:09 -0700 (PDT) MIME-Version: 1.0 References: <20220517030625.21971-1-hongtao.liu@intel.com> In-Reply-To: <20220517030625.21971-1-hongtao.liu@intel.com> From: Hongtao Liu Date: Tue, 17 May 2022 12:04:56 +0800 Message-ID: Subject: Re: [PATCH] [i386] recognize bzhi pattern when there's zero_extendsidi. To: Uros Bizjak Cc: GCC Patches Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-8.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_NONE, 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.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 17 May 2022 04:05:12 -0000 On Tue, May 17, 2022 at 11:06 AM liuhongt via Gcc-patches wrote: > > backend has > > 16550(define_insn "*bmi2_bzhi_3_2" > 16551 [(set (match_operand:SWI48 0 "register_operand" "=r") > 16552 (and:SWI48 > 16553 (plus:SWI48 > 16554 (ashift:SWI48 (const_int 1) > 16555 (match_operand:QI 2 "register_operand" "r")) > 16556 (const_int -1)) > 16557 (match_operand:SWI48 1 "nonimmediate_operand" "rm"))) > 16558 (clobber (reg:CC FLAGS_REG))] > 16559 "TARGET_BMI2" > 16560 "bzhi\t{%2, %1, %0|%0, %1, %2}" > 16561 [(set_attr "type" "bitmanip") > 16562 (set_attr "prefix" "vex") > 16563 (set_attr "mode" "")]) > > But there's extra zero_extend in pattern match. > > 424Failed to match this instruction: > 425(parallel [ > 426 (set (reg:DI 90) > 427 (zero_extend:DI (and:SI (plus:SI (ashift:SI (const_int 1 [0x1]) > 428 (subreg:QI (reg:SI 98) 0)) > 429 (const_int -1 [0xffffffffffffffff])) > 430 (subreg:SI (reg:DI 95) 0)))) > 431 (clobber (reg:CC 17 flags)) > 432 ]) > > Add new define_insn for it. > > > Bootstrapped and regtested on x86_64-pc-linux-gnu{-m32,}.. > Ok for trunk? > > gcc/ChangeLog: > > PR target/104375 > * config/i386/i386.md (*bmi2_bzhi_zero_extendsidi_4): New > define_insn. > > gcc/testsuite/ChangeLog: > > * gcc.target/i386/pr104375.c: New test. > --- > gcc/config/i386/i386.md | 16 ++++++++++++++++ > gcc/testsuite/gcc.target/i386/pr104375.c | 9 +++++++++ > 2 files changed, 25 insertions(+) > create mode 100644 gcc/testsuite/gcc.target/i386/pr104375.c > > diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md > index f9c06ff302a..ec7bdd04947 100644 > --- a/gcc/config/i386/i386.md > +++ b/gcc/config/i386/i386.md > @@ -16636,6 +16636,22 @@ (define_insn "*bmi2_bzhi_3_3" > (set_attr "prefix" "vex") > (set_attr "mode" "")]) > > +(define_insn "*bmi2_bzhi_zero_extendsidi_4" > + [(set (match_operand:DI 0 "register_operand" "=r") > + (zero_extend:DI > + (and:SI > + (plus:SI > + (ashift:SI (const_int 1) > + (match_operand:QI 2 "register_operand" "r")) > + (const_int -1)) > + (match_operand:SI 1 "nonimmediate_operand" "rm")))) > + (clobber (reg:CC FLAGS_REG))] > + "TARGET_BMI2 && TARGET_64BIT" > + "bzhi\t{%q2, %q1, %q0|%q0, %q1, %q2}" > + [(set_attr "type" "bitmanip") > + (set_attr "prefix" "vex") > + (set_attr "mode" "DI")]) > + > (define_insn "bmi2_pdep_3" > [(set (match_operand:SWI48 0 "register_operand" "=r") > (unspec:SWI48 [(match_operand:SWI48 1 "register_operand" "r") > diff --git a/gcc/testsuite/gcc.target/i386/pr104375.c b/gcc/testsuite/gcc.target/i386/pr104375.c > new file mode 100644 > index 00000000000..5c9f511da5c > --- /dev/null > +++ b/gcc/testsuite/gcc.target/i386/pr104375.c > @@ -0,0 +1,9 @@ > +#/* { dg-do compile { target { ! ia32 } } } */ > +/* { dg-options "-mbmi2 -O2" } */ > +/* { dg-final { scan-assembler-times {(?n)shrx[\t ]+} 1 } } */ > +/* { dg-final { scan-assembler-times {(?n)bzhi[\t ]+} 1 } } */ > + > +unsigned long long bextr_u64(unsigned long long w, unsigned off, unsigned int len) > +{ > + return (w >> off) & ((1U << len) - 1U); > +} > -- > 2.18.1 > -- BR, Hongtao