From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 4CDCB38555A1; Mon, 20 Mar 2023 15:35:57 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 4CDCB38555A1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1679326557; bh=Dgeoph9dQNHUHxf1blLHxDcNjtatbX60P1zaYE2prWc=; h=From:To:Subject:Date:In-Reply-To:References:From; b=ukrk/pRHifS6JyxQ96BR980ewonge2wxXzMX7AZlekfOXyRPsaDkRGxgiigIW9A9h hpkR5YVdTJJ/tpuVi/PszzVvrHNlHyN5pTsVMkjNyGYbh7bygbHtsdEkQM5HWc1ML3 86G3jLA7HyYrryWHmqQYvnhJc14BX3wGOuVcJXmo= From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/109176] [13 Regression] internal compiler error: in to_constant, at poly-int.h:504 Date: Mon, 20 Mar 2023 15:35:56 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc Message-ID: In-Reply-To: References: 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 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109176 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rsandifo at gcc dot gnu.org --- Comment #5 from Jakub Jelinek --- Before veclower2 we had/have _7 =3D ba_5(D) < a_6(D); _8 =3D svnand_b_z (_7, _7, _7); _9 =3D VEC_COND_EXPR <_7, _8, _7>; where _7/_8/_9 are all __SVBool_t. Before the r11-1445 changes, the VEC_COND_EXPR would be left untouched, bec= ause expand_vec_cond_expr_p (__SVBool_t, __SVBool_t, SSA_NAME) is true on aarch6= 4. Now it doesn't, because _7 def_stmt is a comparison, and so expand_vec_cond_expr_p (__SVBool_t, VNx16QI, LT_EXPR). --- gcc/tree-vect-generic.cc.jj 2023-03-12 22:36:06.356178068 +0100 +++ gcc/tree-vect-generic.cc 2023-03-20 16:31:03.321831866 +0100 @@ -1063,6 +1063,12 @@ expand_vector_condition (gimple_stmt_ite return true; } + if (!TYPE_VECTOR_SUBPARTS (type).is_constant () + && VECTOR_BOOLEAN_TYPE_P (type) + && VECTOR_BOOLEAN_TYPE_P (TREE_TYPE (a)) + && expand_vec_cond_expr_p (type, TREE_TYPE (a), TREE_CODE (a))) + return true; + /* Handle vector boolean types with bitmasks. If there is a comparison and we can expand the comparison into the vector boolean bitmask, or otherwise if it is compatible with type, we can transform basically restores the behaviour here for the SVE boolean types and makes it compile. Because otherwise, unless this would be solvable by the AVX512 "Handle vect= or boolean types with bitmasks." code the non-constant vector elts cases will always ICE in the following code, int nunits =3D nunits_for_known_piecewi= se_op (type); requires constant TYPE_VECTOR_SUBPARTS and the code really isn't prepared to handle anything non-constant.=