[Bug middle-end/78726] [5/6/7 Regression] Incorrect unsigned arithmetic optimization

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Dec  9 09:21:36 2016
New Revision: 243476

URL: https://gcc.gnu.org/viewcvs?rev=243476&root=gcc&view=rev
Log:
        PR tree-optimization/78726
        * tree-ssa-reassoc.c (make_new_ssa_for_def): Add OPCODE and OP
        argument.  For lhs uses in debug stmts, don't replace lhs with
        new_lhs, but with a debug temp set to new_lhs opcode op.
        (make_new_ssa_for_all_defs): Add OPCODE argument, pass OPCODE and
        OP down to make_new_ssa_for_def.
        (zero_one_operation): Call make_new_ssa_for_all_defs even when
        stmts_to_fix is empty, if *def has not changed yet.  Pass
        OPCODE to make_new_ssa_for_all_defs.

        * gcc.c-torture/execute/pr78726.c: New test.
        * gcc.dg/guality/pr78726.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr78726.c
    trunk/gcc/testsuite/gcc.dg/guality/pr78726.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c