[clang] [Headers][X86] VectorExprEvaluator::VisitCallExpr / InterpretBuiltin - allow PALIGNR byte shift intrinsics to be used in constexpr (PR #162005)

Simon Pilgrim via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 6 04:17:50 PST 2025


================
@@ -4718,6 +4726,26 @@ bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const CallExpr *Call,
           return APInt(8, 0);
         });
 
+  case X86::BI__builtin_ia32_palignr128:
+  case X86::BI__builtin_ia32_palignr256:
+  case X86::BI__builtin_ia32_palignr512:
+    return interp__builtin_ia32_shuffle_generic(
+        S, OpPC, Call, [](unsigned DstIdx, unsigned Shift, unsigned NumElems) {
+          // Default to -1 → zero-fill this destination element
+          unsigned VecIdx = 0;
+          int ElemIdx = -1;
+
+          // Elements come from VecB first, then VecA after the shift boundary
+          unsigned ShiftedIdx = DstIdx + Shift;
+          if (ShiftedIdx < NumElems) { // from VecB
----------------
RKSimon wrote:

These should be NumElemsPerLane - given the palign builtins are hardcoded to `<X x i8>` types - I think you can just assume NumElemsPerLane == 16 (and remove the NumElems arg again from interp__builtin_ia32_shuffle_generic - sorry about that!).

https://github.com/llvm/llvm-project/pull/162005


More information about the cfe-commits mailing list