llvm/llvm-project

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

Open

#85.241 aperta il 14 mar 2024

Vedi su GitHub
 (36 commenti) (1 reazione) (1 assegnatario)C++ (10.782 fork)batch import
floating-pointgood first issuellvm:instcombinemissed-optimization

Metriche repository

Star
 (26.378 star)
Metriche merge PR
 (Merge medio 1g 2h) (1000 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Il problema dimostra una mancata riduzione di (X * 0.0) * costante in X * 0.0. Il link alive2 conferma che la trasformazione è corretta. Esamina il passaggio InstCombine di LLVM, in particolare il codice che gestisce la riduzione di fmul. I file rilevanti sono probabilmente in llvm/lib/Transforms/InstCombine/InstructionCombining.cpp o InstCombineMulDivRem.cpp. C'è un assegnatario ma nessuna PR collegata. Studia i pattern esistenti di riduzione di fmul con zero ed estendili per gestire il caso in cui una moltiplicazione per una costante segue una moltiplicazione per zero. Testa la correzione con l'esempio IR fornito.
Tech stack
Nessuno
Dominio
backend
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
GitC++LLVM basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40