diff --git a/clang/lib/AST/Interp/InterpBuiltin.cpp b/clang/lib/AST/Interp/InterpBuiltin.cpp index b5e19af5c3728..6fe9bc7628efe 100644 --- a/clang/lib/AST/Interp/InterpBuiltin.cpp +++ b/clang/lib/AST/Interp/InterpBuiltin.cpp @@ -187,6 +187,15 @@ static bool interp__builtin_isinf(InterpState &S, CodePtr OpPC, return true; } +static bool interp__builtin_isfinite(InterpState &S, CodePtr OpPC, + const InterpFrame *Frame, + const Function *F) { + const Floating &Arg = S.Stk.peek(); + + S.Stk.push>(Integral<32, true>::from(Arg.isFinite())); + return true; +} + bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F) { InterpFrame *Frame = S.Current; APValue Dummy; @@ -263,6 +272,11 @@ bool InterpretBuiltin(InterpState &S, CodePtr OpPC, const Function *F) { return Ret(S, OpPC, Dummy); break; + case Builtin::BI__builtin_isfinite: + if (interp__builtin_isfinite(S, OpPC, Frame, F)) + return Ret(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 7eb3e187d28ea..9457100a15f52 100644 --- a/clang/test/AST/Interp/builtin-functions.cpp +++ b/clang/test/AST/Interp/builtin-functions.cpp @@ -76,4 +76,7 @@ namespace fmin { namespace inf { static_assert(__builtin_isinf(__builtin_inf()), ""); static_assert(!__builtin_isinf(1.0), ""); + + static_assert(__builtin_isfinite(1.0), ""); + static_assert(!__builtin_isfinite(__builtin_inf()), ""); }