TeamHeptaMirrors/gcc
1
0
Fork 1
mirror of https://github.com/gcc-mirror/gcc.git synced 2026-05-06 14:59:39 +02:00
Code Issues Packages Projects Releases Wiki Activity

Match: Remove unnecessary convert for unsigned SAT_MUL

Browse Source 
After we convert from bit_op outer into its captures, some
outer convert of unsigned SAT_MUL form 6 is unnecessary any
more.  Thus, remove it.  Meanwhile, add c after outer bit_ior
to make the test happy.

gcc/ChangeLog:

	* match.pd: Remove unnecessary outer convert and add
	c for the outer bit_ior.

Signed-off-by: Pan Li <pan2.li@intel.com>
This commit is contained in:
Pan Li
2025-11-15 11:22:23 +08:00
parent 22d6348957
commit a8d172b5ff
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
gcc/match.pd
View File

@@ -3778,12 +3778,11 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
return lo | -!!hi;
} while WT is uint128_t, uint64_t, uint32_t, uint16_t,
and T is uint64_t, uint32_t, uint16_t, uint8_t. */
(convert1?
(bit_ior
(convert?
(negate
(convert (ne (convert2? (rshift @3 INTEGER_CST@2)) integer_zerop))))
(convert (usmul_widen_mult@3 @0 @1))))
(bit_ior:c
(convert?
(negate
(convert (ne (convert2? (rshift @3 INTEGER_CST@2)) integer_zerop))))
(convert (usmul_widen_mult@3 @0 @1)))
(if (types_match (type, @0, @1))
(with
{