Handle unary pass-through jump functions for ipa-vrp
authorKugan Vivekanandarajah <kuganv@linaro.org>
Wed, 9 Nov 2016 01:44:04 +0000 (01:44 +0000)
committerKugan Vivekanandarajah <kugan@gcc.gnu.org>
Wed, 9 Nov 2016 01:44:04 +0000 (01:44 +0000)
commitd6e8a41c87c7534697f680c7846d1e108aef51f4
treea131a04f5e68fdf49a16e1b979d04e2037ff67e2
parent5d5f1e95b1f4defc34597417167b1b2bc716b592
Handle unary pass-through jump functions for ipa-vrp

Handle unary pass-through jump functions for ipa-vrp
gcc/testsuite/ChangeLog:

2016-11-09  Kugan Vivekanandarajah  <kuganv@linaro.org>

* gcc.dg/ipa/vrp7.c: New test.

gcc/ChangeLog:

2016-11-09  Kugan Vivekanandarajah  <kuganv@linaro.org>

* ipa-cp.c (ipa_get_jf_pass_through_result): Handle unary expressions.
(propagate_vr_accross_jump_function): Likewise.
* ipa-prop.c (ipa_set_jf_unary_pass_through): New.
(load_from_param_1): New.
(load_from_unmodified_param): Factor common part into load_from_param_1.
(load_from_param): New.
(compute_complex_assign_jump_func): Handle unary expressions.
(ipa_write_jump_function): Likewise.
(ipa_read_jump_function): Likewise.

From-SVN: r241990
gcc/ChangeLog
gcc/ipa-cp.c
gcc/ipa-prop.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/ipa/vrp7.c [new file with mode: 0644]