diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-30 18:51:53 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-11-01 00:55:44 +0100 |
| commit | dc27965726cbc506250ccc12c5169be048a01082 (patch) | |
| tree | 31cc6bac1c7bd6084f7affacba281a2a7b5921c9 /Documentation | |
| parent | 74ba40fadc42f7b3b2222cc231d2c38959943643 (diff) | |
| download | sparse-dev-dc27965726cbc506250ccc12c5169be048a01082.tar.gz | |
testsuite: add a new tag: check-output-returns
The current tags check-output-contains/excludes/pattern are
quite powerful and the new check-output-match is easy to use
but it can be even simpler. Indeed, a lot of IR simplifications/
canonicalizations can be tested by checking that the expression
to be tested is equivalent to another one. This is less precise
than some more specific tests but:
* it's a big advantage because it's less sensitive to 'noise'
like the exact number used by the pseudos or to the results
of some new simplifications or canonicalizations
* very often, this equivalence is what really matters and not
the exact transformation.
So, add a new utra-simple-to-use tag: just ask that all functions
of the tests return the same specified value (usually 1):
check-output-returns: <value>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/test-suite.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Documentation/test-suite.rst b/Documentation/test-suite.rst index 4ff2db2f..3181e109 100644 --- a/Documentation/test-suite.rst +++ b/Documentation/test-suite.rst @@ -96,6 +96,11 @@ Tag's syntax is ignored in the first pattern but is expected to be followed by a space character. +``check-output-returns:`` *value* + + Check that in the output (stdout) all IR return instructions + have the given value. + Using test-suite ================ |