llvm/llvm-project

Missing FP optimization opportunities for fcmp ord operations

Chiusa

#49.175 aperta il 4 apr 2021

Vedi su GitHubGuida contributor
 (4 commenti) (1 reazione) (1 assegnatario)C++ (10.782 fork)batch import
bugzillafloating-pointgood first issuellvm:optimizationsmissed-optimization

Metriche repository

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

Descrizione
Bugzilla Link 49831
Version trunk
OS All
Blocks llvm/llvm-project#49274
CC @RKSimon,@rotateright

Extended Description

; Excerpted from llvm/test/Transforms/InstCombine/and-fcmp.ll

define i1 @_commute_logical(i1 %z, float %c, float %d) {
  %ord1 = fcmp ninf ord float %c, 0.0
  %and = select i1 %ord1, i1 %z, i1 false
  %ord2 = fcmp ninf reassoc ord float %d, 0.0
  %r = select i1 %ord2, i1 %and, i1 false
  ret i1 %r
}

This can be optimized to

  %c.fr = freeze float %c
  %ord1 = fcmp ord float %c.fr, %d
  %r = select i1 %ord1, i1 %z, i1 false

Alive2 link: https://alive2.llvm.org/ce/z/QfkJak

Guida contributor

Direzione di ricerca
Esplora la passata InstCombine in LLVM, in particolare la gestione delle operazioni fcmp ord. Controlla il file di test llvm/test/Transforms/InstCombine/and fcmp.ll e il link Alive2 fornito. Verifica se esiste un'implementazione esistente o patch correlate dal bugzilla collegato. Implementa l'ottimizzazione descritta, assicurandoti di non introdurre comportamenti indefiniti utilizzando l'istruzione freeze. Garantisci la correttezza con Alive2.
Tech stack
cpp
Dominio
performance
Tipo issue
Performance
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
5
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.
Bloccata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
LLVM IRInstCombine passFP optimization
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
15