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/2] [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/2] [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 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
