Landing: 03f7192bf780
Project / Subsystem
gcc / gcc
Date
2026-10-02
Author
Andrew MacLeod
Commit
03f7192bf7801a7a91818e01b365ecd159779528
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc
- patch_id
- —
- commit_hash
- 03f7192bf7801a7a91818e01b365ecd159779528
- source_type
- github
- headline
- Rework relation recomputation in value-relation.cc
- tldr
- Value relation recomputation is refactored to separate it from the range search for better integration with the new frontier model.
- author
- Andrew MacLeod
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • refactor
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-10-02T00:00:00.000Z
This commit refactors the relation recomputation logic in value-relation.cc. Previously, this process was intertwined with the range_from_dom search. The new approach decouples recomputation, performing it after the frontier search completes. It efficiently checks immediate uses of the LHS operand and their containing statements to determine if relation recomputation is necessary and if the statement dominates the request block.