This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] More TRUNC_MOD_EXPR folding
On Sat, 2005-06-18 at 15:51 -0400, James A. Morrison wrote:
> Jeffrey A Law <law@redhat.com> writes:
>
> > The transformations in VRP use range data that is not currently
> > available to the folder.
> >
> > The stuff that was added to the folder is a trivial case that really,
> > really, really is better handled by the VRP stuff I recently checked
> > in.
> >
> > jeff
>
> So far all the transformations in simplify_using_ranges could be replaced if
> VRP had a way to hook into tree_expr_nonnegative_p. I currently thinking
> of possible ways to do this, but I am no where near any patches yet.
I would instead suggest working the other way. VRP has a lot more
ability to discover, then propagate range information through the
SSA graph. tree_expr_nonnegative_p should be querying that global
range information when its available.
jeff