llvm/llvm-project

[X86][Clang] VectorExprEvaluator::VisitCallExpr / InterpretBuiltin - allow SSE/AVX FP2INT conversion intrinsics to be used in constexpr

Open

#169 374 ouverte le 24 nov. 2025

Voir sur GitHub
 (10 commentaires) (0 réactions) (2 assignés)C++ (10 782 forks)batch import
backend:X86clang:bytecodeclang:frontendclang:headersconstexprgood 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

Similar to #160312 except initially we should only allow EXACT/INBOUNDS and FINITE conversions - any special case (DENORMAL/INF/NAN/etc.) or loss of precision shouldn't be allowed in constexpr for now.

_mm_cvtss_si32
_mm_cvt_ss2si
_mm_cvtss_si64
_mm_cvtps_pi32
_mm_cvt_ps2pi

_mm_cvttss_si32
_mm_cvtt_ss2si
_mm_cvttss_si64
_mm_cvttps_pi32
_mm_cvtt_ps2pi

_mm_cvtps_pi16
_mm_cvtps_pi8

_mm_cvtpd_epi32
_mm_cvtsd_si32
_mm_cvttpd_epi32
_mm_cvttsd_si32

_mm_cvtpd_pi32
_mm_cvttpd_pi32

_mm_cvtsd_si64
_mm_cvttsd_si64

_mm_cvtps_epi32
_mm_cvttps_epi32

_mm256_cvtpd_epi32
_mm256_cvttpd_epi32
_mm256_cvtps_epi32
_mm256_cvttps_epi32

There are also the AVX512 variants, but the SSE/AVX are a good starting point.

Guide contributeur

Direction de recherche
Étudiez l'implémentation existante pour cvtss si32 dans VectorExprEvaluator, en particulier la gestion de VisitCallExpr pour les fonctions intégrées. Étendez la logique pour autoriser des conversions exactes pour les intrinsèques listées, en suivant les modèles du problème #160312. Concentrez vous sur la fonction InterpretBuiltin et assurez vous que seules les conversions finies et dans les limites sont autorisées.
Stack technique
Aucun
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.
1-2 jours
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++Clang internalsSSE/AVX intrinsics
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
30