================
@@ -3359,6 +3391,143 @@ static bool
interp__builtin_ia32_cvt_vec2mask(InterpState &S, CodePtr OpPC,
pushInteger(S, RetMask, Call->getType());
return true;
}
+static bool interp__builtin_ia32_cvtsd2ss(InterpState &S, CodePtr OpPC,
+ const CallExpr *Call) {
+ assert(Call->getNumArgs() == 2);
+
+ const Pointer &B = S.Stk.pop<Pointer>();
+ const Pointer &A = S.Stk.pop<Pointer>();
+ if (!CheckLoad(S, OpPC, A) || !CheckLoad(S, OpPC, B))
+ return false;
+
+ const auto *DstVTy = Call->getType()->castAs<VectorType>();
+ unsigned NumElems = DstVTy->getNumElements();
+ const Pointer &Dst = S.Stk.peek<Pointer>();
+
+ // Copy all elements from A to Dst
+ for (unsigned I = 0; I != NumElems; ++I)
+ Dst.elem<Floating>(I) = A.elem<Floating>(I);
+
+ // Convert element 0 from double to float
+ Floating Conv = S.allocFloat(
+ S.getASTContext().getFloatTypeSemantics(S.getASTContext().FloatTy));
+ APFloat SrcD = B.elem<Floating>(0).getAPFloat();
+ if (!convertDoubleToFloatStrict(SrcD, Conv, S, Call))
+ return false;
+ Dst.elem<Floating>(0) = Conv;
+
+ Dst.initializeAllElements();
+ return true;
+}
+
+static bool interp__builtin_ia32_cvtsd2ss_round_mask(InterpState &S,
+ CodePtr OpPC,
+ const CallExpr *Call) {
+ assert(Call->getNumArgs() == 5);
+
+ // Pop in reverse order: rounding, mask, src, b, a
+ APSInt Rounding = popToAPSInt(S, Call->getArg(4)->getType());
+ APSInt MaskInt = popToAPSInt(S, Call->getArg(3)->getType());
+ const Pointer &Src = S.Stk.pop<Pointer>();
+ const Pointer &B = S.Stk.pop<Pointer>();
+ const Pointer &A = S.Stk.pop<Pointer>();
+ if (!CheckLoad(S, OpPC, A) || !CheckLoad(S, OpPC, B) ||
+ !CheckLoad(S, OpPC, Src))
+ return false;
+
+ const auto *DstVTy = Call->getType()->castAs<VectorType>();
+ unsigned NumElems = DstVTy->getNumElements();
+ const Pointer &Dst = S.Stk.peek<Pointer>();
+
+ // Copy all elements from A to Dst
+ for (unsigned I = 0; I != NumElems; ++I)
+ Dst.elem<Floating>(I) = A.elem<Floating>(I);
+
+ // If mask bit 0 is set, convert element 0 from double to float; otherwise
use
+ // Src
+ if (MaskInt.getZExtValue() & 0x1) {
+ Floating Conv = S.allocFloat(
+ S.getASTContext().getFloatTypeSemantics(S.getASTContext().FloatTy));
+ APFloat SrcD = B.elem<Floating>(0).getAPFloat();
+ if (!convertDoubleToFloatStrict(SrcD, Conv, S, Call))
+ return false;
+ Dst.elem<Floating>(0) = Conv;
+ } else {
+ Dst.elem<Floating>(0) = Src.elem<Floating>(0);
+ }
+
+ Dst.initializeAllElements();
+ return true;
+}
+
+static bool interp__builtin_ia32_cvtpd2ps(InterpState &S, CodePtr OpPC,
+ const CallExpr *Call,
+ unsigned BuiltinID) {
+ bool IsMasked = (BuiltinID == X86::BI__builtin_ia32_cvtpd2ps_mask ||
+ BuiltinID == X86::BI__builtin_ia32_cvtpd2ps512_mask);
+ bool HasRounding = (BuiltinID == X86::BI__builtin_ia32_cvtpd2ps512_mask);
+
+ APSInt MaskVal(1, false);
+ Pointer PassThrough;
+ Pointer SrcPd;
+ APSInt Rounding;
+
+ if (IsMasked) {
+ // Pop in reverse order
----------------
tbaederr wrote:
```suggestion
```
https://github.com/llvm/llvm-project/pull/169980
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
