diff options
| author | Richard Biener <rguenther@suse.de> | 2021-01-29 11:17:42 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-01-29 12:09:10 +0100 |
| commit | f4e426f7bd7df279cb7aaecd91d273d9b7db338d (patch) | |
| tree | 0d38d84b46427765d9f866fdf32a5675a53e2de5 /gcc/tree-ssa-loop-niter.c | |
| parent | a8c455bafdefdab0a7b8cdbcdb116c0086bae05e (diff) | |
| download | gcc-f4e426f7bd7df279cb7aaecd91d273d9b7db338d.zip gcc-f4e426f7bd7df279cb7aaecd91d273d9b7db338d.tar.gz gcc-f4e426f7bd7df279cb7aaecd91d273d9b7db338d.tar.bz2 | |
tree-optimization/97627 - Avoid computing niters for fake edges
This avoids computing niters information for fake edges.
2021-01-29 Bin Cheng <bin.cheng@linux.alibaba.com>
Richard Biener <rguenther@suse.de>
PR tree-optimization/97627
* tree-ssa-loop-niter.c (number_of_iterations_exit_assumptions):
Do not analyze fake edges.
* g++.dg/pr97627.C: New testcase.
Diffstat (limited to 'gcc/tree-ssa-loop-niter.c')
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index 98978bc..3817ec4 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -2407,6 +2407,11 @@ number_of_iterations_exit_assumptions (class loop *loop, edge exit, affine_iv iv0, iv1; bool safe; + /* The condition at a fake exit (if it exists) does not control its + execution. */ + if (exit->flags & EDGE_FAKE) + return false; + /* Nothing to analyze if the loop is known to be infinite. */ if (loop_constraint_set_p (loop, LOOP_C_INFINITE)) return false; |