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
