Author: Matt Arsenault Date: 2023-09-09T23:14:12+03:00 New Revision: 6a08cf12d9cbc960159bf40e47078a882ca510ce
URL: https://github.com/llvm/llvm-project/commit/6a08cf12d9cbc960159bf40e47078a882ca510ce DIFF: https://github.com/llvm/llvm-project/commit/6a08cf12d9cbc960159bf40e47078a882ca510ce.diff LOG: clang: Add __builtin_exp10* and use new llvm.exp10 intrinsic https://reviews.llvm.org/D157911 Added: Modified: clang/docs/ReleaseNotes.rst clang/include/clang/Basic/Builtins.def clang/lib/CodeGen/CGBuiltin.cpp clang/test/CodeGen/constrained-math-builtins.c clang/test/CodeGen/math-builtins.c clang/test/CodeGenOpenCL/builtins-f16.cl Removed: ################################################################################ diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst index 5c2c5cf4fb2c349..fe857941171fa3d 100644 --- a/clang/docs/ReleaseNotes.rst +++ b/clang/docs/ReleaseNotes.rst @@ -377,6 +377,9 @@ Floating Point Support in Clang semantics. If ``math-errno`` is disabled in the current TU, clang will re-enable ``math-errno`` in the presense of ``#pragma float_control(precise,on)``. +- Add ``__builtin_exp10``, ``__builtin_exp10f``, + ``__builtin_exp10f16``, ``__builtin_exp10l`` and + ``__builtin_exp10f128`` builtins. AST Matchers ------------ diff --git a/clang/include/clang/Basic/Builtins.def b/clang/include/clang/Basic/Builtins.def index f5374537a0242c7..586dcf05170eb58 100644 --- a/clang/include/clang/Basic/Builtins.def +++ b/clang/include/clang/Basic/Builtins.def @@ -245,6 +245,11 @@ BUILTIN(__builtin_exp2f, "ff" , "Fne") BUILTIN(__builtin_exp2f16, "hh" , "Fne") BUILTIN(__builtin_exp2l, "LdLd", "Fne") BUILTIN(__builtin_exp2f128, "LLdLLd" , "Fne") +BUILTIN(__builtin_exp10 , "dd" , "Fne") +BUILTIN(__builtin_exp10f, "ff" , "Fne") +BUILTIN(__builtin_exp10f16, "hh" , "Fne") +BUILTIN(__builtin_exp10l, "LdLd", "Fne") +BUILTIN(__builtin_exp10f128, "LLdLLd" , "Fne") BUILTIN(__builtin_expm1 , "dd", "Fne") BUILTIN(__builtin_expm1f, "ff", "Fne") BUILTIN(__builtin_expm1l, "LdLd", "Fne") diff --git a/clang/lib/CodeGen/CGBuiltin.cpp b/clang/lib/CodeGen/CGBuiltin.cpp index 5f9199d7cadee24..df0c4cc6354d0f2 100644 --- a/clang/lib/CodeGen/CGBuiltin.cpp +++ b/clang/lib/CodeGen/CGBuiltin.cpp @@ -2433,7 +2433,16 @@ RValue CodeGenFunction::EmitBuiltinExpr(const GlobalDecl GD, unsigned BuiltinID, return RValue::get(emitUnaryMaybeConstrainedFPBuiltin(*this, E, Intrinsic::exp2, Intrinsic::experimental_constrained_exp2)); - + case Builtin::BI__builtin_exp10: + case Builtin::BI__builtin_exp10f: + case Builtin::BI__builtin_exp10f16: + case Builtin::BI__builtin_exp10l: + case Builtin::BI__builtin_exp10f128: { + // TODO: strictfp support + if (Builder.getIsFPConstrained()) + break; + return RValue::get(emitUnaryBuiltin(*this, E, Intrinsic::exp10)); + } case Builtin::BIfabs: case Builtin::BIfabsf: case Builtin::BIfabsl: diff --git a/clang/test/CodeGen/constrained-math-builtins.c b/clang/test/CodeGen/constrained-math-builtins.c index 88ae8f58a7e20e5..981cc3ac36bd907 100644 --- a/clang/test/CodeGen/constrained-math-builtins.c +++ b/clang/test/CodeGen/constrained-math-builtins.c @@ -64,6 +64,13 @@ void foo(double *d, float f, float *fp, long double *l, int *i, const char *c, _ // CHECK: call x86_fp80 @llvm.experimental.constrained.exp2.f80(x86_fp80 %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") // CHECK: call fp128 @llvm.experimental.constrained.exp2.f128(fp128 %{{.*}}, metadata !"round.tonearest", metadata !"fpexcept.strict") + __builtin_exp10(f); __builtin_exp10f(f); __builtin_exp10l(f); __builtin_exp10f128(f); + +// CHECK: call double @exp10(double noundef %{{.*}}) +// CHECK: call float @exp10f(float noundef %{{.*}}) +// CHECK: call x86_fp80 @exp10l(x86_fp80 noundef %{{.*}}) +// CHECK: call fp128 @exp10f128(fp128 noundef %{{.*}}) + __builtin_floor(f); __builtin_floorf(f); __builtin_floorl(f); __builtin_floorf128(f); // CHECK: call double @llvm.experimental.constrained.floor.f64(double %{{.*}}, metadata !"fpexcept.strict") @@ -223,6 +230,11 @@ void foo(double *d, float f, float *fp, long double *l, int *i, const char *c, _ // CHECK: declare x86_fp80 @llvm.experimental.constrained.exp2.f80(x86_fp80, metadata, metadata) // CHECK: declare fp128 @llvm.experimental.constrained.exp2.f128(fp128, metadata, metadata) +// CHECK: declare double @exp10(double noundef) +// CHECK: declare float @exp10f(float noundef) +// CHECK: declare x86_fp80 @exp10l(x86_fp80 noundef) +// CHECK: declare fp128 @exp10f128(fp128 noundef) + // CHECK: declare double @llvm.experimental.constrained.floor.f64(double, metadata) // CHECK: declare float @llvm.experimental.constrained.floor.f32(float, metadata) // CHECK: declare x86_fp80 @llvm.experimental.constrained.floor.f80(x86_fp80, metadata) diff --git a/clang/test/CodeGen/math-builtins.c b/clang/test/CodeGen/math-builtins.c index 257da44b5888a1a..962e311698f5755 100644 --- a/clang/test/CodeGen/math-builtins.c +++ b/clang/test/CodeGen/math-builtins.c @@ -318,6 +318,17 @@ __builtin_exp2(f); __builtin_exp2f(f); __builtin_exp2l(f); __builtin_ // HAS_ERRNO: declare x86_fp80 @exp2l(x86_fp80 noundef) [[NOT_READNONE]] // HAS_ERRNO: declare fp128 @exp2f128(fp128 noundef) [[NOT_READNONE]] +__builtin_exp10(f); __builtin_exp10f(f); __builtin_exp10l(f); __builtin_exp10f128(f); + +// NO__ERRNO: declare double @llvm.exp10.f64(double) [[READNONE_INTRINSIC]] +// NO__ERRNO: declare float @llvm.exp10.f32(float) [[READNONE_INTRINSIC]] +// NO__ERRNO: declare x86_fp80 @llvm.exp10.f80(x86_fp80) [[READNONE_INTRINSIC]] +// NO__ERRNO: declare fp128 @llvm.exp10.f128(fp128) [[READNONE_INTRINSIC]] +// HAS_ERRNO: declare double @exp10(double noundef) [[NOT_READNONE]] +// HAS_ERRNO: declare float @exp10f(float noundef) [[NOT_READNONE]] +// HAS_ERRNO: declare x86_fp80 @exp10l(x86_fp80 noundef) [[NOT_READNONE]] +// HAS_ERRNO: declare fp128 @exp10f128(fp128 noundef) [[NOT_READNONE]] + __builtin_expm1(f); __builtin_expm1f(f); __builtin_expm1l(f); __builtin_expm1f128(f); // NO__ERRNO: declare double @expm1(double noundef) [[READNONE]] diff --git a/clang/test/CodeGenOpenCL/builtins-f16.cl b/clang/test/CodeGenOpenCL/builtins-f16.cl index caf20742ca846bb..adf7cdde154f513 100644 --- a/clang/test/CodeGenOpenCL/builtins-f16.cl +++ b/clang/test/CodeGenOpenCL/builtins-f16.cl @@ -24,6 +24,9 @@ void test_half_builtins(half h0, half h1, half h2, int i0) { // CHECK: call half @llvm.exp2.f16(half %h0) res = __builtin_exp2f16(h0); + // CHECK: call half @llvm.exp10.f16(half %h0) + res = __builtin_exp10f16(h0); + // CHECK: call half @llvm.floor.f16(half %h0) res = __builtin_floorf16(h0); _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
