From a37aba10107504daad790b0595dd4ef73ad59a6f Mon Sep 17 00:00:00 2001 From: Li Jia He Date: Mon, 6 May 2019 13:17:20 +0000 Subject: [PATCH] This reverts commit r270894, as new testcase fails on arm and aarch64, I am sorry for this. From-SVN: r270910 --- gcc/ChangeLog | 5 ---- gcc/testsuite/ChangeLog | 6 ----- gcc/testsuite/gcc.dg/tree-ssa/pr37508.c | 6 ++--- gcc/testsuite/gcc.dg/tree-ssa/pr88676-2.c | 30 ----------------------- gcc/tree-ssa-phiopt.c | 2 +- 5 files changed, 4 insertions(+), 45 deletions(-) delete mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr88676-2.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3e9b69be2f0..76612375296 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -67,11 +67,6 @@ and macros. * config/i386/t-i386: Define dependencies for new files. -2019-05-06 Li Jia He - - * tree-ssa-phiopt.c (two_value_replacement): Fix a typo in parameter - detection. - 2019-05-03 Richard Earnshaw PR target/89400 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 37887397d74..ec1ec51b8a3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -21,12 +21,6 @@ systems. * gcc.dg/tsan/pr88017.c: Likewise. -2019-05-06 Li Jia He - - * gcc.dg/tree-ssa/pr37508.c: Add the no-ssa-phiopt option to skip phi - optimization. - * gcc.dg/tree-ssa/pr88676-2.c: New testcase. - 2019-05-05 Thomas Koenig PR fortran/90344 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c b/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c index a6def045de4..2ba09afe481 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr37508.c @@ -1,5 +1,5 @@ /* { dg-do compile } */ -/* { dg-options "-O2 -fno-ssa-phiopt -fno-tree-fre -fdump-tree-vrp1" } */ +/* { dg-options "-O2 -fno-tree-fre -fdump-tree-vrp1" } */ struct foo1 { int i:1; @@ -22,7 +22,7 @@ int test2 (struct foo2 *x) { if (x->i == 0) return 1; - else if (x->i == -1) /* This test is already optimized by ccp1 or phiopt1. */ + else if (x->i == -1) /* This test is already folded to false by ccp1. */ return 1; return 0; } @@ -31,7 +31,7 @@ int test3 (struct foo1 *x) { if (x->i == 0) return 1; - else if (x->i == 1) /* This test is already optimized by ccp1 or phiopt1. */ + else if (x->i == 1) /* This test is already folded to false by fold. */ return 1; return 0; } diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr88676-2.c b/gcc/testsuite/gcc.dg/tree-ssa/pr88676-2.c deleted file mode 100644 index a549a1ef13d..00000000000 --- a/gcc/testsuite/gcc.dg/tree-ssa/pr88676-2.c +++ /dev/null @@ -1,30 +0,0 @@ -/* PR tree-optimization/88676 */ -/* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-phiopt1" } */ -/* { dg-final { scan-tree-dump-not " = PHI <" "optimized" } } */ - -struct foo1 { - int i:1; -}; -struct foo2 { - unsigned i:1; -}; - -int test1 (struct foo1 *x) -{ - if (x->i == 0) - return 1; - else if (x->i == 1) - return 1; - return 0; -} - -int test2 (struct foo2 *x) -{ - if (x->i == 0) - return 1; - else if (x->i == -1) - return 1; - return 0; -} - diff --git a/gcc/tree-ssa-phiopt.c b/gcc/tree-ssa-phiopt.c index 90674a2f3c4..219791ea4ba 100644 --- a/gcc/tree-ssa-phiopt.c +++ b/gcc/tree-ssa-phiopt.c @@ -602,7 +602,7 @@ two_value_replacement (basic_block cond_bb, basic_block middle_bb, || TREE_CODE (arg1) != INTEGER_CST || (tree_int_cst_lt (arg0, arg1) ? wi::to_widest (arg0) + 1 != wi::to_widest (arg1) - : wi::to_widest (arg1) + 1 != wi::to_widest (arg0))) + : wi::to_widest (arg1) + 1 != wi::to_widest (arg1))) return false; if (!empty_block_p (middle_bb)) -- 2.30.2