[Bug tree-optimization/89143] [9 Regression] comparison of abs(i) against excessive constant less than UXXX_MAX no longer folded

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89143

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Feb  1 08:44:23 2019
New Revision: 268445

URL: https://gcc.gnu.org/viewcvs?rev=268445&root=gcc&view=rev
Log:
        PR tree-optimization/89143
        * wide-int-range.h (wide_int_range_absu): Declare.
        * wide-int-range.cc (wide_int_range_absu): New function.
        * tree-vrp.c (extract_range_from_unary_expr): Handle ABSU_EXPR.

        * gcc.dg/tree-ssa/vrp121.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp121.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c
    trunk/gcc/wide-int-range.cc
    trunk/gcc/wide-int-range.h