diff options
| author | Richard Biener <rguenther@suse.de> | 2015-03-05 08:43:13 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-03-05 08:43:13 +0000 |
| commit | 58ed456cb63fd2c47ef6f792e366184a19de7ad4 (patch) | |
| tree | ad667ca422096dfb4edaba7918f77ac8678165b2 | |
| parent | b3406fa08329fc0510fdb83a6b200040fc30bc7d (diff) | |
| download | gcc-58ed456cb63fd2c47ef6f792e366184a19de7ad4.zip gcc-58ed456cb63fd2c47ef6f792e366184a19de7ad4.tar.gz gcc-58ed456cb63fd2c47ef6f792e366184a19de7ad4.tar.bz2 | |
re PR ipa/65270 (issues with merging memory accesses from different code paths)
2015-03-05 Richard Biener <rguenther@suse.de>
PR ipa/65270
* ipa-icf-gimple.c (func_checker::compare_memory_operand):
Compare dependence info.
From-SVN: r221204
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ipa-icf-gimple.c | 17 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 93b8868..a50a378 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2015-03-05 Richard Biener <rguenther@suse.de> + PR ipa/65270 + * ipa-icf-gimple.c (func_checker::compare_memory_operand): + Compare dependence info. + +2015-03-05 Richard Biener <rguenther@suse.de> + PR middle-end/65233 * ipa-polymorphic-call.c: Include tree-ssa-operands.h and tree-into-ssa.h. diff --git a/gcc/ipa-icf-gimple.c b/gcc/ipa-icf-gimple.c index ffb4a50..4f1a8ce 100644 --- a/gcc/ipa-icf-gimple.c +++ b/gcc/ipa-icf-gimple.c @@ -305,6 +305,23 @@ func_checker::compare_memory_operand (tree t1, tree t2) get_object_alignment_1 (b2, &align2, &tem); if (align1 != align2) return return_false_with_msg ("different access alignment"); + + /* Similarly we have to compare dependence info where equality + tells us we are safe (even some unequal values would be safe + but then we have to maintain a map of bases and cliques). */ + unsigned short clique1 = 0, base1 = 0, clique2 = 0, base2 = 0; + if (TREE_CODE (b1) == MEM_REF) + { + clique1 = MR_DEPENDENCE_CLIQUE (b1); + base1 = MR_DEPENDENCE_BASE (b1); + } + if (TREE_CODE (b2) == MEM_REF) + { + clique2 = MR_DEPENDENCE_CLIQUE (b2); + base2 = MR_DEPENDENCE_BASE (b2); + } + if (clique1 != clique2 || base1 != base2) + return return_false_with_msg ("different dependence info"); } return compare_operand (t1, t2); |