llvm/llvm-project

[DAG] isGuaranteedNotToBeUndefOrPoison - add ISD::BITCAST handling with DemandedElts

Geschlossen

#161.512 geöffnet am 01.10.2025

Auf GitHub ansehenContributor Guide
 (6 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)C++ (10.782 Forks)batch import
good first issuellvm:SelectionDAG

Repository-Metriken

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

Beschreibung

Currently ISD::BITCAST nodes fallback to the default implementation (which tests all elements), but we should be rescaling the input demanded elts to match the vector element count of the input operand, typically with APIntOps::ScaleBitMask but there will need to be special case handling of src/dst scalar types as well.

Test coverage will be the main issue

Contributor Guide

Research-Richtung
Studiere die Implementierung von isGuaranteedNotToBeUndefOrPoisonDAG in SelectionDAG/DAGCombiner.cpp und verstehe, wie DemandedElts für andere ISD Knoten verwendet wird. Siehe APIntOps::ScaleBitMask zur Größenanpassung. Für skalare Typen behandle Sonderfälle, bei denen Quelle oder Ziel skalar ist.
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.
5
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
C++LLVMCompiler Optimization
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
20