diff --git a/clang/include/clang/Basic/Builtins.def b/clang/include/clang/Basic/Builtins.def --- a/clang/include/clang/Basic/Builtins.def +++ b/clang/include/clang/Basic/Builtins.def @@ -397,6 +397,7 @@ // Access to floating point environment BUILTIN(__builtin_flt_rounds, "i", "n") +BUILTIN(__builtin_set_flt_rounds, "vi", "n") // C99 complex builtins BUILTIN(__builtin_cabs, "dXd", "Fne") diff --git a/clang/lib/CodeGen/CGBuiltin.cpp b/clang/lib/CodeGen/CGBuiltin.cpp --- a/clang/lib/CodeGen/CGBuiltin.cpp +++ b/clang/lib/CodeGen/CGBuiltin.cpp @@ -3381,6 +3381,15 @@ return RValue::get(Result); } + case Builtin::BI__builtin_set_flt_rounds: { + Function *F = CGM.getIntrinsic(Intrinsic::set_rounding); + + Value *V = EmitScalarExpr(E->getArg(0)); + Builder.CreateCall(F, V); + return RValue::get(nullptr); + } + + case Builtin::BI__builtin_fpclassify: { CodeGenFunction::CGFPOptionsRAII FPOptsRAII(*this, E); // FIXME: for strictfp/IEEE-754 we need to not trap on SNaN here. diff --git a/clang/lib/Sema/SemaChecking.cpp b/clang/lib/Sema/SemaChecking.cpp --- a/clang/lib/Sema/SemaChecking.cpp +++ b/clang/lib/Sema/SemaChecking.cpp @@ -2146,6 +2146,14 @@ return ExprError(); break; + case Builtin::BI__builtin_set_flt_rounds: + if (CheckBuiltinTargetInSupported(*this, BuiltinID, TheCall, + {llvm::Triple::x86, llvm::Triple::x86_64, + llvm::Triple::arm, llvm::Triple::thumb, + llvm::Triple::aarch64})) + return ExprError(); + break; + case Builtin::BI__builtin_isgreater: case Builtin::BI__builtin_isgreaterequal: case Builtin::BI__builtin_isless: diff --git a/clang/test/CodeGen/builtin_set_flt_rounds.c b/clang/test/CodeGen/builtin_set_flt_rounds.c new file mode 100644 --- /dev/null +++ b/clang/test/CodeGen/builtin_set_flt_rounds.c @@ -0,0 +1,8 @@ +// RUN: %clang_cc1 -triple x86_64-gnu-linux %s -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 -triple x86_64-windows-msvc %s -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 -triple aarch64-gnu-linux %s -emit-llvm -o - | FileCheck %s +// RUN: %clang_cc1 -triple aarch64-windows-msvc %s -emit-llvm -o - | FileCheck %s +void test_builtin_set_flt_rounds() { + __builtin_set_flt_rounds(1); + // CHECK: call void @llvm.set.rounding(i32 1) +} diff --git a/clang/test/Sema/builtin_set_flt_rounds.c b/clang/test/Sema/builtin_set_flt_rounds.c new file mode 100644 --- /dev/null +++ b/clang/test/Sema/builtin_set_flt_rounds.c @@ -0,0 +1,11 @@ +// RUN: %clang_cc1 -triple mipsel-unknown-linux -fsyntax-only %s -verify +// RUN: %clang_cc1 -triple x86_64-gnu-linux -fsyntax-only %s -verify +struct S {int a;}; +void test_builtin_set_flt_rounds() { +#ifndef __x86_64__ + __builtin_set_flt_rounds(1); // expected-error {{builtin is not supported on this target}} +#else +struct S s; +__builtin_set_flt_rounds(s); // expected-error {{passing 'struct S' to parameter of incompatible type}} +#endif +}