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, 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)) > > && !targetm.addr_space.subset_p (MEM_ADDR_SPACE (x), > MEM_ADDR_SPACE (mem))) > > return 0; > > else > > return 1; > > } > > > > Is this correct? > > Yes, this looks correct to me ... > > Bye, > Ulrich > > -- > Dr. Ulrich Weigand > GNU Toolchain for Linux on System z and Cell BE > ulrich.weig...@de.ibm.com
