[Bug tree-optimization/87954] VRP can transform a * b where a,b are [0,1] to a & b

[marxin at gcc dot gnu.org]

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
Author: marxin
Date: Thu Jun  6 07:55:51 2019
New Revision: 271991

URL: https://gcc.gnu.org/viewcvs?rev=271991&root=gcc&view=rev
Log:
Simplify mult where both arguments are 0 or 1 (PR tree-optimization/87954).

2019-06-06  Martin Liska  <mli...@suse.cz>

        PR tree-optimization/87954
        * match.pd: Simplify mult where both arguments are 0 or 1.
2019-06-06  Martin Liska  <mli...@suse.cz>

        PR tree-optimization/87954
        * gcc.dg/pr87954.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr87954.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog