diff options
author | Andrew Pinski <andrew.pinski@oss.qualcomm.com> | 2025-10-16 17:02:52 -0700 |
---|---|---|
committer | Andrew Pinski <andrew.pinski@oss.qualcomm.com> | 2025-10-16 22:00:45 -0700 |
commit | eb717a8f4ea9f5eebb3d5add0ca4a33d74febd1a (patch) | |
tree | e8defc2239b205b27795ee4f9f02217a96bde7db /contrib/testsuite-management | |
parent | 128933c9cf232a97e5b85bedacd25dbab961cc88 (diff) | |
download | gcc-master.zip gcc-master.tar.gz gcc-master.tar.bz2 |
match: Fix (a != b) | ((a|b) != 0) and (a == b) & ((a|b) == 0) match pattern [PR122296]HEADtrunkmaster
There are 2 fixes for these 2 patterns.
1) Reuse the (a|b) expression instead of recreating it
Fixed by capturing the bit_ior expression and using that instead
of a new expression.
2) Use the correct 0. Fixed by capturing the integer_zerop and using that
instead of integer_zero_node.
2) could be fuxed by using `build_cst_zero (TREE_TYPE (@0))` But since
we already have the correct 0, capturing it would be faster.
Pushed as obvious after a bootstrap/test on x86_64-linux-gnu.
PR tree-optimization/122296
gcc/ChangeLog:
* match.pd (`(a != b) | ((a|b) != 0)`): Reuse both
the ior and zero instead of recreating them.
(`(a == b) & ((a|b) == 0)`): Likewise
gcc/testsuite/ChangeLog:
* gcc.dg/torture/int-bwise-opt-1.c: New test.
Signed-off-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>
Diffstat (limited to 'contrib/testsuite-management')
0 files changed, 0 insertions, 0 deletions