Landing: 91a7a8baed0d

Project / Subsystem

gcc / gcc

Date

2026-01-05

Author

Andrew MacLeod

Commit

91a7a8baed0dc26e123d7c1f2e42fb444c52396b

Source

github

Perf win

Yes

Breaking

No

All attributes

project
gcc
subsystem
gcc
patch_id
commit_hash
91a7a8baed0dc26e123d7c1f2e42fb444c52396b
source_type
github
headline
Improve Value Range Bound Snapping During Pair Construction
tldr
Bounds are now snapped during pair construction to improve value range accuracy.
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
2026-01-05T00:00:00.000Z

This commit improves the accuracy of value range analysis by integrating bound snapping directly into the pair construction process. Instead of building all pairs and then applying a mask, the mask is now applied to each pair as it is constructed. This change results in tighter and more accurate value ranges, which can lead to better optimization.