[libc][bazel] Add tests to the bazel build

[gchatelet]

Summary

This patch adds bazel tests for llvm-libc.

Some math tests rely on the mpfr library. This is controlled via the --@llvm-project//libc:libc_math_mpfr flag. It can take three values:

• external (default) will build mpfr and gmp from source.
• system will use the system installed mpfr library.
• disable will skip tests relying on mpfr.

[gchatelet]

gmp and mpfr are built from source. Right now this is quite slow as Bazel does not parallelize the job yet (https://github.com/bazelbuild/rules_foreign_cc/issues/329).
Once the build is cached this is fast though.

[gchatelet]

We'd need to have autotools installed on the CI machine though.

[gchatelet]

• Add documentation on why -Wno-error is needed to compile gmp and mpfr.

[GMNGeoffrey]

I think we should provide at least the option for users to use these from their system, as we do with zlib

utils/bazel/WORKSPACE

79

Maybe switch to git_repository

[GMNGeoffrey]

@chandlerc any opinions on having multiple methods for depending on external libraries? Version 0.7 doesn't inspire confidence

[gchatelet]

@GMNGeoffrey I'm having an issue that you may know how to solve.
.bazelrc automatically appends -Wall -Werror to everything that is built.

• Math tests depend on mpfr,
• mpfr (and gmp) are built from source using rules_foreign_cc,
• For hermeticity rules_foreign_cc compiles make

I could tweak the ./configure options for mpfr and gmp and explicitly disable -Werror (see file "mpfr.BUILD" and "gmp.BUILD") but I cannot tweak the compile options for when rules_foreign_cc compiles make.
I could work around this by preventing rules_foreign_cc to compiles make in the first place, but then the build is not hermetic anymore...

register_built_tools = False,
register_default_tools = False,

What do you think? Is .bazelrc too strict? Is there a clean way to work around this without lowering the error level?

[gchatelet]

Another hack is to modify the .bazelrc file to pass -Wall -Werror only to cxxopt, instead of copt. Since make, gmp and mpfr are C and not C++ it works. But yeah, quite a hacky solution as well,

[GMNGeoffrey]

In D119547#3369973, @gchatelet wrote:

@GMNGeoffrey I'm having an issue that you may know how to solve.
.bazelrc automatically appends -Wall -Werror to everything that is built.

• Math tests depend on mpfr,
• mpfr (and gmp) are built from source using rules_foreign_cc,
• For hermeticity rules_foreign_cc compiles make

I could tweak the ./configure options for mpfr and gmp and explicitly disable -Werror (see file "mpfr.BUILD" and "gmp.BUILD") but I cannot tweak the compile options for when rules_foreign_cc compiles make.
I could work around this by preventing rules_foreign_cc to compiles make in the first place, but then the build is not hermetic anymore...

register_built_tools = False,
register_default_tools = False,

What do you think? Is .bazelrc too strict? Is there a clean way to work around this without lowering the error level?

You can use per_file_copt to limit where copts get applied, and for clang specifically the system_header_prefix copt. I think using the make on a user's machine instead of compiling it from source is entirely reasonable though. Only at Google would that be considered a good idea

[gchatelet]

• Use git_repository with tags, re-enable tool registration to check if CI works (m4 is missing), apply .bazelrc flags more specifically

[gchatelet]

• rebase and test CI now that https://github.com/google/llvm-premerge-checks/commit/86e2347137812b329d0ed603140737ceebaa1e9f is submitted.

[gchatelet]

• rebase

[gchatelet]

• Fix bazel files after cpp_standalone splitting

[gchatelet]

• Update bazel files to get closer to internal files

[gchatelet]

• Try to use prebuilt tools

[gchatelet]

• rebase

[gchatelet]

• rebase and update

[gchatelet]

• remove project prefix

[gchatelet]

• Update file structure

[sivachandra]

Is this ready for review?

[gchatelet]

In D119547#3907302, @sivachandra wrote:

Is this ready for review?

Almost, I'm still facing internal import issues that also need to be resolved upstream. I'll ping here when it's ready.

[gchatelet]

• update visibility

[gchatelet]

As-is this patch requires to have autotools installed (make, m4 and maybe other tools)
@GMNGeoffrey @sivachandra can we update the bazel builder?

[gchatelet]

Let rules_foreign_cc_dependencies build make - this should fixe premerge bot.

[gchatelet]

In D119547#3908018, @gchatelet wrote:

As-is this patch requires to have autotools installed (make, m4 and maybe other tools)
@GMNGeoffrey @sivachandra can we update the bazel builder?

I just updated the patch so it builds make hermetically but I had to disable copt_host -Werror
See diff https://reviews.llvm.org/D119547?vs=473188&id=473229#toc

Let me know which one of the two solutions you prefer.

edit Even if Bazel is able to build make, m4 is required to build gmp. It's actually a known issue : https://github.com/bazelbuild/rules_foreign_cc/issues/755
So for now we need at least m4, autoconf and automake to be installed on the machine anyways. So let's assume that make is available as well.

[GMNGeoffrey]

In D119547#3908195, @gchatelet wrote:

edit Even if Bazel is able to build make, m4 is required to build gmp. It's actually a known issue : https://github.com/bazelbuild/rules_foreign_cc/issues/755
So for now we need at least m4, autoconf and automake to be installed on the machine anyways. So let's assume that make is available as well.

@aeubanks can we see about installing these dependencies on the builders?

[GMNGeoffrey]

utils/bazel/.bazelrc

50–51

Based on your other comment, I think this could be removed now? But also there's https://reviews.llvm.org/D123481 to remove -Werror from the default config. Note, though, that the CI still builds with -Werror

utils/bazel/llvm-project-overlay/libc/test/libc_test_rules.bzl

2

Please add a license header and further explanation of why tests are constructed this way.

14

Can you use **kwargs for consistency with the rest of the starlark macros?

17

It seems like calling the "additional_deps" argument "deps" would also be fine? Generally it's preferred to use standard names (https://bazel.build/rules/bzl-style). I do see the argument for different naming, thouhg. Your call

utils/bazel/llvm-project-overlay/libc/test/src/math/BUILD.bazel

218

Couldn't we just tag it to be excluded from Aarch64 tests?

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

37

Oh no 😨 How much does this extend CI runtime? Also, how many tests are like this? Instead of hardcoding "enormous" for every test, could you just pass that argument for the few that are in fact enormous? Separately, I think it is a better fit to use the timeout argument here timeout = "eternal". Test size is ill-defined, but I think by any reasonable definition this test isn't an enormous one. Those usually involve spinning up whole servers and such. I think it's a small test that just happens to take a very long time.

utils/bazel/third_party_build/mpfr.BUILD

12

Probably want to turn off all warnings entirely. Getting warnings from this is not going to be useful for anyone. I think -w is the flag for both clang and gcc.

[gchatelet]

• Let rules_foreign_cc_dependencies build make
• Revert "Let rules_foreign_cc_dependencies build make"

[gchatelet]

• rebase to integrate https://reviews.llvm.org/D123481

[gchatelet]

• Add licence to libc_test_rules.bzl
• Rename kw into kwargs
• Disable math:sqrtl_test on aarch64
• Suppress warnings for mpfr build

[gchatelet]

utils/bazel/llvm-project-overlay/libc/test/libc_test_rules.bzl

17

@sivachandra WDYT?

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

37

It is not that bad. Here are the top tests sorted by runtime:

@llvm-project//libc/test/src/math:hypot_test                             PASSED in 44.1s
@llvm-project//libc/test/src/math:hypotf_test                            PASSED in 31.4s
@llvm-project//libc/test/src/math:remquol_test                           PASSED in 19.7s
@llvm-project//libc/test/src/math:sincosf_test                           PASSED in 12.8s
@llvm-project//libc/test/src/math:sqrtf_test                             PASSED in 6.3s
@llvm-project//libc/test/src/math:sqrt_test                              PASSED in 6.0s
@llvm-project//libc/test/src/math:sqrtl_test                             PASSED in 4.8s
@llvm-project//libc/test/src/math:sinf_test                              PASSED in 3.8s
...

@lntue can we add the size tag only on the few bad ones?

[gchatelet]

• Use selects.with_or as platform can be a list.

[gchatelet]

• Add licence to libc_test_rules.bzl
• Rename kw into kwargs
• Disable math:sqrtl_test on aarch64
• Suppress warnings for mpfr build
• Use selects.with_or as platform can be a list.
• Also add -w to gmp
• Remove unneeded visibility
• rebase

[GMNGeoffrey]

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

37

Thos are all within the timeouts for "short", which is implied by "small". It doesn't seem like any of these should be tagged "enormous"

[gchatelet]

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

37

So I've run more tests on different archs and build modes.

• for local machine x86_64 test time is < 45s in opt and < 80s in fastbuild.
• for local machine aarch64 test time is < 45s in optand < 87s in fastbuild.
• for Google aarch64 test time is < 100s in opt and < 160s in fastbuild.
• for Google qemued aarch64 test time is < 30m in opt and timing out after 1h in fastbuild.

So indeed these are enormous but only when run through an emulator. Let's mark the bigger tests wit the correct size and handle the timeouts internally.

[gchatelet]

• Add missing library for sqrtl
• Remove size from math_test
• add --with-pic configure option to gmp and mpfr (necessary for aarch64)

[gchatelet]

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

37

Actually I'm just removing the size attribute as the default is fine for all tests here.

[aeubanks]

In D119547#3915920, @GMNGeoffrey wrote:

In D119547#3908195, @gchatelet wrote:

edit Even if Bazel is able to build make, m4 is required to build gmp. It's actually a known issue : https://github.com/bazelbuild/rules_foreign_cc/issues/755
So for now we need at least m4, autoconf and automake to be installed on the machine anyways. So let's assume that make is available as well.

@aeubanks can we see about installing these dependencies on the builders?

was at the llvm dev meeting, I'll try to find time to look into this

[sivachandra]

In D119547#3908018, @gchatelet wrote:

@GMNGeoffrey @sivachandra can we update the bazel builder?

Sorry, I missed this - I do not maintain the bazel builder so this question should probably be answered by someone who maintains it.

utils/bazel/llvm-project-overlay/libc/test/libc_test_rules.bzl

17

Fine with calling it deps. IIRC, I named it additional_deps and not deps so that we do not mistakenly end up putting libc_function_deps in deps.

[aeubanks]

it took ~90 seconds to build libgmp and then ~60 seconds to build libmpfr on the bots, then ~40 for the longest test, that's not a great build experience even if it'll be cached most times

but anyway, make and m4 are now installed on the pre and post submit bazel bots

[aeubanks]

is there an issue with using a preinstalled version of mpfr/gmp on the bots?

[gchatelet]

• Use 'deps' instead of 'additional_deps'

[gchatelet]

In D119547#3922498, @aeubanks wrote:

is there an issue with using a preinstalled version of mpfr/gmp on the bots?

I don't think there are any issues, I think we can do the same as for zlib and terminfo.
Let me tinker with it a bit.

[gchatelet]

• libc math mpfr=(disable|system|eternal)

[gchatelet]

@aeubanks I've added a way to use the system's mpfr.
We need to add --@llvm-project//libc:libc_math_mpfr=system on the build bot command line. Do you know where to change this?
Also could you add libmpfr-dev to the build bot? (libgmp-dev will automatically come as a dependency)

[aeubanks]

In D119547#3927699, @gchatelet wrote:

@aeubanks I've added a way to use the system's mpfr.
We need to add --@llvm-project//libc:libc_math_mpfr=system on the build bot command line. Do you know where to change this?
Also could you add libmpfr-dev to the build bot? (libgmp-dev will automatically come as a dependency)

see --config=ci at the bottom of utils/bazel/.bazelrc

[aeubanks]

and added libmpfr-dev to the bots

[gchatelet]

• Use system's mpfr for CI
• Make mpfr dependency explicit

[gchatelet]

In D119547#3927932, @aeubanks wrote:

In D119547#3927699, @gchatelet wrote:

@aeubanks I've added a way to use the system's mpfr.
We need to add --@llvm-project//libc:libc_math_mpfr=system on the build bot command line. Do you know where to change this?
Also could you add libmpfr-dev to the build bot? (libgmp-dev will automatically come as a dependency)

see --config=ci at the bottom of utils/bazel/.bazelrc

Thx!

[gchatelet]

• Fix documentation

[gchatelet]

• Add licence to libc_test_rules.bzl
• Rename kw into kwargs
• Disable math:sqrtl_test on aarch64
• Suppress warnings for mpfr build
• Use selects.with_or as platform can be a list.
• Also add -w to gmp
• Remove unneeded visibility
• Add missing library for sqrtl
• Remove size from math_test
• add --with-pic configure option to gmp and mpfr (necessary for aarch64)
• Use 'deps' instead of 'additional_deps'
• libc math mpfr=(disable|system|eternal)
• Use system's mpfr for CI
• Make mpfr dependency explicit
• Fix documentation
• Add missing dependencies
• Use canonical version of mpfr_impl
• Rebase

[gchatelet]

• Add licence to libc_test_rules.bzl
• Rename kw into kwargs
• Disable math:sqrtl_test on aarch64
• Suppress warnings for mpfr build
• Use selects.with_or as platform can be a list.
• Also add -w to gmp
• Remove unneeded visibility
• Add missing library for sqrtl
• Remove size from math_test
• add --with-pic configure option to gmp and mpfr (necessary for aarch64)
• Use 'deps' instead of 'additional_deps'
• libc math mpfr=(disable|system|eternal)
• Use system's mpfr for CI
• Make mpfr dependency explicit
• Fix documentation
• Add missing dependencies
• Use canonical version of mpfr_impl
• Fix __support_unit deps after rebase
• Fix wrong target
• Rebase

[gchatelet]

• Fix typo
• Fix comment

[gchatelet]

I think it's good to go. @sivachandra @GMNGeoffrey looks good to you?

[lntue]

utils/bazel/llvm-project-overlay/libc/test/src/math/BUILD.bazel

263–264

I think this comment does not apply anymore. Can you add a TODO for me to double check this on an aarch64 machine and re-enable the test? Thanks,

[gchatelet]

• Add licence to libc_test_rules.bzl
• Rename kw into kwargs
• Disable math:sqrtl_test on aarch64
• Suppress warnings for mpfr build
• Use selects.with_or as platform can be a list.
• Also add -w to gmp
• Remove unneeded visibility
• Add missing library for sqrtl
• Remove size from math_test
• add --with-pic configure option to gmp and mpfr (necessary for aarch64)
• Use 'deps' instead of 'additional_deps'
• libc math mpfr=(disable|system|eternal)
• Use system's mpfr for CI
• Make mpfr dependency explicit
• Fix documentation
• Add missing dependencies
• Use canonical version of mpfr_impl
• Fix __support_unit deps after rebase
• Fix wrong target
• Fix typo
• Fix comment
• Remove unneeded dependencies and aarch64 test restriction

utils/bazel/llvm-project-overlay/libc/test/src/math/BUILD.bazel

263–264

Just tested on an aarch64 machine with the following dependencies and it passes.
Get:1 http://deb.debian.org/debian bullseye/main arm64 libgmpxx4ldbl arm64 2:6.2.1+dfsg-1+deb11u1 [337 kB]
Get:2 http://deb.debian.org/debian bullseye/main arm64 libgmp-dev arm64 2:6.2.1+dfsg-1+deb11u1 [625 kB]
Get:3 http://deb.debian.org/debian bullseye/main arm64 libmpfr-dev arm64 4.1.0-3 [236 kB]

I'll simplify the target then.

[sivachandra]

LGTM but please wait for @GMNGeoffrey . As a follow up, can you please add a doc for building and testing with Bazel similar to https://libc.llvm.org/build_and_test.html?

[GMNGeoffrey]

LGTM with some nits

utils/bazel/WORKSPACE

76

It seems like we don't actually use this anywhere?

90

bazelrc. Note that this is no longer set in the bazelr by default, but it is set in the CI

utils/bazel/llvm-project-overlay/libc/BUILD.bazel

28

I think it would be good to throw a usage example in here and a link to the docs. This Bazel flag stuff is pretty new and I think not widely used. IIUC this would be passed like bazel build @llvm-project//libc:libc_math_mpfr=disable .... Having written it out, I think you should drop the "libc" from the flag name: it already has to be referenced with a qualified name. Is "math" important? Maybe just bazel build @llvm-project//libc:mpfr=disable .... That looks quite a bit cleaner

utils/bazel/llvm-project-overlay/libc/test/libc_test_rules.bzl

2

Would still like to see an explanation of why these tests are constructed this way. The docstrings kind of look like just rearranging the words in the file/function name

10–26

It's a bit weird to introspect kwargs this way IMO. You can instead add deps as an explicit kwarg with a default

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

5

Again, more explanation of what's going on here and why would be helpful

14

Same comment about just making deps explicit

utils/bazel/llvm-project-overlay/libc/test/src/stdlib/BUILD.bazel

2

Please add license headers to all the files, as we have in the other Bazel files

utils/bazel/llvm-project-overlay/libc/utils/MPFRWrapper/BUILD.bazel

10–13

It is wild to me that this is how you disable something in Bazel...

utils/bazel/third_party_build/mpfr.BUILD

12

I think that with this you don't need to also turn off -Werror. -w -> no warnings so it doesn't matter that all warnings are errors :-)

