>From b40858306e24df1622050e31224bee2ac6289481 Mon Sep 17 00:00:00 2001
From: Kael Andrew Alonzo Franco <[email protected]>
Date: Sun, 2 Aug 2026 22:17:54 -0400
Subject: [PATCH] match: Combine four simplify into one for. [PR63387]
This reduce genmatch's outputted C++ code.
Bootstrapped and regtested on x86_64-pc-linux-gnu.
PR tree-optimization/63387
gcc/ChangeLog:
* match.pd: Combine four simplify into one for.
Signed-off-by: Kael Andrew Franco <[email protected]>
---
gcc/match.pd | 23 +++++++++--------------
1 file changed, 9 insertions(+), 14 deletions(-)
diff --git a/gcc/match.pd b/gcc/match.pd
index 00a0adaba87..8700541fc3f 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -7958,20 +7958,15 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(cmp2 @0 { build_zero_cst (TREE_TYPE (@0)); }))))))
/* Unordered tests if either argument is a NaN. */
-(simplify
- (bit_ior (unordered @0 @0) (unordered @1 @1))
- (if (types_match (@0, @1))
- (unordered @0 @1)))
-(simplify
- (bit_and (ordered @0 @0) (ordered @1 @1))
- (if (types_match (@0, @1))
- (ordered @0 @1)))
-(simplify
- (bit_ior:c (unordered @0 @0) (unordered:c@2 @0 @1))
- @2)
-(simplify
- (bit_and:c (ordered @0 @0) (ordered:c@2 @0 @1))
- @2)
+(for bitop (bit_ior bit_and)
+ op (unordered ordered)
+ (simplify
+ (bitop (op @0 @0) (op @1 @1))
+ (if (types_match (@0, @1))
+ (op @0 @1)))
+ (simplify
+ (bitop:c (op @0 @0) (op:c@2 @0 @1))
+ @2))
/* A & (2**N - 1) <= 2**K - 1 -> A & (2**N - 2**K) == 0
A & (2**N - 1) > 2**K - 1 -> A & (2**N - 2**K) != 0
--
2.55.0
