Hi, In this new version we added cond + bit_ior patterns that would reduce to a single tree. All of them was suggested by Andrea in v1.
Andrea, in case your patch that allows match.pd to deal with multiple statements in middle_bbs for phiopt lands soon, I'm ok with sending a new version with a couple of extra patterns that wouldn't work without it. Just let me know. Changes from v1: - removed ":c" from bit_and/bit_ior that didn't need it - added ":c" for the eq/ne that needed it - added a handful of bit_ior patterns that reduce to a single tree - v1 link: https://gcc.gnu.org/pipermail/gcc-patches/2026-July/723186.html Daniel Barboza (1): match.pd: turn more conditional bit_iors unconditional [PR124667] gcc/match.pd | 99 +++++++++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/pr124667-2.c | 67 +++++++++++++ gcc/testsuite/gcc.dg/tree-ssa/pr124667.c | 107 +++++++++++++++++++++ 3 files changed, 273 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr124667-2.c create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr124667.c -- 2.43.0
