Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 1 | ============== |
| 2 | Testing libc++ |
| 3 | ============== |
| 4 | |
| 5 | .. contents:: |
| 6 | :local: |
| 7 | |
| 8 | Getting Started |
| 9 | =============== |
| 10 | |
Louis Dionne | f58d829 | 2020-03-11 17:03:00 -0400 | [diff] [blame] | 11 | libc++ uses LIT to configure and run its tests. |
Marshall Clow | ca32197 | 2019-09-05 00:38:36 +0000 | [diff] [blame] | 12 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 13 | The primary way to run the libc++ tests is by using ``make check-cxx``. |
Marshall Clow | ca32197 | 2019-09-05 00:38:36 +0000 | [diff] [blame] | 14 | |
| 15 | However since libc++ can be used in any number of possible |
| 16 | configurations it is important to customize the way LIT builds and runs |
| 17 | the tests. This guide provides information on how to use LIT directly to |
| 18 | test libc++. |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 19 | |
| 20 | Please see the `Lit Command Guide`_ for more information about LIT. |
| 21 | |
Sylvestre Ledru | b09c938 | 2020-03-22 22:42:03 +0100 | [diff] [blame] | 22 | .. _LIT Command Guide: https://llvm.org/docs/CommandGuide/lit.html |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 23 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 24 | Usage |
| 25 | ----- |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 26 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 27 | After building libc++, you can run parts of the libc++ test suite by simply |
Louis Dionne | e35df79 | 2020-04-15 15:05:14 -0400 | [diff] [blame] | 28 | running ``llvm-lit`` on a specified test or directory. If you're unsure |
Louis Dionne | 3efccd7 | 2020-10-23 09:32:50 -0400 | [diff] [blame] | 29 | whether the required libraries have been built, you can use the |
| 30 | `check-cxx-deps` target. For example: |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 31 | |
| 32 | .. code-block:: bash |
| 33 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 34 | $ cd <monorepo-root> |
Louis Dionne | e35df79 | 2020-04-15 15:05:14 -0400 | [diff] [blame] | 35 | $ make -C <build> check-cxx-deps # If you want to make sure the targets get rebuilt |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 36 | $ <build>/bin/llvm-lit -sv libcxx/test/std/re # Run all of the std::regex tests |
| 37 | $ <build>/bin/llvm-lit -sv libcxx/test/std/depr/depr.c.headers/stdlib_h.pass.cpp # Run a single test |
| 38 | $ <build>/bin/llvm-lit -sv libcxx/test/std/atomics libcxx/test/std/threads # Test std::thread and std::atomic |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 39 | |
| 40 | Sometimes you'll want to change the way LIT is running the tests. Custom options |
| 41 | can be specified using the `--param=<name>=<val>` flag. The most common option |
| 42 | you'll want to change is the standard dialect (ie -std=c++XX). By default the |
| 43 | test suite will select the newest C++ dialect supported by the compiler and use |
| 44 | that. However if you want to manually specify the option like so: |
| 45 | |
| 46 | .. code-block:: bash |
| 47 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 48 | $ <build>/bin/llvm-lit -sv libcxx/test/std/containers # Run the tests with the newest -std |
| 49 | $ <build>/bin/llvm-lit -sv libcxx/test/std/containers --param=std=c++03 # Run the tests in C++03 |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 50 | |
| 51 | Occasionally you'll want to add extra compile or link flags when testing. |
| 52 | You can do this as follows: |
| 53 | |
| 54 | .. code-block:: bash |
| 55 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 56 | $ <build>/bin/llvm-lit -sv libcxx/test --param=compile_flags='-Wcustom-warning' |
| 57 | $ <build>/bin/llvm-lit -sv libcxx/test --param=link_flags='-L/custom/library/path' |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 58 | |
| 59 | Some other common examples include: |
| 60 | |
| 61 | .. code-block:: bash |
| 62 | |
| 63 | # Specify a custom compiler. |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 64 | $ <build>/bin/llvm-lit -sv libcxx/test/std --param=cxx_under_test=/opt/bin/g++ |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 65 | |
Louis Dionne | 0ac2e73 | 2020-10-29 17:30:28 -0400 | [diff] [blame^] | 66 | # Disable warnings in the test suite |
| 67 | $ <build>/bin/llvm-lit -sv libcxx/test --param=enable_warnings=False |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 68 | |
| 69 | # Use UBSAN when running the tests. |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 70 | $ <build>/bin/llvm-lit -sv libcxx/test --param=use_sanitizer=Undefined |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 71 | |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 72 | Using a custom site configuration |
| 73 | --------------------------------- |
| 74 | |
| 75 | By default, the libc++ test suite will use a site configuration that matches |
| 76 | the current CMake configuration. It does so by generating a ``lit.site.cfg`` |
Louis Dionne | 6da743b | 2020-08-29 17:13:02 -0400 | [diff] [blame] | 77 | file in the build directory from one of the configuration file templates in |
| 78 | ``libcxx/test/configs/``, and pointing ``llvm-lit`` (which is a wrapper around |
| 79 | ``llvm/utils/lit/lit.py``) to that file. So when you're running |
| 80 | ``<build>/bin/llvm-lit``, the generated ``lit.site.cfg`` file is always loaded |
| 81 | instead of ``libcxx/test/lit.cfg.py``. If you want to use a custom site |
| 82 | configuration, simply point the CMake build to it using |
| 83 | ``-DLIBCXX_TEST_CONFIG=<path-to-site-config>``, and that site configuration |
| 84 | will be used instead. That file can use CMake variables inside it to make |
| 85 | configuration easier. |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 86 | |
| 87 | .. code-block:: bash |
| 88 | |
Louis Dionne | 19608c6 | 2020-06-12 15:19:55 -0400 | [diff] [blame] | 89 | $ cmake <options> -DLIBCXX_TEST_CONFIG=<path-to-site-config> |
| 90 | $ make -C <build> check-cxx-deps |
| 91 | $ <build>/bin/llvm-lit -sv libcxx/test # will use your custom config file |
Louis Dionne | 089ced0 | 2020-04-07 15:02:37 -0400 | [diff] [blame] | 92 | |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 93 | |
| 94 | LIT Options |
| 95 | =========== |
| 96 | |
| 97 | :program:`lit` [*options*...] [*filenames*...] |
| 98 | |
| 99 | Command Line Options |
| 100 | -------------------- |
| 101 | |
Zola Bridges | 3c66e22 | 2020-04-17 14:51:40 -0700 | [diff] [blame] | 102 | To use these options you pass them on the LIT command line as ``--param NAME`` |
| 103 | or ``--param NAME=VALUE``. Some options have default values specified during |
| 104 | CMake's configuration. Passing the option on the command line will override the |
| 105 | default. |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 106 | |
| 107 | .. program:: lit |
| 108 | |
Eric Fiselier | 4fe629c | 2016-10-14 06:15:27 +0000 | [diff] [blame] | 109 | .. option:: cxx_under_test=<path/to/compiler> |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 110 | |
| 111 | Specify the compiler used to build the tests. |
| 112 | |
Louis Dionne | b4ee042 | 2020-07-09 13:35:01 -0400 | [diff] [blame] | 113 | .. option:: stdlib=<stdlib name> |
Eric Fiselier | 4fe629c | 2016-10-14 06:15:27 +0000 | [diff] [blame] | 114 | |
Louis Dionne | b4ee042 | 2020-07-09 13:35:01 -0400 | [diff] [blame] | 115 | **Values**: libc++, libstdc++, msvc |
Eric Fiselier | bbbbd11 | 2016-10-12 00:00:37 +0000 | [diff] [blame] | 116 | |
Louis Dionne | b4ee042 | 2020-07-09 13:35:01 -0400 | [diff] [blame] | 117 | Specify the C++ standard library being tested. The default is libc++ if this |
| 118 | option is not provided. This option is intended to allow running the libc++ |
| 119 | test suite against other standard library implementations. |
Eric Fiselier | bbbbd11 | 2016-10-12 00:00:37 +0000 | [diff] [blame] | 120 | |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 121 | .. option:: std=<standard version> |
| 122 | |
Louis Dionne | 5aa0644 | 2020-06-01 10:38:23 -0400 | [diff] [blame] | 123 | **Values**: c++03, c++11, c++14, c++17, c++2a |
Eric Fiselier | 4ac8809 | 2015-10-14 20:44:44 +0000 | [diff] [blame] | 124 | |
| 125 | Change the standard version used when building the tests. |
| 126 | |
Eric Fiselier | 4fe629c | 2016-10-14 06:15:27 +0000 | [diff] [blame] | 127 | .. option:: cxx_headers=<path/to/headers> |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 128 | |
Eric Fiselier | bbbbd11 | 2016-10-12 00:00:37 +0000 | [diff] [blame] | 129 | Specify the c++ standard library headers that are tested. By default the |
| 130 | headers in the source tree are used. |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 131 | |
Eric Fiselier | 4fe629c | 2016-10-14 06:15:27 +0000 | [diff] [blame] | 132 | .. option:: cxx_library_root=<path/to/lib/> |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 133 | |
Eric Fiselier | 661b0c1 | 2016-04-20 04:17:39 +0000 | [diff] [blame] | 134 | Specify the directory of the libc++ library to be tested. By default the |
Louis Dionne | 4cc5e0d | 2020-05-15 11:33:59 -0400 | [diff] [blame] | 135 | library folder of the build directory is used. |
Eric Fiselier | 661b0c1 | 2016-04-20 04:17:39 +0000 | [diff] [blame] | 136 | |
| 137 | |
Eric Fiselier | 4fe629c | 2016-10-14 06:15:27 +0000 | [diff] [blame] | 138 | .. option:: cxx_runtime_root=<path/to/lib/> |
Eric Fiselier | 661b0c1 | 2016-04-20 04:17:39 +0000 | [diff] [blame] | 139 | |
| 140 | Specify the directory of the libc++ library to use at runtime. This directory |
| 141 | is not added to the linkers search path. This can be used to compile tests |
| 142 | against one version of libc++ and run them using another. The default value |
Louis Dionne | e70b1dd | 2018-12-14 18:19:14 +0000 | [diff] [blame] | 143 | for this option is `cxx_library_root`. |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 144 | |
Eric Fiselier | 60be246 | 2016-12-23 19:09:14 +0000 | [diff] [blame] | 145 | .. option:: use_system_cxx_lib=<bool> |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 146 | |
| 147 | **Default**: False |
| 148 | |
| 149 | Enable or disable testing against the installed version of libc++ library. |
Louis Dionne | 4cc5e0d | 2020-05-15 11:33:59 -0400 | [diff] [blame] | 150 | This impacts whether the ``with_system_cxx_lib`` Lit feature is defined or |
| 151 | not. The ``cxx_library_root`` and ``cxx_runtime_root`` parameters should |
| 152 | still be used to specify the path of the library to link to and run against, |
| 153 | respectively. |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 154 | |
Eric Fiselier | 4fe629c | 2016-10-14 06:15:27 +0000 | [diff] [blame] | 155 | .. option:: debug_level=<level> |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 156 | |
| 157 | **Values**: 0, 1 |
| 158 | |
| 159 | Enable the use of debug mode. Level 0 enables assertions and level 1 enables |
| 160 | assertions and debugging of iterator misuse. |
| 161 | |
| 162 | .. option:: use_sanitizer=<sanitizer name> |
| 163 | |
| 164 | **Values**: Memory, MemoryWithOrigins, Address, Undefined |
| 165 | |
| 166 | Run the tests using the given sanitizer. If LLVM_USE_SANITIZER was given when |
| 167 | building libc++ then that sanitizer will be used by default. |
| 168 | |
Petr Hosek | 7b9f43a | 2019-02-05 19:50:47 +0000 | [diff] [blame] | 169 | .. option:: llvm_unwinder |
| 170 | |
| 171 | Enable the use of LLVM unwinder instead of libgcc. |
| 172 | |
| 173 | .. option:: builtins_library |
| 174 | |
| 175 | Path to the builtins library to use instead of libgcc. |
| 176 | |
Eric Fiselier | d720d1f | 2015-08-22 19:40:49 +0000 | [diff] [blame] | 177 | |
Louis Dionne | 9e7cf26 | 2020-04-02 17:14:45 -0400 | [diff] [blame] | 178 | Writing Tests |
| 179 | ------------- |
| 180 | |
| 181 | When writing tests for the libc++ test suite, you should follow a few guidelines. |
| 182 | This will ensure that your tests can run on a wide variety of hardware and under |
| 183 | a wide variety of configurations. We have several unusual configurations such as |
| 184 | building the tests on one host but running them on a different host, which add a |
| 185 | few requirements to the test suite. Here's some stuff you should know: |
| 186 | |
| 187 | - All tests are run in a temporary directory that is unique to that test and |
| 188 | cleaned up after the test is done. |
| 189 | - When a test needs data files as inputs, these data files can be saved in the |
Marek Kurdej | 0dd96e5 | 2020-10-29 14:39:09 +0100 | [diff] [blame] | 190 | repository (when reasonable) and referenced by the test as |
Louis Dionne | 9e7cf26 | 2020-04-02 17:14:45 -0400 | [diff] [blame] | 191 | ``// FILE_DEPENDENCIES: <path-to-dependencies>``. Copies of these files or |
| 192 | directories will be made available to the test in the temporary directory |
| 193 | where it is run. |
| 194 | - You should never hardcode a path from the build-host in a test, because that |
| 195 | path will not necessarily be available on the host where the tests are run. |
| 196 | - You should try to reduce the runtime dependencies of each test to the minimum. |
| 197 | For example, requiring Python to run a test is bad, since Python is not |
| 198 | necessarily available on all devices we may want to run the tests on (even |
| 199 | though supporting Python is probably trivial for the build-host). |
| 200 | |
Eric Fiselier | 9e3e137 | 2016-07-19 23:07:03 +0000 | [diff] [blame] | 201 | Benchmarks |
| 202 | ========== |
| 203 | |
| 204 | Libc++ contains benchmark tests separately from the test of the test suite. |
| 205 | The benchmarks are written using the `Google Benchmark`_ library, a copy of which |
| 206 | is stored in the libc++ repository. |
| 207 | |
| 208 | For more information about using the Google Benchmark library see the |
| 209 | `official documentation <https://github.com/google/benchmark>`_. |
| 210 | |
| 211 | .. _`Google Benchmark`: https://github.com/google/benchmark |
| 212 | |
| 213 | Building Benchmarks |
| 214 | ------------------- |
| 215 | |
Eric Fiselier | 93f212c | 2016-08-29 19:50:49 +0000 | [diff] [blame] | 216 | The benchmark tests are not built by default. The benchmarks can be built using |
| 217 | the ``cxx-benchmarks`` target. |
Eric Fiselier | 9e3e137 | 2016-07-19 23:07:03 +0000 | [diff] [blame] | 218 | |
| 219 | An example build would look like: |
| 220 | |
| 221 | .. code-block:: bash |
| 222 | |
| 223 | $ cd build |
Eric Fiselier | 93f212c | 2016-08-29 19:50:49 +0000 | [diff] [blame] | 224 | $ cmake [options] <path to libcxx sources> |
| 225 | $ make cxx-benchmarks |
Eric Fiselier | 9e3e137 | 2016-07-19 23:07:03 +0000 | [diff] [blame] | 226 | |
| 227 | This will build all of the benchmarks under ``<libcxx-src>/benchmarks`` to be |
| 228 | built against the just-built libc++. The compiled tests are output into |
| 229 | ``build/benchmarks``. |
| 230 | |
| 231 | The benchmarks can also be built against the platforms native standard library |
| 232 | using the ``-DLIBCXX_BUILD_BENCHMARKS_NATIVE_STDLIB=ON`` CMake option. This |
| 233 | is useful for comparing the performance of libc++ to other standard libraries. |
| 234 | The compiled benchmarks are named ``<test>.libcxx.out`` if they test libc++ and |
| 235 | ``<test>.native.out`` otherwise. |
| 236 | |
| 237 | Also See: |
| 238 | |
| 239 | * :ref:`Building Libc++ <build instructions>` |
| 240 | * :ref:`CMake Options` |
| 241 | |
| 242 | Running Benchmarks |
| 243 | ------------------ |
| 244 | |
| 245 | The benchmarks must be run manually by the user. Currently there is no way |
| 246 | to run them as part of the build. |
| 247 | |
| 248 | For example: |
| 249 | |
| 250 | .. code-block:: bash |
| 251 | |
| 252 | $ cd build/benchmarks |
Eric Fiselier | 93f212c | 2016-08-29 19:50:49 +0000 | [diff] [blame] | 253 | $ make cxx-benchmarks |
Eric Fiselier | 9e3e137 | 2016-07-19 23:07:03 +0000 | [diff] [blame] | 254 | $ ./algorithms.libcxx.out # Runs all the benchmarks |
| 255 | $ ./algorithms.libcxx.out --benchmark_filter=BM_Sort.* # Only runs the sort benchmarks |
| 256 | |
| 257 | For more information about running benchmarks see `Google Benchmark`_. |