diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-05-20 10:03:27 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-05-20 10:03:27 +0000 |
| commit | 4628e602be976452202939f0920ecfaee65beec0 (patch) | |
| tree | 219b4745e3d4bd267487f2ab7694a7b7d012f750 /gcc | |
| parent | 3b23a6d3910d7b3cffaea9d66ade2e1c1e4f4dbf (diff) | |
| download | gcc-4628e602be976452202939f0920ecfaee65beec0.zip gcc-4628e602be976452202939f0920ecfaee65beec0.tar.gz gcc-4628e602be976452202939f0920ecfaee65beec0.tar.bz2 | |
tree-vn.c (vn_lookup_with_vuses): Do not use the alias oracle.
2008-05-20 Richard Guenther <rguenther@suse.de>
* tree-vn.c (vn_lookup_with_vuses): Do not use the alias oracle.
* gcc.c-torture/execute/20080519-1.c: New testcase.
From-SVN: r135605
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20080519-1.c | 58 | ||||
| -rw-r--r-- | gcc/tree-vn.c | 4 |
4 files changed, 69 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8d52eb2..fc28f21 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2008-05-20 Richard Guenther <rguenther@suse.de> + + * tree-vn.c (vn_lookup_with_vuses): Do not use the alias oracle. + 2008-05-20 Kai Tietz <kai.tietz@onevision.com> * config/i386/i386-protos.h (ix86_return_in_memory): Removed. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 22843a8..e0ac508 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-05-20 Richard Guenther <rguenther@suse.de> + + * gcc.c-torture/execute/20080519-1.c: New testcase. + 2008-05-19 Xinliang David Li <davidxl@google.com> * gcc.dg/cdce1.c: Remove test. diff --git a/gcc/testsuite/gcc.c-torture/execute/20080519-1.c b/gcc/testsuite/gcc.c-torture/execute/20080519-1.c new file mode 100644 index 0000000..303c4e6 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20080519-1.c @@ -0,0 +1,58 @@ +extern void abort (void); + +typedef unsigned long HARD_REG_SET[2]; +HARD_REG_SET reg_class_contents[2]; + +struct du_chain +{ + struct du_chain *next_use; + int cl; +}; + +void __attribute__((noinline)) +merge_overlapping_regs (HARD_REG_SET *p) +{ + if ((*p)[0] != -1 || (*p)[1] != -1) + abort (); +} + +void __attribute__((noinline)) +regrename_optimize (struct du_chain *this) +{ + HARD_REG_SET this_unavailable; + unsigned long *scan_fp_; + int n_uses; + struct du_chain *last; + + this_unavailable[0] = 0; + this_unavailable[1] = 0; + + n_uses = 0; + for (last = this; last->next_use; last = last->next_use) + { + scan_fp_ = reg_class_contents[last->cl]; + n_uses++; + this_unavailable[0] |= ~ scan_fp_[0]; + this_unavailable[1] |= ~ scan_fp_[1]; + } + if (n_uses < 1) + return; + + scan_fp_ = reg_class_contents[last->cl]; + this_unavailable[0] |= ~ scan_fp_[0]; + this_unavailable[1] |= ~ scan_fp_[1]; + + merge_overlapping_regs (&this_unavailable); +} + +int main() +{ + struct du_chain du1 = { 0, 0 }; + struct du_chain du0 = { &du1, 1 }; + reg_class_contents[0][0] = -1; + reg_class_contents[0][1] = -1; + reg_class_contents[1][0] = 0; + reg_class_contents[1][1] = 0; + regrename_optimize (&du0); + return 0; +} diff --git a/gcc/tree-vn.c b/gcc/tree-vn.c index 40efea6..1d2e5a5 100644 --- a/gcc/tree-vn.c +++ b/gcc/tree-vn.c @@ -306,7 +306,9 @@ vn_lookup_with_vuses (tree expr, VEC (tree, gc) *vuses) if (is_gimple_min_invariant (expr) || TREE_CODE (expr) == FIELD_DECL) return expr; - return vn_reference_lookup (expr, vuses, true); + /* We may not walk the use-def chains here as the alias oracle cannot + properly deal with VALUE_HANDLE tree nodes we feed it here. */ + return vn_reference_lookup (expr, vuses, false); } static tree |