gcc/testsuite/README.compat

   1 Compatibility test suites that use lib/compat.exp test interoperability
   2 of two compilers that follow the same ABI, or of multiple sets of
   3 compiler options that are not intended to affect binary compatibility.
   4 They do not test conformance to a formal ABI; they check that things are
   5 done consistently, not that they are done correctly.  They are meant to
   6 complement ABI test suites, not to replace them.
   7
   8 Each test in these suites splits up functionality into two source files
   9 that can be compiled with two different versions of GCC and with two
  10 sets of compiler options.
  11
  12   Override the default pairs of compiler options (from compat.exp) by
  13   defining the environment variable COMPAT_OPTIONS as:
  14   COMPAT_OPTIONS="[list [list {tst1} {alt1}]...[list {tstn} {altn}]]"
  15   where tsti and alti are lists of options, with "tsti" used by the
  16   compiler under test and "alti" used by the alternate compiler. The
  17   characters "[", "{", "}", and "]" are really in the string, as in
  18   "[list [list {-g} {-O3}] [list {-O3} {-g}]]".
  19
  20   To use an alternate compiler, define the environment variable for the
  21   language you're testing; e.g., for C++ define ALT_CXX_UNDER_TEST to be
  22   the full pathname of an installed compiler.  That will be written to
  23   the site.exp file used by DejaGNU.  The default is to build each test
  24   with the compiler under test using the first of each pair of compiler
  25   options from COMPAT_OPTIONS.  When ALT_CXX_UNDER_TEST is "same", each
  26   test is built using the compiler under test but with combinations of
  27   the options from COMPAT_OPTIONS.  If the alternate compiler needs a
  28   different setting for LD_LIBRARY_PATH, specify it in the environment
  29   varible ALT_LD_LIBRARY_PATH.  If it needs different options to build
  30   a shared object, define those in ALT_SHOBJ_OPTIONS.
  31
  32 To run only the C++ compatibility tests, optionally specifying an
  33 alternate compiler and/or sets of options, do from $objdir/gcc:
  34
  35   rm site.exp
  36   make -k ALT_CXX_UNDER_TEST=<prefix>/bin/g++ \
  37     ALT_LD_LIBRARY_PATH=<prefix>/lib \
  38     COMPAT_OPTIONS="list as shown above" check-c++ \
  39     RUNTESTFLAGS="compat.exp"
  40
  41 A test that fails when the pieces are compiled with different compilers
  42 but passes when the pieces are compiled with the same compiler
  43 demonstrates incompatibility of the generated code or runtime support.
  44 A test that fails for the alternate compiler but passes for the compiler
  45 under test probably tests for a fix that is not present in the alternate
  46 compiler.
  47
  48 There's a lot more that can be done with these tests.
  49
  50   Increase the robustness of the existing tests:
  51
  52    -  recognize target triples in dg-options strings in test files
  53
  54    -  continue to split up tests that rely on language runtime support
  55       and add them to this set of tests
  56
  57    -  make sure they work for testing with a simulator
  58
  59    -  multilibs support?
  60
  61   Build test pieces into more combinations that will be likely to find
  62   unusual errors:
  63
  64    -  link using the alternate compiler; this requires support for
  65       LD_LIBRARY_PATH for the alternate compiler in the support for each
  66       language
  67
  68    -  build pieces of the test into static libraries; this requires
  69       knowledge about how to build a static library for each target
  70
  71   Continue to add tests to g++.dg/compat, based on existing tests for
  72   language runtime support and for test cases in PRs that didn't used to
  73   fit into the test suite.
  74
  75   Set up similar tests in libstdc++-v3/testsuite.
  76
  77   Set up similar tests for additional languages and libraries.
  78
  79 Janis Johnson, <janis187@us.ibm.com>
  80 October 2002