Landing: dc16f9ae5101

Project / Subsystem

gcc / match/forwprop

Date

2026-08-22

Author

Andrea Pinski

Commit

dc16f9ae5101be400b63d2bea5cbdab3fe4becfe

Source

github

Perf win

Yes

Breaking

No

All attributes

project
gcc
subsystem
match/forwprop
patch_id
—
commit_hash
dc16f9ae5101be400b63d2bea5cbdab3fe4becfe
source_type
github
headline
match/forwprop: Consolidate `cond_carry_add` patterns for simplification.
tldr
match/forwprop: Merges two conditional carry add patterns into one, reducing code and improving efficiency.
author
Andrea Pinski
outcome
committed
performance_win
true
breaking_change
false
series_id
—
series_parts
[]
tags
  • • optimization
  • • compiler
discussion_id_link
—
bugzilla_pr
—
date
2026-08-22T00:00:00.000Z

This commit simplifies the handling of conditional carry additions by merging two existing match patterns (cond_carry_add_neg and its counterpart) into a single pattern named cond_carry_add. Previously, separate patterns handled cases where the addition was on the true or false edge of a condition. The forward propagation code did not distinguish between these edges, making the consolidation logical. This change reduces compile time and memory usage by avoiding redundant traversals and tree creations.