[Bug target/67089] [4.9/5/6 Regression] Integer overflow checks not optimized on x86/x86_64

[jakub at gcc dot gnu.org]

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Nov 25 08:58:32 2015
New Revision: 230856

URL: https://gcc.gnu.org/viewcvs?rev=230856&root=gcc&view=rev
Log:
        PR target/67089
        * tree-ssa-math-opts.c (uaddsub_overflow_check_p,
        match_uaddsub_overflow): New functions.
        (pass_optimize_widening_mul::execute): Call match_uaddsub_overflow.

        * gcc.dg/pr67089-1.c: New test.
        * gcc.dg/pr67089-2.c: New test.
        * gcc.dg/pr67089-3.c: New test.
        * gcc.dg/pr67089-4.c: New test.
        * gcc.dg/pr67089-5.c: New test.
        * gcc.dg/pr67089-6.c: New test.
        * gcc.dg/pr67089-7.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr67089-1.c
    trunk/gcc/testsuite/gcc.dg/pr67089-2.c
    trunk/gcc/testsuite/gcc.dg/pr67089-3.c
    trunk/gcc/testsuite/gcc.dg/pr67089-4.c
    trunk/gcc/testsuite/gcc.dg/pr67089-5.c
    trunk/gcc/testsuite/gcc.dg/pr67089-6.c
    trunk/gcc/testsuite/gcc.dg/pr67089-7.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-math-opts.c