missed fold: (X * 0.0) * constant => X * 0.0

Repository metrics

Stars

26,378 stars (26,378 stars)

PR merge metrics

平均マージ 1d 2h (平均マージ 1d 2h)30d で 1,000 merged PRs (30d で 1,000 merged PRs)

説明

define float @src(float %0) {
entry:
  %1 = fmul float %0, 0.000000e+00
  %2 = fmul float %1, 3.000000e+00
  ret float %2
}

define float @tgt(float %0) {
entry:
  %1 = fmul float %0, 0.000000e+00
  ret float %1
}

コントリビューターガイド

調査方針

この問題は、(X * 0.0) * 定数 が X * 0.0 に畳み込まれないケースを示しています。alive2 リンクはこの変換が正しいことを確認しています。LLVM の InstCombine パス、特に fmul の畳み込みを扱うコードを調査してください。関連ファイルは llvm/lib/Transforms/InstCombine/InstructionCombining.cpp または InstCombineMulDivRem.cpp にある可能性があります。担当者は割り当てられていますが、関連する PR はありません。既存の fmul とゼロの乗算の畳み込みパターンを調査し、ゼロ乗算の後に定数乗算が続くケースを処理するように拡張してください。提供された IR の例で修正をテストしてください。

技術スタック

なし

領域

backend

Issue 種別

バグ

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

3

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

3-5日

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

アクティブ

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

明確

前提条件

GitC++LLVM basics

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

40