[Bug tree-optimization/69615] 0 to limit signed range checks don't always use unsigned compare

[jakub at gcc dot gnu.org]

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

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Jun  7 07:41:18 2018
New Revision: 261264

URL: https://gcc.gnu.org/viewcvs?rev=261264&root=gcc&view=rev
Log:
        PR tree-optimization/69615
        * tree-ssa-reassoc.c (optimize_range_tests_var_bound): If rhs2 is lhs
        of a cast from a same precision integral SSA_NAME in a bb dominated
        by first_bb, retry with rhs2 set to the rhs1 of the cast.  Don't emit
        cast to utype if rhs2 has already a compatible type.

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

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr69615.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c