Landing: 500d82452bdb
Project / Subsystem
gcc / gimple-range-op
Date
2026-08-07
Author
Jakub Jelinek
Commit
500d82452bdba0de71dae1056ccf366fa07147e9
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gimple-range-op
- patch_id
- —
- commit_hash
- 500d82452bdba0de71dae1056ccf366fa07147e9
- source_type
- github
- headline
- gimple-range-op now widens sqrt reverse operations for better precision.
- tldr
- Floating-point range analysis for square roots now correctly widens operands, improving precision for glibc's sqrt hook.
- author
- Jakub Jelinek
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • optimization
- • float
- • range-analysis
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-08-07T00:00:00.000Z
The gimple-range-op pass has been updated to correctly handle the precision of square root operations, particularly for glibc’s sqrt precision hook. Previously, the widening step (adding or subtracting half an ulp) was not applied consistently for reverse operations, leading to inaccurate ranges. This change ensures that the widen method is used, providing a more robust and precise range analysis for square roots.