From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-154127-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 30502 invoked by alias); 19 May 2009 17:56:24 -0000
Received: (qmail 30492 invoked by uid 22791); 19 May 2009 17:56:23 -0000
X-SWARE-Spam-Status: No, hits=-1.8 required=5.0 	tests=AWL,BAYES_00,J_CHICKENPOX_15,SPF_FAIL
X-Spam-Check-By: sourceware.org
Received: from mx20.gnu.org (HELO mx20.gnu.org) (199.232.41.8)     by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Tue, 19 May 2009 17:56:18 +0000
Received: from mail.codesourcery.com ([65.74.133.4]) 	by mx20.gnu.org with esmtp (Exim 4.60) 	(envelope-from <mark@codesourcery.com>) 	id 1M6TY0-0005Kx-E2 	for gcc@gcc.gnu.org; Tue, 19 May 2009 13:56:16 -0400
Received: (qmail 18809 invoked from network); 19 May 2009 17:49:34 -0000
Received: from unknown (HELO ?192.168.0.2?) (mitchell@127.0.0.2)   by mail.codesourcery.com with ESMTPA; 19 May 2009 17:49:34 -0000
Message-ID: <4A12F125.6030309@codesourcery.com>
Date: Tue, 19 May 2009 19:10:00 -0000
From: Mark Mitchell <mark@codesourcery.com>
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
To: Richard Guenther <rguenther@suse.de>
CC: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org
Subject: Re: [PATCH][RFC] Adjust the middle-end memory model
References: <alpine.LNX.2.00.0905081221560.25789@zhemvz.fhfr.qr> <alpine.LNX.2.00.0905191620000.25789@zhemvz.fhfr.qr>
In-Reply-To: <alpine.LNX.2.00.0905191620000.25789@zhemvz.fhfr.qr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Detected-Operating-System: by mx20.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4)
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
X-SW-Source: 2009-05/txt/msg00494.txt.bz2

Richard Guenther wrote:

>>  - The tree alias oracle got similar functionality, refs_anti_dependent
>>    and refs_output_dependent and the tree level data dependence
>>    analysis code makes use of these.

Do we still use TBAA for the original motivating reason for adding it,
e.g.,:

  void f(float *f, int *n) {
    for (int i = 0; i < *n; ++i) {
      f[i] *= 2;
    }
  }

where here you want to know that "f[i]" does not modify "*n"?

(Yes, that code is kinda hokey, in that real-world code would probably
not pass n by-reference, but of course this happens with structures and
such...)

Thanks,

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713