[gchatelet]

utils/bazel/WORKSPACE

90

This is no more relevant, thx for the heads up.
I've added some documentation as well.

utils/bazel/llvm-project-overlay/libc/utils/MPFRWrapper/BUILD.bazel

10–13

This is the recommended way as far as I understand
https://youtu.be/01BHJT7GL9o

Please correct me if I'm wrong!

utils/bazel/third_party_build/mpfr.BUILD

12

Fair enough 🙂

[gchatelet]

• Remove unused bazel_toolchain
• Update documentation in WORKSPACE
• Rename mpfr flag and improve documentation
• Use deps in rules arguments
• Added documentation to custom rules
• Add license headers
• Remove unneeded -Wno-error

[gchatelet]

Thx @GMNGeoffrey for the valuable comments. I'll submit as is. Let me know if you have any other modifications and I'll deal with them in subsequent patches.

[gchatelet]

Reopening to use bazel_platforms incompatible_setting instead of creating my own.

[gchatelet]

• Removed custom constrain_setttings and rely on @platform//:incompatible
• Format build files

[gchatelet]

• Remove unused load directives
• Fix dosctring in libc_math_test_rules.bzl

utils/bazel/.bazelrc

 ###############################################################################
 
 # Set the default compiler to the `clang` binary on the `PATH`.
 build:generic_clang --repo_env=CC=clang
 
 # C++17 standard version is required.
 build:generic_clang --cxxopt=-std=c++17 --host_cxxopt=-std=c++17
 
 # Use `-Wall` for Clang.
 build:generic_clang --copt=-Wall --host_copt=-Wall
 
 # The Clang available on MacOS has a warning that isn't clean on MLIR code. The
 # warning doesn't show up with more recent Clangs, so just disable for now.
 build:generic_clang --cxxopt=-Wno-range-loop-analysis --host_cxxopt=-Wno-range-loop-analysis
 
 # Build errors are not a helpful way to enforce deprecation in-repo and it is
 # not the point of the Bazel build to catch usage of deprecated APIs.
 build:generic_clang --copt=-Wno-deprecated --host_copt=-Wno-deprecated

 build:ci --copt=-O1
 
 # Use clang.
 build:ci --config=generic_clang
 
 # Speedup bazel using a ramdisk.
 build:ci --sandbox_base=/dev/shm
 
