llvm/llvm-project

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

Offen

#85.241 geöffnet am 14.03.2024

Auf GitHub ansehenContributor Guide
 (36 Kommentare) (1 Reaktion) (1 zugewiesene Person)C++ (10.782 Forks)batch import
floating-pointgood first issuellvm:instcombinemissed-optimization

Repository-Metriken

Stars
 (26.378 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

https://alive2.llvm.org/ce/z/bKDTJd https://godbolt.org/z/v1qYrb5Ka

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
}

@jayfoad @regehr

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