From: Hongtao Liu <crazylht@gmail.com>
To: Jakub Jelinek <jakub@redhat.com>
Cc: GCC Patches <gcc-patches@gcc.gnu.org>,
Kirill Yukhin <kirill.yukhin@gmail.com>,
Uros Bizjak <ubizjak@gmail.com>
Subject: Re: [PATCH]i386: Optimize pmovskb on zero_extend of subreg HI of the result [PR98461]
Date: Tue, 5 Jan 2021 14:32:40 +0800 [thread overview]
Message-ID: <CAMZc-bwnpFhfRqL7kC=3U8V7kjupB_bWVu=QtkYpQAQBBY=-aQ@mail.gmail.com> (raw)
In-Reply-To: <CAMZc-byka-94i0SwV2iG1rSYek07eL_re9ha76LqBsy3ExFExQ@mail.gmail.com>
On Mon, Jan 4, 2021 at 4:59 PM Hongtao Liu <crazylht@gmail.com> wrote:
>
> On Mon, Jan 4, 2021 at 4:49 PM Jakub Jelinek <jakub@redhat.com> wrote:
> >
> > On Mon, Jan 04, 2021 at 01:56:44PM +0800, Hongtao Liu via Gcc-patches wrote:
> > > +(define_insn_and_split "*sse2_pmovskb_zexthisi"
> > > + [(set (match_operand:SI 0 "register_operand")
> > > + (zero_extend:SI (subreg:HI (unspec:SI
> > > + [(match_operand:V16QI 1 "register_operand")]
> > > + UNSPEC_MOVMSK) 0)))]
> >
> > Also, please fix up formatting. Should be:
> > (zero_extend:SI
> > (subreg:HI
> > (unspec:SI
> > [(match_operand:V16QI 1 "register_operand")]
> > UNSPEC_MOVMSK) 0)))]
> > I think.
> >
> > Jakub
> >
>
> Yes, thanks for the review both, and happy new year!
>
> --
> BR,
> Hongtao
Sorry for the bother, this is an incremental patch to split
(zero_extend:SI (not:HI (subreg:HI (pmovmskb result:SI)))) to
pmovmskb %xmm0, %eax
- notl %eax
- movzwl %ax, %eax
+ xorl $65535, %eax
The patch is below, regtestes and bootstrapped on x86_64-linux-gnu{-m32,}.
Ok for trunk?
The following patch adds define_insn_and_split to optimize
vpmovmskb %xmm0, %eax
- movzwl %ax, %eax
notl %eax
and combine splitter to optimize
pmovmskb %xmm0, %eax
- notl %eax
- movzwl %ax, %eax
+ xorl $65535, %eax
gcc/ChangeLog
PR target/98461
* config/i386/sse.md (*sse2_pmovskb_zexthisi): New
define_insn_and_split for zero_extend of subreg HI of pmovskb
result.
(*sse2_pmovskb_zexthisi): Add new combine splitters for
zero_extend of not of subreg HI of pmovskb result.
gcc/testsuite/ChangeLog
* gcc.target/i386/sse-pr98461-2.c: New test.
---
gcc/config/i386/sse.md | 32 +++++++++++++++++++
.../gcc.target/i386/sse2-pr98461-2.c | 25 +++++++++++++++
2 files changed, 57 insertions(+)
create mode 100644 gcc/testsuite/gcc.target/i386/sse2-pr98461-2.c
diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md
index d84103807ff..4fcff0800c0 100644
--- a/gcc/config/i386/sse.md
+++ b/gcc/config/i386/sse.md
@@ -16099,6 +16099,38 @@ (define_insn "*sse2_pmovmskb_ext"
(set_attr "prefix" "maybe_vex")
(set_attr "mode" "SI")])
+(define_insn_and_split "*sse2_pmovskb_zexthisi"
+ [(set (match_operand:SI 0 "register_operand")
+ (zero_extend:SI
+ (subreg:HI
+ (unspec:SI
+ [(match_operand:V16QI 1 "register_operand")]
+ UNSPEC_MOVMSK) 0)))]
+ "TARGET_SSE2 && ix86_pre_reload_split ()"
+ "#"
+ "&& 1"
+ [(set (match_dup 0)
+ (unspec:SI [(match_dup 1)] UNSPEC_MOVMSK))])
+
+(define_split
+ [(set (match_operand:SI 0 "register_operand")
+ (zero_extend:SI
+ (not:HI
+ (subreg:HI
+ (unspec:SI
+ [(match_operand:V16QI 1 "register_operand")]
+ UNSPEC_MOVMSK) 0))))]
+ "TARGET_SSE2"
+ [(set (match_dup 2)
+ (unspec:SI [(match_dup 1)] UNSPEC_MOVMSK))
+ (set (match_dup 0)
+ (match_dup 3))]
+{
+ operands[2] = gen_reg_rtx (SImode);
+ operands[3] = gen_int_mode ((HOST_WIDE_INT_1 << 16) - 1, SImode);
+ operands[3] = gen_rtx_XOR (SImode, operands[2], operands[3]);
+})
+
(define_split
[(set (match_operand:SI 0 "register_operand")
(unspec:SI
diff --git a/gcc/testsuite/gcc.target/i386/sse2-pr98461-2.c
b/gcc/testsuite/gcc.target/i386/sse2-pr98461-2.c
new file mode 100644
index 00000000000..330272c69bc
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/sse2-pr98461-2.c
@@ -0,0 +1,25 @@
+/* PR target/98461 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -msse2 -mno-sse3 -masm=att" } */
+/* { dg-final { scan-assembler-times "\tpmovmskb\t" 3 } } */
+/* { dg-final { scan-assembler-not "\tmovzwl" } } */
+/* { dg-final { scan-assembler-times "\tnotl" 1 } } *
+/* { dg-final { scan-assembler-times "\txorl" 1 } } */
+
+#include <immintrin.h>
+
+unsigned int movemask_not1(__m128i logical) {
+ unsigned short res = (unsigned short)(_mm_movemask_epi8(logical));
+ return ~res;
+}
+
+unsigned int movemask_not2(__m128i logical) {
+ unsigned short res = (unsigned short)(_mm_movemask_epi8(logical));
+ res = ~res;
+ return res;
+}
+
+unsigned int movemask_zero_extend(__m128i logical) {
+ unsigned int res = _mm_movemask_epi8(logical);
+ return res & 0xffff;
+}
--
2.18.1
--
BR,
Hongtao
next prev parent reply other threads:[~2021-01-05 6:30 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-01-04 5:56 Hongtao Liu
2021-01-04 7:40 ` Uros Bizjak
2021-01-04 7:54 ` Hongtao Liu
2021-01-04 8:42 ` Uros Bizjak
2021-01-04 8:49 ` Jakub Jelinek
2021-01-04 8:59 ` Hongtao Liu
2021-01-05 6:32 ` Hongtao Liu [this message]
2021-01-05 7:04 ` Uros Bizjak
2021-01-05 7:19 ` Uros Bizjak
2021-01-05 10:28 ` Hongtao Liu
2021-01-05 10:30 ` Uros Bizjak
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAMZc-bwnpFhfRqL7kC=3U8V7kjupB_bWVu=QtkYpQAQBBY=-aQ@mail.gmail.com' \
--to=crazylht@gmail.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=jakub@redhat.com \
--cc=kirill.yukhin@gmail.com \
--cc=ubizjak@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).