This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Shouldn't alias_sets_conflict_p be replaced with rtx_refs_may_alias_p?


On Wed, Aug 4, 2010 at 5:26 PM, Steven Bosscher <stevenb.gcc@gmail.com> wrote:
> On Wed, Aug 4, 2010 at 2:02 PM, Bingfeng Mei <bmei@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
>


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]