Add effective peephole optimizer for uop traces.
未關閉
還沒有人認領這個 Issue。
3.16
interpreter-core
topic-JIT
type-feature
- 主要語言
- Python
- 星號
- 77.2k
- 分支
- 36k
- PR 合併指標
- PR 指標待擷取
描述
Feature or enhancement
Currently we lack an effective peephole optimizer for uops traces.
We do some ad-hoc removal of LOAD/POP pairs, but many enhancements are missed.
For example, this silly program:
def add(a, b):
return a + b
def loop(n=100_000):
t = 0
for _ in range(n):
t += add(1,2)
if __name__ == "__main__":
loop()
generates this trace:
which contains the sequence:
_LOAD_FAST_BORROW 0
_LOAD_FAST_BORROW_1
_LOAD_CONST_INLINE_BORROW K
_RROT_3
_POP_TOP_NOP
_POP_TOP_NOP
which should be reduced to
_LOAD_CONST_INLINE_BORROW K
Linked PRs
- gh-153035
貢獻指南
從這裡開始
- 先讀完整個 Issue,再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫,在一個分支上完成修改。
- 送出 Pull Request,並在描述裡引用這個 Issue 編號。
研究方向
首先定位 uop trace optimizer 和現有的臨時 LOAD/POP 移除邏輯,然後重現提供的 add/loop trace。將目前的序列與提議的縮減序列進行比較;當 optimizer 能夠處理此案例,且此轉換具有 coverage 時,即表示完成。開始之前請先查看關聯的 PR gh-153035,因為這項工作已經與它關聯。
由索引模型根據 Issue 內容生成。
評估
- 技術堆疊
- python
- 領域
- compilers
- Issue 類型
- 功能
- 難度
- 5/5
- 預估耗時
- 一週以上
- 活躍度
- 停滯
- 描述清晰度
- 基本清楚
- 新手友好度
- 30/100