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

Reply via email to