On 08/11/15 07:41, Richard Biener wrote:

> The patch looks good.  Note that with SSA name operands it can be
> still profitable to do compare_range_with_value, esp. if the other
> operand has a symbolical range.  See
> vrp_evaluate_conditional_warnv_with_ops_using_ranges which actually
> implements a nice helper for evaluating comparisons for code-gen
> transforms.

Ok, like this?  Thanks for your help!

tested on x86_64-linux.

nathan