From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28872 invoked by alias); 19 Jan 2004 17:57:48 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 28863 invoked from network); 19 Jan 2004 17:57:48 -0000 Received: from unknown (HELO mx1.redhat.com) (66.187.233.31) by sources.redhat.com with SMTP; 19 Jan 2004 17:57:48 -0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.11.6/8.11.6) with ESMTP id i0JHuil00738; Mon, 19 Jan 2004 12:56:44 -0500 Received: from pobox.toronto.redhat.com (pobox.toronto.redhat.com [172.16.14.4]) by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id i0JHuha06000; Mon, 19 Jan 2004 12:56:43 -0500 Received: from dnovillo.cipe.redhat.com (dnovillo.cipe.redhat.com [10.0.0.106]) by pobox.toronto.redhat.com (8.12.8/8.12.8) with ESMTP id i0JHufXd029317; Mon, 19 Jan 2004 12:56:41 -0500 Subject: Re: [RFC] Contributing tree-ssa to mainline From: Diego Novillo To: Jeff Law Cc: Robert Dewar , Jan Hubicka , Richard Kenner , "gcc@gcc.gnu.org" In-Reply-To: <200401191746.i0JHk5o3019421@speedy.slc.redhat.com> References: <200401191746.i0JHk5o3019421@speedy.slc.redhat.com> Content-Type: text/plain Organization: Red Hat Canada Message-Id: <1074534979.25137.109.camel@frodo.toronto.redhat.com> Mime-Version: 1.0 Date: Mon, 19 Jan 2004 17:57:00 -0000 Content-Transfer-Encoding: 7bit X-SW-Source: 2004-01/txt/msg01317.txt.bz2 On Mon, 2004-01-19 at 12:46, law@redhat.com wrote: > FWIW, the plan is to use the CCP engine for global value range propagation > (and other stuff like global null pointer check elimination). The biggest > blocker is simply time to generalize the existing CCP code so that it can > do something other than propagate simple constants. Using a CCP engine > for these optimizations is well understood technology. > It's next in my TODO list, so it will certainly be available RSN. Diego.