Landing: fea8a2b9bf26
Project / Subsystem
gcc / gcc
Date
2026-09-16
Author
Andrew MacLeod
Commit
fea8a2b9bf26f654ec0b97d43259dad5b0275c00
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcc
- patch_id
- —
- commit_hash
- fea8a2b9bf26f654ec0b97d43259dad5b0275c00
- source_type
- github
- headline
- Keep partial equivalences out of ordering relations
- tldr
- Improves value relation tracking by prioritizing normal relations over partial ones.
- author
- Andrew MacLeod
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • value analysis
- • gcc
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-09-16T00:00:00.000Z
This commit enhances GCC’s value relation tracking by ensuring that normal relations are preferred over partial equivalences when both exist. Partial equivalences are now excluded from the path oracle and are not combined with normal relations during recording. This prevents spurious connections in the value graph and improves the accuracy of optimizations like Value Range Propagation (VRP).