Landing: b197afc3746f
Project / Subsystem
gcc / match-sat-alu.pd
Date
2026-08-15
Author
Kyrylo Tkachov
Commit
b197afc3746ffd256ec1839bbd8b51d7bfe4e594
Source
github
Perf win
Yes
Breaking
No
All attributes
- project
- gcc
- subsystem
- match-sat-alu.pd
- patch_id
- —
- commit_hash
- b197afc3746ffd256ec1839bbd8b51d7bfe4e594
- source_type
- github
- headline
- match-sat-alu.pd: Allow wider ranges for signed saturating truncation
- tldr
- GCC now supports wider intermediate types for signed saturating truncation, improving optimization opportunities.
- author
- Kyrylo Tkachov
- outcome
- committed
- performance_win
- true
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • gcc
- • aarch64
- • vectorization
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-15T00:00:00.000Z
GCC’s match-sat-alu.pd pattern matcher now allows a wider unsigned range type for signed saturating truncation, provided it preserves all input values. This change enables more optimizations, especially in vector processing. An AArch64 example shows a reduction from a complex vector sequence to a simpler one with fewer iterations.