llvm/llvm-project

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

Open

#161 642 ouverte le 2 oct. 2025

Voir sur GitHub
 (4 commentaires) (0 réactions) (1 assigné)C++ (10 782 forks)batch import
good first issuellvm:SelectionDAG

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

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.

Guide contributeur

Direction de recherche
Étudiez les implémentations existantes de computeKnownBits pour d'autres nœuds dans SelectionDAG, comprenez la sémantique de FREEZE et écrivez du code pour gérer FREEZE dans computeKnownBits. Assurez vous d'ajouter des cas de test où FREEZE ne peut pas être éliminé en raison d'éléments undef/poison.
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.
3
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.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
C++LLVM
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
20