diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-09 08:05:43 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-04-09 08:05:43 +0000 |
| commit | 87c5de3bcdc3fe3963bf57af231808fb7786db28 (patch) | |
| tree | a08a54da6efd905c9042e644d8017899d9d9c0f1 /gcc/testsuite | |
| parent | 50ec89c7b745311b6c1706e2c6a3076c7bc228b2 (diff) | |
| download | gcc-87c5de3bcdc3fe3963bf57af231808fb7786db28.tar.gz | |
2009-04-09 Richard Guenther <rguenther@suse.de>
* tree-ssa-ccp.c (maybe_fold_stmt_addition): Move non-constant
indices into an array reference if possible.
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Fold POINTER_PLUS_EXPR statements with invariant address.
* gcc.dg/tree-ssa/ssa-ccp-25.c: New testcase.
* gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@145799 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-25.c | 14 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-26.c | 11 |
3 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 27343277a47..e56170e1cd0 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-04-09 Richard Guenther <rguenther@suse.de> + + * gcc.dg/tree-ssa/ssa-ccp-25.c: New testcase. + * gcc.dg/tree-ssa/ssa-ccp-26.c: Likewise. + 2009-04-09 Joseph Myers <joseph@codesourcery.com> PR c/39613 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-25.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-25.c new file mode 100644 index 00000000000..c6e76a2a3fd --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-25.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-ccp1 -fdump-tree-forwprop1" } */ + +int a[256]; +int foo(int i) +{ + int *p = &a[0]; + return *(p + i); +} + +/* { dg-final { scan-tree-dump "&a\\\[D\\\." "ccp1" } } */ +/* { dg-final { scan-tree-dump "= a\\\[D\\\." "forwprop1" } } */ +/* { dg-final { cleanup-tree-dump "ccp1" } } */ +/* { dg-final { cleanup-tree-dump "forwprop1" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-26.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-26.c new file mode 100644 index 00000000000..542c4293960 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-26.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-forwprop1" } */ + +int a[256]; +int foo(int i) +{ + return (a + 1)[i]; +} + +/* { dg-final { scan-tree-dump "= a\\\[D\\\." "forwprop1" } } */ +/* { dg-final { cleanup-tree-dump "forwprop1" } } */ |