diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2019-06-04 22:39:32 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2019-06-04 20:39:32 +0000 |
| commit | 4a28e1f11335c771e215d0cdbae630828c0acaf2 (patch) | |
| tree | 0626d88c9bd844588eff098d867a4bd2995c15d7 /gcc | |
| parent | 8d3620baab5d17081918b8c0f0e593a49a0d8550 (diff) | |
| download | gcc-4a28e1f11335c771e215d0cdbae630828c0acaf2.zip gcc-4a28e1f11335c771e215d0cdbae630828c0acaf2.tar.gz gcc-4a28e1f11335c771e215d0cdbae630828c0acaf2.tar.bz2 | |
Simplify loop size when step=1
2019-06-04 Marc Glisse <marc.glisse@inria.fr>
* tree-ssa-loop-niter.c (number_of_iterations_ne): Skip
computations when step is 1.
From-SVN: r271926
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 11 |
2 files changed, 14 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c7af345..30febc6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2019-06-04 Marc Glisse <marc.glisse@inria.fr> + + * tree-ssa-loop-niter.c (number_of_iterations_ne): Skip + computations when step is 1. + 2019-06-04 Segher Boessenkool <segher@kernel.crashing.org> * config/rs6000/constraints.md (define_register_constraint "wf"): diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index 470b6a2..8cf8ef9 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -1125,8 +1125,15 @@ number_of_iterations_ne (struct loop *loop, tree type, affine_iv *iv, } c = fold_build2 (EXACT_DIV_EXPR, niter_type, c, d); - tmp = fold_build2 (MULT_EXPR, niter_type, c, inverse (s, bound)); - niter->niter = fold_build2 (BIT_AND_EXPR, niter_type, tmp, bound); + if (integer_onep (s)) + { + niter->niter = c; + } + else + { + tmp = fold_build2 (MULT_EXPR, niter_type, c, inverse (s, bound)); + niter->niter = fold_build2 (BIT_AND_EXPR, niter_type, tmp, bound); + } return true; } |