llvm/llvm-project

[clang] Bitcasts from vectors to integers not supported at compile time

Open

#159.905 aberto em 20 de set. de 2025

Ver no GitHub
 (14 comments) (0 reactions) (1 assignee)C++ (10.782 forks)batch import
clang:frontendconstexprgood first issue

Métricas do repositório

Stars
 (26.378 stars)
Métricas de merge de PR
 (Mesclagem média 1d 2h) (1.000 fundiu PRs em 30d)

Description

I have test case that seems to regressed for latest constexpr changes.

#include<immintrin.h>
constexpr
__m64 foo(__m64 a, int b){
    return (__m64)(long long)a << b;
}
int main(){
    foo((__m64){5},1);
    return 0;
}

gcc-trunk works fine. clang-trunk errors out.

<source>:3:7: error: constexpr function never produces a constant expression [-Winvalid-constexpr]
    3 | __m64 foo(__m64 a, int b){
      |       ^~~
<source>:4:19: note: subexpression not valid in a constant expression
    4 |     return (__m64)(long long)a << b;

Following change passed

#include<immintrin.h>
constexpr
__m64 foo(__m64 a, int b){
    if(b > 63)
        return (__m64){0};
    return (__m64)(long long)a << b;
}
int main(){
    foo((__m64){5},1);
    return 0;
}

here is repro https://godbolt.org/z/d7obEcb57 Does anyone know what may be trouble here?

Guia do colaborador

Direção de pesquisa
Investigue o avaliador de expressões constantes no clang para suportar bitcasts de tipos vetoriais para tipos inteiros.
Pilha de tecnologia
cpp
Domain
backendtoolingdeveloper experience
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
3-5 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
None
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20