Index: clang/lib/AST/Interp/Floating.h =================================================================== --- clang/lib/AST/Interp/Floating.h +++ clang/lib/AST/Interp/Floating.h @@ -94,6 +94,7 @@ 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 { Index: clang/lib/AST/Interp/InterpBuiltin.cpp =================================================================== --- clang/lib/AST/Interp/InterpBuiltin.cpp +++ clang/lib/AST/Interp/InterpBuiltin.cpp @@ -172,6 +172,20 @@ 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(); + bool IsInf = Arg.isInf(); + + if (CheckSign) + S.Stk.push>( + Integral<32, true>::from(IsInf ? (Arg.isNegative() ? -1 : 1) : 0)); + else + S.Stk.push>(Integral<32, true>::from(Arg.isInf())); + return true; +} + bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F) { InterpFrame *Frame = S.Current; APValue Dummy; @@ -232,6 +246,16 @@ return Ret(S, OpPC, Dummy); break; + case Builtin::BI__builtin_isinf: + if (interp__builtin_isinf(S, OpPC, Frame, F, /*Sign=*/false)) + return Ret(S, OpPC, Dummy); + break; + + case Builtin::BI__builtin_isinf_sign: + if (interp__builtin_isinf(S, OpPC, Frame, F, /*Sign=*/true)) + return Ret(S, OpPC, Dummy); + break; + default: return false; } Index: clang/test/AST/Interp/builtin-functions.cpp =================================================================== --- clang/test/AST/Interp/builtin-functions.cpp +++ clang/test/AST/Interp/builtin-functions.cpp @@ -62,3 +62,8 @@ constexpr float Nan2 = __builtin_nans([](){return "0xAE98";}()); // ref-error {{must be initialized by a constant expression}} } + +namespace inf { + static_assert(__builtin_isinf(__builtin_inf()), ""); + static_assert(!__builtin_isinf(1.0), ""); +}