diff options
| author | Martin Jambor <mjambor@suse.cz> | 2012-11-30 17:11:33 +0100 |
|---|---|---|
| committer | Martin Jambor <jamborm@gcc.gnu.org> | 2012-11-30 17:11:33 +0100 |
| commit | c1ed6a0172fa629c31f23f99d76b3fa0109bb66b (patch) | |
| tree | 84ce44d7b1f68a3a6a1630d3502026119cf95162 /gcc/tree-sra.c | |
| parent | d7b30db8d85f828c2a2c146142c6b07e7b69ba18 (diff) | |
| download | gcc-c1ed6a0172fa629c31f23f99d76b3fa0109bb66b.zip gcc-c1ed6a0172fa629c31f23f99d76b3fa0109bb66b.tar.gz gcc-c1ed6a0172fa629c31f23f99d76b3fa0109bb66b.tar.bz2 | |
re PR middle-end/52890 (Revision 185336 causes 10% degradation on cpu2000 benchmark 252.eon)
2012-11-30 Martin Jambor <mjambor@suse.cz>
PR middle-end/52890
PR tree-optimization/55415
PR tree-optimization/54386
PR target/55448
* ipa-prop.c (ipa_modify_call_arguments): Be optimistic when
get_pointer_alignment_1 returns false and the base was not a
dereference.
* tree-sra.c (access_precludes_ipa_sra_p): New parameter req_align,
added check for required alignment. Update the user.
* testsuite/gcc.dg/ipa/ipa-sra-7.c: New test.
* testsuite/gcc.dg/ipa/ipa-sra-8.c: Likewise.
* testsuite/gcc.dg/ipa/ipa-sra-9.c: Likewise.
* testsuite/gcc.target/i386/pr55448.c: Likewise.
From-SVN: r193998
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))) |