diff options
| author | Bill Schmidt <wschmidt@linux.vnet.ibm.com> | 2013-03-20 13:24:12 +0000 |
|---|---|---|
| committer | William Schmidt <wschmidt@gcc.gnu.org> | 2013-03-20 13:24:12 +0000 |
| commit | cca1130d11997d40bd37603fab5953ccf8061331 (patch) | |
| tree | 8d09c10eb8fe0b0c3a6649a5f43982ffed087631 /gcc | |
| parent | 818d4efaa751bfe0f2a69edfb3eeb5a3a0877b63 (diff) | |
| download | gcc-cca1130d11997d40bd37603fab5953ccf8061331.zip gcc-cca1130d11997d40bd37603fab5953ccf8061331.tar.gz gcc-cca1130d11997d40bd37603fab5953ccf8061331.tar.bz2 | |
re PR rtl-optimization/56605 (Redundant branch introduced during loop2 phases)
gcc:
2013-03-13 Bill Schmidt <wschmidt@linux.vnet.ibm.com>
Steven Bosscher <steven@gcc.gnu.org>
PR rtl-optimization/56605
* loop-iv.c (implies_p): Handle equal RTXs and subregs.
gcc/testsuite:
2013-03-13 Bill Schmidt wschmidt@linux.vnet.ibm.com>
PR rtl-optimization/56605
* gcc.target/powerpc/pr56605.c: New.
Co-Authored-By: Steven Bosscher <steven@gcc.gnu.org>
From-SVN: r196823
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/loop-iv.c | 11 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.target/powerpc/pr56605.c | 13 |
4 files changed, 33 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ceb5f28..9579b6a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2013-03-20 Bill Schmidt <wschmidt@linux.vnet.ibm.com> + Steven Bosscher <steven@gcc.gnu.org> + + PR rtl-optimization/56605 + * loop-iv.c (implies_p): Handle equal RTXs and subregs. + 2013-03-20 Uros Bizjak <ubizjak@gmail.com> PR bootstrap/56656 diff --git a/gcc/loop-iv.c b/gcc/loop-iv.c index 15f1661..0847307 100644 --- a/gcc/loop-iv.c +++ b/gcc/loop-iv.c @@ -1496,19 +1496,26 @@ implies_p (rtx a, rtx b) rtx op0, op1, opb0, opb1, r; enum machine_mode mode; + if (rtx_equal_p (a, b)) + return true; + if (GET_CODE (a) == EQ) { op0 = XEXP (a, 0); op1 = XEXP (a, 1); - if (REG_P (op0)) + if (REG_P (op0) + || (GET_CODE (op0) == SUBREG + && REG_P (SUBREG_REG (op0)))) { r = simplify_replace_rtx (b, op0, op1); if (r == const_true_rtx) return true; } - if (REG_P (op1)) + if (REG_P (op1) + || (GET_CODE (op1) == SUBREG + && REG_P (SUBREG_REG (op1)))) { r = simplify_replace_rtx (b, op1, op0); if (r == const_true_rtx) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4a9bc89..29d5d60 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2013-03-20 Bill Schmidt <wschmidt@linux.vnet.ibm.com> + + PR rtl-optimization/56605 + * gcc.target/powerpc/pr56605.c: New. + 2013-03-20 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> PR fortran/54932 diff --git a/gcc/testsuite/gcc.target/powerpc/pr56605.c b/gcc/testsuite/gcc.target/powerpc/pr56605.c new file mode 100644 index 0000000..7e5af44 --- /dev/null +++ b/gcc/testsuite/gcc.target/powerpc/pr56605.c @@ -0,0 +1,13 @@ +/* PR rtl-optimization/56605 */ +/* { dg-do compile { target { powerpc64-*-* && lp64 } } } */ +/* { dg-options "-O3 -mvsx -mcpu=power7 -fno-unroll-loops -fdump-rtl-loop2_doloop" } */ + +void foo (short* __restrict sb, int* __restrict ia) +{ + int i; + for (i = 0; i < 4000; i++) + ia[i] = (int) sb[i]; +} + +/* { dg-final { scan-rtl-dump-times "\\\(compare:CC \\\(subreg:SI \\\(reg:DI" 1 "loop2_doloop" } } */ +/* { dg-final { cleanup-rtl-dump "loop2_doloop" } } */ |