This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Derive more alias information from named address space
- From: "Ulrich Weigand" <uweigand at de dot ibm dot com>
- To: bmei at broadcom dot com (Bingfeng Mei)
- Cc: gcc at gcc dot gnu dot org (gcc at gcc dot gnu dot org)
- Date: Mon, 19 Sep 2011 13:55:39 +0200 (CEST)
- 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.Weigand@de.ibm.com