diff options
| author | Andrew Pinski <pinskia@physics.uc.edu> | 2006-03-20 21:00:18 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2006-03-20 13:00:18 -0800 |
| commit | e13f1c1432140a43edd23a50c3916fa41fadd610 (patch) | |
| tree | 62891f428e807856aeb41bc768c8ca8e04b03e7f /gcc/testsuite/gcc.dg/tree-ssa/loadpre19.c | |
| parent | 7a22dbec36019060c01d68ea8703e2a11d4d2247 (diff) | |
| download | gcc-e13f1c1432140a43edd23a50c3916fa41fadd610.zip gcc-e13f1c1432140a43edd23a50c3916fa41fadd610.tar.gz gcc-e13f1c1432140a43edd23a50c3916fa41fadd610.tar.bz2 | |
re PR tree-optimization/26629 (tree load PRE does not work on array references)
2006-03-20 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/26629
* tree-ssa-pre (phi_translate): Handle ARRAY_REF's operands.
(valid_in_set): Handle ARRAY_REF.
Change "if min_variant or VH" to asserts.
(create_component_ref_by_pieces): Handle ARRAY_REF.
(create_expression_by_pieces): Likewise.
(can_PRE_operation): ARRAY_REFs can now be PRE'd.
2006-03-20 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/26629
* gcc.dg/tree-ssa/loadpre12.c: New test.
* gcc.dg/tree-ssa/loadpre13.c: New test.
* gcc.dg/tree-ssa/loadpre14.c: New test.
* gcc.dg/tree-ssa/loadpre15.c: New test.
* gcc.dg/tree-ssa/loadpre16.c: New test.
* gcc.dg/tree-ssa/loadpre17.c: New test.
* gcc.dg/tree-ssa/loadpre18.c: New test.
* gcc.dg/tree-ssa/loadpre19.c: New test.
* gcc.dg/tree-ssa/loadpre20.c: New test.
* gcc.dg/tree-ssa/loadpre21.c: New test.
* gcc.dg/tree-ssa/loadpre22.c: New test.
From-SVN: r112227
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/loadpre19.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/loadpre19.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/loadpre19.c b/gcc/testsuite/gcc.dg/tree-ssa/loadpre19.c new file mode 100644 index 0000000..62ded9a --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/loadpre19.c @@ -0,0 +1,16 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-pre-stats" } */ +typedef int type[2]; +int main(type *a, int argc) +{ + int d, e; + + /* Should be able to eliminate the second load of *a along the main path. */ + d = (*a)[argc]; + if (!d) + argc++; + e = (*a)[argc]; + return e; +} +/* { dg-final { scan-tree-dump-times "Eliminated: 1" 1 "pre" } } */ +/* { dg-final { cleanup-tree-dump "pre" } } */ |