llvm/llvm-project

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

Open

#161.642 geöffnet am 2. Okt. 2025

Auf GitHub ansehen
 (4 Kommentare) (0 Reaktionen) (1 zugewiesene Person)C++ (10.782 Forks)batch import
good first issuellvm:SelectionDAG

Repository-Metriken

Stars
 (26.378 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 1T 2h) (1.000 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Studieren Sie die vorhandenen computeKnownBits Implementierungen für andere Knoten in SelectionDAG, verstehen Sie die FREEZE Semantik und schreiben Sie Code zur Behandlung von FREEZE in computeKnownBits. Stellen Sie sicher, dass Testfälle hinzugefügt werden, bei denen FREEZE aufgrund von undef/poison Elementen nicht entfernt werden kann.
Tech Stack
cpp
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Frisch
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
C++LLVM
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
20