[Bug middle-end/88784] Middle end is missing some optimizations about unsigned

[marxin at gcc dot gnu.org]

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

--- Comment #29 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Mon Sep 16 14:22:16 2019
New Revision: 275749

URL: https://gcc.gnu.org/viewcvs?rev=275749&root=gcc&view=rev
Log:
Fix PR88784, middle end is missing some optimizations about unsigned

2019-09-16  Li Jia He  <heli...@linux.ibm.com>
            Qi Feng  <ffen...@linux.ibm.com>

        PR middle-end/88784
        * match.pd (x >  y  &&  x != XXX_MIN): Optimize into 'x > y'.
        (x >  y  &&  x == XXX_MIN): Optimize into 'false'.
        (x <= y  &&  x == XXX_MIN): Optimize into 'x == XXX_MIN'.
        (x <  y  &&  x != XXX_MAX): Optimize into 'x < y'.
        (x <  y  &&  x == XXX_MAX): Optimize into 'false'.
        (x >= y  &&  x == XXX_MAX): Optimize into 'x == XXX_MAX'.
        (x >  y  ||  x != XXX_MIN): Optimize into 'x != XXX_MIN'.
        (x <= y  ||  x != XXX_MIN): Optimize into 'true'.
        (x <= y  ||  x == XXX_MIN): Optimize into 'x <= y'.
        (x <  y  ||  x != XXX_MAX): Optimize into 'x != XXX_MAX'.
        (x >= y  ||  x != XXX_MAX): Optimize into 'true'.
        (x >= y  ||  x == XXX_MAX): Optimize into 'x >= y'.
2019-09-16  Li Jia He  <heli...@linux.ibm.com>
            Qi Feng  <ffen...@linux.ibm.com>

        PR middle-end/88784
        * gcc.dg/pr88784-1.c: New testcase.
        * gcc.dg/pr88784-2.c: New testcase.
        * gcc.dg/pr88784-3.c: New testcase.
        * gcc.dg/pr88784-4.c: New testcase.
        * gcc.dg/pr88784-5.c: New testcase.
        * gcc.dg/pr88784-6.c: New testcase.
        * gcc.dg/pr88784-7.c: New testcase.
        * gcc.dg/pr88784-8.c: New testcase.
        * gcc.dg/pr88784-9.c: New testcase.
        * gcc.dg/pr88784-10.c: New testcase.
        * gcc.dg/pr88784-11.c: New testcase.
        * gcc.dg/pr88784-12.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr88784-1.c
    trunk/gcc/testsuite/gcc.dg/pr88784-10.c
    trunk/gcc/testsuite/gcc.dg/pr88784-11.c
    trunk/gcc/testsuite/gcc.dg/pr88784-12.c
    trunk/gcc/testsuite/gcc.dg/pr88784-2.c
    trunk/gcc/testsuite/gcc.dg/pr88784-3.c
    trunk/gcc/testsuite/gcc.dg/pr88784-4.c
    trunk/gcc/testsuite/gcc.dg/pr88784-5.c
    trunk/gcc/testsuite/gcc.dg/pr88784-6.c
    trunk/gcc/testsuite/gcc.dg/pr88784-7.c
    trunk/gcc/testsuite/gcc.dg/pr88784-8.c
    trunk/gcc/testsuite/gcc.dg/pr88784-9.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog