From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <liuhongt@sourceware.org>
Received: by sourceware.org (Postfix, from userid 2078)
 id CCF0B3858D28; Wed,  9 Feb 2022 10:00:03 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org CCF0B3858D28
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="utf-8"
From: hongtao Liu <liuhongt@gcc.gnu.org>
To: gcc-cvs@gcc.gnu.org
Subject: [gcc r10-10443] ICE: QImode(not SImode) operand should be passed to
 gen_vec_initv16qiqi in ashlv16qi3.
X-Act-Checkin: gcc
X-Git-Author: liuhongt <hongtao.liu@intel.com>
X-Git-Refname: refs/heads/releases/gcc-10
X-Git-Oldrev: 29f55d939f189f1219c2a175ed6806a46fdef483
X-Git-Newrev: 0ceeec139d2e181bbeab389deaf53c118a507e68
Message-Id: <20220209100003.CCF0B3858D28@sourceware.org>
Date: Wed,  9 Feb 2022 10:00:03 +0000 (GMT)
X-BeenThere: gcc-cvs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-cvs mailing list <gcc-cvs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-cvs/>
List-Help: <mailto:gcc-cvs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-cvs>,
 <mailto:gcc-cvs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 09 Feb 2022 10:00:03 -0000

https://gcc.gnu.org/g:0ceeec139d2e181bbeab389deaf53c118a507e68

commit r10-10443-g0ceeec139d2e181bbeab389deaf53c118a507e68
Author: liuhongt <hongtao.liu@intel.com>
Date:   Wed Feb 9 13:14:43 2022 +0800

    ICE: QImode(not SImode) operand should be passed to gen_vec_initv16qiqi in ashlv16qi3.
    
    ix86_expand_vector_init expects vals to be a parallel containing
    values of individual fields which should be either element mode of the
    vector mode, or a vector mode with the same element mode and smaller
    number of elements.
    
    But in the expander ashlv16qi3, the second operand is SImode which
    can't be directly passed to gen_vec_initv16qiqi.
    
    gcc/ChangeLog:
    
            PR target/104451
            * config/i386/sse.md (<insn><mode>3): lowpart_subreg
            operands[2] from SImode to QImode.
    
    gcc/testsuite/ChangeLog:
    
            PR target/104451
            * gcc.target/i386/pr104451.c: New test.

Diff:
---
 gcc/config/i386/sse.md                   |  3 ++-
 gcc/testsuite/gcc.target/i386/pr104451.c | 25 +++++++++++++++++++++++++
 2 files changed, 27 insertions(+), 1 deletion(-)

diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md
index b80da2e6c50..f1b3521d482 100644
--- a/gcc/config/i386/sse.md
+++ b/gcc/config/i386/sse.md
@@ -19418,8 +19418,9 @@
 	    negate = true;
 	}
       par = gen_rtx_PARALLEL (V16QImode, rtvec_alloc (16));
+      tmp = lowpart_subreg (QImode, operands[2], SImode);
       for (i = 0; i < 16; i++)
-        XVECEXP (par, 0, i) = operands[2];
+	XVECEXP (par, 0, i) = tmp;
 
       tmp = gen_reg_rtx (V16QImode);
       emit_insn (gen_vec_initv16qiqi (tmp, par));
diff --git a/gcc/testsuite/gcc.target/i386/pr104451.c b/gcc/testsuite/gcc.target/i386/pr104451.c
new file mode 100644
index 00000000000..8b251ccf827
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr104451.c
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+/* { dg-options "-mavx2 -mxop -O" } */
+
+typedef char __attribute__((__vector_size__ (16))) V;
+typedef unsigned char __attribute__((__vector_size__ (16))) UV;
+V v;
+UV uv;
+
+V
+foo (long c)
+{
+  return v << c;
+}
+
+V
+foo1 (long c)
+{
+  return v >> c;
+}
+
+UV
+foo2 (unsigned long uc)
+{
+  return uv >> uc;
+}