================
@@ -3477,6 +3523,30 @@ 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, [](const APSInt &Src) {
+ APInt Value = APSInt(Src).truncSSat(Src.getBitWidth() / 2);
+ return APSInt(Value, /*isUnsigned=*/false);
+ });
+ 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, [](const APSInt &Src) {
+ unsigned DstBits = Src.getBitWidth() / 2;
+ if (Src.isNegative())
+ return APSInt(APInt::getZero(DstBits), /*isUnsigned=*/true);
----------------
RKSimon wrote:
The builtin result types are never unsigned - so this should probably be set to
false - or just have the callbacks return APInt and handle the APSInt
conversion in interp__builtin_x86_pack and always respect the DstTy signedness?
https://github.com/llvm/llvm-project/pull/156003
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
