From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32122 invoked by alias); 11 Mar 2014 16:34:08 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 32095 invoked by uid 48); 11 Mar 2014 16:34:03 -0000 From: "graham.stott at btinternet dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/60502] New: 4.9 ICE reassociation and vector types. Date: Tue, 11 Mar 2014 16:34:00 -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: 4.9.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: graham.stott at btinternet dot com X-Bugzilla-Status: UNCONFIRMED 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 bug_severity priority component assigned_to reporter Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2014-03/txt/msg00901.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60502 Bug ID: 60502 Summary: 4.9 ICE reassociation and vector types. Product: gcc Version: 4.9.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: graham.stott at btinternet dot com gcc_unreacble abort in reassociation and vector types If reassocation manages to simplify an expression which involves any VECTOR type it will trigger a gcc_unreachable abort. On any target which has support for vector types. ------------------------------------------------------------ typedef signed char v16i8 __attribute__ ((vector_size(16))); v16i8 bug1(v16i8 op0) { v16i8 m1 = {-1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1}; return (op0 ^ m1) | (op0 & m1); } ------------------------------------------------------------ It hits a gcc_unreachable() in build_int_cst_wide. bug.c:3:7: internal compiler error: in build_int_cst_wide, at tree.c:1200 v16i8 bug1(v16i8 op0) ^ 0xb75583 build_int_cst_wide(tree_node*, unsigned long, long) /gcc/gcc/gcc/tree.c:1200 0xaade63 eliminate_not_pairs /gcc/gcc/gcc/tree-ssa-reassoc.c:810 0xaade63 optimize_ops_list /gcc/gcc/gcc/tree-ssa-reassoc.c:1744 0xab0a99 reassociate_bb /gcc/gcc/gcc/tree-ssa-reassoc.c:4436 0xab08a7 reassociate_bb /gcc/gcc/gcc/tree-ssa-reassoc.c:4519 0xab311b do_reassoc /gcc/gcc/gcc/tree-ssa-reassoc.c:4552 0xab311b execute_reassoc /gcc/gcc/gcc/tree-ssa-reassoc.c:4634 0xab311b execute /gcc/gcc/gcc/tree-ssa-reassoc.c:4676