From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25039 invoked by alias); 19 Sep 2011 11:56:05 -0000 Received: (qmail 25026 invoked by uid 22791); 19 Sep 2011 11:56:04 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL,BAYES_00,MSGID_FROM_MTA_HEADER,RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mtagate7.uk.ibm.com (HELO mtagate7.uk.ibm.com) (194.196.100.167) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 19 Sep 2011 11:55:43 +0000 Received: from d06nrmr1806.portsmouth.uk.ibm.com (d06nrmr1806.portsmouth.uk.ibm.com [9.149.39.193]) by mtagate7.uk.ibm.com (8.13.1/8.13.1) with ESMTP id p8JBtfb0021928 for ; Mon, 19 Sep 2011 11:55:41 GMT Received: from d06av02.portsmouth.uk.ibm.com (d06av02.portsmouth.uk.ibm.com [9.149.37.228]) by d06nrmr1806.portsmouth.uk.ibm.com (8.13.8/8.13.8/NCO v10.0) with ESMTP id p8JBtfSN2658552 for ; Mon, 19 Sep 2011 12:55:41 +0100 Received: from d06av02.portsmouth.uk.ibm.com (loopback [127.0.0.1]) by d06av02.portsmouth.uk.ibm.com (8.14.4/8.13.1/NCO v10.0 AVout) with ESMTP id p8JBteu7002601 for ; Mon, 19 Sep 2011 05:55:41 -0600 Received: from tuxmaker.boeblingen.de.ibm.com (tuxmaker.boeblingen.de.ibm.com [9.152.85.9]) by d06av02.portsmouth.uk.ibm.com (8.14.4/8.13.1/NCO v10.0 AVin) with SMTP id p8JBtdw1002580; Mon, 19 Sep 2011 05:55:39 -0600 Message-Id: <201109191155.p8JBtdw1002580@d06av02.portsmouth.uk.ibm.com> Received: by tuxmaker.boeblingen.de.ibm.com (sSMTP sendmail emulation); Mon, 19 Sep 2011 13:55:39 +0200 Subject: Re: Derive more alias information from named address space To: bmei@broadcom.com (Bingfeng Mei) Date: Mon, 19 Sep 2011 11:56:00 -0000 From: "Ulrich Weigand" Cc: gcc@gcc.gnu.org (gcc@gcc.gnu.org) In-Reply-To: <7FB04A5C213E9943A72EE127DB74F0ADD15FCB0108@SJEXCHCCR02.corp.ad.broadcom.com> from "Bingfeng Mei" at Sep 16, 2011 09:11:00 AM MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2011-09/txt/msg00189.txt.bz2 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