[Bug tree-optimization/61839] More optimize opportunity for VRP

["kugan at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #3 from kugan at gcc dot gnu.org ---
Author: kugan
Date: Sat Aug 20 01:18:09 2016
New Revision: 239637

URL: https://gcc.gnu.org/viewcvs?rev=239637&root=gcc&view=rev
Log:

gcc/testsuite/ChangeLog:

2016-08-20  Kugan Vivekanandarajah  <kuganv@linaro.org>

        PR tree-optimization/61839
        * gcc.dg/tree-ssa/pr61839_1.c: New test.
        * gcc.dg/tree-ssa/pr61839_2.c: New test.
        * gcc.dg/tree-ssa/pr61839_3.c: New test.
        * gcc.dg/tree-ssa/pr61839_4.c: New test.

gcc/ChangeLog:

2016-08-20  Kugan Vivekanandarajah  <kuganv@linaro.org>

        PR tree-optimization/61839
        * tree-vrp.c (two_valued_val_range_p): New.
        (simplify_stmt_using_ranges): Convert CST BINOP VAR where VAR is
        two-valued to VAR == VAL1 ? (CST BINOP VAL1) : (CST BINOP VAL2).
        Also Convert VAR BINOP CST where VAR is two-valued to
        VAR == VAL1 ? (VAL1 BINOP CST) : (VAL2 BINOP CST).


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr61839_1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr61839_2.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr61839_3.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr61839_4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c