[patch][trunk] refactoring in tree-vrp.c

[Richard Guenther]

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
>