* tree-chrec.c (convert_affine_scev): New parameter. Pass new arg.
commit90261646e4ba841e5a79f6e26a5e904406c12902
authoramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Jul 2016 10:52:13 +0000 (21 10:52 +0000)
committeramker <amker@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 21 Jul 2016 10:52:13 +0000 (21 10:52 +0000)
tree5395d978a3d736c900e79a29efb655abdb1d10e6
parentbbc8badba0956fe26c653fbd3ae6562bba057413
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@238586 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/scev-15.c [new file with mode: 0644]
gcc/tree-chrec.c
gcc/tree-chrec.h
gcc/tree-scalar-evolution.c
gcc/tree-ssa-loop-niter.c
gcc/tree-ssa-loop-niter.h
gcc/tree-vrp.c