On March 21, 2014 9:32:54 PM CET, Jakub Jelinek wrote:
>Hi!
>
>As MINUS_EXPR is not commutative, we really can't swap op0 with op1
>for testing whether subtraction overflowed, that is only possible for
>PLUS_EXPR, for MINUS_EXPR we really have to know if op1 is constant
>or negative or non-negativ
Hi!
As MINUS_EXPR is not commutative, we really can't swap op0 with op1
for testing whether subtraction overflowed, that is only possible for
PLUS_EXPR, for MINUS_EXPR we really have to know if op1 is constant
or negative or non-negative and have to compare result with op0 depending on
that.
Boot
