diff options
| author | Alan Lawrence <alan.lawrence@arm.com> | 2015-10-27 12:36:55 +0000 |
|---|---|---|
| committer | Alan Lawrence <alalaw01@gcc.gnu.org> | 2015-10-27 12:36:55 +0000 |
| commit | 6f9071656286512360ca22b6668c9c8d823ec907 (patch) | |
| tree | e86f482365a51e41752e05345ed006755044537f /gcc/tree-scalar-evolution.c | |
| parent | 85f5231d73ab398af64c03e4121ab16c6c172cf6 (diff) | |
| download | gcc-6f9071656286512360ca22b6668c9c8d823ec907.zip gcc-6f9071656286512360ca22b6668c9c8d823ec907.tar.gz gcc-6f9071656286512360ca22b6668c9c8d823ec907.tar.bz2 | |
tree-scalar-evolution.c: Handle LSHIFT by constant
gcc/:
tree-scalar-evolution.c (interpret_rhs_expr): Handle some LSHIFT_EXPRs
as equivalent MULT_EXPRs.
gcc/testsuite/:
gcc.dg/vect/vect-strided-shift.c: New.
From-SVN: r229437
Diffstat (limited to 'gcc/tree-scalar-evolution.c')
| -rw-r--r-- | gcc/tree-scalar-evolution.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c index 0753bf3..8e95ddd 100644 --- a/gcc/tree-scalar-evolution.c +++ b/gcc/tree-scalar-evolution.c @@ -1840,6 +1840,20 @@ interpret_rhs_expr (struct loop *loop, gimple *at_stmt, res = chrec_fold_multiply (type, chrec1, chrec2); break; + case LSHIFT_EXPR: + /* Handle A<<B as A * (1<<B). */ + chrec1 = analyze_scalar_evolution (loop, rhs1); + chrec2 = analyze_scalar_evolution (loop, rhs2); + chrec1 = chrec_convert (type, chrec1, at_stmt); + chrec1 = instantiate_parameters (loop, chrec1); + chrec2 = instantiate_parameters (loop, chrec2); + + chrec2 = fold_build2 (LSHIFT_EXPR, type, + build_int_cst (TREE_TYPE (rhs1), 1), + chrec2); + res = chrec_fold_multiply (type, chrec1, chrec2); + break; + CASE_CONVERT: /* In case we have a truncation of a widened operation that in the truncated type has undefined overflow behavior analyze |