This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC][IPA-VRP] Early VRP Implementation
- From: Jan Hubicka <hubicka at ucw dot cz>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Kugan Vivekanandarajah <kugan dot vivekanandarajah at linaro dot org>, Andrew Pinski <pinskia at gmail dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Jan Hubicka <hubicka at ucw dot cz>, Martin Jambor <mjambor at suse dot cz>
- Date: Wed, 14 Sep 2016 23:36:16 +0200
- Subject: Re: [RFC][IPA-VRP] Early VRP Implementation
- Authentication-results: sourceware.org; auth=none
- References: <19ff8188-aed7-0f9e-cc0b-0603698787ff@linaro.org> <CAFiYyc0b3J7a6kB0VoLWGG9_qJ6eK2NuGshQfDpewsipkUh_7g@mail.gmail.com> <ac8721e4-ed98-b745-452d-e67c3f752d4c@linaro.org> <CAFiYyc1z+3Bwqd7yTgt8NVT=J+pF5aoemxvVbVShWm-O-4moCw@mail.gmail.com> <48e42d0c-057c-312a-4e41-cd78c8b38b5e@linaro.org> <CAFiYyc2pd6CQrE1NWZ7YAp1F_+nvn9tHwa1BYYa0jZm=cbxJnw@mail.gmail.com> <e1e07983-8468-5eec-eeb6-7c6bb1a2d228@linaro.org> <CAFiYyc3a1r_q9tVa=o8SKcBHOEv14mqDSrEKKuH3Pi7HF3kc6w@mail.gmail.com> <CAELXzTNiYLRn0T70mi6K27H7Tt9AQNYyYamJ99di3vWtivLGbw@mail.gmail.com> <CAFiYyc19GuN0tuEtyfSX-pj6S8--uvS0zUsip1N7uKY=5-ON=g@mail.gmail.com>
> + /* Visit PHI stmts and discover any new VRs possible. */
> + gimple_stmt_iterator gsi;
> + for (gphi_iterator gpi = gsi_start_phis (bb);
> + !gsi_end_p (gpi); gsi_next (&gpi))
> + {
> + gphi *phi = gpi.phi ();
> + tree lhs = PHI_RESULT (phi);
> + value_range vr_result = VR_INITIALIZER;
> + if (! has_unvisived_preds
> && stmt_interesting_for_vrp (phi)
> + && stmt_visit_phi_node_in_dom_p (phi))
> + extract_range_from_phi_node (phi, &vr_result, true);
> + else
> + set_value_range_to_varying (&vr_result);
> + update_value_range (lhs, &vr_result);
> + }
>
> due to a bug in IRA you need to make sure to un-set BB_VISITED after
> early-vrp is finished again.
How IRA bugs affects early passes?
Honza