1========================================
2Compiler-rt Testing Infrastructure Guide
3========================================
4
5.. contents::
6   :local:
7
8Overview
9========
10
11This document is the reference manual for the compiler-rt modifications to the
12testing infrastructure. Documentation for the infrastructure itself can be found at
13:ref:`llvm_testing_guide`.
14
15LLVM testing infrastructure organization
16========================================
17
18The compiler-rt testing infrastructure contains regression tests which are run
19as part of the usual ``make check-all`` and are expected to always pass -- they
20should be run before every commit.
21
22Quick start
23===========
24
25The regressions tests are in the "compiler-rt" module and are normally checked
26out in the directory ``llvm/projects/compiler-rt/test``. Use ``make check-all``
27to run the regression tests after building compiler-rt.
28
29REQUIRES, XFAIL, etc.
30---------------------
31
32Sometimes it is necessary to restrict a test to a specific target or mark it as
33an "expected fail" or XFAIL. This is normally achieved using ``REQUIRES:`` or
34``XFAIL:`` and the ``target=<target-triple>`` feature, typically with a regular
35expression matching an appropriate substring of the triple. Unfortunately, the
36behaviour of this is somewhat quirky in compiler-rt. There are two main
37pitfalls to avoid.
38
39The first pitfall is that these regular expressions may inadvertently match
40more triples than expected. For example, ``XFAIL: target=mips{{.*}}`` matches
41``mips-linux-gnu``, ``mipsel-linux-gnu``, ``mips64-linux-gnu``, and
42``mips64el-linux-gnu``. Including a trailing ``-`` such as in
43``XFAIL: target=mips-{{.*}}`` can help to mitigate this quirk but even that has
44issues as described below.
45
46The second pitfall is that the default target triple is often inappropriate for
47compiler-rt tests since compiler-rt tests may be compiled for multiple targets.
48For example, a typical build on an ``x86_64-linux-gnu`` host will often run the
49tests for both x86_64 and i386. In this situation ``XFAIL: target=x86_64{{{.*}}``
50will mark both the x86_64 and i386 tests as an expected failure while
51``XFAIL: target=i386{{.*}}`` will have no effect at all.
52
53To remedy both pitfalls, compiler-rt tests provide a feature string which can
54be used to specify a single target. This string is of the form
55``target-is-${arch}`` where ``${arch}}`` is one of the values from the
56following lines of the CMake output::
57
58  -- Compiler-RT supported architectures: x86_64;i386
59  -- Builtin supported architectures: i386;x86_64
60
61So for example ``XFAIL: target-is-x86_64`` will mark a test as expected to fail
62on x86_64 without also affecting the i386 test and ``XFAIL: target-is-i386``
63will mark a test as expected to fail on i386 even if the default target triple
64is ``x86_64-linux-gnu``. Directives that use these ``target-is-${arch}`` string
65require exact matches so ``XFAIL: target-is-mips``,
66``XFAIL: target-is-mipsel``, ``XFAIL: target-is-mips64``, and
67``XFAIL: target-is-mips64el`` all refer to different MIPS targets.
68