[Bug tree-optimization/69320] [6 Regression] wrong code generation at -O2 and higher

[law at gcc dot gnu.org]

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

--- Comment #10 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Author: law
Date: Tue Jan 19 06:43:54 2016
New Revision: 232548

URL: https://gcc.gnu.org/viewcvs?rev=232548&root=gcc&view=rev
Log:
2016-01-18  Jeff Law  <law@redhat.com>

        PR tree-optimization/69320
        * tree-ssa-dom.c (record_edge_info): For comparisons against a boolean
        ranged object, do nothing if the RHS constant is not [0..1].
        (optimize_stmt): Comparing a boolean ranged object against a
        constant outside [0..1] results in a compile-time constant.

        * tree-ssanames.c (ssa_name_has_boolean_range): Remove unnecessary
        test.

        PR tree-optimization/69320
        * gcc.c-torture/pr69320-1.c: New test.
        * gcc.c-torture/pr69320-2.c: New test.
        * gcc.c-torture/pr69320-3.c: New test.
        * gcc.c-torture/pr69320-4.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-1.c
    trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-2.c
    trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-3.c
    trunk/gcc/testsuite/gcc.c-torture/execute/pr69320-4.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-dom.c
    trunk/gcc/tree-ssanames.c