Landing: 18a248fda2e6

Project / Subsystem

gcc / match.pd

Date

2026-05-08

Author

Daniel Barboza

Commit

18a248fda2e6e3f75136e5b1aa3f22fac160c2c3

Source

github

Perf win

Yes

Breaking

No

All attributes

project
gcc
subsystem
match.pd
patch_id
commit_hash
18a248fda2e6e3f75136e5b1aa3f22fac160c2c3
source_type
github
headline
Match.pd: Added pattern to simplify nested boolean comparisons.
tldr
A new pattern in match.pd simplifies `(bool >= A) >= A` expressions to `bool >= A`.
author
Daniel Barboza
outcome
committed
performance_win
true
breaking_change
false
series_id
series_parts
[]
tags
  • optimization
  • pattern matching
  • tree-ssa
discussion_id_link
bugzilla_pr
date
2026-05-08T00:00:00.000Z

This commit introduces a new pattern to GCC’s match.pd file, which optimizes expressions of the form (bool >= A) >= A to bool >= A. This simplification reduces code complexity and can potentially improve performance by eliminating redundant comparisons. New test cases are included to verify the correctness of the new pattern.