.

bigfile/tests/test_virtmem.c

@@ -1434,7 +1434,24 @@ void test_file_access_mmapbase(void)
     CHECK_MRU   (/*empty*/);
     CHECK_DIRTY (/*empty*/);
 
-    // XXX read vma[0] (and other discarded pages) gives pristine data
+    /* discarded pages should read from base layer again */
+    ok1(B(vma, 0*PSb + 0) == 100);
+    ok1(B(vma, 0*PSb + 1) == 100);
+    ok1(B(vma, 0*PSb + PSb - 1) == 100);
+
+    ok1(B(vma, 2*PSb + 0) == 102);
+    ok1(B(vma, 2*PSb + 1) == 102);
+    ok1(B(vma, 2*PSb + PSb - 1) == 102);
+
+    ok1(B(vma, 3*PSb + 0) == 103);
+    ok1(B(vma, 3*PSb + 1) == 103);
+    ok1(B(vma, 3*PSb + PSb - 1) == 103);
+
+    ok1(!M(vma, 0));    CHECK_NOPAGE(         100                      );
+    ok1(!M(vma, 1));    CHECK_NOPAGE(         101                      );
+    ok1(!M(vma, 2));    CHECK_NOPAGE(         102                      );
+    ok1(!M(vma, 3));    CHECK_NOPAGE(         103                      );
+
 
 
     // XXX writeout STORE, MARK, STORE+MARK