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

Repository-Metriken

Stars

26.378 Stars (26.378 Stars)

PR-Merge-Metriken

Durchschn. Merge 1T 2h (Durchschn. Merge 1T 2h)1.000 gemergte PRs in 30 T (1.000 gemergte PRs in 30 T)

Beschreibung

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
}

Contributor Guide

Research-Richtung

Das Problem zeigt eine verpasste Faltung von (X * 0.0) * Konstante zu X * 0.0. Der alive2 Link bestätigt, dass die Transformation korrekt ist. Untersuche den LLVM InstCombine Pass, insbesondere den Code, der die fmul Faltung behandelt. Die relevanten Dateien befinden sich wahrscheinlich in llvm/lib/Transforms/InstCombine/InstructionCombining.cpp oder InstCombineMulDivRem.cpp. Es gibt einen Zugewiesenen, aber keinen verknüpften PR. Erforsche die vorhandenen fmul mit Null Faltungsmuster und erweitere sie, um den Fall zu behandeln, in dem eine Multiplikation mit einer Konstanten auf eine Multiplikation mit Null folgt. Teste die Korrektur mit dem bereitgestellten IR Beispiel.

Tech Stack

Keine

Domain

backend

Issue Type

Fehler

SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.

3

Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.

3-5 Tage

AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.

Aktiv

KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.

Klar

Voraussetzungen

GitC++LLVM basics

EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.

40