#### 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.
  `assemble`
    Compile with `-S` to produce an assembly code file.
  `compile`
    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 the directive includes the optional ``{ xfail selector }`' and the selector is met then the test is expected to fail. For `dg-do run`, execution is expected to fail but compilation is expected to pass.

`{ 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-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.
`{ 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. 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`}`
  Skip the test if the test target, including current multilib flags, is not covered by the effective-target keyword. This directive must appear after any `dg-do` directive in the test.
`{ 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-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`'.
`{ 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.