[Bug middle-end/81502] In some cases the data is moved to memory unnecessarily [partial regression]

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Jul 28 11:27:45 2017
New Revision: 250659

URL: https://gcc.gnu.org/viewcvs?rev=250659&root=gcc&view=rev
Log:
2017-07-28  Richard Biener  <rguenther@suse.de>

        PR tree-optimization/81502
        * match.pd: Add pattern combining BIT_INSERT_EXPR with
        BIT_FIELD_REF.
        * tree-cfg.c (verify_expr): Verify types of BIT_FIELD_REF
        size/pos operands.
        (verify_gimple_assign_ternary): Likewise for BIT_INSERT_EXPR pos.
        * gimple-fold.c (maybe_canonicalize_mem_ref_addr): Use bitsizetype
        for BIT_FIELD_REF args.
        * fold-const.c (make_bit_field_ref): Likewise.
        * tree-vect-stmts.c (vectorizable_simd_clone_call): Likewise.

        * gcc.target/i386/pr81502.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr81502.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/gimple-fold.c
    trunk/gcc/match.pd
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-vect-stmts.c