llvm/llvm-project

[X86] computeKnownBitsForTargetNode - add X86ISD::GF2P8AFFINEQB handling

Open

#190 520 ouverte le 5 avr. 2026

Voir sur GitHub
 (13 commentaires) (0 réactions) (2 assignés)C++ (10 782 forks)batch import
backend:X86good first issue

Métriques du dépôt

Stars
 (26 378 stars)
Métriques de merge PR
 (Merge moyen 1j 2h) (1 000 PRs mergées en 30 j)

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)

Guide contributeur

Direction de recherche
Étudiez les implémentations existantes de computeKnownBitsForTargetNode pour d'autres nœuds X86 ISD. Comprenez la sémantique de VGF2P8AFFINEQB à partir du guide des intrinsèques Intel. Implémentez le calcul des bits connus pour le nœud GF2P8AFFINEQB, en le considérant comme une transformation affine bit par bit. Testez à l'aide des intrinsèques GFNI sur une machine avec support GFNI ou via l'infrastructure de test de LLVM avec évaluation constexpr.
Stack technique
cpp
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
C++LLVM internalsx86 GFNI
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
25