diff options
| author | Richard Biener <rguenther@suse.de> | 2018-06-21 11:22:12 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-06-21 11:22:12 +0000 |
| commit | 8732dd82418090d9bb0f6279d0e5a5af52266d6b (patch) | |
| tree | 5a84eea808b290e0d2bad8ce2c7a7f33a05be8d9 /gcc/tree-ssa-loop-niter.c | |
| parent | 9b2e34ef6d56fae077b175d73d6f7440af8eba25 (diff) | |
| download | gcc-8732dd82418090d9bb0f6279d0e5a5af52266d6b.zip gcc-8732dd82418090d9bb0f6279d0e5a5af52266d6b.tar.gz gcc-8732dd82418090d9bb0f6279d0e5a5af52266d6b.tar.bz2 | |
re PR tree-optimization/86232 (ICE in record_estimate, at tree-ssa-loop-niter.c:3258)
2018-06-21 Richard Biener <rguenther@suse.de>
PR tree-optimization/86232
* tree-ssa-loop-niter.c (number_of_iterations_popcount): Adjust
max for constant niter.
* gcc.dg/torture/pr86232.c: New testcase.
From-SVN: r261843
Diffstat (limited to 'gcc/tree-ssa-loop-niter.c')
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index 9365915..f5ffc0f 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -2575,9 +2575,6 @@ number_of_iterations_popcount (loop_p loop, edge exit, return false; /* Update NITER params accordingly */ - max = TYPE_PRECISION (TREE_TYPE (src)); - if (adjust) - max = max - 1; tree utype = unsigned_type_for (TREE_TYPE (src)); src = fold_convert (utype, src); tree call = fold_convert (utype, build_call_expr (fn, 1, src)); @@ -2588,6 +2585,15 @@ number_of_iterations_popcount (loop_p loop, edge exit, else iter = call; + if (TREE_CODE (call) == INTEGER_CST) + max = tree_to_uhwi (call); + else + { + max = TYPE_PRECISION (TREE_TYPE (src)); + if (adjust) + max = max - 1; + } + niter->niter = iter; niter->assumptions = boolean_true_node; if (adjust) |