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 | |
| 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')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr86232.c | 10 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 12 |
4 files changed, 30 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1e851db..09af134 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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. + 2018-06-21 Andre Vieira <andre.simoesdiasvieira@arm.com> * config/aarch64/aarch64-simd.md diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e32abfa..3d53dd4 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-06-21 Richard Biener <rguenther@suse.de> + + PR tree-optimization/86232 + * gcc.dg/torture/pr86232.c: New testcase. + 2018-06-21 Andre Vieira <andre.simoesdiasvieira@arm.com> * gcc/gcc.target/aarch64/aes_xor_combine.c: New test. diff --git a/gcc/testsuite/gcc.dg/torture/pr86232.c b/gcc/testsuite/gcc.dg/torture/pr86232.c new file mode 100644 index 0000000..f5b61d3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr86232.c @@ -0,0 +1,10 @@ +/* { dg-do compile } */ + +enum { a = 1 } b; +int c() +{ + int d = a; + for (; d;) + d &= d - 1; + return b; +} 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) |