On Wed, Aug 4, 2010 at 5:26 PM, Steven Bosscher <stevenb....@gmail.com> wrote: > On Wed, Aug 4, 2010 at 2:02 PM, Bingfeng Mei <b...@broadcom.com> wrote: >> Hi, >> alias_sets_conflict_p are still used in various places to determine >> whether two memory accesses are aliased. It is based on unique set >> number, which seems not correct with recent changes on alias >> oracle. For example, in ddg.c cross-iteration memory dependence >> is drawn by calling insn_alias_sets_conflict_p, which in turns calls >> alias_sets_conflict_p and gets the wrong answer. > > Just to clarify: When you say "wrong", do you mean "incorrect" or "too > conservative"?
Mostly the latter, though also the former if not doing classical transformations only (hoisting loads over stores or sinking stores over loads). Richard. > Ciao! > Steven >
