llvm/llvm-project

[DAG] Add computeKnownBits(FREEZE(X)) handling

Open

#161.642 aberto em 2 de out. de 2025

Ver no GitHub
 (4 comments) (0 reactions) (1 assignee)C++ (10.782 forks)batch import
good first issuellvm:SelectionDAG

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

Similar to #161507 - add FREEZE handling to allow us to analyze demanded elements of a node through a FREEZE

The tricky bit will be to add test coverage - you will need a FREEZE node that can't be removed due to some elements possibly being undef/poison, but other elements that are not and have useful known bits data for a dependent node.

This might be easier once #161512 has landed.

Guia do colaborador

Direção de pesquisa
Estude as implementações existentes de computeKnownBits para outros nós em SelectionDAG, entenda a semântica de FREEZE e escreva código para lidar com FREEZE em computeKnownBits. Garanta adicionar casos de teste onde FREEZE não pode ser eliminado devido a elementos undef/poison.
Pilha de tecnologia
cpp
Domain
backend
Tipo Issue
Funcionalidade
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.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
C++LLVM
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20