git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

match.pd: Do not canonicalize division by power 2 for {ROUND, CEIL}_DIV 

Canonicalization of unsigned division by power of 2 only applies to
{TRUNC,FLOOR,EXACT}_DIV, therefore remove the same pattern for {CEIL,ROUND}_DIV,
which was added in a previous commit.

2025-10-13  Avinash Jayakar  <avinashd@linux.ibm.com>

gcc/ChangeLog:
	PR tree-optimization/122213
	* match.pd: Canonicalize unsigned pow2 div only for trunk, floor and
	exact div.
This commit is contained in:
Avinash Jayakar 2025-10-13 15:17:45 +05:30
parent 80e82de4b8
commit 33b1a5d588
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/match.pd
View File

@ -981,16 +981,18 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(if (INTEGRAL_TYPE_P (TREE_TYPE (@0)) && TYPE_UNSIGNED (TREE_TYPE (@0)))
(bit_and @0 (negate @1))))
(for div (trunc_div ceil_div floor_div round_div exact_div)
/* Canonicalize unsigned t / 4 to t >> 2. */
#if GIMPLE
/* Canonicalize unsigned t / 4 to t >> 2. */
(for div (trunc_div floor_div exact_div)
(simplify
(div @0 integer_pow2p@1)
(if (INTEGRAL_TYPE_P (type)
&& (TYPE_UNSIGNED (type) || tree_expr_nonnegative_p (@0)))
(rshift @0 { build_int_cst (integer_type_node,
wi::exact_log2 (wi::to_wide (@1))); })))
wi::exact_log2 (wi::to_wide (@1))); }))))
#endif
(for div (trunc_div ceil_div floor_div round_div exact_div)
/* Simplify (t * u) / u -> t. */
(simplify
(div (mult:c @0 @1) @1)