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

Métricas do repositório

Stars

26.378 stars (26.378 stars)

Métricas de merge de PR

Mesclagem média 1d 2h (Mesclagem média 1d 2h)1.000 fundiu PRs em 30d (1.000 fundiu PRs em 30d)

Description

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
}

Guia do colaborador

Direção de pesquisa

O problema demonstra uma falta de dobra de (X * 0.0) * constante para X * 0.0. O link alive2 confirma que a transformação está correta. Investigue o passe InstCombine do LLVM, especificamente o código que lida com a dobra de fmul. Os arquivos relevantes provavelmente estão em llvm/lib/Transforms/InstCombine/InstructionCombining.cpp ou InstCombineMulDivRem.cpp. Há um responsável atribuído, mas nenhum PR vinculado. Pesquise os padrões existentes de dobra de fmul com zero e estenda os para lidar com o caso em que uma multiplicação por constante segue uma multiplicação por zero. Teste a correção com o exemplo de IR fornecido.

Pilha de tecnologia

None

Domain

backend

Tipo Issue

Bug

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

3

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.

Ativo

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

Claro

Prerequisites

GitC++LLVM basics

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

40