llvm/llvm-project

Missing FP optimization opportunities for fcmp ord operations

Fechada

#49.175 aberto em 4 de abr. de 2021

Ver no GitHubGuia do colaborador
 (4 comentários) (1 reação) (1 responsável)C++ (10.782 forks)batch import
bugzillafloating-pointgood first issuellvm:optimizationsmissed-optimization

Métricas do repositório

Stars
 (26.378 estrelas)
Métricas de merge de PR
 (Mesclagem média 1d 2h) (1.000 fundiu PRs em 30d)

Description
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

Guia do colaborador

Direção de pesquisa
Explore a passagem InstCombine no LLVM, particularmente o tratamento das operações fcmp ord. Examine o arquivo de teste llvm/test/Transforms/InstCombine/and fcmp.ll e o link Alive2 fornecido. Verifique se há alguma implementação existente ou patches relacionados no bugzilla vinculado. Implemente a otimização descrita, garantindo que não haja comportamento indefinido usando a instrução freeze. Assegure a correção com o Alive2.
Pilha de tecnologia
cpp
Domain
performance
Tipo Issue
Performance
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
5
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
3-5 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Bloqueado
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
LLVM IRInstCombine passFP optimization
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
15