Next: , Previous: Test Idioms, Up: Testsuites


6.4.2 Directives used within DejaGnu tests

Test directives appear within comments in a test source file and begin with dg-. Some of these are defined within DejaGnu and others are local to the GCC testsuite.

The order in which test directives appear in a test can be important: directives local to GCC sometimes override information used by the DejaGnu directives, which know nothing about the GCC directives, so the DejaGnu directives must precede GCC directives.

Several test directives include selectors which are usually preceded by the keyword target or xfail. A selector is: one or more target triplets, possibly including wildcard characters; a single effective-target keyword; or a logical expression. Depending on the context, the selector specifies whether a test is skipped and reported as unsupported or is expected to fail. Use `*-*-*' to match any target. Effective-target keywords are defined in target-supports.exp in the GCC testsuite.

A selector expression appears within curly braces and uses a single logical operator: one of `!', `&&', or `||'. An operand is another selector expression, an effective-target keyword, a single target triplet, or a list of target triplets within quotes or curly braces. For example:

     { target { ! "hppa*-*-* ia64*-*-*" } }
     { target { powerpc*-*-* && lp64 } }
     { xfail { lp64 || vect_no_align } }
{ dg-do do-what-keyword [{ target/xfail selector }] }
do-what-keyword specifies how the test is compiled and whether it is executed. It is one of:
preprocess
Compile with -E to run only the preprocessor.
compile
Compile with -S to produce an assembly code file.
assemble
Compile with -c to produce a relocatable object file.
link
Compile, assemble, and link to produce an executable file.
run
Produce and run an executable file, which is expected to return an exit code of 0.

The default is compile. That can be overridden for a set of tests by redefining dg-do-what-default within the .exp file for those tests.

If the directive includes the optional `{ target selector }' then the test is skipped unless the target system is included in the list of target triplets or matches the effective-target keyword.

If `do-what-keyword' is run and the directive includes the optional `{ xfail selector }' and the selector is met then the test is expected to fail. The xfail clause is ignored for other values of `do-what-keyword'; those tests can use directive dg-xfail-if.

{ dg-options options [{ target selector }] }
This DejaGnu directive provides a list of compiler options, to be used if the target system matches selector, that replace the default options used for this set of tests.
{ dg-add-options feature ... }
Add any compiler options that are needed to access certain features. This directive does nothing on targets that enable the features by default, or that don't provide them at all. It must come after all dg-options directives.

The supported values of feature are:

c99_runtime
The target's C99 runtime (both headers and libraries).
mips16_attribute
mips16 function attributes. Only MIPS targets support this feature, and only then in certain modes.

{ dg-timeout n [{target selector }] }
Set the time limit for the compilation and for the execution of the test to the specified number of seconds.
{ dg-timeout-factor x [{ target selector }] }
Multiply the normal time limit for compilation and execution of the test by the specified floating-point factor. The normal timeout limit, in seconds, is found by searching the following in order:
{ dg-skip-if comment { selector } { include-opts } { exclude-opts } }
Skip the test if the test system is included in selector and if each of the options in include-opts is in the set of options with which the test would be compiled and if none of the options in exclude-opts is in the set of options with which the test would be compiled.

Use `"*"' for an empty include-opts list and `""' for an empty exclude-opts list.

