Landing: b5a11752dcb0

← All landings

Project / Subsystem

gcc / tree-optimization

Date

2026-09-03

Author

Kyrylo Tkachov

Commit

b5a11752dcb093fd0f9ce4c205a14acf9dbe702a

Source

github

Perf win

Yes

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: tree-optimization
patch_id: —
commit_hash: b5a11752dcb093fd0f9ce4c205a14acf9dbe702a
source_type: github
headline: Tree optimizer uses reference parameter bounds in trap analysis.
tldr: Tree optimizer now uses object bounds for reference parameters, improving loop invariant load motion and reducing cycles.
author: Kyrylo Tkachov
outcome: committed
performance_win: true
breaking_change: false
series_id: —
series_parts: []
tags: • optimization
• performance
• tree-optimization
• loop optimization
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/b5a11752dcb093fd0f9ce4c205a14acf9dbe702a
date: 2026-09-03T00:00:00.000Z

The tree optimizer’s trap analysis now considers the size of objects referred to by REFERENCE_TYPE parameters, not just the this pointer. This allows the Load Invariant Motion (LIM) pass to move safe invariant loads across these parameters, enabling optimizations that were previously blocked. This change improves performance, with a reported 6.2% cycle reduction on a specific benchmark.