[clang] [X86][Clang] VectorExprEvaluator::VisitCallExpr / InterpretBuiltin - Allow AVX/AVX512 IFMA madd52 intrinsics to be used in constexpr (PR #161056)

NagaChaitanya Vellanki via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 29 22:59:26 PDT 2025


================
@@ -3564,6 +3564,28 @@ bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const CallExpr *Call,
           return F;
         });
 
+  case X86::BI__builtin_ia32_vpmadd52luq128:
+  case X86::BI__builtin_ia32_vpmadd52luq256:
+  case X86::BI__builtin_ia32_vpmadd52luq512:
+    return interp__builtin_elementwise_triop(
+        S, OpPC, Call, [](const APSInt &A, const APSInt &B, const APSInt &C) {
+          APSInt result = A * B + C;
+          APSInt mask(APSInt::getAllOnes(52).zext(64), false);
+          APSInt masked_result = result & mask;
+          return APSInt(masked_result, true); // unsigned result
+        });
+  case X86::BI__builtin_ia32_vpmadd52huq128:
+  case X86::BI__builtin_ia32_vpmadd52huq256:
+  case X86::BI__builtin_ia32_vpmadd52huq512:
+    return interp__builtin_elementwise_triop(
+        S, OpPC, Call, [](const APSInt &A, const APSInt &B, const APSInt &C) {
+          APSInt result = A * B + C;
----------------
chaitanyav wrote:

Fixed the implementation, please review.

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


More information about the cfe-commits mailing list