[libc-commits] [libc] [libc][c23] add definitions for stdckdint.h (PR #82059)
Schrodinger ZHU Yifan via libc-commits
libc-commits at lists.llvm.org
Fri Feb 16 14:50:04 PST 2024
https://github.com/SchrodingerZhu created https://github.com/llvm/llvm-project/pull/82059
See docs at
- https://gustedt.gitlabpages.inria.fr/c23-library/#stdckdint
- https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3047.pdf (Ch7.10)
>From 2b1eab61e8b761842526628be80ddbe39996a55f Mon Sep 17 00:00:00 2001
From: Schrodinger ZHU Yifan <yifanzhu at rochester.edu>
Date: Fri, 16 Feb 2024 16:31:16 -0500
Subject: [PATCH] [libc][c23] add definitions for stdckdint.h
---
libc/config/linux/aarch64/headers.txt | 1 +
libc/config/linux/arm/headers.txt | 1 +
libc/config/linux/riscv/headers.txt | 1 +
libc/config/linux/x86_64/headers.txt | 1 +
libc/include/CMakeLists.txt | 9 ++++++
libc/include/llvm-libc-macros/CMakeLists.txt | 6 ++++
.../llvm-libc-macros/stdckdint-macros.h | 22 +++++++++++++
libc/include/stdckdint.h.def | 18 +++++++++++
libc/spec/stdc.td | 14 ++++++++
libc/src/stdckdint/CMakeLists.txt | 0
libc/test/include/CMakeLists.txt | 14 ++++++++
libc/test/include/stdckdint_test.cpp | 32 +++++++++++++++++++
12 files changed, 119 insertions(+)
create mode 100644 libc/include/llvm-libc-macros/stdckdint-macros.h
create mode 100644 libc/include/stdckdint.h.def
create mode 100644 libc/src/stdckdint/CMakeLists.txt
create mode 100644 libc/test/include/stdckdint_test.cpp
diff --git a/libc/config/linux/aarch64/headers.txt b/libc/config/linux/aarch64/headers.txt
index 1725f9c2e75fa0..21b880cf2bb9bb 100644
--- a/libc/config/linux/aarch64/headers.txt
+++ b/libc/config/linux/aarch64/headers.txt
@@ -10,6 +10,7 @@ set(TARGET_PUBLIC_HEADERS
libc.include.math
libc.include.pthread
libc.include.signal
+ libc.include.stdckdint
libc.include.stdbit
libc.include.stdio
libc.include.stdlib
diff --git a/libc/config/linux/arm/headers.txt b/libc/config/linux/arm/headers.txt
index c482371944361f..268c8c41702af5 100644
--- a/libc/config/linux/arm/headers.txt
+++ b/libc/config/linux/arm/headers.txt
@@ -5,6 +5,7 @@ set(TARGET_PUBLIC_HEADERS
libc.include.float
libc.include.inttypes
libc.include.math
+ libc.include.stdckdint
libc.include.stdbit
libc.include.stdlib
libc.include.string
diff --git a/libc/config/linux/riscv/headers.txt b/libc/config/linux/riscv/headers.txt
index 5e8af221587483..3ebea2e2b07bfb 100644
--- a/libc/config/linux/riscv/headers.txt
+++ b/libc/config/linux/riscv/headers.txt
@@ -15,6 +15,7 @@ set(TARGET_PUBLIC_HEADERS
libc.include.signal
libc.include.spawn
libc.include.setjmp
+ libc.include.stdckdint
libc.include.stdbit
libc.include.stdio
libc.include.stdlib
diff --git a/libc/config/linux/x86_64/headers.txt b/libc/config/linux/x86_64/headers.txt
index d0c662c2bc072e..a887eba6805bca 100644
--- a/libc/config/linux/x86_64/headers.txt
+++ b/libc/config/linux/x86_64/headers.txt
@@ -15,6 +15,7 @@ set(TARGET_PUBLIC_HEADERS
libc.include.signal
libc.include.spawn
libc.include.setjmp
+ libc.include.stdckdint
libc.include.stdbit
libc.include.stdfix
libc.include.stdio
diff --git a/libc/include/CMakeLists.txt b/libc/include/CMakeLists.txt
index 5882d03593a54e..dc3c9b8e6328ad 100644
--- a/libc/include/CMakeLists.txt
+++ b/libc/include/CMakeLists.txt
@@ -242,6 +242,15 @@ add_gen_header(
.llvm-libc-macros.stdbit_macros
)
+add_gen_header(
+ stdckdint
+ DEF_FILE stdckdint.h.def
+ GEN_HDR stdckdint.h
+ DEPENDS
+ .llvm_libc_common_h
+ .llvm-libc-macros.stdckdint_macros
+)
+
add_gen_header(
stdio
DEF_FILE stdio.h.def
diff --git a/libc/include/llvm-libc-macros/CMakeLists.txt b/libc/include/llvm-libc-macros/CMakeLists.txt
index 225885d3a9b085..6e0875829127e6 100644
--- a/libc/include/llvm-libc-macros/CMakeLists.txt
+++ b/libc/include/llvm-libc-macros/CMakeLists.txt
@@ -233,3 +233,9 @@ add_macro_header(
HDR
stdfix-macros.h
)
+
+add_macro_header(
+ stdckdint_macros
+ HDR
+ stdckdint-macros.h
+)
diff --git a/libc/include/llvm-libc-macros/stdckdint-macros.h b/libc/include/llvm-libc-macros/stdckdint-macros.h
new file mode 100644
index 00000000000000..fb51f265dc805f
--- /dev/null
+++ b/libc/include/llvm-libc-macros/stdckdint-macros.h
@@ -0,0 +1,22 @@
+//===-- Definition of macros for stdchdint.h ------------------------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef __LLVM_LIBC_MACROS_STDCHDINT_MACROS_H
+#define __LLVM_LIBC_MACROS_STDCHDINT_MACROS_H
+
+#ifdef __GNUC__
+
+#ifndef __STDC_VERSION_STDCKDINT_H__
+#define __STDC_VERSION_STDCKDINT_H__ 202311L
+
+#define ckd_add(R, A, B) __builtin_add_overflow((A), (B), (R))
+#define ckd_sub(R, A, B) __builtin_sub_overflow((A), (B), (R))
+#define ckd_mul(R, A, B) __builtin_mul_overflow((A), (B), (R))
+#endif // __STDC_VERSION_STDCKDINT_H__
+#endif // __GNUC__
+#endif // __LLVM_LIBC_MACROS_STDCHDINT_MACROS_H
diff --git a/libc/include/stdckdint.h.def b/libc/include/stdckdint.h.def
new file mode 100644
index 00000000000000..c82470911c33f3
--- /dev/null
+++ b/libc/include/stdckdint.h.def
@@ -0,0 +1,18 @@
+//===-- C standard library header stdckdint.h -----------------------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_LIBC_STDCKDINT_H
+#define LLVM_LIBC_STDCKDINT_H
+
+#include <__llvm-libc-common.h>
+
+%%public_api()
+
+#include <llvm-libc-macros/stdckdint-macros.h>
+
+#endif // LLVM_LIBC_STDCKDINT_H
diff --git a/libc/spec/stdc.td b/libc/spec/stdc.td
index 5fdcec7dbbdfcf..3fe19fae4c2e51 100644
--- a/libc/spec/stdc.td
+++ b/libc/spec/stdc.td
@@ -833,6 +833,19 @@ def StdC : StandardSpec<"stdc"> {
] // Functions
>;
+ HeaderSpec StdCkdInt = HeaderSpec<
+ "stdckdint.h",
+ [
+ Macro<"__STDC_VERSION_STDCKDINT_H__">,
+ Macro<"ckd_add">,
+ Macro<"ckd_sub">,
+ Macro<"ckd_mul">
+ ], // Macros
+ [], // Types
+ [], // Enumerations
+ [] // Functions
+ >;
+
HeaderSpec StdLib = HeaderSpec<
"stdlib.h",
[], // Macros
@@ -1234,6 +1247,7 @@ def StdC : StandardSpec<"stdc"> {
Math,
String,
StdBit,
+ StdCkdInt,
StdIO,
StdLib,
IntTypes,
diff --git a/libc/src/stdckdint/CMakeLists.txt b/libc/src/stdckdint/CMakeLists.txt
new file mode 100644
index 00000000000000..e69de29bb2d1d6
diff --git a/libc/test/include/CMakeLists.txt b/libc/test/include/CMakeLists.txt
index 2730fa0d66db7e..f014d719d42673 100644
--- a/libc/test/include/CMakeLists.txt
+++ b/libc/test/include/CMakeLists.txt
@@ -33,3 +33,17 @@ if(LLVM_LIBC_FULL_BUILD AND libc.include.stdbit IN_LIST TARGET_PUBLIC_HEADERS)
# to.
)
endif()
+
+# Similar situation applies to stdckdint_test.
+if(LLVM_LIBC_FULL_BUILD AND libc.include.stdckdint IN_LIST TARGET_PUBLIC_HEADERS)
+ add_libc_test(
+ stdckdint_test
+ SUITE
+ libc_include_tests
+ SRCS
+ stdckdint_test.cpp
+ DEPENDS
+ libc.include.llvm-libc-macros.stdckdint_macros
+ libc.include.stdckdint
+ )
+endif()
diff --git a/libc/test/include/stdckdint_test.cpp b/libc/test/include/stdckdint_test.cpp
new file mode 100644
index 00000000000000..125f6681741750
--- /dev/null
+++ b/libc/test/include/stdckdint_test.cpp
@@ -0,0 +1,32 @@
+//===-- Unittests for stdckdint -------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDSList-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "test/UnitTest/Test.h"
+
+#include "include/llvm-libc-macros/stdckdint-macros.h"
+
+TEST(LlvmLibcStdCkdIntTest, Add) {
+ int result;
+ ASSERT_FALSE(ckd_add(&result, 1, 2));
+ ASSERT_EQ(result, 3);
+ ASSERT_TRUE(ckd_add(&result, INT_MAX, 1));
+}
+
+TEST(LlvmLibcStdCkdIntTest, Sub) {
+ int result;
+ ASSERT_FALSE(ckd_sub(&result, 3, 2));
+ ASSERT_EQ(result, 1);
+ ASSERT_TRUE(ckd_sub(&result, INT_MIN, 1));
+}
+
+TEST(LlvmLibcStdCkdIntTest, Mul) {
+ int result;
+ ASSERT_FALSE(ckd_mul(&result, 2, 3));
+ ASSERT_EQ(result, 6);
+ ASSERT_TRUE(ckd_mul(&result, INT_MAX, 2));
+}
\ No newline at end of file
More information about the libc-commits
mailing list