From: Richard Biener Date: Thu, 12 May 2016 07:29:33 +0000 (+0000) Subject: re PR tree-optimization/71060 (Compiler reports "loop vectorized" but actually it... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eb09cdcb1a8b55b9c9257119053b0f6f7b24edd9;p=gcc.git re PR tree-optimization/71060 (Compiler reports "loop vectorized" but actually it was not) 2016-05-12 Richard Biener PR tree-optimization/71060 * tree-data-ref.c (initialize_data_dependence_relation): Do not require exact match of DR_BASE_OBJECT but only matching address and type. From-SVN: r236159 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index da2a10c0356..6b3ca4b4782 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2016-05-12 Richard Biener + + PR tree-optimization/71060 + * tree-data-ref.c (initialize_data_dependence_relation): Do not + require exact match of DR_BASE_OBJECT but only matching address and + type. + 2016-05-12 Richard Biener PR tree-optimization/70986 diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index d6d9ffcaa34..ed28ca1d6e5 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -1538,8 +1538,13 @@ initialize_data_dependence_relation (struct data_reference *a, } /* If the references do not access the same object, we do not know - whether they alias or not. */ - if (!operand_equal_p (DR_BASE_OBJECT (a), DR_BASE_OBJECT (b), 0)) + whether they alias or not. We do not care about TBAA or alignment + info so we can use OEP_ADDRESS_OF to avoid false negatives. + But the accesses have to use compatible types as otherwise the + built indices would not match. */ + if (!operand_equal_p (DR_BASE_OBJECT (a), DR_BASE_OBJECT (b), OEP_ADDRESS_OF) + || !types_compatible_p (TREE_TYPE (DR_BASE_OBJECT (a)), + TREE_TYPE (DR_BASE_OBJECT (b)))) { DDR_ARE_DEPENDENT (res) = chrec_dont_know; return res;