This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Move X - (X / Y) * Y folding to match.pd
- From: Marek Polacek <polacek at redhat dot com>
- To: Richard Biener <rguenther at suse dot de>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 29 Jun 2015 16:01:33 +0200
- Subject: Re: [PATCH] Move X - (X / Y) * Y folding to match.pd
- Authentication-results: sourceware.org; auth=none
- References: <20150626162940 dot GI10139 at redhat dot com> <alpine dot DEB dot 2 dot 20 dot 1506271524590 dot 1949 at laptop-mg dot saclay dot inria dot fr> <alpine dot LSU dot 2 dot 11 dot 1506290931290 dot 26650 at zhemvz dot fhfr dot qr>
On Mon, Jun 29, 2015 at 09:36:59AM +0200, Richard Biener wrote:
> > Anything wrong with this?
> >
> > +/* X - (X / Y) * Y is the same as X % Y. */
> > +(simplify
> > + (minus (convert? @0) (convert? (mult (trunc_div @0 @1) @1)))
> > + (if (INTEGRAL_TYPE_P (type) || VECTOR_INTEGER_TYPE_P (type))
> > + (convert (trunc_mod @0 @1))))
That looks awfully similar to a variant I also tried (but I remember
having convert1? and convert2? in it). Not sure what was wrong with
that one; certainly yours seems to work fine.
Not sure whether we need some tree_nop_conversion_p in it. Perhaps not.
> Yes. Eventually even (convert? (mult (convert1? (trunc_div ...)?
> Of course with matching @0 between the two operands of the minus
> you constrain types quite a bit.
I'm starting to dislike this whole convert business ;).
> I'd say just single-step through fold and see what types it get
> present when folding a - (unsigned) ((a / b) * b).
I did that. The whole expression has type "unsigned int", arg0
is "a" of type int and arg1 is "(a / b) * b" of type int.
The following version is what Marc suggests.
Bootstrapped/regtested on x86_64-linux, ok for trunk?
2015-06-29 Marek Polacek <polacek@redhat.com>
Marc Glisse <marc.glisse@inria.fr>
* fold-const.c (fold_binary_loc): Move X - (X / Y) * Y -> X % Y to ...
* match.pd: ... pattern here.
diff --git gcc/fold-const.c gcc/fold-const.c
index 6f12dd0..01e3983 100644
--- gcc/fold-const.c
+++ gcc/fold-const.c
@@ -10509,19 +10509,6 @@ fold_binary_loc (location_t loc,
fold_convert_loc (loc, type,
TREE_OPERAND (arg0, 0)));
- /* X - (X / Y) * Y is X % Y. */
- if ((INTEGRAL_TYPE_P (type) || VECTOR_INTEGER_TYPE_P (type))
- && TREE_CODE (arg1) == MULT_EXPR
- && TREE_CODE (TREE_OPERAND (arg1, 0)) == TRUNC_DIV_EXPR
- && operand_equal_p (arg0,
- TREE_OPERAND (TREE_OPERAND (arg1, 0), 0), 0)
- && operand_equal_p (TREE_OPERAND (TREE_OPERAND (arg1, 0), 1),
- TREE_OPERAND (arg1, 1), 0))
- return
- fold_convert_loc (loc, type,
- fold_build2_loc (loc, TRUNC_MOD_EXPR, TREE_TYPE (arg0),
- arg0, TREE_OPERAND (arg1, 1)));
-
if (! FLOAT_TYPE_P (type))
{
/* Fold A - (A & B) into ~B & A. */
diff --git gcc/match.pd gcc/match.pd
index b2f8429..2bc158b 100644
--- gcc/match.pd
+++ gcc/match.pd
@@ -238,6 +238,12 @@ along with GCC; see the file COPYING3. If not see
&& tree_nop_conversion_p (type, TREE_TYPE (@1)))
(trunc_mod @0 (convert @1))))
+/* X - (X / Y) * Y is the same as X % Y. */
+(simplify
+ (minus (convert? @0) (convert? (mult (trunc_div @0 @1) @1)))
+ (if (INTEGRAL_TYPE_P (type) || VECTOR_INTEGER_TYPE_P (type))
+ (convert (trunc_mod @0 @1))))
+
/* Optimize TRUNC_MOD_EXPR by a power of two into a BIT_AND_EXPR,
i.e. "X % C" into "X & (C - 1)", if X and C are positive.
Also optimize A % (C << N) where C is a power of 2,
Marek