This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch][trunk] refactoring in tree-vrp.c
- From: "Richard Guenther" <richard dot guenther at gmail dot com>
- To: "Rafael Espindola" <espindola at google dot com>
- Cc: GCC <gcc-patches at gcc dot gnu dot org>, "Diego Novillo" <dnovillo at google dot com>
- Date: Thu, 24 Apr 2008 10:10:23 +0200
- Subject: Re: [patch][trunk] refactoring in tree-vrp.c
- References: <38a0d8450804231609u3264fb5cj1bad1de43c607d3c@mail.gmail.com>
On Thu, Apr 24, 2008 at 1:09 AM, Rafael Espindola <espindola@google.com> wrote:
> This patch removes the special treatment of "comparisons" with only
> one variable by handling them as "foo == true". It also changes some
> functions to receive the code and arguments instead of the comparison
> tree.
>
> This has been extracted from my patch enabling vrp on tuples (should
> follow soon). Tested with a bootstrap and regression tests.
This is ok for trunk.
Thanks,
Richard.
> * tree-flow.h (vrp_evaluate_conditional): Change signature.
> * tree-ssa-propagate.c (fold_predicate_in): Update call to
> vrp_evaluate_conditional.
> * tree-vrp.c (vrp_evaluate_conditional_warnv): Remove.
> (vrp_evaluate_conditional): Split the cond argument.
> (vrp_visit_cond_stmt): Use vrp_evaluate_conditional_warnv_with_ops.
> (simplify_stmt_for_jump_threading): Update call to
> vrp_evaluate_conditional.
>
> Cheers,
> --
> Rafael Avila de Espindola
>
> Google Ireland Ltd.
> Gordon House
> Barrow Street
> Dublin 4
> Ireland
>
> Registered in Dublin, Ireland
> Registration Number: 368047
>