[Bug middle-end/66867] Suboptimal code generation for atomic_compare_exchange

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Jun 28 08:27:18 2016
New Revision: 237814

URL: https://gcc.gnu.org/viewcvs?rev=237814&root=gcc&view=rev
Log:
        PR middle-end/66867
        * builtins.c (expand_ifn_atomic_compare_exchange_into_call,
        expand_ifn_atomic_compare_exchange): New functions.
        * internal-fn.c (expand_ATOMIC_COMPARE_EXCHANGE): New function.
        * tree.h (build_call_expr_internal_loc): Rename to ...
        (build_call_expr_internal_loc_array): ... this.  Fix up type of
        last argument.
        * internal-fn.def (ATOMIC_COMPARE_EXCHANGE): New internal fn.
        * predict.c (expr_expected_value_1): Handle IMAGPART_EXPR of
        ATOMIC_COMPARE_EXCHANGE result.
        * builtins.h (expand_ifn_atomic_compare_exchange): New prototype.
        * gimple-fold.h (optimize_atomic_compare_exchange_p,
        fold_builtin_atomic_compare_exchange): New prototypes.
        * gimple-fold.c (optimize_atomic_compare_exchange_p,
        fold_builtin_atomic_compare_exchange): New functions..
        * tree-ssa.c (execute_update_addresses_taken): If
        optimize_atomic_compare_exchange_p, ignore &var in 2nd argument
        of call when finding addressable vars, and if such var becomes
        non-addressable, call fold_builtin_atomic_compare_exchange.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/builtins.c
    trunk/gcc/builtins.h
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-fold.h
    trunk/gcc/internal-fn.c
    trunk/gcc/internal-fn.def
    trunk/gcc/predict.c
    trunk/gcc/tree-ssa.c
    trunk/gcc/tree.h