From acc0a673001763578afb6999d7fa4a895d5765b0 Mon Sep 17 00:00:00 2001 From: rguenth Date: Wed, 30 Apr 2008 21:42:24 +0000 Subject: [PATCH] 2008-04-30 Richard Guenther PR tree-optimization/32921 * tree-ssa-loop-im.c (mem_refs_may_alias_p): Disambiguate with TBAA. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134838 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-loop-im.c | 2 ++ 2 files changed, 7 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 28225695e1c..ffd78f4e1f6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-04-30 Richard Guenther + + PR tree-optimization/32921 + * tree-ssa-loop-im.c (mem_refs_may_alias_p): Disambiguate with TBAA. + 2008-04-30 Richard Sandiford * 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 6402a8e6244..c896abb8ba7 100644 --- 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 -- 2.11.0