diff options
| author | Richard Guenther <rguenther@suse.de> | 2006-03-07 16:23:38 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2006-03-07 16:23:38 +0000 |
| commit | 6f1be8e1f461e5e7595470be4c27c0de4f261d03 (patch) | |
| tree | 8aaa4a0f71961547de981e292cec51d6b54f37c8 /gcc | |
| parent | 6410fb814b1aa1d01aa99919769f9079b2773c4e (diff) | |
| download | gcc-6f1be8e1f461e5e7595470be4c27c0de4f261d03.zip gcc-6f1be8e1f461e5e7595470be4c27c0de4f261d03.tar.gz gcc-6f1be8e1f461e5e7595470be4c27c0de4f261d03.tar.bz2 | |
re PR tree-optimization/26587 (strict aliasing incorrectly pre-loads an array element with loops)
2006-03-07 Richard Guenther <rguenther@suse.de>
PR tree-optimization/26587
* tree-ssa-structalias.c (handle_ptr_arith): Handle MINUS_EXPR.
* gcc.dg/torture/pr26587.c: New testcase.
From-SVN: r111808
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr26587.c | 28 | ||||
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 6 |
4 files changed, 42 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 66eea01..ae089d4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2006-03-07 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/26587 + * tree-ssa-structalias.c (handle_ptr_arith): Handle MINUS_EXPR. + 2006-03-07 Richard Sandiford <richard@codesourcery.com> * varasm.c (assemble_variable): Fix setting of DECL_IN_TEXT_SECTION. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1080e48..b846a4b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-03-07 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/26587 + * gcc.dg/torture/pr26587.c: New testcase. + 2006-03-06 Paul Thomas <pault@gcc.gnu.org> Erik Edelmann <eedelman@gcc.gnu.org> diff --git a/gcc/testsuite/gcc.dg/torture/pr26587.c b/gcc/testsuite/gcc.dg/torture/pr26587.c new file mode 100644 index 0000000..fd3c690 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr26587.c @@ -0,0 +1,28 @@ +/* { dg-do run } */ + +extern void abort(void); +typedef unsigned int BF_word; +typedef BF_word BF_key[16 + 2]; +static struct { + BF_key P; +} BF_current; +int main(void) +{ + BF_word L; + BF_word tmp4, *ptr; + BF_word i; + for (i = 0; i < 16 + 2; i++) + BF_current.P[i] = i * 0x98765432; + L = 0; + ptr = BF_current.P; + do { + ptr += 2; + L ^= BF_current.P[0]; + tmp4 = L >> 24; + L = tmp4 ^ BF_current.P[16 + 1]; + *(ptr - 2) = L; + } while (ptr < &BF_current.P[16 + 2]); + if (L != 0x1fdb9752) + abort(); + return 0; +} diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index a9032a3..b5e0830 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -3182,7 +3182,8 @@ handle_ptr_arith (VEC (ce_s, heap) *lhsc, tree expr) VEC (ce_s, heap) *temp = NULL; unsigned int rhsoffset = 0; - if (TREE_CODE (expr) != PLUS_EXPR) + if (TREE_CODE (expr) != PLUS_EXPR + && TREE_CODE (expr) != MINUS_EXPR) return false; op0 = TREE_OPERAND (expr, 0); @@ -3190,7 +3191,8 @@ handle_ptr_arith (VEC (ce_s, heap) *lhsc, tree expr) get_constraint_for (op0, &temp); if (POINTER_TYPE_P (TREE_TYPE (op0)) - && TREE_CODE (op1) == INTEGER_CST) + && TREE_CODE (op1) == INTEGER_CST + && TREE_CODE (expr) == PLUS_EXPR) { rhsoffset = TREE_INT_CST_LOW (op1) * BITS_PER_UNIT; } |