Re: Derive more alias information from named address space

2011-09-19 Thread Ulrich Weigand
Bingfeng Mei wrote: Therefore, A B could only be disjoint, i.e., not aliased to each other. We should be able to write: if (MEM_ADDR_SPACE (mem) != MEM_ADDR_SPACE (x)) { if (!targetm.addr_space.subset_p (MEM_ADDR_SPACE (mem), MEM_ADDR_SPACE (x))

RE: Derive more alias information from named address space

2011-09-19 Thread Bingfeng Mei
Thanks. I will prepare a patch. Bingfeng -Original Message- From: Ulrich Weigand [mailto:uweig...@de.ibm.com] Sent: 19 September 2011 12:56 To: Bingfeng Mei Cc: gcc@gcc.gnu.org Subject: Re: Derive more alias information from named address space Bingfeng Mei wrote: Therefore

Derive more alias information from named address space

2011-09-16 Thread Bingfeng Mei
Hi, I am trying to implement named address space for our target. In alias.c, I found the following piece of code several times. /* If we have MEMs refering to different address spaces (which can potentially overlap), we cannot easily tell from the addresses whether the references