From a285f38fda53f580686566613f827d5585f283df Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Wed, 16 Apr 2014 19:13:49 +0200 Subject: [PATCH] More robust coverage tests * test-suite/tests/coverage.test ("line-execution-counts"): Allow zero or one count on the loop head. --- test-suite/tests/coverage.test | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) 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)) -- 2.20.1