[Bug tree-optimization/86401] The "For constants M and N, if M == (1LL << cst) - 1 && (N & M) == M,..." opts are only in fold-const.c and in RTL

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Jul  6 21:42:41 2018
New Revision: 262485

URL: https://gcc.gnu.org/viewcvs?rev=262485&root=gcc&view=rev
Log:
        PR tree-optimization/86401
        * fold-const.c (fold_binary_loc) <case BIT_AND_EXPR>: Move the
        ((A & N) + B) & M -> (A + B) & M etc. optimization into ...
        (fold_bit_and_mask): ... here.  New helper function for match.pd.
        * fold-const.h (fold_bit_and_mask): Declare.
        * match.pd (((A & N) + B) & M -> (A + B) & M): New optimization.

        * gcc.dg/tree-ssa/pr86401-1.c: New test.
        * gcc.dg/tree-ssa/pr86401-2.c: New test.
        * c-c++-common/rotate-9.c: New test.

Added:
    trunk/gcc/testsuite/c-c++-common/rotate-9.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr86401-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr86401-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/fold-const.h
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog