diff options
| author | Bingfeng Mei <bmei@broadcom.com> | 2014-01-03 15:40:57 +0000 |
|---|---|---|
| committer | Bingfeng Mei <meibf@gcc.gnu.org> | 2014-01-03 15:40:57 +0000 |
| commit | 82d89471a4ee354af3105064b8c60c92a30fa4eb (patch) | |
| tree | 4bd50bb744ce8fbbe28950f5da0d1188ce74dd26 /gcc/tree-vect-loop-manip.c | |
| parent | e864837ad6b324d0025bc4a1a06cf480da34deb3 (diff) | |
| download | gcc-82d89471a4ee354af3105064b8c60c92a30fa4eb.zip gcc-82d89471a4ee354af3105064b8c60c92a30fa4eb.tar.gz gcc-82d89471a4ee354af3105064b8c60c92a30fa4eb.tar.bz2 | |
re PR tree-optimization/59651 (Vectorizer failing to spot dependence causes incorrect code generation.)
2014-01-03 Bingfeng Mei <bmei@broadcom.com>
PR tree-optimization/59651
* tree-vect-loop-manip.c (vect_create_cond_for_alias_checks):
Address range for negative step should be added by TYPE_SIZE_UNIT.
PR tree-optimization/59651
* gcc.dg/torture/pr59651.c: New test.
* gcc.dg/vect/pr59651.c: Ditto.
From-SVN: r206319
Diffstat (limited to 'gcc/tree-vect-loop-manip.c')
| -rw-r--r-- | gcc/tree-vect-loop-manip.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/gcc/tree-vect-loop-manip.c b/gcc/tree-vect-loop-manip.c index 3eb85a5..e8dbf4d 100644 --- a/gcc/tree-vect-loop-manip.c +++ b/gcc/tree-vect-loop-manip.c @@ -2240,13 +2240,24 @@ vect_create_cond_for_alias_checks (loop_vec_info loop_vinfo, tree * cond_expr) tree seg_a_min = addr_base_a; tree seg_a_max = fold_build_pointer_plus (addr_base_a, segment_length_a); + /* For negative step, we need to adjust address range by TYPE_SIZE_UNIT + bytes, e.g., int a[3] -> a[1] range is [a+4, a+16) instead of + [a, a+12) */ if (tree_int_cst_compare (DR_STEP (dr_a.dr), size_zero_node) < 0) - seg_a_min = seg_a_max, seg_a_max = addr_base_a; + { + tree unit_size = TYPE_SIZE_UNIT (TREE_TYPE (DR_REF (dr_a.dr))); + seg_a_min = fold_build_pointer_plus (seg_a_max, unit_size); + seg_a_max = fold_build_pointer_plus (addr_base_a, unit_size); + } tree seg_b_min = addr_base_b; tree seg_b_max = fold_build_pointer_plus (addr_base_b, segment_length_b); if (tree_int_cst_compare (DR_STEP (dr_b.dr), size_zero_node) < 0) - seg_b_min = seg_b_max, seg_b_max = addr_base_b; + { + tree unit_size = TYPE_SIZE_UNIT (TREE_TYPE (DR_REF (dr_b.dr))); + seg_b_min = fold_build_pointer_plus (seg_b_max, unit_size); + seg_b_max = fold_build_pointer_plus (addr_base_b, unit_size); + } part_cond_expr = fold_build2 (TRUTH_OR_EXPR, boolean_type_node, |