diff options
author | Andy Wingo <wingo@pobox.com> | 2014-04-16 19:13:49 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2014-04-16 19:13:49 +0200 |
commit | a285f38fda53f580686566613f827d5585f283df (patch) | |
tree | f77e157930a4adea4f362626f322f55b094a18cc /test-suite/tests/coverage.test | |
parent | 37d574b378d2093a71475edda1cef51edb363c87 (diff) | |
download | guile-a285f38fda53f580686566613f827d5585f283df.tar.gz |
More robust coverage tests
* test-suite/tests/coverage.test ("line-execution-counts"): Allow zero
or one count on the loop head.
Diffstat (limited to 'test-suite/tests/coverage.test')
-rw-r--r-- | test-suite/tests/coverage.test | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/test-suite/tests/coverage.test b/test-suite/tests/coverage.test index 822d06e9d..1a633534a 100644 --- a/test-suite/tests/coverage.test +++ b/test-suite/tests/coverage.test @@ -106,8 +106,17 @@ (every (lambda (line+count) (let ((line (car line+count)) (count (cdr line+count))) + ;; The actual line counts for aliasing + ;; operations, like the loop header that + ;; initializes "x" to "x", are sensitive to + ;; whether there is an associated "mov" + ;; instruction, or whether the value is left + ;; in place. Currently there are no + ;; instructions for line 2, but we allow 1 as + ;; well. (case line - ((0 1 2) (= count 1)) + ((0 1) (= count 1)) + ((2) (<= 0 count 1)) ((3) (= count 78)) ((4 5 6) (= count 77)) ((7) (= count 1)) |