re PR tree-optimization/79981 (Forwprop not working for __atomic_compare_exchange_n)
authorJakub Jelinek <jakub@redhat.com>
Fri, 10 Mar 2017 19:47:44 +0000 (20:47 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Fri, 10 Mar 2017 19:47:44 +0000 (20:47 +0100)
commitc7aee4a15c4b993b063a8a94d1b6e2825130ea72
tree6c4021d9742adf491fdb3202d936b826a37cf289
parent80dd631fceac3b9b8da712fa9e1c1a2f61002cb9
re PR tree-optimization/79981 (Forwprop not working for __atomic_compare_exchange_n)

PR tree-optimization/79981
* tree-vrp.c (extract_range_basic): Handle IMAGPART_EXPR of
ATOMIC_COMPARE_EXCHANGE ifn result.
(stmt_interesting_for_vrp, vrp_visit_stmt): Handle
IFN_ATOMIC_COMPARE_EXCHANGE.

From-SVN: r246054
gcc/ChangeLog
gcc/tree-vrp.c