[Bug middle-end/71078] x/abs(x) -> sign(1.0,x)

[prathamesh3492 at gcc dot gnu.org]

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

--- Comment #2 from prathamesh3492 at gcc dot gnu.org ---
Author: prathamesh3492
Date: Wed Jul 27 15:09:10 2016
New Revision: 238787

URL: https://gcc.gnu.org/viewcvs?rev=238787&root=gcc&view=rev
Log:
2016-07-27  Prathamesh Kulkarni  <prathamesh.kulka...@linaro.org>

        PR middle-end/71078
        * match.pd (x / abs(x) -> copysign(1.0, x)): New pattern.

testsuite/
        * gcc.dg/tree-ssa/pr71078-1.c: New test-case.
        * gcc.dg/tree-ssa/pr71078-2.c: Likewise.
        * gcc.dg/tree-ssa/pr71078-3.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71078-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71078-2.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr71078-3.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog