Memory aliasing

Memory aliasing

[Michael P. Hayes]

I've noticed that memrefs_conflict_p considers the following operands
to reference conflicting memory:

(mem:QI (plus:QI (reg:QI 8 ar0) (const_int 1)))

(mem:QI (reg:QI 8 ar0))

I wonder if canon_rtx should convert the second operand to

(mem:QI (plus:QI (reg:QI 8 ar0) (const_int 0))) ?

Re: Memory aliasing

[Jeffrey A Law]

  In message < 199710150031.NAA18141@ongaonga.chch.cri.nz >you write:
  > 
  > I've noticed that memrefs_conflict_p considers the following operands
  > to reference conflicting memory:
  > 
  > (mem:QI (plus:QI (reg:QI 8 ar0) (const_int 1)))
  > 
  > (mem:QI (reg:QI 8 ar0))
Does the particular call where they're considered conflicting come
from a call chain which includes true_dependence?  It appears that
true_dependence is passing in the wrong first argument when it
calls memrefs_conflict_p.

jeff

Re: Memory aliasing

[Rajkishore Barik]

Hi,
Thanks for your input. I am facing a bit of problem interfacing the 
modules 
of the alias.c file. Can someone please help?
I have a simple program which initializes an array and then computes the 
sum of the array elements.
Two consecutive accesses [for summation] in the rtl look like this:
p64= p64 + [(((p60*4)+frame)+-128)]:SI   ; sum +=a[i] after loop unrolling
p64=p64+[(((p60*4)+frame)+-124)]:SI      ; sum+=a[i] after loop unrolling
As you can see both memory references refer to two different locations in 
the stack, when I
call the function 
memrefs_conflict_p(4,  [(((p60*4) + frame) + -128)]:SI, 4, [(((p60*4) + 
frame) + -124)]:SI, 0)
I get a result of 1 which should not be the case. I do convert the rtxes 
into
canonical form. 

Can someone please help?
One more thing, why are not the functions defined in "alias.c" available 
through "alias.h"?

regards,
Raj




Richard Henderson <rth@redhat.com> 
10/11/2004 11:11 PM

To
Rajkishore Barik/India/IBM@IBMIN
cc

Subject
Re: Memory aliasing






On Sat, Oct 09, 2004 at 06:59:47PM +0530, Rajkishore Barik wrote:
> Does  there exist an interface and implementation to find out if two 
> rtl expressions [memory] alias with each other/access the same 
> memory location? 

alias.c.


r~

Memory aliasing

[Rajkishore Barik]

Hi,
Does  there exist an interface and implementation to find out if two 
rtl expressions [memory] alias with each other/access the same 
memory location? 
Thanks for your help,
regards,
Raj