+# Use system's mpfr instead of building it from source.
+# This is non hermetic but helps with compile time.
+build:ci --@llvm-project//libc:mpfr=system
+
 # Don't build/test targets tagged with "nobuildkite".
 build:ci --build_tag_filters=-nobuildkite
 build:ci --test_tag_filters=-nobuildkite
 
 # Show as many errors as possible.
 build:ci --keep_going
 
 # Show test errors.
 build:ci --test_output=errors
 
 ###############################################################################
 
 # The user.bazelrc file is not checked in but available for local mods.
 # Always keep this at the end of the file so that user flags override.
 try-import %workspace%/user.bazelrc

utils/bazel/WORKSPACE

 # This file is licensed 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
 
 load("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
 load("@bazel_tools//tools/build_defs/repo:utils.bzl", "maybe")
+load("@bazel_tools//tools/build_defs/repo:git.bzl", "git_repository")
 
 SKYLIB_VERSION = "1.3.0"
 
 http_archive(
     name = "bazel_skylib",
     sha256 = "74d544d96f4a5bb630d465ca8bbcfe231e3594e5aae57e1edbf17a6eb3ca2506",
     urls = [
         "https://mirror.bazel.build/github.com/bazelbuild/bazel-skylib/releases/download/{version}/bazel-skylib-{version}.tar.gz".format(version=SKYLIB_VERSION),

 
 load("@llvm-raw//utils/bazel:vulkan_sdk.bzl", "vulkan_sdk_setup")
 
 maybe(
     vulkan_sdk_setup,
     name = "vulkan_sdk",
 )
 
+# llvm libc math tests reply on `mpfr`.
+# The availability of `mpfr` is controlled by a flag and can be either `disable`, `system` or `external`.
+# Continuous integration uses `system` to speed up the build process (see .bazelrc).
+# Otherwise by default it is set to `external`: `mpfr` and `gmp` are built from source by using `rules_foreign_cc`.
+# Note: that building from source requires `m4` to be installed on the host machine.
+# This is a known issue: https://github.com/bazelbuild/rules_foreign_cc/issues/755.
+
+git_repository(
+    name = "rules_foreign_cc",
+    tag = "0.9.0",
+    remote = "https://github.com/bazelbuild/rules_foreign_cc.git"
+)
+
+load("@rules_foreign_cc//foreign_cc:repositories.bzl", "rules_foreign_cc_dependencies")
+rules_foreign_cc_dependencies()
+
+maybe(
+    http_archive,
+    name = "gmp",
+    build_file = "@llvm-raw//utils/bazel/third_party_build:gmp.BUILD",
+    sha256 = "fd4829912cddd12f84181c3451cc752be224643e87fac497b69edddadc49b4f2",
+    strip_prefix = "gmp-6.2.1",
+    urls = [
+        "https://gmplib.org/download/gmp/gmp-6.2.1.tar.xz",
+        "https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz",
+    ],
+)
+
+maybe(
+    http_archive,
+    name = "mpfr",
+    build_file = "@llvm-raw//utils/bazel/third_party_build:mpfr.BUILD",
+    sha256 = "3127fe813218f3a1f0adf4e8899de23df33b4cf4b4b3831a5314f78e65ffa2d6",
+    strip_prefix = "mpfr-4.1.0",
+    urls = ["https://www.mpfr.org/mpfr-current/mpfr-4.1.0.tar.gz"],
+)
+

utils/bazel/llvm-project-overlay/libc/BUILD.bazel

 # This file is licensed 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
 
 # LLVM libc project.
 load(":libc_build_rules.bzl", "libc_function", "libc_math_function")
 load(":platforms.bzl", "PLATFORM_CPU_ARM64", "PLATFORM_CPU_X86_64")
 load("@bazel_skylib//lib:selects.bzl", "selects")
+load("@bazel_skylib//rules:common_settings.bzl", "string_flag")
 
 package(
     default_visibility = ["//visibility:public"],
     features = ["-use_header_modules"],
 )
 
 licenses(["notice"])
 
+# A flag to pick which `mpfr` to use for math tests.
+# Usage: `--@llvm-project//libc:mpfr=<disable|external|system>`.
+# Flag documentation: https://bazel.build/extending/config
+string_flag(
+    name = "mpfr",
+    build_setting_default = "external",
+    values = [
+        "disable",  # Skip tests that need mpfr
+        "external",  # Build mpfr from source
+        "system",  # Use system mpfr (non hermetic)
+    ],
+)
+
+config_setting(
+    name = "mpfr_disable",
+    flag_values = {":mpfr": "disable"},
+)
+
+config_setting(
+    name = "mpfr_external",
+    flag_values = {":mpfr": "external"},
+)
+
+config_setting(
+    name = "mpfr_system",
+    flag_values = {":mpfr": "system"},
+)
+
 # This empty root library helps us add an include path to this directory
 # using the 'includes' attribute. The strings listed in the includes attribute
 # are relative paths wrt this library but are inherited by the dependents
 # appropriately. Hence, using this as a root dependency avoids adding include
 # paths of the kind "../../" to other libc targets.
 cc_library(
     name = "libc_root",
     includes = ["."],
deps = [
         ":libc_root",
     ],
 )
 
 cc_library(
     name = "__support_uint",
     hdrs = ["src/__support/UInt.h"],
     deps = [
+        "__support_builtin_wrappers",
         "__support_cpp_array",
         "__support_cpp_limits",
-        "__support_cpp_type_traits",
         "__support_cpp_optional",
-        "__support_builtin_wrappers",
-        "__support_number_pair",
+        "__support_cpp_type_traits",
         "__support_integer_utils",
+        "__support_number_pair",
         ":libc_root",
     ],
 )
 
 cc_library(
     name = "__support_uint128",
     hdrs = ["src/__support/UInt128.h"],
     deps = [

utils/bazel/llvm-project-overlay/libc/test/BUILD.bazel

+# This file is licensed 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

utils/bazel/llvm-project-overlay/libc/test/libc_test_rules.bzl

+# This file is licensed 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
+
+"""LLVM libc starlark rules for tests.
+
+libc functions are created though the libc_build_rules.bzl:libc_function.
+They come in two flavors:
+ - the internal one that is scoped into the `__llvm_libc` namespace.
+ - the libc one that is the regular C function.
+
+When performing tests we make sure to always use the internal version.
+"""
+
+load("//libc:libc_build_rules.bzl", "INTERNAL_SUFFIX")
+
+def libc_test(name, srcs, libc_function_deps, deps = [], **kwargs):
+    """Add target for a libc test.
+
+    Args:
+      name: Test target name
+      srcs: List of sources for the test.
+      libc_function_deps: List of libc_function targets used by this test.
+      deps: The list of other libraries to be linked in to the test target.
+      **kwargs: Attributes relevant for a cc_test. For example, name, srcs.
+    """
+    native.cc_test(
+        name = name,
+        srcs = srcs,
+        deps = [d + INTERNAL_SUFFIX for d in libc_function_deps] + [
+            "//libc:libc_root",
+            "//libc/utils/UnitTest:LibcUnitTest",
+        ] + deps,
+        features = ["-link_llvmlibc"],  # Do not link libllvmlibc.a
+        **kwargs
+    )

utils/bazel/llvm-project-overlay/libc/test/src/fenv/BUILD.bazel

+# This file is licensed 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
+
+# Tests for LLVM libc math.h functions.
+
+load("//libc/test:libc_test_rules.bzl", "libc_test")
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+libc_test(
+    name = "exception_status_test",
+    srcs = ["exception_status_test.cpp"],
+    libc_function_deps = [
+        "//libc:feclearexcept",
+        "//libc:feraiseexcept",
+        "//libc:fetestexcept",
+    ],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+    ],
+)
+
+libc_test(
+    name = "rounding_mode_test",
+    srcs = ["rounding_mode_test.cpp"],
+    libc_function_deps = [
+        "//libc:fegetround",
+        "//libc:fesetround",
+    ],
+)
+
+libc_test(
+    name = "enabled_exceptions_test",
+    srcs = ["enabled_exceptions_test.cpp"],
+    libc_function_deps = [
+        "//libc:feclearexcept",
+        "//libc:feraiseexcept",
+        "//libc:fetestexcept",
+    ],
+    tags = ["nosan"],
+    deps = [
+        "//libc:__support_common",
+        "//libc:__support_fputil_fenv_impl",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+libc_test(
+    name = "feholdexcept_test",
+    srcs = ["feholdexcept_test.cpp"],
+    libc_function_deps = [
+        "//libc:feholdexcept",
+    ],
+    tags = ["nosan"],
+    deps = [
+        "//libc:__support_common",
+        "//libc:__support_fputil_fenv_impl",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+libc_test(
+    name = "exception_flags_test",
+    srcs = ["exception_flags_test.cpp"],
+    libc_function_deps = [
+        "//libc:fegetexceptflag",
+        "//libc:fesetexceptflag",
+    ],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+    ],
+)
+
+libc_test(
+    name = "feclearexcept_test",
+    srcs = ["feclearexcept_test.cpp"],
+    libc_function_deps = [
+        "//libc:feclearexcept",
+    ],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+    ],
+)
+
+libc_test(
+    name = "feenableexcept_test",
+    srcs = ["feenableexcept_test.cpp"],
+    libc_function_deps = [
+        "//libc:fedisableexcept",
+        "//libc:feenableexcept",
+        "//libc:fegetexcept",
+    ],
+    deps = [
+        "//libc:__support_common",
+    ],
+)
+
+libc_test(
+    name = "feupdateenv_test",
+    srcs = ["feupdateenv_test.cpp"],
+    libc_function_deps = [
+        "//libc:feupdateenv",
+    ],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+    ],
+)
+
+libc_test(
+    name = "getenv_and_setenv_test",
+    srcs = ["getenv_and_setenv_test.cpp"],
+    libc_function_deps = [
+        "//libc:fegetenv",
+        "//libc:fegetround",
+        "//libc:fesetenv",
+        "//libc:fesetround",
+    ],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+    ],
+)

utils/bazel/llvm-project-overlay/libc/test/src/math/BUILD.bazel

+# This file is licensed 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
+
+# Tests for LLVM libc math.h functions.
+
+load("//libc/test/src/math:libc_math_test_rules.bzl", "math_test")
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+math_test(
+    name = "fabs",
+    hdrs = ["FAbsTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fabsf",
+    hdrs = ["FAbsTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fabsl",
+    hdrs = ["FAbsTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "ceil",
+    hdrs = ["CeilTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "ceilf",
+    hdrs = ["CeilTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "ceill",
+    hdrs = ["CeilTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "floor",
+    hdrs = ["FloorTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "floorf",
+    hdrs = ["FloorTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "floorl",
+    hdrs = ["FloorTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "trunc",
+    hdrs = ["TruncTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "truncf",
+    hdrs = ["TruncTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "truncl",
+    hdrs = ["TruncTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "round",
+    hdrs = ["RoundTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "roundf",
+    hdrs = ["RoundTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "roundl",
+    hdrs = ["RoundTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "frexp",
+    hdrs = ["FrexpTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "frexpf",
+    hdrs = ["FrexpTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "frexpl",
+    hdrs = ["FrexpTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "hypot",
+    hdrs = ["HypotTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "hypotf",
+    hdrs = [
+        "HypotTest.h",
+        "hypotf_hard_to_round.h",
+    ],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "logb",
+    hdrs = ["LogbTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "logbf",
+    hdrs = ["LogbTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "logbl",
+    hdrs = ["LogbTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "modf",
+    hdrs = ["ModfTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "modff",
+    hdrs = ["ModfTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "modfl",
+    hdrs = ["ModfTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+cc_library(
+    name = "remquo_test_template",
+    hdrs = ["RemQuoTest.h"],
+    deps = [
+        "//libc:__support_fputil_basic_operations",
+        "//libc:__support_fputil_fp_bits",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+math_test(
+    name = "remquo",
+    deps = [
+        ":remquo_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "remquof",
+    deps = [
+        ":remquo_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "remquol",
+    deps = [
+        ":remquo_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "fmin",
+    hdrs = ["FMinTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fminf",
+    hdrs = ["FMinTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fminl",
+    hdrs = ["FMinTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fmax",
+    hdrs = ["FMaxTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fmaxf",
+    hdrs = ["FMaxTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "fmaxl",
+    hdrs = ["FMaxTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "sqrt",
+    hdrs = ["SqrtTest.h"],
+    deps = [
+        "//libc:__support_cpp_bit",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "sqrtf",
+    hdrs = ["SqrtTest.h"],
+    deps = [
+        "//libc:__support_cpp_bit",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "sqrtl",
+    hdrs = ["SqrtTest.h"],
+    deps = [
+        "//libc:__support_cpp_bit",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "copysign",
+    hdrs = ["CopySignTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "copysignf",
+    hdrs = ["CopySignTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+math_test(
+    name = "copysignl",
+    hdrs = ["CopySignTest.h"],
+    deps = ["//libc/utils/MPFRWrapper:mpfr_wrapper"],
+)
+
+cc_library(
+    name = "ilogb_test_template",
+    hdrs = ["ILogbTest.h"],
+    deps = [
+        "//libc:__support_fputil_fp_bits",
+        "//libc:__support_fputil_manipulation_functions",
+        "//libc/utils/UnitTest:LibcUnitTest",
+    ],
+)
+
+math_test(
+    name = "ilogb",
+    deps = [":ilogb_test_template"],
+)
+
+math_test(
+    name = "ilogbf",
+    deps = [":ilogb_test_template"],
+)
+
+math_test(
+    name = "ilogbl",
+    deps = [":ilogb_test_template"],
+)
+
+cc_library(
+    name = "fdim_test_template",
+    hdrs = ["FDimTest.h"],
+    deps = [
+        "//libc:__support_fputil_basic_operations",
+        "//libc:__support_fputil_fenv_impl",
+        "//libc:__support_fputil_fp_bits",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+math_test(
+    name = "fdim",
+    deps = [":fdim_test_template"],
+)
+
+math_test(
+    name = "fdimf",
+    deps = [":fdim_test_template"],
+)
+
+math_test(
+    name = "fdiml",
+    deps = [":fdim_test_template"],
+)
+
+cc_library(
+    name = "ldexp_test_template",
+    hdrs = ["LdExpTest.h"],
+    deps = [
+        "//libc:__support_fputil_fp_bits",
+        "//libc:__support_fputil_normal_float",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+math_test(
+    name = "ldexp",
+    deps = [":ldexp_test_template"],
+)
+
+math_test(
+    name = "ldexpf",
+    deps = [":ldexp_test_template"],
+)
+
+math_test(
+    name = "ldexpl",
+    deps = [":ldexp_test_template"],
+)
+
+cc_library(
+    name = "rint_test_template",
+    hdrs = ["RIntTest.h"],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+        "//libc:__support_fputil_fp_bits",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+math_test(
+    name = "rint",
+    deps = [
+        ":rint_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "rintf",
+    deps = [
+        ":rint_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "rintl",
+    deps = [
+        ":rint_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+cc_library(
+    name = "round_to_integer_test_template",
+    hdrs = ["RoundToIntegerTest.h"],
+    deps = [
+        "//libc:__support_fputil_fenv_impl",
+        "//libc:__support_fputil_fp_bits",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+math_test(
+    name = "lrint",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "lrintf",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "lrintl",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "llrint",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "llrintf",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "llrintl",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "lround",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "lroundf",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "lroundl",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "llround",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "llroundf",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "llroundl",
+    deps = [
+        ":round_to_integer_test_template",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+cc_library(
+    name = "nextafter_test_template",
+    hdrs = ["NextAfterTest.h"],
+    deps = [
+        "//libc:__support_cpp_array",
+        "//libc:__support_cpp_bit",
+        "//libc:__support_cpp_type_traits",
+        "//libc:__support_fputil_basic_operations",
+        "//libc:__support_fputil_fp_bits",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+    ],
+)
+
+math_test(
+    name = "nextafter",
+    deps = [":nextafter_test_template"],
+)
+
+math_test(
+    name = "nextafterf",
+    deps = [":nextafter_test_template"],
+)
+
+math_test(
+    name = "nextafterl",
+    deps = [":nextafter_test_template"],
+)
+
+cc_library(
+    name = "sdcomp26094",
+    hdrs = ["sdcomp26094.h"],
+    deps = [
+        "//libc:__support_cpp_array",
+        "//libc:libc_root",
+    ],
+)
+
+math_test(
+    name = "cosf",
+    deps = [
+        ":sdcomp26094",
+        "//libc:__support_cpp_array",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "sincosf",
+    deps = [
+        ":sdcomp26094",
+        "//libc:__support_cpp_array",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)
+
+math_test(
+    name = "sinf",
+    deps = [
+        ":sdcomp26094",
+        "//libc:__support_cpp_array",
+        "//libc/utils/MPFRWrapper:mpfr_wrapper",
+    ],
+)

utils/bazel/llvm-project-overlay/libc/test/src/math/libc_math_test_rules.bzl

+# This file is licensed 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
+
+"""LLVM libc starlark rules for math tests.
+
+This rule delegates testing to libc_test_rules.bzl:libc_test.
+It adds common math dependencies.
+"""
+
+load("//libc/test:libc_test_rules.bzl", "libc_test")
+
+def math_test(name, hdrs = [], deps = [], **kwargs):
+    """Add a target for the unittest of a math function.
+
+    Args:
+      name: The name of the function being tested.
+      hdrs: List of headers to add.
+      deps: The list of other libraries to be linked in to the test target.
+      **kwargs: Attributes relevant for a cc_test. For example, name, srcs.
+    """
+    test_name = name + "_test"
+    libc_test(
+        name = test_name,
+        srcs = [test_name + ".cpp"] + hdrs,
+        libc_function_deps = ["//libc:" + name],
+        deps = [
+            "//libc:__support_fputil_basic_operations",
+            "//libc:__support_builtin_wrappers",
+            "//libc:__support_fputil_fenv_impl",
+            "//libc:__support_fputil_float_properties",
+            "//libc:__support_fputil_fp_bits",
+            "//libc:__support_uint128",
+            "//libc:__support_fputil_manipulation_functions",
+            "//libc:__support_fputil_nearest_integer_operations",
+            "//libc/utils/UnitTest:fp_test_helpers",
+        ] + deps,
+        **kwargs
+    )

utils/bazel/llvm-project-overlay/libc/test/src/stdlib/BUILD.bazel

+# This file is licensed 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
+
+# Tests for LLVM libc stdlib.h functions.
+
+load("//libc/test:libc_test_rules.bzl", "libc_test")
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+libc_test(
+    name = "atoi_test",
+    srcs = ["atoi_test.cpp"],
+    libc_function_deps = [
+        "//libc:atoi",
+    ],
+)
+
+libc_test(
+    name = "atol_test",
+    srcs = ["atol_test.cpp"],
+    libc_function_deps = [
+        "//libc:atol",
+    ],
+)
+
+libc_test(
+    name = "atoll_test",
+    srcs = ["atoll_test.cpp"],
+    libc_function_deps = [
+        "//libc:atoll",
+    ],
+)
+
+libc_test(
+    name = "bsearch_test",
+    srcs = ["bsearch_test.cpp"],
+    libc_function_deps = [
+        "//libc:bsearch",
+    ],
+)
+
+libc_test(
+    name = "qsort_test",
+    srcs = ["qsort_test.cpp"],
+    libc_function_deps = [
+        "//libc:qsort",
+    ],
+)
+
+libc_test(
+    name = "strtol_test",
+    srcs = ["strtol_test.cpp"],
+    libc_function_deps = [
+        "//libc:strtol",
+    ],
+)
+
+libc_test(
+    name = "strtoll_test",
+    srcs = ["strtoll_test.cpp"],
+    libc_function_deps = [
+        "//libc:strtoll",
+    ],
+)
+
+libc_test(
+    name = "strtoul_test",
+    srcs = ["strtoul_test.cpp"],
+    libc_function_deps = [
+        "//libc:strtoul",
+    ],
+)
+
+libc_test(
+    name = "strtoull_test",
+    srcs = ["strtoull_test.cpp"],
+    libc_function_deps = [
+        "//libc:strtoull",
+    ],
+)

utils/bazel/llvm-project-overlay/libc/test/src/string/BUILD.bazel

+# This file is licensed 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
+
+# Tests for LLVM libc string.h functions.
+
+load("//libc/test:libc_test_rules.bzl", "libc_test")
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+libc_test(
+    name = "strlen_test",
+    srcs = ["strlen_test.cpp"],
+    libc_function_deps = [
+        "//libc:strlen",
+    ],
+)
+
+libc_test(
+    name = "strcpy_test",
+    srcs = ["strcpy_test.cpp"],
+    libc_function_deps = [
+        "//libc:strcpy_sanitized",
+    ],
+)
+
+libc_test(
+    name = "strcmp_test",
+    srcs = ["strcmp_test.cpp"],
+    libc_function_deps = [
+        "//libc:strcmp",
+    ],
+)
+
+libc_test(
+    name = "memchr_test",
+    srcs = ["memchr_test.cpp"],
+    libc_function_deps = [
+        "//libc:memchr",
+    ],
+)
+
+libc_test(
+    name = "strchr_test",
+    srcs = ["strchr_test.cpp"],
+    libc_function_deps = [
+        "//libc:strchr",
+    ],
+)
+
+libc_test(
+    name = "strstr_test",
+    srcs = ["strstr_test.cpp"],
+    libc_function_deps = [
+        "//libc:strstr",
+    ],
+)
+
+libc_test(
+    name = "strnlen_test",
+    srcs = ["strnlen_test.cpp"],
+    libc_function_deps = [
+        "//libc:strnlen",
+    ],
+)
+
+libc_test(
+    name = "memrchr_test",
+    srcs = ["memrchr_test.cpp"],
+    libc_function_deps = [
+        "//libc:memrchr",
+    ],
+)
+
+libc_test(
+    name = "strrchr_test",
+    srcs = ["strrchr_test.cpp"],
+    libc_function_deps = [
+        "//libc:strrchr",
+    ],
+)
+
+libc_test(
+    name = "strcspn_test",
+    srcs = ["strcspn_test.cpp"],
+    libc_function_deps = [
+        "//libc:strcspn",
+    ],
+)
+
+libc_test(
+    name = "strspn_test",
+    srcs = ["strspn_test.cpp"],
+    libc_function_deps = [
+        "//libc:strspn",
+    ],
+)
+
+libc_test(
+    name = "strtok_test",
+    srcs = ["strtok_test.cpp"],
+    libc_function_deps = [
+        "//libc:strtok",
+    ],
+)
+
+cc_library(
+    name = "memory_check_utils",
+    hdrs = ["memory_utils/memory_check_utils.h"],
+    deps = [
+        "//libc:__support_cpp_span",
+        "//libc:string_memory_utils",
+    ],
+)
+
+libc_test(
+    name = "memcpy_test",
+    srcs = ["memcpy_test.cpp"],
+    libc_function_deps = [
+        "//libc:memcpy",
+    ],
+    deps = [":memory_check_utils"],
+)
+
+libc_test(
+    name = "memset_test",
+    srcs = ["memset_test.cpp"],
+    libc_function_deps = [
+        "//libc:memset",
+    ],
+    deps = [":memory_check_utils"],
+)
+
+libc_test(
+    name = "memmove_test",
+    srcs = ["memmove_test.cpp"],
+    libc_function_deps = [
+        "//libc:memcmp",
+        "//libc:memmove",
+    ],
+    deps = [
+        "//libc:__support_cpp_span",
+        "//libc/utils/UnitTest:memory_matcher",
+    ],
+)
+
+libc_test(
+    name = "memcmp_test",
+    srcs = ["memcmp_test.cpp"],
+    libc_function_deps = [
+        "//libc:memcmp",
+    ],
+    deps = [":memory_check_utils"],
+)
+
+libc_test(
+    name = "bcmp_test",
+    srcs = ["bcmp_test.cpp"],
+    libc_function_deps = [
+        "//libc:bcmp",
+    ],
+    deps = [":memory_check_utils"],
+)
+
+libc_test(
+    name = "bzero_test",
+    srcs = ["bzero_test.cpp"],
+    libc_function_deps = [
+        "//libc:bzero",
+    ],
+    deps = [":memory_check_utils"],
+)

utils/bazel/llvm-project-overlay/libc/utils/MPFRWrapper/BUILD.bazel

+# This file is licensed 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
+
+# A wrapper library over MPFR for use with LLVM libc math unittests.
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+cc_library(
+    name = "mpfr_impl",
+    target_compatible_with = select({
+        "//conditions:default": [],
+        "//libc:mpfr_disable": ["@platforms//:incompatible"],
+    }),
+    deps = select(
+        {
+            "//conditions:default": [],
+            "//libc:mpfr_external": ["@mpfr//:mpfr_external"],
+            "//libc:mpfr_system": ["@mpfr//:mpfr_system"],
+        },
+    ),
+)
+
+cc_library(
+    name = "mpfr_wrapper",
+    srcs = ["MPFRUtils.cpp"],
+    hdrs = ["MPFRUtils.h"],
+    deps = [
+        "//libc:__support_common",
+        "//libc:__support_cpp_bit",
+        "//libc:__support_cpp_bitset",
+        "//libc:__support_cpp_string_view",
+        "//libc:__support_cpp_type_traits",
+        "//libc:__support_fputil_fp_bits",
+        "//libc:__support_fputil_platform_defs",
+        "//libc:libc_root",
+        "//libc/utils/MPFRWrapper:mpfr_impl",
+        "//libc/utils/UnitTest:LibcUnitTest",
+        "//libc/utils/UnitTest:fp_test_helpers",
+        "//libc/utils/testutils:libc_test_utils",
+    ],
+)

utils/bazel/llvm-project-overlay/libc/utils/UnitTest/BUILD.bazel

+# This file is licensed 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
+
+# LLVM libc unittest library.
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+cc_library(
+    name = "LibcUnitTest",
+    srcs = [
+        "LibcTest.cpp",
+        "LibcTestMain.cpp",
+    ],
+    hdrs = [
+        "LibcTest.h",
+        "PlatformDefs.h",
+        "Test.h",
+    ],
+    deps = [
+        "//libc:__support_cpp_bit",
+        "//libc:__support_cpp_bitset",
+        "//libc:__support_cpp_span",
+        "//libc:__support_cpp_string_view",
+        "//libc:__support_cpp_type_traits",
+        "//libc:__support_uint128",
+        "//libc:libc_root",
+        "//libc/utils/testutils:libc_test_utils",
+        "//llvm:Support",
+    ],
+)
+
+cc_library(
+    name = "fp_test_helpers",
+    srcs = [
+        "FPExceptMatcher.cpp",
+        "FPMatcher.cpp",
+    ],
+    hdrs = [
+        "FPExceptMatcher.h",
+        "FPMatcher.h",
+    ],
+    deps = [
+        ":LibcUnitTest",
+        ":string_utils",
+        "//libc:__support_cpp_bit",
+        "//libc:__support_cpp_bitset",
+        "//libc:__support_cpp_span",
+        "//libc:__support_cpp_type_traits",
+        "//libc:__support_fputil_fenv_impl",
+        "//libc:__support_fputil_fp_bits",
+        "//libc:libc_root",
+    ],
+)
+
+cc_library(
+    name = "memory_matcher",
+    srcs = [
+        "MemoryMatcher.cpp",
+    ],
+    hdrs = [
+        "MemoryMatcher.h",
+    ],
+    deps = [
+        ":LibcUnitTest",
+        "//libc:__support_cpp_bit",
+        "//libc:__support_cpp_bitset",
+        "//libc:__support_cpp_span",
+        "//libc:__support_cpp_type_traits",
+    ],
+)
+
+cc_library(
+    name = "string_utils",
+    hdrs = [
+        "StringUtils.h",
+    ],
+    deps = [
+        "//libc:__support_cpp_type_traits",
+    ],
+)

utils/bazel/llvm-project-overlay/libc/utils/testutils/BUILD.bazel

+# This file is licensed 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
+
+package(default_visibility = ["//visibility:public"])
+
+licenses(["notice"])
+
+cc_library(
+    name = "libc_test_utils",
+    srcs = [
+        "ExecuteFunctionUnix.cpp",
+        "FDReaderUnix.cpp",
+        "RoundingModeUtils.cpp",
+        "StreamWrapper.cpp",
+    ],
+    hdrs = [
+        "ExecuteFunction.h",
+        "FDReader.h",
+        "RoundingModeUtils.h",
+        "StreamWrapper.h",
+    ],
+    deps = [
+        "//libc:libc_root",
+        "//llvm:Support",
+    ],
+)

utils/bazel/third_party_build/gmp.BUILD

+# This file is licensed 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
+
+load("@rules_foreign_cc//foreign_cc:defs.bzl", "configure_make_variant")
+
+filegroup(
+    name = "sources",
+    srcs = glob(["**"]),
+)
+
+configure_make_variant(
+    name = "gmp",
+    configure_options = ["--with-pic"],
+    copts = ["-w"],
+    lib_name = "libgmp",
+    lib_source = ":sources",
+    toolchain = "@rules_foreign_cc//toolchains:preinstalled_autoconf_toolchain",
+    visibility = ["//visibility:public"],
+)

utils/bazel/third_party_build/mpfr.BUILD

+# This file is licensed 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
+
+load("@rules_foreign_cc//foreign_cc:defs.bzl", "configure_make_variant")
+
+filegroup(
+    name = "sources",
+    srcs = glob(["**"]),
+)
+
+configure_make_variant(
+    name = "mpfr",
+    configure_options = ["--with-pic"],
+    copts = ["-w"],
+    lib_name = "libmpfr",
+    lib_source = ":sources",
+    toolchain = "@rules_foreign_cc//toolchains:preinstalled_autoconf_toolchain",
+    visibility = ["//visibility:public"],
+    deps = ["@gmp//:gmp_"],
+)
+
+alias(
+    name = "mpfr_external",
+    actual = "@mpfr//:mpfr_",
+    visibility = ["//visibility:public"],
+)
+
+cc_library(
+    name = "mpfr_system",
+    linkopts = ["-lmpfr"],
+    visibility = ["//visibility:public"],
+)