[Bug tree-optimization/64829] [ARM] ICE at -O3 in vect_get_vec_def_for_stmt_copy

["rguenth at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
          Component|target                      |tree-optimization
            Version|unknown                     |5.0
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ok, reproduce with

> ./cc1 -quiet t.c -O3 -mfloat-abi=hard -I include -march=armv7-a -mfpu=neon
t.c: In function ?fail?:
t.c:22:5: internal compiler error: in vect_get_vec_def_for_stmt_copy, at
tree-vect-stmts.c:1598
 int fail ( const RMColorData * pInColor,
     ^
0xf89822 vect_get_vec_def_for_stmt_copy(vect_def_type, tree_node*)
        /space/rguenther/src/svn/trunk2/gcc/tree-vect-stmts.c:1598
0xf8991c vect_get_vec_defs_for_stmt_copy
        /space/rguenther/src/svn/trunk2/gcc/tree-vect-stmts.c:1624
0xf94dd8 vectorizable_operation
        /space/rguenther/src/svn/trunk2/gcc/tree-vect-stmts.c:4910
0xf9c3b3 vect_transform_stmt(gimple_statement_base*, gimple_stmt_iterator*,
bool*, _slp_tree*, _slp_instance*)
        /space/rguenther/src/svn/trunk2/gcc/tree-vect-stmts.c:7273
0xfb0c26 vect_transform_loop(_loop_vec_info*)
        /space/rguenther/src/svn/trunk2/gcc/tree-vect-loop.c:6156
0xfc5daf vectorize_loops()
        /space/rguenther/src/svn/trunk2/gcc/tree-vectorizer.c:497
0xec3f97 execute
        /space/rguenther/src/svn/trunk2/gcc/tree-ssa-loop.c:295
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

Must be related to

t.c:48:2: note: vect_recog_widen_shift_pattern: detected:
t.c:48:2: note: patt_42 = _41 w<< 4;
t.c:48:2: note: pattern recognized: patt_42 = _41 w<< 4;

t.c:48:2: note: additional pattern stmt: _41 = (unsigned short) _13;
...
t.c:48:2: note: type of def: 3.
t.c:48:2: note: mark relevant 4, live 0.
t.c:48:2: note: last stmt in pattern. don't mark relevant/live.
t.c:48:2: note: worklist: examine stmt: _41 = (unsigned short) _13;
...
t.c:48:2: note: type of def: 3.
t.c:48:2: note: mark relevant 4, live 0.
t.c:48:2: note: last stmt in pattern. don't mark relevant/live.
t.c:48:2: note: worklist: examine stmt: patt_42 = _41 w<< 4;

I will have a closer look.