https://github.com/trcrsired updated https://github.com/llvm/llvm-project/pull/208900
>From 6cabf2c78b79590476555c0066c20083c2c36c52 Mon Sep 17 00:00:00 2001 From: trcrsired <[email protected]> Date: Sat, 11 Jul 2026 17:56:19 +0800 Subject: [PATCH 1/5] [libcxx] Support freestanding libc++ --- clang/lib/Headers/errno.h | 164 ++++++++++++++++++ clang/lib/Headers/math.h | 29 ++++ clang/lib/Headers/stdlib.h | 103 +++++++++++ clang/lib/Headers/string.h | 65 +++++++ clang/lib/Headers/wchar.h | 62 +++++++ libcxx/CMakeLists.txt | 54 ++++-- libcxx/include/__algorithm/sort.h | 4 + libcxx/include/__config | 4 + libcxx/include/__config_site.in | 3 + libcxx/include/ctime | 7 +- libcxx/include/stdio.h | 5 + libcxx/test/libcxx/libcpp_freestanding.sh.cpp | 114 ++++++++++++ 12 files changed, 600 insertions(+), 14 deletions(-) create mode 100644 clang/lib/Headers/errno.h create mode 100644 clang/lib/Headers/math.h create mode 100644 clang/lib/Headers/stdlib.h create mode 100644 clang/lib/Headers/string.h create mode 100644 clang/lib/Headers/wchar.h create mode 100644 libcxx/test/libcxx/libcpp_freestanding.sh.cpp diff --git a/clang/lib/Headers/errno.h b/clang/lib/Headers/errno.h new file mode 100644 index 0000000000000..48fe84a9304ce --- /dev/null +++ b/clang/lib/Headers/errno.h @@ -0,0 +1,164 @@ +/*===---- errno.h - Standard header for error numbers ---------------------===*\ + * + * 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 __CLANG_ERRNO_H +#define __CLANG_ERRNO_H + +/* If we're hosted, fall back to the system's errno.h, which might have + * additional definitions. + */ +#if __STDC_HOSTED__ && __has_include_next(<errno.h>) + +#include_next <errno.h> + +#else + +/* Adjusted to the linux asm/errno.h */ +#define EPERM 1 /* Operation not permitted */ +#define ENOENT 2 /* No such file or directory */ +#define ESRCH 3 /* No such process */ +#define EINTR 4 /* Interrupted system call */ +#define EIO 5 /* I/O error */ +#define ENXIO 6 /* No such device or address */ +#define E2BIG 7 /* Arg list too long */ +#define ENOEXEC 8 /* Exec format error */ +#define EBADF 9 /* Bad file number */ +#define ECHILD 10 /* No child processes */ +#define EAGAIN 11 /* Try again */ +#define ENOMEM 12 /* Out of memory */ +#define EACCES 13 /* Permission denied */ +#define EFAULT 14 /* Bad address */ +#define ENOTBLK 15 /* Block device required */ +#define EBUSY 16 /* Device or resource busy */ +#define EEXIST 17 /* File exists */ +#define EXDEV 18 /* Cross-device link */ +#define ENODEV 19 /* No such device */ +#define ENOTDIR 20 /* Not a directory */ +#define EISDIR 21 /* Is a directory */ +#define EINVAL 22 /* Invalid argument */ +#define ENFILE 23 /* File table overflow */ +#define EMFILE 24 /* Too many open files */ +#define ENOTTY 25 /* Not a typewriter */ +#define ETXTBSY 26 /* Text file busy */ +#define EFBIG 27 /* File too large */ +#define ENOSPC 28 /* No space left on device */ +#define ESPIPE 29 /* Illegal seek */ +#define EROFS 30 /* Read-only file system */ +#define EMLINK 31 /* Too many links */ +#define EPIPE 32 /* Broken pipe */ +#define EDOM 33 /* Math argument out of domain of func */ +#define ERANGE 34 /* Math result not representable */ +#define EDEADLK 35 /* Resource deadlock would occur */ +#define ENAMETOOLONG 36 /* File name too long */ +#define ENOLCK 37 /* No record locks available */ +#define ENOSYS 38 /* Function not implemented */ +#define ENOTEMPTY 39 /* Directory not empty */ +#define ELOOP 40 /* Too many symbolic links encountered */ +#define EWOULDBLOCK EAGAIN /* Operation would block */ +#define ENOMSG 42 /* No message of desired type */ +#define EIDRM 43 /* Identifier removed */ +#define ECHRNG 44 /* Channel number out of range */ +#define EL2NSYNC 45 /* Level 2 not synchronized */ +#define EL3HLT 46 /* Level 3 halted */ +#define EL3RST 47 /* Level 3 reset */ +#define ELNRNG 48 /* Link number out of range */ +#define EUNATCH 49 /* Protocol driver not attached */ +#define ENOCSI 50 /* No CSI structure available */ +#define EL2HLT 51 /* Level 2 halted */ +#define EBADE 52 /* Invalid exchange */ +#define EBADR 53 /* Invalid request descriptor */ +#define EXFULL 54 /* Exchange full */ +#define ENOANO 55 /* No anode */ +#define EBADRQC 56 /* Invalid request code */ +#define EBADSLT 57 /* Invalid slot */ +#define EDEADLOCK EDEADLK +#define EBFONT 59 /* Bad font file format */ +#define EFTYPE EBFONT /* Inappropriate file type or format */ +#define ENOSTR 60 /* Device not a stream */ +#define ENODATA 61 /* No data available */ +#define ETIME 62 /* Timer expired */ +#define ENOSR 63 /* Out of streams resources */ +#define ENONET 64 /* Machine is not on the network */ +#define ENOPKG 65 /* Package not installed */ +#define EREMOTE 66 /* Object is remote */ +#define ENOLINK 67 /* Link has been severed */ +#define EADV 68 /* Advertise error */ +#define ESRMNT 69 /* Srmount error */ +#define ECOMM 70 /* Communication error on send */ +#define EPROTO 71 /* Protocol error */ +#define EMULTIHOP 72 /* Multihop attempted */ +#define EDOTDOT 73 /* RFS specific error */ +#define EBADMSG 74 /* Not a data message */ +#define EOVERFLOW 75 /* Value too large for defined data type */ +#define ENOTUNIQ 76 /* Name not unique on network */ +#define EBADFD 77 /* File descriptor in bad state */ +#define EREMCHG 78 /* Remote address changed */ +#define ELIBACC 79 /* Can not access a needed shared library */ +#define ELIBBAD 80 /* Accessing a corrupted shared library */ +#define ELIBSCN 81 /* .lib section in a.out corrupted */ +#define ELIBMAX 82 /* Attempting to link in too many shared libraries */ +#define ELIBEXEC 83 /* Cannot exec a shared library directly */ +#define EILSEQ 84 /* Illegal byte sequence */ +#define ERESTART 85 /* Interrupted system call should be restarted */ +#define ESTRPIPE 86 /* Streams pipe error */ +#define EUSERS 87 /* Too many users */ +#define ENOTSOCK 88 /* Socket operation on non-socket */ +#define EDESTADDRREQ 89 /* Destination address required */ +#define EMSGSIZE 90 /* Message too long */ +#define EPROTOTYPE 91 /* Protocol wrong type for socket */ +#define ENOPROTOOPT 92 /* Protocol not available */ +#define EPROTONOSUPPORT 93 /* Protocol not supported */ +#define ESOCKTNOSUPPORT 94 /* Socket type not supported */ +#define EOPNOTSUPP 95 /* Operation not supported on transport endpoint */ +#define EPFNOSUPPORT 96 /* Protocol family not supported */ +#define EAFNOSUPPORT 97 /* Address family not supported by protocol */ +#define EADDRINUSE 98 /* Address already in use */ +#define EADDRNOTAVAIL 99 /* Cannot assign requested address */ +#define ENETDOWN 100 /* Network is down */ +#define ENETUNREACH 101 /* Network is unreachable */ +#define ENETRESET 102 /* Network dropped connection because of reset */ +#define ECONNABORTED 103 /* Software caused connection abort */ +#define ECONNRESET 104 /* Connection reset by peer */ +#define ENOBUFS 105 /* No buffer space available */ +#define EISCONN 106 /* Transport endpoint is already connected */ +#define ENOTCONN 107 /* Transport endpoint is not connected */ +#define ESHUTDOWN 108 /* Cannot send after transport endpoint shutdown */ +#define ETOOMANYREFS 109 /* Too many references: cannot splice */ +#define ETIMEDOUT 110 /* Connection timed out */ +#define ECONNREFUSED 111 /* Connection refused */ +#define EHOSTDOWN 112 /* Host is down */ +#define EHOSTUNREACH 113 /* No route to host */ +#define EALREADY 114 /* Operation already in progress */ +#define EINPROGRESS 115 /* Operation now in progress */ +#define ESTALE 116 /* Stale NFS file handle */ +#define EUCLEAN 117 /* Structure needs cleaning */ +#define ENOTNAM 118 /* Not a XENIX named type file */ +#define ENAVAIL 119 /* No XENIX semaphores available */ +#define EISNAM 120 /* Is a named type file */ +#define EREMOTEIO 121 /* Remote I/O error */ +#define EDQUOT 122 /* Quota exceeded */ +#define ENOMEDIUM 123 /* No medium found */ +#define EMEDIUMTYPE 124 /* Wrong medium type */ +#define ECANCELED 125 /* Operation Canceled */ +#define ENOKEY 126 /* Required key not available */ +#define EKEYEXPIRED 127 /* Key has expired */ +#define EKEYREVOKED 128 /* Key has been revoked */ +#define EKEYREJECTED 129 /* Key was rejected by service */ +#define EOWNERDEAD 130 /* Owner died */ +#define ENOTRECOVERABLE 131 /* State not recoverable */ +#define ERFKILL 132 /* Operation not possible due to RF-kill */ +#define EHWPOISON 133 /* Memory page has hardware error */ + +/* Widely known to be a synonym in Linux. */ +#define ENOTSUP EOPNOTSUPP + +#define __ELASTERROR 2000 /* Users can add values starting here */ + +#endif + +#endif diff --git a/clang/lib/Headers/math.h b/clang/lib/Headers/math.h new file mode 100644 index 0000000000000..3e316c891a1bc --- /dev/null +++ b/clang/lib/Headers/math.h @@ -0,0 +1,29 @@ +/*===---- math.h - Standard header for C math ----------------------------===*\ + * + * 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 __CLANG_MATH_H +#define __CLANG_MATH_H + +/* If we're hosted, fall back to the system's math.h, which might have + * additional definitions. + */ +#if __STDC_HOSTED__ && __has_include_next(<math.h>) + +#include_next <math.h> + +#else + +#define NAN __builtin_nanf("") +#define INFINITY __builtin_inff() +#define FP_NAN 0 +#define FP_INFINITE 1 +#define FP_ZERO 2 +#define FP_SUBNORMAL 3 +#define FP_NORMAL 4 + +#endif diff --git a/clang/lib/Headers/stdlib.h b/clang/lib/Headers/stdlib.h new file mode 100644 index 0000000000000..db5fa08385f58 --- /dev/null +++ b/clang/lib/Headers/stdlib.h @@ -0,0 +1,103 @@ +/*===---- stdlib.h - Standard header for general utilities ----------------===*\ + * + * 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 __CLANG_STDLIB_H +#define __CLANG_STDLIB_H + +/* If we're hosted, fall back to the system's math.h, which might have + * additional definitions. + */ +#if __STDC_HOSTED__ && __has_include_next(<stdlib.h>) + +#include_next <stdlib.h> + +#else + +#include <stddef.h> +#include <stdint.h> + +#ifndef EXIT_FAILURE +#define EXIT_FAILURE 1 /* freestanding */ +#endif +#ifndef EXIT_SUCCESS +#define EXIT_SUCCESS 0 /* freestanding */ +#endif + +#ifndef __cplusplus +extern "C" { +#endif + +typedef struct { + int quot; + int rem; +} div_t; /* freestanding */ +typedef struct { + long quot; + long rem; +} ldiv_t; /* freestanding */ +typedef struct { + long long quot; + long long rem; +} lldiv_t; /* freestanding */ +typedef struct { + intmax_t quot; + intmax_t rem; +} imaxdiv_t; /* freestanding */ + +/* +We offer declarations for these C functions, +leaving the implementations to be handled by users. +*/ + +// start and termination + +#ifndef __CLANG_STDLIB_NOEXCEPT +#ifdef __cplusplus +#if __cplusplus >= 201103L +#define __CLANG_STDLIB_NOEXCEPT noexcept +#else +#define __CLANG_STDLIB_NOEXCEPT throw() +#endif +#else +#define __CLANG_STDLIB_NOEXCEPT +#endif +#endif + +[[noreturn]] void abort() __CLANG_STDLIB_NOEXCEPT; /* freestanding */ +int atexit(void (*)()) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ +int at_quick_exit(void (*)()) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ +[[noreturn]] void exit(int); /* freestanding */ +[[noreturn]] void _Exit(int) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ +[[noreturn]] void quick_exit(int) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ + +#undef __CLANG_STDLIB_NOEXCEPT + +// C standard library algorithms +void *bsearch(const void *, const void *, size_t, size_t, + int (*)(const void *, const void *)); /* freestanding */ +void qsort(void *, size_t, size_t, + int (*)(const void *, const void *)); /* freestanding */ + +// absolute values +int abs(int j); /* freestanding */ +long int abs(long int j); /* freestanding */ +long long int abs(long long int j); /* freestanding */ +long int labs(long int j); /* freestanding */ +long long int llabs(long long int j); /* freestanding */ + +div_t div(int, int); /* freestanding */ +ldiv_t div(long int, long int); /* freestanding */ +lldiv_t div(long long int, long long int); /* freestanding */ +ldiv_t ldiv(long int, long int); /* freestanding */ +lldiv_t lldiv(long long int, long long int); /* freestanding */ + +#ifndef __cplusplus +} +#endif + +#endif diff --git a/clang/lib/Headers/string.h b/clang/lib/Headers/string.h new file mode 100644 index 0000000000000..c256b3e35a95b --- /dev/null +++ b/clang/lib/Headers/string.h @@ -0,0 +1,65 @@ +/*===---- string.h - Standard header for null-terminated string -----------===*\ + * + * 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 __CLANG_STRING_H +#define __CLANG_STRING_H + +/* If we're hosted, fall back to the system's string.h, which might have + * additional definitions. + */ + +#if __STDC_HOSTED__ && __has_include_next(<string.h>) + +#include_next <string.h> + +#else + +#include <stddef.h> + +#ifndef __cplusplus +extern "C" { +#endif + +/* +We offer declarations for these C functions, +leaving the implementations to be handled by users. +*/ + +void *memcpy(void *, const void *, size_t); /* freestanding */ +void *memmove(void *, const void *, size_t); /* freestanding */ +char *strcpy(char *, const char *); /* freestanding */ +char *strncpy(char *, const char *, size_t); /* freestanding */ +char *strcat(char *, const char *); /* freestanding */ +char *strncat(char *, const char *, size_t); /* freestanding */ +int memcmp(const void *, const void *, size_t); /* freestanding */ +int strcmp(const char *, const char *); /* freestanding */ +int strncmp(const char *, const char *, size_t); /* freestanding */ +const void *memchr(const void *, int, size_t); /* freestanding */ +void *memchr(void *, int, size_t); /* freestanding */ +const char *strchr(const char *, int); /* freestanding */ +char *strchr(char *, int); /* freestanding */ +size_t strcspn(const char *, const char *); /* freestanding */ +const char *strpbrk(const char *, const char *); /* freestanding */ +char *strpbrk(char *, const char *); /* freestanding */ +const char *strrchr(const char *, int); /* freestanding */ +char *strrchr(char *, int); /* freestanding */ +size_t strspn(const char *, const char *); /* freestanding */ +const char *strstr(const char *, const char *); /* freestanding */ +char *strstr(char *, const char *); /* freestanding */ +char *strtok(char *, const char *); /* freestanding */ +void *memset(void *, int, size_t); /* freestanding */ +size_t strlen(const char *); /* freestanding */ +void *memset_explicit(void *, int, size_t); /* freestanding */ + +#ifndef __cplusplus +} +#endif + +#endif + +#endif diff --git a/clang/lib/Headers/wchar.h b/clang/lib/Headers/wchar.h new file mode 100644 index 0000000000000..ca232c0cd6356 --- /dev/null +++ b/clang/lib/Headers/wchar.h @@ -0,0 +1,62 @@ +/*===---- wchar.h - Standard header for wide character types --------------===*\ + * + * 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 __CLANG_WCHAR_H +#define __CLANG_WCHAR_H + +/* If we're hosted, fall back to the system's wchar.h, which might have + * additional definitions. + */ + +#if __STDC_HOSTED__ && __has_include_next(<wchar.h>) + +#include_next <wchar.h> + +#else + +#ifndef __cplusplus +extern "C" { +#endif + +/* +We offer declarations for these C functions, +leaving the implementations to be handled by users. +*/ + +wchar_t *wcscpy(wchar_t *, const wchar_t *); /* freestanding */ +wchar_t *wcsncpy(wchar_t *, const wchar_t *, size_t); /* freestanding */ +wchar_t *wmemcpy(wchar_t *, const wchar_t *, size_t); /* freestanding */ +wchar_t *wmemmove(wchar_t *, const wchar_t *, size_t); /* freestanding */ +wchar_t *wcscat(wchar_t *, const wchar_t *); /* freestanding */ +wchar_t *wcsncat(wchar_t *, const wchar_t *, size_t); /* freestanding */ +int wcscmp(const wchar_t *, const wchar_t *); /* freestanding */ +int wcsncmp(const wchar_t *, const wchar_t *, size_t); /* freestanding */ +int wmemcmp(const wchar_t *, const wchar_t *, size_t); /* freestanding */ +const wchar_t *wcschr(const wchar_t *, wchar_t); /* freestanding */ +wchar_t *wcschr(wchar_t *, wchar_t); /* freestanding */ +size_t wcscspn(const wchar_t *, const wchar_t *); /* freestanding */ +const wchar_t *wcspbrk(const wchar_t *, const wchar_t *); /* freestanding */ +wchar_t *wcspbrk(wchar_t *, const wchar_t *); /* freestanding */ +const wchar_t *wcsrchr(const wchar_t *, wchar_t); /* freestanding */ +wchar_t *wcsrchr(wchar_t *, wchar_t); /* freestanding */ +size_t wcsspn(const wchar_t *, const wchar_t *); /* freestanding */ +const wchar_t *wcsstr(const wchar_t *, const wchar_t *); /* freestanding */ +wchar_t *wcsstr(wchar_t *, const wchar_t *); /* freestanding */ +wchar_t *wcstok(wchar_t *, const wchar_t *, wchar_t **); /* freestanding */ +const wchar_t *wmemchr(const wchar_t *, wchar_t, size_t); /* freestanding */ +wchar_t *wmemchr(wchar_t *, wchar_t, size_t); /* freestanding */ +size_t wcslen(const wchar_t *); /* freestanding */ +wchar_t *wmemset(wchar_t *, wchar_t, size_t); /* freestanding */ + +#ifndef __cplusplus +} +#endif + +#endif + +#endif diff --git a/libcxx/CMakeLists.txt b/libcxx/CMakeLists.txt index 31aaf2977a9af..b92ff4b07777a 100644 --- a/libcxx/CMakeLists.txt +++ b/libcxx/CMakeLists.txt @@ -156,21 +156,43 @@ option(LIBCXX_ENABLE_VENDOR_AVAILABILITY_ANNOTATIONS the shared library they shipped should turn this on and see `include/__configuration/availability.h` for more details." OFF) -if (CMAKE_CXX_COMPILER_ID STREQUAL "GNU") - set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared-gcc.cfg.in") -elseif(MINGW) - set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-mingw.cfg.in") -elseif(WIN32) # clang-cl - if (LIBCXX_ENABLE_SHARED) - set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared-clangcl.cfg.in") - else() - set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-static-clangcl.cfg.in") - endif() +option(LIBCXX_FREESTANDING + "Build libc++ in freestanding mode. This toggle allows the libc++ to work without libc + for environments like operating systems kernels or embedded systems." OFF) + +if (LIBCXX_FREESTANDING) + set(LIBCXX_ENABLE_FILESYSTEM OFF) + set(LIBCXX_ENABLE_RANDOM_DEVICE OFF) + set(LIBCXX_ENABLE_PARALLEL_ALGORITHMS OFF) + set(LIBCXX_ENABLE_SHARED OFF) + set(LIBCXX_ENABLE_STATIC OFF) + set(CMAKE_ASM_COMPILER_WORKS ON) + set(CMAKE_C_COMPILER_WORKS ON) + set(CMAKE_CXX_COMPILER_WORKS ON) + set(LIBCXX_ENABLE_LOCALIZATION OFF) + set(LIBCXX_ENABLE_FSTREAM OFF) + set(LIBCXX_ENABLE_STD_MODULES OFF) + set(LIBCXX_INCLUDE_BENCHMARKS OFF) + set(LIBCXX_ENABLE_WIDE_CHARACTERS OFF) + set(LIBCXX_ENABLE_TIME_ZONE_DATABASE OFF) + set(LIBCXX_INCLUDE_TESTS Off) else() - if (LIBCXX_ENABLE_SHARED) - set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared.cfg.in") + if (CMAKE_CXX_COMPILER_ID STREQUAL "GNU") + set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared-gcc.cfg.in") + elseif(MINGW) + set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-mingw.cfg.in") + elseif(WIN32) # clang-cl + if (LIBCXX_ENABLE_SHARED) + set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared-clangcl.cfg.in") + else() + set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-static-clangcl.cfg.in") + endif() else() - set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-static.cfg.in") + if (LIBCXX_ENABLE_SHARED) + set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared.cfg.in") + else() + set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-static.cfg.in") + endif() endif() endif() set(LIBCXX_TEST_CONFIG "${LIBCXX_DEFAULT_TEST_CONFIG}" CACHE STRING @@ -901,6 +923,10 @@ if (WIN32 AND LIBCXX_ENABLE_STATIC_ABI_LIBRARY) add_definitions(-D_LIBCXXABI_DISABLE_VISIBILITY_ANNOTATIONS) endif() +if (LIBCXX_FREESTANDING) + config_define(LIBCXX_FREESTANDING _LIBCPP_FREESTANDING) +endif() + # Setup all common build flags ================================================= function(cxx_add_common_build_flags target) cxx_add_basic_build_flags(${target}) @@ -920,9 +946,11 @@ add_custom_target(cxx-test-depends COMMENT "Build dependencies required to run the libc++ test suite.") add_subdirectory(include) +if (NOT LIBCXX_FREESTANDING) add_subdirectory(src) add_subdirectory(utils) add_subdirectory(modules) +endif() if (LIBCXX_INCLUDE_TESTS) add_subdirectory(test) diff --git a/libcxx/include/__algorithm/sort.h b/libcxx/include/__algorithm/sort.h index 0a936db78e5fd..f144115ded7e4 100644 --- a/libcxx/include/__algorithm/sort.h +++ b/libcxx/include/__algorithm/sort.h @@ -832,6 +832,8 @@ _LIBCPP_BEGIN_EXPLICIT_ABI_ANNOTATIONS template <class _Comp, class _RandomAccessIterator> void __sort(_RandomAccessIterator, _RandomAccessIterator, _Comp); +#if _LIBCPP_FREESTANDING == 0 + extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<char>&, char*>(char*, char*, __less<char>&); #if _LIBCPP_HAS_WIDE_CHARACTERS extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<wchar_t>&, wchar_t*>(wchar_t*, wchar_t*, __less<wchar_t>&); @@ -859,6 +861,8 @@ extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<long double>&, long double*>(long double*, long double*, __less<long double>&); _LIBCPP_END_EXPLICIT_ABI_ANNOTATIONS +#endif + template <class _AlgPolicy, class _RandomAccessIterator, class _Comp> _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 void __sort_dispatch(_RandomAccessIterator __first, _RandomAccessIterator __last, _Comp& __comp) { diff --git a/libcxx/include/__config b/libcxx/include/__config index 3f271ff504767..cbfb448189360 100644 --- a/libcxx/include/__config +++ b/libcxx/include/__config @@ -37,6 +37,10 @@ // Given a LLVM release LLVM XX.YY.ZZ (e.g. LLVM 17.0.1 == 17.00.01), _LIBCPP_VERSION is // defined to XXYYZZ. # define _LIBCPP_VERSION 230000 +# if __STDC_HOSTED__ == 0 && _LIBCPP_FREESTANDING == 0 +# undef _LIBCPP_FREESTANDING +# define _LIBCPP_FREESTANDING 1 +# endif # if defined(_LIBCPP_ABI_MICROSOFT) && !defined(_LIBCPP_NO_VCRUNTIME) # define _LIBCPP_ABI_VCRUNTIME diff --git a/libcxx/include/__config_site.in b/libcxx/include/__config_site.in index e6e33a2eeb2a9..4470ce4ca3400 100644 --- a/libcxx/include/__config_site.in +++ b/libcxx/include/__config_site.in @@ -32,6 +32,9 @@ #cmakedefine01 _LIBCPP_HAS_TIME_ZONE_DATABASE #cmakedefine01 _LIBCPP_INSTRUMENTED_WITH_ASAN +// Freestanding +#cmakedefine01 _LIBCPP_FREESTANDING + // PSTL backends #cmakedefine _LIBCPP_PSTL_BACKEND_SERIAL #cmakedefine _LIBCPP_PSTL_BACKEND_STD_THREAD diff --git a/libcxx/include/ctime b/libcxx/include/ctime index 1e845a8de0930..6140faed9550f 100644 --- a/libcxx/include/ctime +++ b/libcxx/include/ctime @@ -52,11 +52,16 @@ int timespec_get( struct timespec *ts, int base); // C++17 # include <__cstddef/size_t.h> // <time.h> is not provided by libc++ -# if __has_include(<time.h>) +# if __STDC_HOSTED__ && __has_include(<time.h>) # include <time.h> # ifdef _LIBCPP_TIME_H # error "If libc++ starts defining <time.h>, the __has_include check should move to libc++'s <time.h>" # endif +# else +# include <cstdint> +extern "C" { +typedef ::std::uint_least64_t time_t; +} # endif # if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) diff --git a/libcxx/include/stdio.h b/libcxx/include/stdio.h index 4ce98d178ed2f..e42485542d347 100644 --- a/libcxx/include/stdio.h +++ b/libcxx/include/stdio.h @@ -102,6 +102,11 @@ void perror(const char* s); // times to get different definitions based on the macros that are set before inclusion. #if __has_include_next(<stdio.h>) # include_next <stdio.h> +#else +# ifndef EOF +# define EOF (-1) +# endif +#endif #endif #ifndef _LIBCPP_STDIO_H diff --git a/libcxx/test/libcxx/libcpp_freestanding.sh.cpp b/libcxx/test/libcxx/libcpp_freestanding.sh.cpp new file mode 100644 index 0000000000000..b76e95089190e --- /dev/null +++ b/libcxx/test/libcxx/libcpp_freestanding.sh.cpp @@ -0,0 +1,114 @@ +//===----------------------------------------------------------------------===// +// +// 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 +// +//===----------------------------------------------------------------------===// + +// Test that _LIBCPP_FREESTANDING is not defined when -ffreestanding is not passed +// to the compiler but defined when -ffreestanding is passed to the compiler. + +// RUN: %{cxx} %{flags} %{compile_flags} -fsyntax-only %s +// RUN: %{cxx} %{flags} %{compile_flags} -fsyntax-only -ffreestanding -DFREESTANDING %s +// RUN: %{cxx} %{flags} %{compile_flags} -fsyntax-only -ffreestanding %s + +#include <__config> + +#if defined(FREESTANDING) != defined(_LIBCPP_FREESTANDING) +# error _LIBCPP_FREESTANDING should be defined in freestanding mode and not \ + defined in non-freestanding mode +# if defined(__has_feature) +# if __has_feature(modules) +# define _LIBCPP_FREESTANDING_NO_TEST_MODULES +# endif +# elif defined(__cpp_modules) +# define _LIBCPP_FREESTANDING_NO_TEST_MODULES +# endif + +# if _LIBCPP_FREESTANDING && !defined(_LIBCPP_FREESTANDING_NO_TEST_MODULES) +# include <cstddef> +# include <limits> +# include <cfloat> +# include <version> +# include <cstdint> +# include <cstdlib> +# include <new> +# include <typeinfo> +# if __has_include(<source_location>) +# include <source_location> +# endif +# include <exception> +# include <initializer_list> +# include <compare> +# include <coroutine> +# include <cstdarg> +# include <concepts> +# include <type_traits> +# include <bit> +# include <atomic> +# include <utility> +# include <tuple> +# include <memory> +# include <functional> +# include <ratio> +# include <iterator> +# include <ranges> +# include <typeinfo> + +/* +We tested these headers are for preventing build issues +*/ +# include <iosfwd> +# include <cstdio> +# include <cerrno> +# include <cstring> +# include <cmath> +# ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS +# include <cwchar> +# endif +# include <array> +# include <span> +# include <algorithm> +# include <bitset> +# include <variant> +# include <optional> +# include <numbers> +# include <scoped_allocator> +# include <typeindex> +# include <string_view> +# include <numeric> +# include <complex> +# include <chrono> +# include <charconv> +# include <expected> +# include <random> +# include <any> + +/* ++ * libc++ Containers Extensions ++ */ +# include <vector> +# include <deque> +# include <string> +# include <stack> +# include <queue> +# include <list> +# include <forward_list> +# include <map> +# include <set> +# include <unordered_set> +# include <unordered_map> +# if __has_include(<mdspan>) +# include <mdspan> +# endif +# include <valarray> + +# if _LIBCPP_STD_VER < 20 +# include <ciso646> +# if __has_include(<cstdalign>) +# include <cstdalign> +# endif +# include <cstdbool> +# endif +# endif >From 259f4c59ffcdd906df3383d5abd199ad54646020 Mon Sep 17 00:00:00 2001 From: trcrsired <[email protected]> Date: Sat, 11 Jul 2026 19:10:08 +0800 Subject: [PATCH 2/5] [skip ci][libcxx] freestanding has no threads --- libcxx/include/__config | 1 + 1 file changed, 1 insertion(+) diff --git a/libcxx/include/__config b/libcxx/include/__config index cbfb448189360..2d047676817d0 100644 --- a/libcxx/include/__config +++ b/libcxx/include/__config @@ -234,6 +234,7 @@ typedef __char32_t char32_t; # elif defined(_LIBCPP_WIN32API) # undef _LIBCPP_HAS_THREAD_API_WIN32 # define _LIBCPP_HAS_THREAD_API_WIN32 1 +# elif _LIBCPP_FREESTANDING != 0 # else # error "No thread API" # endif // _LIBCPP_HAS_THREAD_API >From 027f7c01358272d9950c8e0438caf67a0a06e863 Mon Sep 17 00:00:00 2001 From: trcrsired <[email protected]> Date: Sat, 11 Jul 2026 19:19:02 +0800 Subject: [PATCH 3/5] [skip ci][libcxx] stdio.h #endif missing --- libcxx/include/stdio.h | 1 - 1 file changed, 1 deletion(-) diff --git a/libcxx/include/stdio.h b/libcxx/include/stdio.h index e42485542d347..28d86a60ef247 100644 --- a/libcxx/include/stdio.h +++ b/libcxx/include/stdio.h @@ -107,7 +107,6 @@ void perror(const char* s); # define EOF (-1) # endif #endif -#endif #ifndef _LIBCPP_STDIO_H # define _LIBCPP_STDIO_H >From 3231856456ab14b463e4165444a686450ae98b3b Mon Sep 17 00:00:00 2001 From: trcrsired <[email protected]> Date: Sun, 12 Jul 2026 21:31:59 +0800 Subject: [PATCH 4/5] [libcxx] freestanding cxx trick to make it support freestanding --- clang/lib/Headers/errno.h | 164 ------------------------------ clang/lib/Headers/math.h | 29 ------ clang/lib/Headers/stdlib.h | 103 ------------------- clang/lib/Headers/string.h | 65 ------------ clang/lib/Headers/wchar.h | 62 ----------- libcxx/CMakeLists.txt | 1 + libcxx/include/__algorithm/sort.h | 6 +- libcxx/include/__mbstate_t.h | 10 ++ libcxx/include/stdio.h | 11 ++ libcxx/include/string.h | 42 +++++++- 10 files changed, 64 insertions(+), 429 deletions(-) delete mode 100644 clang/lib/Headers/errno.h delete mode 100644 clang/lib/Headers/math.h delete mode 100644 clang/lib/Headers/stdlib.h delete mode 100644 clang/lib/Headers/string.h delete mode 100644 clang/lib/Headers/wchar.h diff --git a/clang/lib/Headers/errno.h b/clang/lib/Headers/errno.h deleted file mode 100644 index 48fe84a9304ce..0000000000000 --- a/clang/lib/Headers/errno.h +++ /dev/null @@ -1,164 +0,0 @@ -/*===---- errno.h - Standard header for error numbers ---------------------===*\ - * - * 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 __CLANG_ERRNO_H -#define __CLANG_ERRNO_H - -/* If we're hosted, fall back to the system's errno.h, which might have - * additional definitions. - */ -#if __STDC_HOSTED__ && __has_include_next(<errno.h>) - -#include_next <errno.h> - -#else - -/* Adjusted to the linux asm/errno.h */ -#define EPERM 1 /* Operation not permitted */ -#define ENOENT 2 /* No such file or directory */ -#define ESRCH 3 /* No such process */ -#define EINTR 4 /* Interrupted system call */ -#define EIO 5 /* I/O error */ -#define ENXIO 6 /* No such device or address */ -#define E2BIG 7 /* Arg list too long */ -#define ENOEXEC 8 /* Exec format error */ -#define EBADF 9 /* Bad file number */ -#define ECHILD 10 /* No child processes */ -#define EAGAIN 11 /* Try again */ -#define ENOMEM 12 /* Out of memory */ -#define EACCES 13 /* Permission denied */ -#define EFAULT 14 /* Bad address */ -#define ENOTBLK 15 /* Block device required */ -#define EBUSY 16 /* Device or resource busy */ -#define EEXIST 17 /* File exists */ -#define EXDEV 18 /* Cross-device link */ -#define ENODEV 19 /* No such device */ -#define ENOTDIR 20 /* Not a directory */ -#define EISDIR 21 /* Is a directory */ -#define EINVAL 22 /* Invalid argument */ -#define ENFILE 23 /* File table overflow */ -#define EMFILE 24 /* Too many open files */ -#define ENOTTY 25 /* Not a typewriter */ -#define ETXTBSY 26 /* Text file busy */ -#define EFBIG 27 /* File too large */ -#define ENOSPC 28 /* No space left on device */ -#define ESPIPE 29 /* Illegal seek */ -#define EROFS 30 /* Read-only file system */ -#define EMLINK 31 /* Too many links */ -#define EPIPE 32 /* Broken pipe */ -#define EDOM 33 /* Math argument out of domain of func */ -#define ERANGE 34 /* Math result not representable */ -#define EDEADLK 35 /* Resource deadlock would occur */ -#define ENAMETOOLONG 36 /* File name too long */ -#define ENOLCK 37 /* No record locks available */ -#define ENOSYS 38 /* Function not implemented */ -#define ENOTEMPTY 39 /* Directory not empty */ -#define ELOOP 40 /* Too many symbolic links encountered */ -#define EWOULDBLOCK EAGAIN /* Operation would block */ -#define ENOMSG 42 /* No message of desired type */ -#define EIDRM 43 /* Identifier removed */ -#define ECHRNG 44 /* Channel number out of range */ -#define EL2NSYNC 45 /* Level 2 not synchronized */ -#define EL3HLT 46 /* Level 3 halted */ -#define EL3RST 47 /* Level 3 reset */ -#define ELNRNG 48 /* Link number out of range */ -#define EUNATCH 49 /* Protocol driver not attached */ -#define ENOCSI 50 /* No CSI structure available */ -#define EL2HLT 51 /* Level 2 halted */ -#define EBADE 52 /* Invalid exchange */ -#define EBADR 53 /* Invalid request descriptor */ -#define EXFULL 54 /* Exchange full */ -#define ENOANO 55 /* No anode */ -#define EBADRQC 56 /* Invalid request code */ -#define EBADSLT 57 /* Invalid slot */ -#define EDEADLOCK EDEADLK -#define EBFONT 59 /* Bad font file format */ -#define EFTYPE EBFONT /* Inappropriate file type or format */ -#define ENOSTR 60 /* Device not a stream */ -#define ENODATA 61 /* No data available */ -#define ETIME 62 /* Timer expired */ -#define ENOSR 63 /* Out of streams resources */ -#define ENONET 64 /* Machine is not on the network */ -#define ENOPKG 65 /* Package not installed */ -#define EREMOTE 66 /* Object is remote */ -#define ENOLINK 67 /* Link has been severed */ -#define EADV 68 /* Advertise error */ -#define ESRMNT 69 /* Srmount error */ -#define ECOMM 70 /* Communication error on send */ -#define EPROTO 71 /* Protocol error */ -#define EMULTIHOP 72 /* Multihop attempted */ -#define EDOTDOT 73 /* RFS specific error */ -#define EBADMSG 74 /* Not a data message */ -#define EOVERFLOW 75 /* Value too large for defined data type */ -#define ENOTUNIQ 76 /* Name not unique on network */ -#define EBADFD 77 /* File descriptor in bad state */ -#define EREMCHG 78 /* Remote address changed */ -#define ELIBACC 79 /* Can not access a needed shared library */ -#define ELIBBAD 80 /* Accessing a corrupted shared library */ -#define ELIBSCN 81 /* .lib section in a.out corrupted */ -#define ELIBMAX 82 /* Attempting to link in too many shared libraries */ -#define ELIBEXEC 83 /* Cannot exec a shared library directly */ -#define EILSEQ 84 /* Illegal byte sequence */ -#define ERESTART 85 /* Interrupted system call should be restarted */ -#define ESTRPIPE 86 /* Streams pipe error */ -#define EUSERS 87 /* Too many users */ -#define ENOTSOCK 88 /* Socket operation on non-socket */ -#define EDESTADDRREQ 89 /* Destination address required */ -#define EMSGSIZE 90 /* Message too long */ -#define EPROTOTYPE 91 /* Protocol wrong type for socket */ -#define ENOPROTOOPT 92 /* Protocol not available */ -#define EPROTONOSUPPORT 93 /* Protocol not supported */ -#define ESOCKTNOSUPPORT 94 /* Socket type not supported */ -#define EOPNOTSUPP 95 /* Operation not supported on transport endpoint */ -#define EPFNOSUPPORT 96 /* Protocol family not supported */ -#define EAFNOSUPPORT 97 /* Address family not supported by protocol */ -#define EADDRINUSE 98 /* Address already in use */ -#define EADDRNOTAVAIL 99 /* Cannot assign requested address */ -#define ENETDOWN 100 /* Network is down */ -#define ENETUNREACH 101 /* Network is unreachable */ -#define ENETRESET 102 /* Network dropped connection because of reset */ -#define ECONNABORTED 103 /* Software caused connection abort */ -#define ECONNRESET 104 /* Connection reset by peer */ -#define ENOBUFS 105 /* No buffer space available */ -#define EISCONN 106 /* Transport endpoint is already connected */ -#define ENOTCONN 107 /* Transport endpoint is not connected */ -#define ESHUTDOWN 108 /* Cannot send after transport endpoint shutdown */ -#define ETOOMANYREFS 109 /* Too many references: cannot splice */ -#define ETIMEDOUT 110 /* Connection timed out */ -#define ECONNREFUSED 111 /* Connection refused */ -#define EHOSTDOWN 112 /* Host is down */ -#define EHOSTUNREACH 113 /* No route to host */ -#define EALREADY 114 /* Operation already in progress */ -#define EINPROGRESS 115 /* Operation now in progress */ -#define ESTALE 116 /* Stale NFS file handle */ -#define EUCLEAN 117 /* Structure needs cleaning */ -#define ENOTNAM 118 /* Not a XENIX named type file */ -#define ENAVAIL 119 /* No XENIX semaphores available */ -#define EISNAM 120 /* Is a named type file */ -#define EREMOTEIO 121 /* Remote I/O error */ -#define EDQUOT 122 /* Quota exceeded */ -#define ENOMEDIUM 123 /* No medium found */ -#define EMEDIUMTYPE 124 /* Wrong medium type */ -#define ECANCELED 125 /* Operation Canceled */ -#define ENOKEY 126 /* Required key not available */ -#define EKEYEXPIRED 127 /* Key has expired */ -#define EKEYREVOKED 128 /* Key has been revoked */ -#define EKEYREJECTED 129 /* Key was rejected by service */ -#define EOWNERDEAD 130 /* Owner died */ -#define ENOTRECOVERABLE 131 /* State not recoverable */ -#define ERFKILL 132 /* Operation not possible due to RF-kill */ -#define EHWPOISON 133 /* Memory page has hardware error */ - -/* Widely known to be a synonym in Linux. */ -#define ENOTSUP EOPNOTSUPP - -#define __ELASTERROR 2000 /* Users can add values starting here */ - -#endif - -#endif diff --git a/clang/lib/Headers/math.h b/clang/lib/Headers/math.h deleted file mode 100644 index 3e316c891a1bc..0000000000000 --- a/clang/lib/Headers/math.h +++ /dev/null @@ -1,29 +0,0 @@ -/*===---- math.h - Standard header for C math ----------------------------===*\ - * - * 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 __CLANG_MATH_H -#define __CLANG_MATH_H - -/* If we're hosted, fall back to the system's math.h, which might have - * additional definitions. - */ -#if __STDC_HOSTED__ && __has_include_next(<math.h>) - -#include_next <math.h> - -#else - -#define NAN __builtin_nanf("") -#define INFINITY __builtin_inff() -#define FP_NAN 0 -#define FP_INFINITE 1 -#define FP_ZERO 2 -#define FP_SUBNORMAL 3 -#define FP_NORMAL 4 - -#endif diff --git a/clang/lib/Headers/stdlib.h b/clang/lib/Headers/stdlib.h deleted file mode 100644 index db5fa08385f58..0000000000000 --- a/clang/lib/Headers/stdlib.h +++ /dev/null @@ -1,103 +0,0 @@ -/*===---- stdlib.h - Standard header for general utilities ----------------===*\ - * - * 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 __CLANG_STDLIB_H -#define __CLANG_STDLIB_H - -/* If we're hosted, fall back to the system's math.h, which might have - * additional definitions. - */ -#if __STDC_HOSTED__ && __has_include_next(<stdlib.h>) - -#include_next <stdlib.h> - -#else - -#include <stddef.h> -#include <stdint.h> - -#ifndef EXIT_FAILURE -#define EXIT_FAILURE 1 /* freestanding */ -#endif -#ifndef EXIT_SUCCESS -#define EXIT_SUCCESS 0 /* freestanding */ -#endif - -#ifndef __cplusplus -extern "C" { -#endif - -typedef struct { - int quot; - int rem; -} div_t; /* freestanding */ -typedef struct { - long quot; - long rem; -} ldiv_t; /* freestanding */ -typedef struct { - long long quot; - long long rem; -} lldiv_t; /* freestanding */ -typedef struct { - intmax_t quot; - intmax_t rem; -} imaxdiv_t; /* freestanding */ - -/* -We offer declarations for these C functions, -leaving the implementations to be handled by users. -*/ - -// start and termination - -#ifndef __CLANG_STDLIB_NOEXCEPT -#ifdef __cplusplus -#if __cplusplus >= 201103L -#define __CLANG_STDLIB_NOEXCEPT noexcept -#else -#define __CLANG_STDLIB_NOEXCEPT throw() -#endif -#else -#define __CLANG_STDLIB_NOEXCEPT -#endif -#endif - -[[noreturn]] void abort() __CLANG_STDLIB_NOEXCEPT; /* freestanding */ -int atexit(void (*)()) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ -int at_quick_exit(void (*)()) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ -[[noreturn]] void exit(int); /* freestanding */ -[[noreturn]] void _Exit(int) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ -[[noreturn]] void quick_exit(int) __CLANG_STDLIB_NOEXCEPT; /* freestanding */ - -#undef __CLANG_STDLIB_NOEXCEPT - -// C standard library algorithms -void *bsearch(const void *, const void *, size_t, size_t, - int (*)(const void *, const void *)); /* freestanding */ -void qsort(void *, size_t, size_t, - int (*)(const void *, const void *)); /* freestanding */ - -// absolute values -int abs(int j); /* freestanding */ -long int abs(long int j); /* freestanding */ -long long int abs(long long int j); /* freestanding */ -long int labs(long int j); /* freestanding */ -long long int llabs(long long int j); /* freestanding */ - -div_t div(int, int); /* freestanding */ -ldiv_t div(long int, long int); /* freestanding */ -lldiv_t div(long long int, long long int); /* freestanding */ -ldiv_t ldiv(long int, long int); /* freestanding */ -lldiv_t lldiv(long long int, long long int); /* freestanding */ - -#ifndef __cplusplus -} -#endif - -#endif diff --git a/clang/lib/Headers/string.h b/clang/lib/Headers/string.h deleted file mode 100644 index c256b3e35a95b..0000000000000 --- a/clang/lib/Headers/string.h +++ /dev/null @@ -1,65 +0,0 @@ -/*===---- string.h - Standard header for null-terminated string -----------===*\ - * - * 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 __CLANG_STRING_H -#define __CLANG_STRING_H - -/* If we're hosted, fall back to the system's string.h, which might have - * additional definitions. - */ - -#if __STDC_HOSTED__ && __has_include_next(<string.h>) - -#include_next <string.h> - -#else - -#include <stddef.h> - -#ifndef __cplusplus -extern "C" { -#endif - -/* -We offer declarations for these C functions, -leaving the implementations to be handled by users. -*/ - -void *memcpy(void *, const void *, size_t); /* freestanding */ -void *memmove(void *, const void *, size_t); /* freestanding */ -char *strcpy(char *, const char *); /* freestanding */ -char *strncpy(char *, const char *, size_t); /* freestanding */ -char *strcat(char *, const char *); /* freestanding */ -char *strncat(char *, const char *, size_t); /* freestanding */ -int memcmp(const void *, const void *, size_t); /* freestanding */ -int strcmp(const char *, const char *); /* freestanding */ -int strncmp(const char *, const char *, size_t); /* freestanding */ -const void *memchr(const void *, int, size_t); /* freestanding */ -void *memchr(void *, int, size_t); /* freestanding */ -const char *strchr(const char *, int); /* freestanding */ -char *strchr(char *, int); /* freestanding */ -size_t strcspn(const char *, const char *); /* freestanding */ -const char *strpbrk(const char *, const char *); /* freestanding */ -char *strpbrk(char *, const char *); /* freestanding */ -const char *strrchr(const char *, int); /* freestanding */ -char *strrchr(char *, int); /* freestanding */ -size_t strspn(const char *, const char *); /* freestanding */ -const char *strstr(const char *, const char *); /* freestanding */ -char *strstr(char *, const char *); /* freestanding */ -char *strtok(char *, const char *); /* freestanding */ -void *memset(void *, int, size_t); /* freestanding */ -size_t strlen(const char *); /* freestanding */ -void *memset_explicit(void *, int, size_t); /* freestanding */ - -#ifndef __cplusplus -} -#endif - -#endif - -#endif diff --git a/clang/lib/Headers/wchar.h b/clang/lib/Headers/wchar.h deleted file mode 100644 index ca232c0cd6356..0000000000000 --- a/clang/lib/Headers/wchar.h +++ /dev/null @@ -1,62 +0,0 @@ -/*===---- wchar.h - Standard header for wide character types --------------===*\ - * - * 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 __CLANG_WCHAR_H -#define __CLANG_WCHAR_H - -/* If we're hosted, fall back to the system's wchar.h, which might have - * additional definitions. - */ - -#if __STDC_HOSTED__ && __has_include_next(<wchar.h>) - -#include_next <wchar.h> - -#else - -#ifndef __cplusplus -extern "C" { -#endif - -/* -We offer declarations for these C functions, -leaving the implementations to be handled by users. -*/ - -wchar_t *wcscpy(wchar_t *, const wchar_t *); /* freestanding */ -wchar_t *wcsncpy(wchar_t *, const wchar_t *, size_t); /* freestanding */ -wchar_t *wmemcpy(wchar_t *, const wchar_t *, size_t); /* freestanding */ -wchar_t *wmemmove(wchar_t *, const wchar_t *, size_t); /* freestanding */ -wchar_t *wcscat(wchar_t *, const wchar_t *); /* freestanding */ -wchar_t *wcsncat(wchar_t *, const wchar_t *, size_t); /* freestanding */ -int wcscmp(const wchar_t *, const wchar_t *); /* freestanding */ -int wcsncmp(const wchar_t *, const wchar_t *, size_t); /* freestanding */ -int wmemcmp(const wchar_t *, const wchar_t *, size_t); /* freestanding */ -const wchar_t *wcschr(const wchar_t *, wchar_t); /* freestanding */ -wchar_t *wcschr(wchar_t *, wchar_t); /* freestanding */ -size_t wcscspn(const wchar_t *, const wchar_t *); /* freestanding */ -const wchar_t *wcspbrk(const wchar_t *, const wchar_t *); /* freestanding */ -wchar_t *wcspbrk(wchar_t *, const wchar_t *); /* freestanding */ -const wchar_t *wcsrchr(const wchar_t *, wchar_t); /* freestanding */ -wchar_t *wcsrchr(wchar_t *, wchar_t); /* freestanding */ -size_t wcsspn(const wchar_t *, const wchar_t *); /* freestanding */ -const wchar_t *wcsstr(const wchar_t *, const wchar_t *); /* freestanding */ -wchar_t *wcsstr(wchar_t *, const wchar_t *); /* freestanding */ -wchar_t *wcstok(wchar_t *, const wchar_t *, wchar_t **); /* freestanding */ -const wchar_t *wmemchr(const wchar_t *, wchar_t, size_t); /* freestanding */ -wchar_t *wmemchr(wchar_t *, wchar_t, size_t); /* freestanding */ -size_t wcslen(const wchar_t *); /* freestanding */ -wchar_t *wmemset(wchar_t *, wchar_t, size_t); /* freestanding */ - -#ifndef __cplusplus -} -#endif - -#endif - -#endif diff --git a/libcxx/CMakeLists.txt b/libcxx/CMakeLists.txt index b92ff4b07777a..ee9be266975fc 100644 --- a/libcxx/CMakeLists.txt +++ b/libcxx/CMakeLists.txt @@ -176,6 +176,7 @@ if (LIBCXX_FREESTANDING) set(LIBCXX_ENABLE_WIDE_CHARACTERS OFF) set(LIBCXX_ENABLE_TIME_ZONE_DATABASE OFF) set(LIBCXX_INCLUDE_TESTS Off) + set(LIBCXX_ENABLE_THREADS Off) else() if (CMAKE_CXX_COMPILER_ID STREQUAL "GNU") set(LIBCXX_DEFAULT_TEST_CONFIG "llvm-libc++-shared-gcc.cfg.in") diff --git a/libcxx/include/__algorithm/sort.h b/libcxx/include/__algorithm/sort.h index f144115ded7e4..681eaac3ecb07 100644 --- a/libcxx/include/__algorithm/sort.h +++ b/libcxx/include/__algorithm/sort.h @@ -828,12 +828,11 @@ void __introsort(_RandomAccessIterator __first, } } +#if _LIBCPP_FREESTANDING != 0 _LIBCPP_BEGIN_EXPLICIT_ABI_ANNOTATIONS template <class _Comp, class _RandomAccessIterator> void __sort(_RandomAccessIterator, _RandomAccessIterator, _Comp); -#if _LIBCPP_FREESTANDING == 0 - extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<char>&, char*>(char*, char*, __less<char>&); #if _LIBCPP_HAS_WIDE_CHARACTERS extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<wchar_t>&, wchar_t*>(wchar_t*, wchar_t*, __less<wchar_t>&); @@ -860,7 +859,6 @@ extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<double>&, double*>( extern template _LIBCPP_EXPORTED_FROM_ABI void __sort<__less<long double>&, long double*>(long double*, long double*, __less<long double>&); _LIBCPP_END_EXPLICIT_ABI_ANNOTATIONS - #endif template <class _AlgPolicy, class _RandomAccessIterator, class _Comp> @@ -961,4 +959,4 @@ _LIBCPP_END_NAMESPACE_STD _LIBCPP_POP_MACROS -#endif // _LIBCPP___ALGORITHM_SORT_H +#endif // _LIBCPP___ALGORITHM_SORT_H \ No newline at end of file diff --git a/libcxx/include/__mbstate_t.h b/libcxx/include/__mbstate_t.h index 1ce5f0cd6da1d..dce7ad7ca9196 100644 --- a/libcxx/include/__mbstate_t.h +++ b/libcxx/include/__mbstate_t.h @@ -51,6 +51,16 @@ # include_next <wchar.h> // use the C standard provider of mbstate_t if present #elif __has_include_next(<uchar.h>) # include_next <uchar.h> // Try <uchar.h> in absence of <wchar.h> for mbstate_t +#elif _LIBCPP_FREESTANDING != 0 +# ifdef __cplusplus +extern "C" { +# endif +typedef struct { + int __fill[6]; +} mbstate_t; +# ifdef __cplusplus +} +# endif #else # error "We don't know how to get the definition of mbstate_t on your platform." #endif diff --git a/libcxx/include/stdio.h b/libcxx/include/stdio.h index 28d86a60ef247..534ceb8188428 100644 --- a/libcxx/include/stdio.h +++ b/libcxx/include/stdio.h @@ -122,4 +122,15 @@ void perror(const char* s); # undef getchar # endif // __cplusplus + +# if !__has_include_next(<stdio.h>) +# ifdef __cplusplus +extern "C" { +# endif // __cplusplus +int remove(const char*); +# ifdef __cplusplus +} +# endif // __cplusplus +# endif + #endif // _LIBCPP_STDIO_H diff --git a/libcxx/include/string.h b/libcxx/include/string.h index 2ffcb913010b6..9d3f20adb783e 100644 --- a/libcxx/include/string.h +++ b/libcxx/include/string.h @@ -60,11 +60,49 @@ size_t strlen(const char* s); # pragma GCC system_header # endif +# include <stddef.h> # if __has_include_next(<string.h>) # include_next <string.h> -# endif +# else +# ifndef __cplusplus +extern "C" { +# endif -# include <stddef.h> +/* +We offer declarations for these C functions, +leaving the implementations to be handled by users. +*/ + +void* memcpy(void*, const void*, size_t); /* freestanding */ +void* memmove(void*, const void*, size_t); /* freestanding */ +char* strcpy(char*, const char*); /* freestanding */ +char* strncpy(char*, const char*, size_t); /* freestanding */ +char* strcat(char*, const char*); /* freestanding */ +char* strncat(char*, const char*, size_t); /* freestanding */ +int memcmp(const void*, const void*, size_t); /* freestanding */ +int strcmp(const char*, const char*); /* freestanding */ +int strncmp(const char*, const char*, size_t); /* freestanding */ +const void* memchr(const void*, int, size_t); /* freestanding */ +void* memchr(void*, int, size_t); /* freestanding */ +const char* strchr(const char*, int); /* freestanding */ +char* strchr(char*, int); /* freestanding */ +size_t strcspn(const char*, const char*); /* freestanding */ +const char* strpbrk(const char*, const char*); /* freestanding */ +char* strpbrk(char*, const char*); /* freestanding */ +const char* strrchr(const char*, int); /* freestanding */ +char* strrchr(char*, int); /* freestanding */ +size_t strspn(const char*, const char*); /* freestanding */ +const char* strstr(const char*, const char*); /* freestanding */ +char* strstr(char*, const char*); /* freestanding */ +char* strtok(char*, const char*); /* freestanding */ +void* memset(void*, int, size_t); /* freestanding */ +size_t strlen(const char*); /* freestanding */ +void* memset_explicit(void*, int, size_t); /* freestanding */ + +# ifndef __cplusplus +} +# endif +# endif // MSVCRT, GNU libc and its derivates may already have the correct prototype in // <string.h>. This macro can be defined by users if their C library provides >From a323248019b078993021abe7211a73de10ac7164 Mon Sep 17 00:00:00 2001 From: trcrsired <[email protected]> Date: Sun, 12 Jul 2026 22:34:19 +0800 Subject: [PATCH 5/5] [libcxx] do freestanding support correctly --- libcxx/include/math.h | 39 +++++++++- libcxx/include/stdlib.h | 19 +++++ libcxx/test/libcxx/libcpp_freestanding.sh.cpp | 73 +++++++++---------- 3 files changed, 92 insertions(+), 39 deletions(-) diff --git a/libcxx/include/math.h b/libcxx/include/math.h index 1db61538e995f..0544429798186 100644 --- a/libcxx/include/math.h +++ b/libcxx/include/math.h @@ -302,6 +302,43 @@ long double truncl(long double x); # if __has_include_next(<math.h>) # include_next <math.h> +# else + +# ifndef NAN +# define NAN __builtin_nanf("") +# endif + +# ifndef INFINITY +# define INFINITY __builtin_inff() +# endif + +# ifndef FP_NAN +# define FP_NAN 0 +# endif + +# ifndef FP_INFINITE +# define FP_INFINITE 1 +# endif + +# ifndef FP_ZERO +# define FP_ZERO 2 +# endif + +# ifndef FP_SUBNORMAL +# define FP_SUBNORMAL 3 +# endif + +# ifndef FP_NORMAL +# define FP_NORMAL 4 +# endif +# ifdef __cplusplus +extern "C" { +# endif +float atan2f(float, float); +long double atan2l(long double, long double); +# ifdef __cplusplus +} +# endif # endif # ifdef __cplusplus @@ -531,4 +568,4 @@ using std::__math::trunc; # include_next <math.h> # endif -#endif // _LIBCPP_MATH_H +#endif // _LIBCPP_MATH_H \ No newline at end of file diff --git a/libcxx/include/stdlib.h b/libcxx/include/stdlib.h index 8dfdfa416f088..4d34b3251b10c 100644 --- a/libcxx/include/stdlib.h +++ b/libcxx/include/stdlib.h @@ -92,6 +92,25 @@ void *aligned_alloc(size_t alignment, size_t size); // C11 # if !defined(_LIBCPP_STDLIB_H) # define _LIBCPP_STDLIB_H +# if !__has_include_next(<stdlib.h>) +# ifdef __cplusplus +extern "C" { +# endif +struct ldiv_t { + long quot; + long rem; +}; +struct lldiv_t { + long long quot; + long long rem; +}; +ldiv_t ldiv(long x, long y); +lldiv_t lldiv(long long x, long long y); +# ifdef __cplusplus +} +# endif +# endif + # ifdef __cplusplus extern "C++" { // abs diff --git a/libcxx/test/libcxx/libcpp_freestanding.sh.cpp b/libcxx/test/libcxx/libcpp_freestanding.sh.cpp index b76e95089190e..aff38cbede540 100644 --- a/libcxx/test/libcxx/libcpp_freestanding.sh.cpp +++ b/libcxx/test/libcxx/libcpp_freestanding.sh.cpp @@ -9,52 +9,49 @@ // Test that _LIBCPP_FREESTANDING is not defined when -ffreestanding is not passed // to the compiler but defined when -ffreestanding is passed to the compiler. -// RUN: %{cxx} %{flags} %{compile_flags} -fsyntax-only %s -// RUN: %{cxx} %{flags} %{compile_flags} -fsyntax-only -ffreestanding -DFREESTANDING %s // RUN: %{cxx} %{flags} %{compile_flags} -fsyntax-only -ffreestanding %s #include <__config> -#if defined(FREESTANDING) != defined(_LIBCPP_FREESTANDING) -# error _LIBCPP_FREESTANDING should be defined in freestanding mode and not \ - defined in non-freestanding mode -# if defined(__has_feature) -# if __has_feature(modules) -# define _LIBCPP_FREESTANDING_NO_TEST_MODULES -# endif -# elif defined(__cpp_modules) +#if defined(__has_feature) +# if __has_feature(modules) # define _LIBCPP_FREESTANDING_NO_TEST_MODULES # endif +#elif defined(__cpp_modules) +# define _LIBCPP_FREESTANDING_NO_TEST_MODULES +#endif # if _LIBCPP_FREESTANDING && !defined(_LIBCPP_FREESTANDING_NO_TEST_MODULES) -# include <cstddef> -# include <limits> -# include <cfloat> -# include <version> -# include <cstdint> -# include <cstdlib> -# include <new> -# include <typeinfo> -# if __has_include(<source_location>) -# include <source_location> -# endif -# include <exception> -# include <initializer_list> -# include <compare> -# include <coroutine> -# include <cstdarg> -# include <concepts> -# include <type_traits> -# include <bit> -# include <atomic> -# include <utility> -# include <tuple> -# include <memory> -# include <functional> -# include <ratio> -# include <iterator> -# include <ranges> -# include <typeinfo> +# include <cstddef> +# include <limits> +# include <climits> +# include <cfloat> +# include <version> +# include <cstdint> +# include <cstdlib> +# include <new> +# include <typeinfo> +# if __has_include(<source_location>) +# include <source_location> +# endif +# include <exception> +# include <initializer_list> +# include <compare> +# include <coroutine> +# include <cstdarg> +# include <concepts> +# include <type_traits> +# include <bit> +# include <atomic> +# include <utility> +# include <tuple> +# include <memory> +# include <functional> +# include <ratio> +# include <iterator> +# include <ranges> +# include <typeinfo> +# include <execution> /* We tested these headers are for preventing build issues _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
