Landing: 6eabacf9fbd1
Project / Subsystem
gcc / gcc
Date
2025-12-03
Author
Andrew MacLeod
Commit
6eabacf9fbd1e976fcd1923aa80e3af03d4fed9b
Source
github
Perf win
Yes
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc
- patch_id
- —
- commit_hash
- 6eabacf9fbd1e976fcd1923aa80e3af03d4fed9b
- source_type
- github
- headline
- Range Analysis Can Now Mark Statements for Recalculation
- tldr
- The range analysis can now mark statements as stale, forcing recalculation of their value ranges when next used.
- author
- Andrew MacLeod
- outcome
- committed
- performance_win
- true
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • range analysis
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2025-12-03T00:00:00.000Z
This commit introduces a mechanism for the range analysis in GCC to mark statements as stale. When an SSA name is marked as “to be recalculated,” its value range will be recomputed the next time it is used. This allows the range analysis to respond to changes in the code and maintain accurate value ranges, leading to better optimization opportunities.