This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.

From: Jeffrey A Law <law at redhat dot com>
To: Kazu Hirata <kazu at cs dot umass dot edu>
Cc: gcc-patches at gcc dot gnu dot org, nathan at codesourcery dot com
Date: Wed, 27 Apr 2005 10:27:07 -0600
Subject: Re: [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.
Organization: Red Hat, Inc
References: <20050427.093812.78159407.kazu@cs.umass.edu> <1114609621.370.1.camel@localhost.localdomain> <20050427.121951.85389895.kazu@cs.umass.edu>
Reply-to: law at redhat dot com

On Wed, 2005-04-27 at 12:19 -0400, Kazu Hirata wrote:

> > I haven't looked, but I would utterly amazed if the simplistic stuff
> > done by tree-ssa-dom.c isn't totally subsumed by the new VRP pass.
> 
> Well, we can probably feed DOM similar information using
> SSA_NAME_VALUE_RANGE.
Actually, I doubt we would even need to do that.

All DOM's VRP code does is record simple ranges and use them to either
eliminate conditionals or simplify conditionals.  I would expect the
VRP code to already perform these transformations.  ie, I don't see
any reason why we should keep the DOM VRP code (of course we'd need
to verify that it's become useless, but I'm pretty sure it has).

jeff

Follow-Ups:
- Re: [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.
  - From: Kazu Hirata

References:
- [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.
  - From: Kazu Hirata
- Re: [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.
  - From: Jeffrey A Law
- Re: [patch] tree-ssa-dom.c: Use VEC(vrp_element_p,heap) instead ofVARRAY.
  - From: Kazu Hirata

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]