]> git.ipfire.org Git - thirdparty/gcc.git/commit
match: Fix (a != b) | ((a|b) != 0) and (a == b) & ((a|b) == 0) match pattern [PR122296]
authorAndrew Pinski <andrew.pinski@oss.qualcomm.com>
Fri, 17 Oct 2025 00:02:52 +0000 (17:02 -0700)
committerAndrew Pinski <andrew.pinski@oss.qualcomm.com>
Fri, 17 Oct 2025 05:00:45 +0000 (22:00 -0700)
commiteb717a8f4ea9f5eebb3d5add0ca4a33d74febd1a
treee8defc2239b205b27795ee4f9f02217a96bde7db
parent128933c9cf232a97e5b85bedacd25dbab961cc88
match: Fix (a != b) | ((a|b) != 0) and (a == b) & ((a|b) == 0) match pattern [PR122296]

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>
gcc/match.pd
gcc/testsuite/gcc.dg/torture/int-bwise-opt-1.c [new file with mode: 0644]