diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-03-14 17:45:20 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-03-14 17:45:20 +0000 |
| commit | 1c8d19bb9d7cfb2efcb7b524c7fcc72c02def4d5 (patch) | |
| tree | 6a21584555a95637041cdcc5a5ce839bf4a94df4 | |
| parent | 896c8b96c5cf36090b62e5f1ba8ce7e49a4a53e5 (diff) | |
| download | gcc-1c8d19bb9d7cfb2efcb7b524c7fcc72c02def4d5.zip gcc-1c8d19bb9d7cfb2efcb7b524c7fcc72c02def4d5.tar.gz gcc-1c8d19bb9d7cfb2efcb7b524c7fcc72c02def4d5.tar.bz2 | |
re PR tree-optimization/13761 ([tree-ssa] component refs to the same struct should not alias)
2008-03-14 Richard Guenther <rguenther@suse.de>
PR tree-optimization/13761
* gcc.dg/tree-ssa/ssa-lim-3.c: New testcase.
From-SVN: r133224
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c | 14 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f93230a..93b5b84 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2008-03-14 Richard Guenther <rguenther@suse.de> + PR tree-optimization/13761 + * gcc.dg/tree-ssa/ssa-lim-3.c: New testcase. + +2008-03-14 Richard Guenther <rguenther@suse.de> + PR tree-optimization/34172 * gcc.dg/tree-ssa/ssa-fre-11.c: New testcase. * gcc.dg/tree-ssa/ssa-fre-12.c: Likewise. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c new file mode 100644 index 0000000..bfd8692 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-lim-3.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fdump-tree-lim-details -fdump-tree-optimized" } */ + +struct { int x; int y; } global; +void foo(int n) +{ + int i; + for ( i=0; i<n; i++) + global.y += global.x*global.x; +} + +/* { dg-final { scan-tree-dump "Executing store motion of global.y" "lim" } } */ +/* { dg-final { scan-tree-dump "Moving statement.*global.x.*out of loop 1" "lim" } } */ +/* { dg-final { cleanup-tree-dump "lim" } } */ |