On Thu, 9 Jul 2015, Richard Biener wrote:

> 
> The following fixes a stupid bug with -ftree-loop-if-convert-stores.
> We were treating all but the same base as candidate to determine
> whether a ref was accessed unconditionally ...
> 
> Bootstrap & regtest running on x86_64-unknown-linux-gnu.

Applied as follows, with gcc.dg/vect/pr61194.c adjusted which
now FAILs because in

  int i;
  for (i=0; i<1024; ++i)
    z[i] = ((x[i]>0) & (w[i]<0)) ? z[i] : y[i];

while z[i] is correctly identified as not trapping because
it is written to unconditionally, y[i] is not (but was
previously as any of the unconditional accesses to
x[i], w[i] or z[i] counted as that).

Applied to trunk.

2015-07-10  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/66823
        * tree-if-conv.c (memrefs_read_or_written_unconditionally): Fix
        inverted predicate.

        * gcc.dg/vect/pr61194.c: Remove -ftree-loop-if-convert-stores
        which should not be necessary.  XFAIL.

Index: gcc/tree-if-conv.c
===================================================================
--- gcc/tree-if-conv.c  (revision 225610)
+++ gcc/tree-if-conv.c  (working copy)
@@ -642,7 +642,7 @@ memrefs_read_or_written_unconditionally
                    || TREE_CODE (ref_base_b) == REALPART_EXPR)
               ref_base_b = TREE_OPERAND (ref_base_b, 0);
 
-           if (!operand_equal_p (ref_base_a, ref_base_b, 0))
+           if (operand_equal_p (ref_base_a, ref_base_b, 0))
              {
                tree cb = bb_predicate (gimple_bb (DR_STMT (b)));
 
Index: gcc/testsuite/gcc.dg/vect/pr61194.c
===================================================================
--- gcc/testsuite/gcc.dg/vect/pr61194.c (revision 225610)
+++ gcc/testsuite/gcc.dg/vect/pr61194.c (working copy)
@@ -1,5 +1,4 @@
 /* { dg-require-effective-target vect_cond_mixed } */
-/* { dg-additional-options "-ftree-loop-if-convert-stores" } */
 
 #include "tree-vect.h"
 
@@ -39,4 +38,4 @@ int main()
   return 0;
 }
 
-/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
+/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { xfail 
*-*-* } } } */

Reply via email to