{ dg-xfail-if comment { selector } { include-opts } { exclude-opts } }
Expect the test to fail if the conditions (which are the same as for dg-skip-if) are met. This does not affect the execute step.
{ dg-xfail-run-if comment { selector } { include-opts } { exclude-opts } }
Expect the execute step of a test to fail if the conditions (which are the same as for dg-skip-if) and dg-xfail-if) are met.
{ dg-require-support args }
Skip the test if the target does not provide the required support; see gcc-dg.exp in the GCC testsuite for the actual directives. These directives must appear after any dg-do directive in the test and before any dg-additional-sources directive. They require at least one argument, which can be an empty string if the specific procedure does not examine the argument.
{ dg-require-effective-target keyword [{ selector }] }
Skip the test if the test target, including current multilib flags, is not covered by the effective-target keyword. If the directive includes the optional `{ selector }' then the effective-target test is only performed if the target system matches the selector. This directive must appear after any dg-do directive in the test and before any dg-additional-sources directive.
{ dg-shouldfail comment { selector } { include-opts } { exclude-opts } }
Expect the test executable to return a nonzero exit status if the conditions (which are the same as for dg-skip-if) are met.
{ dg-error regexp [comment [{ target/xfail selector } [line] }]] }
This DejaGnu directive appears on a source line that is expected to get an error message, or else specifies the source line associated with the message. If there is no message for that line or if the text of that message is not matched by regexp then the check fails and comment is included in the FAIL message. The check does not look for the string `"error"' unless it is part of regexp.
{ dg-warning regexp [comment [{ target/xfail selector } [line] }]] }
This DejaGnu directive appears on a source line that is expected to get a warning message, or else specifies the source line associated with the message. If there is no message for that line or if the text of that message is not matched by regexp then the check fails and comment is included in the FAIL message. The check does not look for the string `"warning"' unless it is part of regexp.
{ dg-message regexp [comment [{ target/xfail selector } [line] }]] }
The line is expected to get a message other than an error or warning. If there is no message for that line or if the text of that message is not matched by regexp then the check fails and comment is included in the FAIL message.
{ dg-bogus regexp [comment [{ target/xfail selector } [line] }]] }
This DejaGnu directive appears on a source line that should not get a message matching regexp, or else specifies the source line associated with the bogus message. It is usually used with `xfail' to indicate that the message is a known problem for a particular set of targets.
{ dg-excess-errors comment [{ target/xfail selector }] }
This DejaGnu directive indicates that the test is expected to fail due to compiler messages that are not handled by `dg-error', `dg-warning' or `dg-bogus'. For this directive `xfail' has the same effect as `target'.
{ dg-output regexp [{ target/xfail selector }] }
This DejaGnu directive compares regexp to the combined output that the test executable writes to stdout and stderr.
{ dg-prune-output regexp }
Prune messages matching regexp from test output.
{ dg-additional-files "filelist" }
Specify additional files, other than source files, that must be copied to the system where the compiler runs.
{ dg-additional-sources "filelist" }
Specify additional source files to appear in the compile line following the main test file.
{ dg-final { local-directive } }
This DejaGnu directive is placed within a comment anywhere in the source file and is processed after the test has been compiled and run. Multiple `dg-final' commands are processed in the order in which they appear in the source file.

The GCC testsuite defines the following directives to be used within dg-final.

cleanup-coverage-files
Removes coverage data files generated for this test.
cleanup-repo-files
Removes files generated for this test for -frepo.
cleanup-rtl-dump suffix
Removes RTL dump files generated for this test.
cleanup-tree-dump suffix
Removes tree dump files matching suffix which were generated for this test.
cleanup-saved-temps
Removes files for the current test which were kept for --save-temps.
scan-file filename regexp [{ target/xfail selector }]
Passes if regexp matches text in filename.
scan-file-not filename regexp [{ target/xfail selector }]
Passes if regexp does not match text in filename.
scan-hidden symbol [{ target/xfail selector }]
Passes if symbol is defined as a hidden symbol in the test's assembly output.
scan-not-hidden symbol [{ target/xfail selector }]
Passes if symbol is not defined as a hidden symbol in the test's assembly output.
scan-assembler-times regex num [{ target/xfail selector }]
Passes if regex is matched exactly num times in the test's assembler output.
scan-assembler regex [{ target/xfail selector }]
Passes if regex matches text in the test's assembler output.
scan-assembler-not regex [{ target/xfail selector }]
Passes if regex does not match text in the test's assembler output.
scan-assembler-dem regex [{ target/xfail selector }]
Passes if regex matches text in the test's demangled assembler output.
scan-assembler-dem-not regex [{ target/xfail selector }]
Passes if regex does not match text in the test's demangled assembler output.
scan-tree-dump-times regex num suffix [{ target/xfail selector }]
Passes if regex is found exactly num times in the dump file with suffix suffix.
scan-tree-dump regex suffix [{ target/xfail selector }]
Passes if regex matches text in the dump file with suffix suffix.
scan-tree-dump-not regex suffix [{ target/xfail selector }]
Passes if regex does not match text in the dump file with suffix suffix.
scan-tree-dump-dem regex suffix [{ target/xfail selector }]
Passes if regex matches demangled text in the dump file with suffix suffix.
scan-tree-dump-dem-not regex suffix [{ target/xfail selector }]
Passes if regex does not match demangled text in the dump file with suffix suffix.
output-exists [{ target/xfail selector }]
Passes if compiler output file exists.
output-exists-not [{ target/xfail selector }]
Passes if compiler output file does not exist.
run-gcov sourcefile
Check line counts in gcov tests.
run-gcov [branches] [calls] { opts sourcefile }
Check branch and/or call counts, in addition to line counts, in gcov tests.