llvm/llvm-project

missed fold, sext(fptosi x to i32) => fptosi x to i64

Open

#85.268 aberto em 14 de mar. de 2024

Ver no GitHub
 (13 comments) (0 reactions) (1 assignee)C++ (10.782 forks)batch import
floating-pointgood first issuellvm:codegenmissed-optimization

Métricas do repositório

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

Description

https://alive2.llvm.org/ce/z/bFW9vZ online Alive timed out for this one, you'll need local alive2 with larger smt-to.

define i64 @src(float %0) {
if.end27:
%1 = fptosi float %0 to i32
%2 = sext i32 %1 to i64
ret i64 %2

sink: ; No predecessors!
unreachable
}

define i64 @tgt(float %0) {
if.end27:
%1 = fptosi float %0 to i64
ret i64 %1

sink: ; No predecessors!
unreachable
}

no brainer, same pattern applies to fptoui.

Guia do colaborador

Direção de pesquisa
Implemente a dobra na passagem InstCombine do LLVM, especificamente visando a combinação de fptosi para i32 seguida por sext para i64. O arquivo relevante é lib/Transforms/InstCombine/InstCombineCasts.cpp. Garanta a correção usando alive2 com timeout SMT aumentado. O mesmo padrão se aplica a fptoui, então estenda também para o caso não assinado. Consulte dobras semelhantes existentes para orientação.
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.
Meio dia
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
C++LLVMGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40