[libc-commits] [libc] 735afc8 - [libc] Added type-generic macros for fixed-point functions (#129371)
via libc-commits
libc-commits at lists.llvm.org
Sat Mar 8 21:11:37 PST 2025
Author: Ishaan Verma
Date: 2025-03-09T00:11:34-05:00
New Revision: 735afc8cebc452b097f284058a03e96a4706efce
URL: https://github.com/llvm/llvm-project/commit/735afc8cebc452b097f284058a03e96a4706efce
DIFF: https://github.com/llvm/llvm-project/commit/735afc8cebc452b097f284058a03e96a4706efce.diff
LOG: [libc] Added type-generic macros for fixed-point functions (#129371)
Adds macros `absfx`, `countlsfx` and `roundfx` .
ref: #129111
Added:
libc/test/src/stdfix/macros_test.cpp
Modified:
libc/include/llvm-libc-macros/stdfix-macros.h
libc/include/stdfix.yaml
libc/test/src/stdfix/CMakeLists.txt
Removed:
################################################################################
diff --git a/libc/include/llvm-libc-macros/stdfix-macros.h b/libc/include/llvm-libc-macros/stdfix-macros.h
index 554ebe544a42e..04097e14e9747 100644
--- a/libc/include/llvm-libc-macros/stdfix-macros.h
+++ b/libc/include/llvm-libc-macros/stdfix-macros.h
@@ -323,6 +323,45 @@
#define ULACCUM_EPSILON 0x1.0p-32ULK
#endif // ULACCUM_EPSILON
+#define absfx(x) \
+ _Generic((x), \
+ fract: absr, \
+ short fract: abshr, \
+ long fract: abslr, \
+ accum: absk, \
+ short accum: abshk, \
+ long accum: abslk)(x)
+
+#define countlsfx(x) \
+ _Generic((x), \
+ fract: countlsr, \
+ short fract: countlshr, \
+ long fract: countlslr, \
+ accum: countlsk, \
+ short accum: countlshk, \
+ long accum: countlslk, \
+ unsigned fract: countlsur, \
+ unsigned short fract: countlsuhr, \
+ unsigned long fract: countlsulr, \
+ unsigned accum: countlsuk, \
+ unsigned short accum: countlsuhk, \
+ unsigned long accum: countlsulk)(x)
+
+#define roundfx(x, y) \
+ _Generic((x), \
+ fract: roundr, \
+ short fract: roundhr, \
+ long fract: roundlr, \
+ accum: roundk, \
+ short accum: roundhk, \
+ long accum: roundlk, \
+ unsigned fract: roundur, \
+ unsigned short fract: rounduhr, \
+ unsigned long fract: roundulr, \
+ unsigned accum: rounduk, \
+ unsigned short accum: rounduhk, \
+ unsigned long accum: roundulk)(x, y)
+
#endif // LIBC_COMPILER_HAS_FIXED_POINT
#endif // LLVM_LIBC_MACROS_STDFIX_MACROS_H
diff --git a/libc/include/stdfix.yaml b/libc/include/stdfix.yaml
index 707e5a2b09819..29c4d8b5c8960 100644
--- a/libc/include/stdfix.yaml
+++ b/libc/include/stdfix.yaml
@@ -1,6 +1,12 @@
header: stdfix.h
header_template: stdfix.h.def
-macros: []
+macros:
+ - macro_name: absfx
+ macro_header: stdfix-macros.h
+ - macro_name: countlsfx
+ macro_header: stdfix-macros.h
+ - macro_name: roundfx
+ macro_header: stdfix-macros.h
types:
- type_name: stdfix-types
enums: []
diff --git a/libc/test/src/stdfix/CMakeLists.txt b/libc/test/src/stdfix/CMakeLists.txt
index 8dc0eb854e65c..a3dc25762f549 100644
--- a/libc/test/src/stdfix/CMakeLists.txt
+++ b/libc/test/src/stdfix/CMakeLists.txt
@@ -4,6 +4,7 @@ endif()
add_custom_target(libc-stdfix-tests)
+
foreach(suffix IN ITEMS hr r lr hk k lk)
add_libc_test(
abs${suffix}_test
@@ -176,3 +177,25 @@ add_libc_test(
libc.src.__support.fixed_point.fx_rep
libc.src.__support.FPUtil.basic_operations
)
+
+set(macros_depends)
+
+foreach(s IN ITEMS r hr lr k hk lk)
+ list(APPEND macros_depends
+ libc.src.stdfix.abs${s}
+ libc.src.stdfix.countls${s}
+ libc.src.stdfix.countlsu${s}
+ libc.src.stdfix.round${s}
+ libc.src.stdfix.roundu${s}
+ )
+endforeach()
+
+add_libc_test(
+ macros_test
+ SUITE libc-stdfix-tests
+ SRCS macros_test.cpp
+ DEPENDS
+ libc.include.stdfix
+ ${macros_depends}
+)
+
diff --git a/libc/test/src/stdfix/macros_test.cpp b/libc/test/src/stdfix/macros_test.cpp
new file mode 100644
index 0000000000000..b52abf3f07999
--- /dev/null
+++ b/libc/test/src/stdfix/macros_test.cpp
@@ -0,0 +1,113 @@
+//===-- Unittests for absfx -----------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "AbsTest.h"
+#include "src/stdfix/abshk.h"
+#include "src/stdfix/abshr.h"
+#include "src/stdfix/absk.h"
+#include "src/stdfix/abslk.h"
+#include "src/stdfix/abslr.h"
+#include "src/stdfix/absr.h"
+
+#include "src/stdfix/countlshk.h"
+#include "src/stdfix/countlshr.h"
+#include "src/stdfix/countlsk.h"
+#include "src/stdfix/countlslk.h"
+#include "src/stdfix/countlslr.h"
+#include "src/stdfix/countlsr.h"
+#include "src/stdfix/countlsuhk.h"
+#include "src/stdfix/countlsuhr.h"
+#include "src/stdfix/countlsuk.h"
+#include "src/stdfix/countlsulk.h"
+#include "src/stdfix/countlsulr.h"
+#include "src/stdfix/countlsur.h"
+
+#include "src/stdfix/roundhk.h"
+#include "src/stdfix/roundhr.h"
+#include "src/stdfix/roundk.h"
+#include "src/stdfix/roundlk.h"
+#include "src/stdfix/roundlr.h"
+#include "src/stdfix/roundr.h"
+#include "src/stdfix/rounduhk.h"
+#include "src/stdfix/rounduhr.h"
+#include "src/stdfix/rounduk.h"
+#include "src/stdfix/roundulk.h"
+#include "src/stdfix/roundulr.h"
+#include "src/stdfix/roundur.h"
+
+using LIBC_NAMESPACE::abshk;
+using LIBC_NAMESPACE::abshr;
+using LIBC_NAMESPACE::absk;
+using LIBC_NAMESPACE::abslk;
+using LIBC_NAMESPACE::abslr;
+using LIBC_NAMESPACE::absr;
+using LIBC_NAMESPACE::countlshk;
+using LIBC_NAMESPACE::countlshr;
+using LIBC_NAMESPACE::countlsk;
+using LIBC_NAMESPACE::countlslk;
+using LIBC_NAMESPACE::countlslr;
+using LIBC_NAMESPACE::countlsr;
+using LIBC_NAMESPACE::countlsuhk;
+using LIBC_NAMESPACE::countlsuhr;
+using LIBC_NAMESPACE::countlsuk;
+using LIBC_NAMESPACE::countlsulk;
+using LIBC_NAMESPACE::countlsulr;
+using LIBC_NAMESPACE::countlsur;
+using LIBC_NAMESPACE::roundhk;
+using LIBC_NAMESPACE::roundhr;
+using LIBC_NAMESPACE::roundk;
+using LIBC_NAMESPACE::roundlk;
+using LIBC_NAMESPACE::roundlr;
+using LIBC_NAMESPACE::roundr;
+using LIBC_NAMESPACE::rounduhk;
+using LIBC_NAMESPACE::rounduhr;
+using LIBC_NAMESPACE::rounduk;
+using LIBC_NAMESPACE::roundulk;
+using LIBC_NAMESPACE::roundulr;
+using LIBC_NAMESPACE::roundur;
+
+TEST(LlvmLibcAbsfxTest, Basic) {
+ ASSERT_EQ(absfx(-0.5r), absr(-0.5r));
+ ASSERT_EQ(absfx(-0.5hr), abshr(-0.5hr));
+ ASSERT_EQ(absfx(-0.5lr), abslr(-0.5lr));
+ ASSERT_EQ(absfx(-0.5k), absk(-0.5k));
+ ASSERT_EQ(absfx(-0.5hk), abshk(-0.5hk));
+ ASSERT_EQ(absfx(-0.5lk), abslk(-0.5lk));
+}
+
+TEST(LlvmLibcRoundfxTest, Basic) {
+ ASSERT_EQ(roundfx(0.75r, 0), roundr(0.75r, 0));
+ ASSERT_EQ(roundfx(0.75hr, 0), roundhr(0.75hr, 0));
+ ASSERT_EQ(roundfx(0.75lr, 0), roundlr(0.75lr, 0));
+ ASSERT_EQ(roundfx(0.75k, 0), roundk(0.75k, 0));
+ ASSERT_EQ(roundfx(0.75hk, 0), roundhk(0.75hk, 0));
+ ASSERT_EQ(roundfx(0.75lk, 0), roundlk(0.75lk, 0));
+
+ ASSERT_EQ(roundfx(0.75ur, 0), roundur(0.75ur, 0));
+ ASSERT_EQ(roundfx(0.75uhr, 0), rounduhr(0.75uhr, 0));
+ ASSERT_EQ(roundfx(0.75ulr, 0), roundulr(0.75ulr, 0));
+ ASSERT_EQ(roundfx(0.75uk, 0), rounduk(0.75uk, 0));
+ ASSERT_EQ(roundfx(0.75uhk, 0), rounduhk(0.75uhk, 0));
+ ASSERT_EQ(roundfx(0.75ulk, 0), roundulk(0.75ulk, 0));
+}
+
+TEST(LlvmLibcCountlsfxTest, Basic) {
+ ASSERT_EQ(countlsfx(0.5r), countlsr(0.5r));
+ ASSERT_EQ(countlsfx(0.5hr), countlshr(0.5hr));
+ ASSERT_EQ(countlsfx(0.5lr), countlslr(0.5lr));
+ ASSERT_EQ(countlsfx(0.5k), countlsk(0.5k));
+ ASSERT_EQ(countlsfx(0.5hk), countlshk(0.5hk));
+ ASSERT_EQ(countlsfx(0.5lk), countlslk(0.5lk));
+
+ ASSERT_EQ(countlsfx(0.5ur), countlsur(0.5ur));
+ ASSERT_EQ(countlsfx(0.5uhr), countlsuhr(0.5uhr));
+ ASSERT_EQ(countlsfx(0.5ulr), countlsulr(0.5ulr));
+ ASSERT_EQ(countlsfx(0.5uk), countlsuk(0.5uk));
+ ASSERT_EQ(countlsfx(0.5uhk), countlsuhk(0.5uhk));
+ ASSERT_EQ(countlsfx(0.5ulk), countlsulk(0.5ulk));
+}
More information about the libc-commits
mailing list