From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 6BFB43973031; Thu, 18 Jun 2020 10:13:00 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6BFB43973031
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
 s=default; t=1592475180;
 bh=ocnp5WiJx/D1b67wlhbGqHy0d7afUpmLLHKxT5vJNhI=;
 h=From:To:Subject:Date:In-Reply-To:References:From;
 b=r9GjnC8RxR6BdqaTYL5cqC9S3qHMZESgTfr+AOZWN4P1U+L9pJ0dmgReorptmz1tb
 Qwf68cbyGfonxRdyIJUb30AK5OQ+5VdcTOXsdUFdgsEwUSd6YMD3H5myMiM71/R42D
 K8ezCuIaNvRFP9e7PwGL2KpTiDTiAIqul0wSJ8+Y=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/95713] [10/11 Regression] ICE in emit_move_insn when
 converting int2 vector to short2 vector for -march=skylake-avx512 since
 r10-5031-g78307657cf9675bc
Date: Thu, 18 Jun 2020 10:13:00 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 10.1.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.2
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-95713-4-YJ7R6bCYll@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-95713-4@http.gcc.gnu.org/bugzilla/>
References: <bug-95713-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <http://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <http://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 18 Jun 2020 10:13:00 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D95713

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:9a875db43cd4210843c480c8df26a1d6624d057d

commit r11-1503-g9a875db43cd4210843c480c8df26a1d6624d057d
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Thu Jun 18 12:08:06 2020 +0200

    forwprop: simplify_vector_constructor follow-up fix [PR95713]

    As the following testcase shows, the exception for the aarch64
    vec_pack_trunc_di is not sufficient on x86, the halfvectype
    "vectors" have SImode but the x86 vec_pack_trunc_si meant for
    the bool bitmasks combines 2x SImode into DImode, while in the
    testcase the halfvectype is 1x SImode "vector" with SImode and
    result is 2x HImode "vector" with SImode.

    Richard Sandiford's reply:
    FWIW, since the aarch64 case was only found by inspection and might
    not be useful, personally I'd prefer to drop that case after all.

    2020-06-18  Jakub Jelinek  <jakub@redhat.com>

            PR target/95713
            * tree-ssa-forwprop.c (simplify_vector_constructor): Don't allow
            scalar mode halfvectype other than vector boolean for
            VEC_PACK_TRUNC_EXPR.

            * gcc.dg/pr95713.c: New test.=