summaryrefslogtreecommitdiff
path: root/test-suite/tests/coverage.test
diff options
context:
space:
mode:
authorAndy Wingo <wingo@pobox.com>2014-04-16 19:13:49 +0200
committerAndy Wingo <wingo@pobox.com>2014-04-16 19:13:49 +0200
commita285f38fda53f580686566613f827d5585f283df (patch)
treef77e157930a4adea4f362626f322f55b094a18cc /test-suite/tests/coverage.test
parent37d574b378d2093a71475edda1cef51edb363c87 (diff)
downloadguile-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.test11
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))