diff options
| author | Richard Biener <rguenther@suse.de> | 2021-05-19 10:20:37 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2021-05-19 14:53:50 +0200 |
| commit | 2e6ad1ba532fe684633edac766c598be19ad3b59 (patch) | |
| tree | 5bd49ea00c2490aa6e960bbaa72cb1afa54cec1b /gcc/tree-dfa.c | |
| parent | 1467100fc72562a59f70cdd4e05f6c810d1fadcc (diff) | |
| download | gcc-2e6ad1ba532fe684633edac766c598be19ad3b59.zip gcc-2e6ad1ba532fe684633edac766c598be19ad3b59.tar.gz gcc-2e6ad1ba532fe684633edac766c598be19ad3b59.tar.bz2 | |
Enable more WITH_SIZE_EXPR processing
This enables the alias machinery for WITH_SIZE_EXPR which can appear
in call LHS and arguments. In particular this drops the NULL
return from get_base_address and it adjusts get_ref_base_and_extent
and friends to use the size information in WITH_SIZE_EXPR and
look through it for further processing.
2021-05-19 Richard Biener <rguenther@suse.de>
* builtins.c (get_object_alignment_1): Strip outer
WITH_SIZE_EXPR.
* tree-dfa.c (get_ref_base_and_extent): Handle outer
WITH_SIZE_EXPR for size processing and process the
containing ref.
* tree-ssa-alias.c (ao_ref_base_alias_set): Strip
outer WITH_SIZE_EXPR.
(ao_ref_base_alias_ptr_type): Likewise.
(refs_may_alias_p_2): Allow WITH_SIZE_EXPR in ref->ref
and handle that accordingly, stripping it for the
core alias workers.
* tree.c (get_base_address): Handle WITH_SIZE_EXPR by
looking through it instead of returning NULL.
Diffstat (limited to 'gcc/tree-dfa.c')
| -rw-r--r-- | gcc/tree-dfa.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/tree-dfa.c b/gcc/tree-dfa.c index 0482b05..c6c3bd6 100644 --- a/gcc/tree-dfa.c +++ b/gcc/tree-dfa.c @@ -394,6 +394,11 @@ get_ref_base_and_extent (tree exp, poly_int64_pod *poffset, size_tree = DECL_SIZE (TREE_OPERAND (exp, 1)); else if (TREE_CODE (exp) == BIT_FIELD_REF) size_tree = TREE_OPERAND (exp, 1); + else if (TREE_CODE (exp) == WITH_SIZE_EXPR) + { + size_tree = TREE_OPERAND (exp, 1); + exp = TREE_OPERAND (exp, 0); + } else if (!VOID_TYPE_P (TREE_TYPE (exp))) { machine_mode mode = TYPE_MODE (TREE_TYPE (exp)); |