diff options
Diffstat (limited to 'gcc/tree-sra.c')
| -rw-r--r-- | gcc/tree-sra.c | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index b560648..4580ad2 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -3891,12 +3891,13 @@ unmodified_by_ref_scalar_representative (tree parm) return repr; } -/* Return true iff this access precludes IPA-SRA of the parameter it is - associated with. */ +/* Return true iff this ACCESS precludes IPA-SRA of the parameter it is + associated with. REQ_ALIGN is the minimum required alignment. */ static bool -access_precludes_ipa_sra_p (struct access *access) +access_precludes_ipa_sra_p (struct access *access, unsigned int req_align) { + unsigned int exp_align; /* Avoid issues such as the second simple testcase in PR 42025. The problem is incompatible assign in a call statement (and possibly even in asm statements). This can be relaxed by using a new temporary but only for @@ -3908,6 +3909,10 @@ access_precludes_ipa_sra_p (struct access *access) || gimple_code (access->stmt) == GIMPLE_ASM)) return true; + exp_align = get_object_alignment (access->expr); + if (exp_align < req_align) + return true; + return false; } @@ -3943,7 +3948,7 @@ splice_param_accesses (tree parm, bool *ro_grp) tree a1_alias_type; access = (*access_vec)[i]; modification = access->write; - if (access_precludes_ipa_sra_p (access)) + if (access_precludes_ipa_sra_p (access, TYPE_ALIGN (access->type))) return NULL; a1_alias_type = reference_alias_ptr_type (access->expr); @@ -3966,7 +3971,7 @@ splice_param_accesses (tree parm, bool *ro_grp) else if (ac2->size != access->size) return NULL; - if (access_precludes_ipa_sra_p (ac2) + if (access_precludes_ipa_sra_p (ac2, TYPE_ALIGN (access->type)) || (ac2->type != access->type && (TREE_ADDRESSABLE (ac2->type) || TREE_ADDRESSABLE (access->type))) |