re PR middle-end/66867 (Suboptimal code generation for atomic_compare_exchange)
authorJakub Jelinek <jakub@redhat.com>
Tue, 28 Jun 2016 08:27:18 +0000 (10:27 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Tue, 28 Jun 2016 08:27:18 +0000 (10:27 +0200)
commit849a76a5a20db3830b3a627aae1b8c7eb0f1623d
tree532f4d56f6e6da5f9c6f2a7cf4ae65a7b9a8342d
parenta826405801ce4e28d534e3f693f236405d886caf
re PR middle-end/66867 (Suboptimal code generation for atomic_compare_exchange)

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.

From-SVN: r237814
gcc/ChangeLog
gcc/builtins.c
gcc/builtins.h
gcc/gimple-fold.c
gcc/gimple-fold.h
gcc/internal-fn.c
gcc/internal-fn.def
gcc/predict.c
gcc/tree-ssa.c
gcc/tree.h