[clang] [Clang] VectorExprEvaluator::VisitCallExpr / InterpretBuiltin - allow AVX/AVX512 subvector insertion intrinsics to be used in constexpr #157709 (PR #158778)

Timm Baeder via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 16 05:53:18 PDT 2025


================
@@ -2937,6 +2937,56 @@ static bool interp__builtin_elementwise_triop(
   return true;
 }
 
+static bool interp__builtin_x86_insert_subvector(InterpState &S, CodePtr OpPC,
+                                                 const CallExpr *Call,
+                                                 unsigned ID) {
+  assert(Call->getNumArgs() == 3);
+
+  PrimType ImmPT = *S.getContext().classify(Call->getArg(2));
+  APSInt ImmAPS = popToAPSInt(S.Stk, ImmPT);
+  uint64_t Index = ImmAPS.getZExtValue();
+
+  const Pointer &SubVec = S.Stk.pop<Pointer>();
+  if (!SubVec.getFieldDesc()->isPrimitiveArray()) {
+    return Invalid(S, OpPC);
----------------
tbaederr wrote:

Just return false? The diagnostic output with `Invalid()` talks about an invalid expression otherwise and I don't believe this matches the output of the current interpreter.
Also remove the braces for single-statement if statements.

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


More information about the cfe-commits mailing list