Allocation results in unnecessary moves around destructive operations

オープン

#265 2026年9月19日に作成コメント 8 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 4/5
見積もり時間: 3〜5日
初心者へのやさしさ: 48/100

issue の種類: バグ
明瞭さ: おおむね明確
活発さ: 活発
技術スタック: rust
領域: compilers

調査の方向性

Start with the three cases in the regalloc2-repro repository, then compare their output with the reported fib.asm and fib.vcode files from the linked botlish audit. Trace the allocation around the destructive operations and verify that the unnecessary moves into r13 are reduced without regressing the repro cases.

索引モデルが issue の本文から書いたものです。

説明

I am implementing a Cranelift-based compiler stack for a new programming language where one design objective is efficient machine code. This is why early in development I am doing audits on the generated code to find out which inefficiencies are caused by the mid-end, which by the backend and which by missing language features.

In the asm dump of my fibonacci benchmark I saw this:

 177:	mov    rsi,r13
 17a:	mov    r14,rax
 17d:	sub    rsi,0x2
 181:	mov    r13,rsi
 184:	shl    rsi,1
 187:	mov    r13,rsi
 18a:	or     rsi,0x1
 18e:	mov    r13,rsi
 191:	mov    QWORD PTR [rbx+0x8],rsi

rsi is moved repeatedly into r13 for no discernible reason, then the content of rsi is moved into memory. r13 is later overwritten. So r13 was completely useless here.

The entire ASM is available in https://github.com/mwagner-webdev/botlish/blob/9cb689a/audit/native-scalar-asm/bench/fib.asm

This code was generated via Cranelift from this CLIF: https://github.com/mwagner-webdev/botlish/blob/9cb689a/audit/native-scalar-asm/bench/fib.vcode

I have a minimal repro here with three cases that illustrate the issue: https://github.com/mwagner-webdev/regalloc2-repro

I have zero experience with the workings of register allocators and it's all pretty fascinating. Obviously perfect allocation is impossible, but this looks like a clear-cut pathological case for which some heuristic may be found.

主要言語: Rust
スター: 266
フォーク: 54
PR マージ指標: 30日以内にマージされた PR はありません

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

bytecodealliance/regalloc2 のほかの issue

Modeling subregister aliasing オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

bytecodealliance/regalloc2#247 · コメント 3 件 · 2025年11月11日に作成
Conflicting defs and clobbers lead to panic rather than clean error from allocator オープン

難易度 4/5 3〜5日初心者へのやさしさ 45/100

bytecodealliance/regalloc2#222 · コメント 4 件 · 2025年4月13日に作成
Replace scratch register with XOR swap オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

bytecodealliance/regalloc2#206 · コメント 2 件 · 2024年12月21日に作成
Extend the fuzzer to check the debug locations output オープン

難易度 3/5 1〜2日初心者へのやさしさ 35/100

bytecodealliance/regalloc2#194 · コメント 7 件 · 2024年9月11日に作成
Fuzzer Not Detecting Incorrect Allocation オープン

難易度 4/5 3〜5日初心者へのやさしさ 38/100

bytecodealliance/regalloc2#191 · コメント 3 件 · 2024年9月9日に作成

bytecodealliance/regalloc2 の issue をすべて見る

似ている issue

Replayed reasoning items send "content": null, which the Responses API schema does not permit オープン

bug CLI custom-model

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

openai/codex#47733 · 2026年9月24日に作成
hashes has lint warnings on master オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

rust-bitcoin/rust-bitcoin#6930 · コメント 1 件 · 2026年9月23日に作成
sync build ignores local_timeout when opening kv.db and scripts.db オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

atuinsh/atuin#4247 · コメント 1 件 · 2026年9月23日に作成
test: stop calling property tests fuzz tests オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

fulcrumgenomics/ferro-hgvs#2251 · 2026年9月23日に作成
Missing examples for `Allocator` オープン

A-allocators A-docs C-enhancement T-libs

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

rust-lang/rust#163232 · コメント 4 件 · 2026年9月23日に作成

Rust の issue をもっと見る