diff options
| author | Zdenek Dvorak <dvorakz@suse.cz> | 2005-04-27 16:28:11 +0200 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2005-04-27 14:28:11 +0000 |
| commit | e3cc72542ba605f704f9590ef6d5b91bd9b66233 (patch) | |
| tree | 7b5703669accc8a1d8d9b4c22799fb59b1af5cfe | |
| parent | c4336539b95d8ec3ff5b25d72eee0c4f47c4edd7 (diff) | |
| download | gcc-e3cc72542ba605f704f9590ef6d5b91bd9b66233.zip gcc-e3cc72542ba605f704f9590ef6d5b91bd9b66233.tar.gz gcc-e3cc72542ba605f704f9590ef6d5b91bd9b66233.tar.bz2 | |
re PR tree-optimization/21171 (IV OPTS removes does not create a new VOPs for constant values)
PR tree-optimization/21171
* tree-ssa-loop-ivopts.c (find_interesting_uses_address): Do not
record address uses if the reference is volatile.
* gcc.dg/tree-ssa/pr21171.c: New test.
From-SVN: r98828
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr21171.c | 29 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-ivopts.c | 5 |
4 files changed, 45 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5a99ffa..2a545fd 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2005-04-27 Zdenek Dvorak <dvorakz@suse.cz> + + PR tree-optimization/21171 + * tree-ssa-loop-ivopts.c (find_interesting_uses_address): Do not + record address uses if the reference is volatile. + 2004-04-27 Paolo Bonzini <bonzini@gnu.org> * tree-complex.c (expand_vector_operation): New, extracted from diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0f69c32..78ac81a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-04-27 Zdenek Dvorak <dvorakz@suse.cz> + + PR tree-optimization/21171 + * gcc.dg/tree-ssa/pr21171.c: New test. + 2004-04-27 Paolo Bonzini <bonzini@gnu.org> * gcc.dg/tree-ssa/gen-vect-11.c, gcc.dg/tree-ssa/gen-vect-11a.c, diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr21171.c b/gcc/testsuite/gcc.dg/tree-ssa/pr21171.c new file mode 100644 index 0000000..a655ed6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr21171.c @@ -0,0 +1,29 @@ +/* PR 21171. Ivopts should not rewrite references to volatile memory. */ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-tree-vars" } */ + +typedef unsigned int u_int32_t; +typedef unsigned char u_int8_t; + +#define AIC_VECTORS 32 + +typedef volatile struct AT91RM9200_regs { + u_int32_t SVR[AIC_VECTORS]; +} AT91RM9200_regs_t; + +#define CPUReg ((AT91RM9200_regs_t*)0xFFF00000) + +extern const u_int32_t __IntTable[AIC_VECTORS]; + +int main() +{ + int c; + + for (c = 0; c < AIC_VECTORS; c++) + CPUReg->SVR[c] = __IntTable[c]; + + return 0; +} + +/* { dg-final { scan-tree-dump-times "SVR" 1 "vars"} } */ +/* { dg-final { cleanup-tree-dump "vars" } } */ diff --git a/gcc/tree-ssa-loop-ivopts.c b/gcc/tree-ssa-loop-ivopts.c index a62c1cd..f23e8d6 100644 --- a/gcc/tree-ssa-loop-ivopts.c +++ b/gcc/tree-ssa-loop-ivopts.c @@ -1518,6 +1518,11 @@ find_interesting_uses_address (struct ivopts_data *data, tree stmt, tree *op_p) struct iv *civ; struct ifs_ivopts_data ifs_ivopts_data; + /* Do not play with volatile memory references. A bit too conservative, + perhaps, but safe. */ + if (stmt_ann (stmt)->has_volatile_ops) + goto fail; + /* Ignore bitfields for now. Not really something terribly complicated to handle. TODO. */ if (TREE_CODE (base) == COMPONENT_REF |