re PR tree-optimization/89143 (comparison of abs(i) against excessive constant less...
authorJakub Jelinek <jakub@redhat.com>
Fri, 1 Feb 2019 08:44:23 +0000 (09:44 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Fri, 1 Feb 2019 08:44:23 +0000 (09:44 +0100)
commit1651b09414923fd441adcc66902bdc52372ccb36
treec2e9b408f3b29c2c682ed9666c7e8b10ec15bb6a
parentac33bce89cdab0c0c43edec60b98a1fccdf3bd4b
re PR tree-optimization/89143 (comparison of abs(i) against excessive constant less than UXXX_MAX no longer folded)

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.

From-SVN: r268445
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/vrp121.c [new file with mode: 0644]
gcc/tree-vrp.c
gcc/wide-int-range.cc
gcc/wide-int-range.h