diff options
| author | Bin Cheng <bin.cheng@arm.com> | 2016-07-21 10:52:13 +0000 |
|---|---|---|
| committer | Bin Cheng <amker@gcc.gnu.org> | 2016-07-21 10:52:13 +0000 |
| commit | b24d94207914fb8695bd7307187a5a0bfcddc8c2 (patch) | |
| tree | 5395d978a3d736c900e79a29efb655abdb1d10e6 /gcc/tree-vrp.c | |
| parent | 106d07f8d20542c5a0acad3699843aa26b2ee84f (diff) | |
| download | gcc-b24d94207914fb8695bd7307187a5a0bfcddc8c2.zip gcc-b24d94207914fb8695bd7307187a5a0bfcddc8c2.tar.gz gcc-b24d94207914fb8695bd7307187a5a0bfcddc8c2.tar.bz2 | |
tree-chrec.c (convert_affine_scev): New parameter.
* tree-chrec.c (convert_affine_scev): New parameter. Pass new arg.
(chrec_convert_1, chrec_convert): Ditto.
* tree-chrec.h (chrec_convert, convert_affine_scev): New parameter.
* tree-scalar-evolution.c (interpret_rhs_expr): Pass new arg.
* tree-vrp.c (adjust_range_with_scev): Ditto.
* tree-ssa-loop-niter.c (idx_infer_loop_bounds): Ditto.
(scev_var_range_cant_overflow): New function.
(scev_probably_wraps_p): New parameter. Call above function.
* tree-ssa-loop-niter.h (scev_probably_wraps_p): New parameter.
gcc/testsuite
* gcc.dg/tree-ssa/scev-15.c: New.
From-SVN: r238586
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 4333d60..b9ccb73 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4156,8 +4156,8 @@ adjust_range_with_scev (value_range *vr, struct loop *loop, or decreases, ... */ dir == EV_DIR_UNKNOWN /* ... or if it may wrap. */ - || scev_probably_wraps_p (init, step, stmt, get_chrec_loop (chrec), - true)) + || scev_probably_wraps_p (NULL_TREE, init, step, stmt, + get_chrec_loop (chrec), true)) return; /* We use TYPE_MIN_VALUE and TYPE_MAX_VALUE here instead of |