[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