diff options
author | Andre Vieira <andre.simoesdiasvieira@arm.com> | 2020-01-16 10:28:02 +0000 |
---|---|---|
committer | Andre Vieira <andre.simoesdiasvieira@arm.com> | 2020-01-16 10:28:02 +0000 |
commit | f7dff7699fd70d3b8c3e637818e18c86f93ccfec (patch) | |
tree | af31f070a180f10ce3976fea11218eab523cbd19 /gcc/tree-ssa-loop-niter.h | |
parent | 3b5757ea87ad2274b841340335bf7536204e615b (diff) | |
download | gcc-f7dff7699fd70d3b8c3e637818e18c86f93ccfec.zip gcc-f7dff7699fd70d3b8c3e637818e18c86f93ccfec.tar.gz gcc-f7dff7699fd70d3b8c3e637818e18c86f93ccfec.tar.bz2 |
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.
Diffstat (limited to 'gcc/tree-ssa-loop-niter.h')
-rw-r--r-- | gcc/tree-ssa-loop-niter.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-loop-niter.h b/gcc/tree-ssa-loop-niter.h index 621e2c2..eb8d157 100644 --- a/gcc/tree-ssa-loop-niter.h +++ b/gcc/tree-ssa-loop-niter.h @@ -58,7 +58,7 @@ extern void free_numbers_of_iterations_estimates (class loop *); extern void free_numbers_of_iterations_estimates (function *); extern tree simplify_replace_tree (tree, tree, tree, tree (*)(tree, void *) = NULL, - void * = NULL); + void * = NULL, bool do_fold = true); extern void substitute_in_loop_info (class loop *, tree, tree); #endif /* GCC_TREE_SSA_LOOP_NITER_H */ |