re PR tree-optimization/32921 (Revision 126326 causes 12% slowdown)

2008-04-30  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/32921
	* tree-ssa-loop-im.c (mem_refs_may_alias_p): Disambiguate with TBAA.

From-SVN: r134838

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 28225695e1c6b186ab952fa1dd73d76c9623338d..ffd78f4e1f656bb93a23fbc8da092089dc00f325 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2008-04-30  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/32921
+       * tree-ssa-loop-im.c (mem_refs_may_alias_p): Disambiguate with TBAA.
+
 2008-04-30  Richard Sandiford  <rsandifo@nildram.co.uk>
 
        * config/arm/arm.c (arm_unwind_emit): Use

diff --git a/gcc/tree-ssa-loop-im.c b/gcc/tree-ssa-loop-im.c
index 6402a8e62443527c14e7909e93338929a017a1a4..c896abb8ba706d51086bcd28f571517d67928860 100644 (file)
--- a/gcc/tree-ssa-loop-im.c
+++ b/gcc/tree-ssa-loop-im.c
@@ -1640,6 +1640,8 @@ mem_refs_may_alias_p (tree mem1, tree mem2, struct pointer_map_t **ttae_cache)
          && SSA_VAR_P (mem1)
          && !AGGREGATE_TYPE_P (TREE_TYPE (mem1)))
        return false;
+      if (!alias_sets_conflict_p (get_alias_set (mem1), get_alias_set (mem2)))
+       return false;
     }
 
   /* The expansion of addresses may be a bit expensive, thus we only do