[Bug tree-optimization/23821] [4.0/4.1/4.2/4.3 Regression] DOM and VRP creating harder to optimize code

[pinskia at gmail dot com]

------- Comment #16 from pinskia at gmail dot com  2008-01-12 12:26 -------
Subject: Re:  [4.0/4.1/4.2/4.3 Regression] DOM and VRP creating harder to
optimize code

> ------- Comment #15 from rguenth at gcc dot gnu dot org  2008-01-12 10:49 -------
> I think symbolic substitutions should be only done if the resulting stmt can
> be simplified to a constant.  Now for VRP my long-term plan is to get rid of
> symbolic ranges altogether to make it cheaper and easier to keep value-range
> information across passes.

Actually I think it is wrong to get rid of symbolic ranges.  I have
filed a couple of bugs about adding more symbol ranges with respect of
VRP.

-- Pinski


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23821