[clang] [Headers][X86] VectorExprEvaluator::VisitCallExpr - allow SSE/AVX2/AVX512 pack intrinsics to be used in constexpr (PR #156003)
Simon Pilgrim via cfe-commits
cfe-commits at lists.llvm.org
Thu Sep 18 06:04:57 PDT 2025
================
@@ -3435,6 +3524,22 @@ bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const CallExpr *Call,
}
return LHS.lshr(RHS.getZExtValue());
});
+ case clang::X86::BI__builtin_ia32_packsswb128:
+ case clang::X86::BI__builtin_ia32_packsswb256:
+ case clang::X86::BI__builtin_ia32_packsswb512:
+ case clang::X86::BI__builtin_ia32_packssdw128:
+ case clang::X86::BI__builtin_ia32_packssdw256:
+ case clang::X86::BI__builtin_ia32_packssdw512:
+ return interp__builtin_x86_pack(S, OpPC, Call, /*Unsat=*/false,
+ NarrowElement);
+ case clang::X86::BI__builtin_ia32_packusdw128:
+ case clang::X86::BI__builtin_ia32_packusdw256:
+ case clang::X86::BI__builtin_ia32_packusdw512:
+ case clang::X86::BI__builtin_ia32_packuswb128:
+ case clang::X86::BI__builtin_ia32_packuswb256:
+ case clang::X86::BI__builtin_ia32_packuswb512:
+ return interp__builtin_x86_pack(S, OpPC, Call, /*Unsat=*/true,
+ NarrowElement);
----------------
RKSimon wrote:
```
[](const APSInt &Src) {
unsigned DstBits = Src.getBitwidth() / 2;
if (Src.isIntN(DstBits))
return Src.trunc(DstBits);
if (Src.isNegative())
return APInt::getZero(DstBits);
return APInt::getAllOnes(DstBits);
}
```
https://github.com/llvm/llvm-project/pull/156003
More information about the cfe-commits
mailing list