llvm/llvm-project

[DAG] ISD::matchUnaryPredicate / matchUnaryFpPredicate / matchBinaryPredicate - add DemandedElts variant

Open

#181.658 aberto em 16 de fev. de 2026

Ver no GitHub
 (6 comments) (1 reaction) (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

The ISD::match*Predicate methods help us to perform all_of tests on scalar/splat/build_vector constants with a callback test.

It'd be very useful if we could provide variants of these that take a DemandedElts argument (similar to #181485 and other DAG value tracking methods), to allow us to restrict the build_vector tests to specific elements.

For instance, this would allow us to remove the vector constant checks from isKnownToBeAPowerOfTwo entirely and just use the initial matchUnaryPredicate call at the start of the method:

https://github.com/RKSimon/llvm-project/blob/20aff2085c358d3e112b245494161ddb9ffe0410/llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp#L4682-L4696

scalar/splat cases can just ignore the DemandedElts argument, but we should assert the build_vector are the same size as the DemandedElts APInt

Guia do colaborador

Direção de pesquisa
Estude o método ISD::matchUnaryPredicate existente e o padrão DemandedElts usado em métodos semelhantes (ex: #181485). Em seguida, adicione sobrecargas que aceitam um argumento DemandedElts e atualize o tratamento de build vector de acordo.
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.
1-3 horas
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
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
45