On Mon, Apr 24, 2017 at 08:24:48AM +0200, Marc Glisse wrote:
> --- gcc/match.pd (revision 247083)
> +++ gcc/match.pd (working copy)
> @@ -1028,20 +1028,27 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
> (simplify
> (cmp (mult:c @0 @1) (mult:c @2 @1))
> (if (INTEGRAL_TYPE_P (TREE_TYPE (@1))
> && TYPE_OVERFLOW_UNDEFINED (TREE_TYPE (@0)))
> (if (tree_expr_nonnegative_p (@1) && tree_expr_nonzero_p (@1))
> (cmp @0 @2)
> (if (TREE_CODE (@1) == INTEGER_CST
> && wi::neg_p (@1, TYPE_SIGN (TREE_TYPE (@1))))
> (cmp @2 @0))))))
>
> +/* X / 4 < Y / 4 iif X < Y when the division is known to be exact. */
s/iif/iff/ ?
Jakub
