isel: Fix up gimple_expand_vec_set_expr [PR105528]
authorJakub Jelinek <jakub@redhat.com>
Tue, 10 May 2022 16:34:08 +0000 (18:34 +0200)
committerJakub Jelinek <jakub@redhat.com>
Tue, 10 May 2022 16:39:51 +0000 (18:39 +0200)
commit9468cc35daca9fd6a0ec479217bb40a77616fb25
tree8380cc03272b99636b2cfd1de99a1cea7ab39aa7
parentb931d0cfd33fec6ffc259b1be5c832144b4e7bea
isel: Fix up gimple_expand_vec_set_expr [PR105528]

The following testcase ICEs (and only without -g), because we don't replace
one VEC_COND_EXPR with .VCOND* call.
We don't do that because gimple_expand_vec_set_expr adds some stmts before
*gsi and then uses gsi_remove to remove it.  gsi_remove moves the iterator
to the next stmt and in the caller we then do gsi_next before looking at
another stmt, which means we can skip processing of one stmt, which in this
case happened to be a VEC_COND_EXPR but with -g is some debug stmt in
between.  As we always emit some stmts before it, it is easy to update the
iterator to the last stmt emitted there, so that caller continues really
with the next stmt.

2022-05-10  Jakub Jelinek  <jakub@redhat.com>

PR tree-optimization/105528
* gimple-isel.cc (gimple_expand_vec_set_expr): After gsi_remove
set *gsi to gsi_for_stmt (ass_stmt).  Fix up function comment.

* gcc.dg/pr105528.c: New test.

(cherry picked from commit ddd46293e2b508b260eefe1adbad6720df7a5dd2)
gcc/gimple-isel.cc
gcc/testsuite/gcc.dg/pr105528.c [new file with mode: 0644]