From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id A544B3939C21; Wed, 20 May 2020 08:33:03 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A544B3939C21 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1589963583; bh=ZaMCUUETOss6031K4fgyvOL6LdK7nFDptaT1M+JKNW8=; h=From:To:Subject:Date:From; b=HdImC/tKgbNXnsQsKGR5N0vo6/CQn7q3uEyZoWeE2WoX/ZVRJL5Pv8/9GotpzJoQy xaVeTDZkdG1uxQDdSslYmDBCWL5RRjY9qnrbCDpDVBVJgkX3F/rDRKrbwXxo87XTbW H5p8b4UMCZ597E5YkE+3D78siTNMEScNFRfhyMuA= From: "marxin at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: =?UTF-8?B?W0J1ZyB0cmVlLW9wdGltaXphdGlvbi85NTIzMV0gTmV3OiBbMTEg?= =?UTF-8?B?UmVncmVzc2lvbl0gZXJyb3I6IHRoZSBmaXJzdCBhcmd1bWVudCBvZiBhIA==?= =?UTF-8?B?4oCYdmVjX2NvbmRfZXhwcuKAmSBtdXN0IGJlIG9mIGEgYm9vbGVhbiB2ZWN0?= =?UTF-8?B?b3IgdHlwZSBvZiB0aGUgc2luY2UgcjExLTQ1MS1nZmUxNjg3NTFjNWMxYzUx?= =?UTF-8?B?Nw==?= Date: Wed, 20 May 2020 08:33:03 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 11.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: marxin at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter cc target_milestone Message-ID: 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 20 May 2020 08:33:03 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D95231 Bug ID: 95231 Summary: [11 Regression] error: the first argument of a =E2=80=98vec_cond_expr=E2=80=99 must be of a boolean ve= ctor type of the since r11-451-gfe168751c5c1c517 Product: gcc Version: 11.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: rguenth at gcc dot gnu.org Target Milestone: --- I see the following ICE: $ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compar= e.C -O3 -fnon-call-exceptions /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C: In function =E2=80=98int main()=E2=80=99: /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: unsupported operation or type for vector comparison returning a bool= ean 36 | } | ^ vector(4) float vector(4) float _25 =3D _13 > _23; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: the first argument of a =E2=80=98vec_cond_expr=E2=80=99 must be of a= boolean vector type of the same number of elements as the result vector(4) int bool _24 =3D VEC_COND_EXPR <_25, { -1, -1, -1, -1 }, { 0, 0, 0, 0 }>; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: unsupported operation or type for vector comparison returning a bool= ean vector(4) float vector(4) float _29 =3D _26 > _27; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: the first argument of a =E2=80=98vec_cond_expr=E2=80=99 must be of a= boolean vector type of the same number of elements as the result vector(4) int bool _28 =3D VEC_COND_EXPR <_29, { -1, -1, -1, -1 }, { 0, 0, 0, 0 }>; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: unsupported operation or type for vector comparison returning a bool= ean vector(4) float vector(4) float _33 =3D _30 > _31; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: the first argument of a =E2=80=98vec_cond_expr=E2=80=99 must be of a= boolean vector type of the same number of elements as the result vector(4) int bool _32 =3D VEC_COND_EXPR <_33, { -1, -1, -1, -1 }, { 0, 0, 0, 0 }>; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: unsupported operation or type for vector comparison returning a bool= ean vector(4) float vector(4) float _37 =3D _34 > _35; /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: error: the first argument of a =E2=80=98vec_cond_expr=E2=80=99 must be of a= boolean vector type of the same number of elements as the result vector(4) int bool _36 =3D VEC_COND_EXPR <_37, { -1, -1, -1, -1 }, { 0, 0, 0, 0 }>; during GIMPLE pass: einline /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/other/vector-compare.C:36= :1: internal compiler error: verify_gimple failed 0x10f8d61 verify_gimple_in_cfg(function*, bool) /home/marxin/Programming/gcc/gcc/tree-cfg.c:5461 0xfd4e7f execute_function_todo /home/marxin/Programming/gcc/gcc/passes.c:1985 0xfd5c2e execute_todo /home/marxin/Programming/gcc/gcc/passes.c:2039 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See for instructions.=