llvm/llvm-project

[X86] computeKnownBitsForTargetNode - add X86ISD::GF2P8AFFINEQB handling

Open

#190.520 aberto em 5 de abr. de 2026

Ver no GitHub
 (13 comments) (0 reactions) (2 assignees)C++ (10.782 forks)batch import
backend:X86good first issue

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

X86ISD::GF2P8AFFINEQB nodes are being used for many shift/rotate style expansions, it'd be very useful if we can access the known bits to attempt additional folding afterward (e.g #190502).

This should only be attempted by somebody with access to a CPU with GFNI support to allow them to actually test this properly (although constexpr testing can help now that GFNI intrinsics support it).

Reference: https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#ig_expand=172,3053,2650,3028,3046,849,3516,3630,3054,3053,3054,4389,2239,2239,4602,205,196,4461,3954,1601,2140,417,2873,2851,2571,5840,2571,2927,3639&text=VGF2P8AFFINEQB

(see also GFNIAffine() in llvm-project\clang\lib\AST\ExprConstant.cpp)

Guia do colaborador

Direção de pesquisa
Estude as implementações existentes de computeKnownBitsForTargetNode para outros nós X86 ISD. Entenda a semântica de VGF2P8AFFINEQB a partir do guia de intrínsecos da Intel. Implemente o cálculo de bits conhecidos para o nó GF2P8AFFINEQB, considerando o como uma transformação afim bit a bit. Teste usando intrínsecos GFNI em uma máquina com suporte GFNI ou através da infraestrutura de teste do LLVM com avaliação constexpr.
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.
4
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++LLVM internalsx86 GFNI
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
25