PR tree-optimization/92429 do not fold when updating epilogue statements
authorAndre Vieira <andre.simoesdiasvieira@arm.com>
Thu, 16 Jan 2020 10:28:02 +0000 (10:28 +0000)
committerAndre Vieira <andre.simoesdiasvieira@arm.com>
Thu, 16 Jan 2020 10:28:02 +0000 (10:28 +0000)
commitf7dff7699fd70d3b8c3e637818e18c86f93ccfec
treeaf31f070a180f10ce3976fea11218eab523cbd19
parent3b5757ea87ad2274b841340335bf7536204e615b
PR tree-optimization/92429 do not fold when updating epilogue statements

This patch addresses the problem reported in PR92429.  When creating an
epilogue for vectorization we have to replace the SSA_NAMEs in the
PATTERN_DEF_SEQs and RELATED_STMTs of the epilogue's loop_vec_infos. When doing
this we were using simplify_replace_tree which always folds the replacement.
This may lead to a different tree-node than the one which was analyzed in
vect_loop_analyze.  In turn the new tree-node may require a different
vectorization than the one we had prepared for which caused the ICE in
question.

gcc/ChangeLog:
2020-01-16  Andre Vieira  <andre.simoesdiasvieira@arm.com>

PR tree-optimization/92429
* tree-ssa-loop-niter.h (simplify_replace_tree): Add parameter.
* tree-ssa-loop-niter.c (simplify_replace_tree): Add parameter to
control folding.
* tree-vect-loop.c (update_epilogue_vinfo): Do not fold when replacing
tree.

gcc/testsuite/ChangeLog:
2020-01-16  Andre Vieira  <andre.simoesdiasvieira@arm.com>

PR tree-optimization/92429
* gcc.dg/vect/pr92429.c: New test.
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/tree-ssa-loop-niter.c
gcc/tree-ssa-loop-niter.h
gcc/tree-vect-loop.c