Author: Timm Bäder Date: 2023-07-31T08:49:22+02:00 New Revision: 72450a77937c3d47f144b20cf16b595955583a0c
URL: https://github.com/llvm/llvm-project/commit/72450a77937c3d47f144b20cf16b595955583a0c DIFF: https://github.com/llvm/llvm-project/commit/72450a77937c3d47f144b20cf16b595955583a0c.diff LOG: [clang][Interp] Implement __builtin_isinf Differential Revision: https://reviews.llvm.org/D155371 Added: Modified: clang/lib/AST/Interp/Floating.h clang/lib/AST/Interp/InterpBuiltin.cpp clang/test/AST/Interp/builtin-functions.cpp Removed: ################################################################################ diff --git a/clang/lib/AST/Interp/Floating.h b/clang/lib/AST/Interp/Floating.h index 447361a43696b0..f98f49a7afb70e 100644 --- a/clang/lib/AST/Interp/Floating.h +++ b/clang/lib/AST/Interp/Floating.h @@ -87,6 +87,7 @@ class Floating final { bool isMin() const { return F.isSmallest(); } bool isMinusOne() const { return F.isExactlyValue(-1.0); } bool isNan() const { return F.isNaN(); } + bool isInf() const { return F.isInfinity(); } bool isFinite() const { return F.isFinite(); } ComparisonCategoryResult compare(const Floating &RHS) const { diff --git a/clang/lib/AST/Interp/InterpBuiltin.cpp b/clang/lib/AST/Interp/InterpBuiltin.cpp index 01c41339bba8c8..b5e19af5c37288 100644 --- a/clang/lib/AST/Interp/InterpBuiltin.cpp +++ b/clang/lib/AST/Interp/InterpBuiltin.cpp @@ -173,6 +173,20 @@ static bool interp__builtin_isnan(InterpState &S, CodePtr OpPC, return true; } +static bool interp__builtin_isinf(InterpState &S, CodePtr OpPC, + const InterpFrame *Frame, const Function *F, + bool CheckSign) { + const Floating &Arg = S.Stk.peek<Floating>(); + bool IsInf = Arg.isInf(); + + if (CheckSign) + S.Stk.push<Integral<32, true>>( + Integral<32, true>::from(IsInf ? (Arg.isNegative() ? -1 : 1) : 0)); + else + S.Stk.push<Integral<32, true>>(Integral<32, true>::from(Arg.isInf())); + return true; +} + bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F) { InterpFrame *Frame = S.Current; APValue Dummy; @@ -239,6 +253,16 @@ bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F) { return Ret<PT_Sint32>(S, OpPC, Dummy); break; + case Builtin::BI__builtin_isinf: + if (interp__builtin_isinf(S, OpPC, Frame, F, /*Sign=*/false)) + return Ret<PT_Sint32>(S, OpPC, Dummy); + break; + + case Builtin::BI__builtin_isinf_sign: + if (interp__builtin_isinf(S, OpPC, Frame, F, /*Sign=*/true)) + return Ret<PT_Sint32>(S, OpPC, Dummy); + break; + default: return false; } diff --git a/clang/test/AST/Interp/builtin-functions.cpp b/clang/test/AST/Interp/builtin-functions.cpp index 8ff717217e4728..7eb3e187d28ead 100644 --- a/clang/test/AST/Interp/builtin-functions.cpp +++ b/clang/test/AST/Interp/builtin-functions.cpp @@ -72,3 +72,8 @@ namespace fmin { constexpr float min3 = __builtin_fmin(__builtin_inf(), __builtin_nan("")); static_assert(min3 == __builtin_inf(), ""); } + +namespace inf { + static_assert(__builtin_isinf(__builtin_inf()), ""); + static_assert(!__builtin_isinf(1.0), ""); +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
