This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] tree-vrp.c: Compute a correct range when adding twopointers.
Jeffrey A Law <law@redhat.com> wrote:
> If you want to do something interesting with VRP you might look at
> extracting ranges from BIT_AND_EXPRs -- that's relatively common and
> can often lead to further optimizations, particularly when the
> BIT_AND_EXPR turns off the sign bit or constrains a result to a
> smaller type.
That, and RSHIFT_EXPR.
--
Giovanni Bajo