diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-24 11:04:04 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-09-24 11:04:04 +0000 |
| commit | bd93e4f84bf2fe3913990b1a3e706ee8a8529eda (patch) | |
| tree | 648deb8197d0c5862100744de7dc74e36afb91ec /gcc/alias.h | |
| parent | 355c7ba52ac601e7113bff1c28b70296565ff09b (diff) | |
| download | gcc-bd93e4f84bf2fe3913990b1a3e706ee8a8529eda.tar.gz | |
2013-09-24 Richard Biener <rguenther@suse.de>
PR middle-end/58513
* tree.c (reference_alias_ptr_type): Move ...
* alias.c (reference_alias_ptr_type): ... here and implement
in terms of the new reference_alias_ptr_type_1.
(ref_all_alias_ptr_type_p): New helper.
(get_deref_alias_set_1): Drop flag_strict_aliasing here,
use ref_all_alias_ptr_type_p.
(get_deref_alias_set): Add flag_strict_aliasing check here.
(reference_alias_ptr_type_1): New function, split out from ...
(get_alias_set): ... here.
(alias_ptr_types_compatible_p): New function.
* alias.h (reference_alias_ptr_type): Declare.
(alias_ptr_types_compatible_p): Likewise.
* tree.h (reference_alias_ptr_type): Remove.
* fold-const.c (operand_equal_p): Use alias_ptr_types_compatible_p
to compare MEM_REF alias types.
* g++.dg/vect/pr58513.cc: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@202865 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/alias.h')
| -rw-r--r-- | gcc/alias.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/alias.h b/gcc/alias.h index af739a8eef6..dd4b641ee8c 100644 --- a/gcc/alias.h +++ b/gcc/alias.h @@ -41,6 +41,8 @@ extern int alias_sets_conflict_p (alias_set_type, alias_set_type); extern int alias_sets_must_conflict_p (alias_set_type, alias_set_type); extern int objects_must_conflict_p (tree, tree); extern int nonoverlapping_memrefs_p (const_rtx, const_rtx, bool); +tree reference_alias_ptr_type (tree); +bool alias_ptr_types_compatible_p (tree, tree); /* This alias set can be used to force a memory to conflict with all other memories, creating a barrier across which no memory reference |